Documentation for the Physics Derivation Graph

navigation / documentation overview

By audience

• user
• developer

By interface

• API
• workflow for the web UI

More

• FAQ (Frequently Asked Questions)
• Design Principles
• Design Choices
• Computer Algebra System (CAS) options comparison
• Proof assistant options comparison
• Syntax options comparison
• Database options comparison
• other projects
• literature review
• historical precedents
• conventions
• evaluation of LLM prompts
• site map