Documentation for the Physics Derivation Graph
navigation
/ documentation overview
By audience
user
developer
By interface
API
workflow and site map for the web UI
More
FAQ (Frequently Asked Questions)
Hilbert's Sixth Problem
Dimensionality
Design Principles and Choices
Computer Algebra System (CAS) options comparison
Proof assistant options comparison
Syntax options comparison
Database options comparison
Graph drawing comparison
Other projects
Literature review
Conventions and definitions
Evaluation of LLM prompts
Goals and Roadmap