{"id":20165777,"url":"https://github.com/allofphysicsgraph/proofofconcept","last_synced_at":"2026-02-27T14:43:09.023Z","repository":{"id":23976425,"uuid":"27359248","full_name":"allofphysicsgraph/proofofconcept","owner":"allofphysicsgraph","description":"Physics Derivation Graph: mathematical connections among equations","archived":false,"fork":false,"pushed_at":"2024-05-25T12:14:16.000Z","size":116459,"stargazers_count":20,"open_issues_count":130,"forks_count":6,"subscribers_count":10,"default_branch":"gh-pages","last_synced_at":"2025-04-10T01:01:12.038Z","etag":null,"topics":["derivation","graph","graphviz","html","inference-rules","latex","physics","physics-derivation-graph","python"],"latest_commit_sha":null,"homepage":"https://derivationmap.net/","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":"creamdog/Nancy.LightningCache","license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/allofphysicsgraph.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":"CONTRIBUTING.md","funding":".github/FUNDING.yml","license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null},"funding":{"custom":["https://www.paypal.me/benislocated"]}},"created_at":"2014-12-01T02:35:18.000Z","updated_at":"2024-05-25T12:14:19.000Z","dependencies_parsed_at":"2024-11-14T00:49:13.036Z","dependency_job_id":null,"html_url":"https://github.com/allofphysicsgraph/proofofconcept","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/allofphysicsgraph/proofofconcept","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/allofphysicsgraph%2Fproofofconcept","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/allofphysicsgraph%2Fproofofconcept/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/allofphysicsgraph%2Fproofofconcept/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/allofphysicsgraph%2Fproofofconcept/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/allofphysicsgraph","download_url":"https://codeload.github.com/allofphysicsgraph/proofofconcept/tar.gz/refs/heads/gh-pages","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/allofphysicsgraph%2Fproofofconcept/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29900135,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-27T14:30:36.354Z","status":"ssl_error","status_checked_at":"2026-02-27T14:30:01.989Z","response_time":57,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["derivation","graph","graphviz","html","inference-rules","latex","physics","physics-derivation-graph","python"],"created_at":"2024-11-14T00:39:06.789Z","updated_at":"2026-02-27T14:43:09.011Z","avatar_url":"https://github.com/allofphysicsgraph.png","language":"Python","funding_links":["https://www.paypal.me/benislocated"],"categories":[],"sub_categories":[],"readme":"The Physics Derivation Graph focuses on the following:\n* Claim: a finite static directed graph exists which describes all of mathematical Physics. \n* Claim: the graph representation is machine parsable\n* Claim: validity of (some) derivation steps in the graph can be checked using a computer algebra system\n* Claim: correctness of (some) derivation steps in the graph can be proven formally\n\nAs of May 2024 claims 1, 2, and 3 are demonsrated; work on 4 is planned.\n\nCaveats:\n* I'm not aware of currently available computer algebra systems are capable of validating all of mathematical Physics.\n* The graph relies on manually checking the equivalence of expressions represented using Latex, Sympy, and Lean. \n\n\nA novel result of this work has been the enumeration of [inference rules used in mathematical Physics](https://derivationmap.net/user_documentation#inference%20rules).\n\n[![Join the chat at https://gitter.im/allofphysicsgraph/Lobby](https://badges.gitter.im/allofphysicsgraph/Lobby.svg)](https://gitter.im/allofphysicsgraph/Lobby)\n\n# Goals / Objectives\n\n## Initial Objectives\n\n- [x] Create a framework capable of describing all mathematics needed for physics derivations. PDG uses Latex as the syntax in the framework because Latex is how I think of equations. However, Latex is insufficient for processing by computer algebra systems. Status: proof of concept exists\n- [x] Create machine-readable databases which use the above framework to capture the mathematical derivations in physics. To hold the content of the databases I'm using custom XML. Status: proof of concept exists\n- [x] Create graphical representation of relations content in the databases. PDF uses d3js (previously GraphViz) to render the visualization. Status: proof of concept works\n- [x] Use a computer algebra system to verify the relations in the databases. PDG uses SymPy as the CAS. Status: proof-of-concept completed in 2020\n- [x] Create a web browser-based viewing of the generated graph. HTML5 seems capable. Status: proof-of-concept completed in 2020\n- [x] Create a web browser-based graph input tool. Status: proof-of-concept completed in 2020\n\nThe proof-of-concept for all the initial objectives were completed during the Covid-19 lockdown (summer of 2020). \n\n## Current unmet objectives\n\n- [x] Use a property graph (e.g., Neo4j) and enable users to query the graph. Status: underway as of May 2024. See \u003c\n- [x] Adapt visualizations to the new property graph database\n- [ ] Adding content manually is burdensome. Find automations\n- [ ] Eliminate website errors\n- [ ] Enact testing of the backend software and the web UI.\n  * See \u003chttps://www.youtube.com/watch?v=RLKW7ZMJOf4\u003e and \u003chttps://flask.palletsprojects.com/en/3.0.x/testing/\u003e which use PyTest\n  * See \u003chttps://www.selenium.dev/selenium-ide/\u003e\n\n# Licensing\n\n\n[Creative Commons Attribution 4.0 International License](http://creativecommons.org/licenses/by/4.0/)\n\n\n\n\n# a small derivation\n\n![Physics derivation graph: integration by parts](https://derivationmap.net/static/derivation_000009_baa130c08a240e5ea9a5abe53425377d.png)\n\n# Aspirational web interface:\n\u003chttp://www.apcjones.com/arrows/\u003e and \u003chttps://arrows.app/\u003e\n\n\n\n# Contributing\n\nBefore submitting code via a pull request, please open an issue (feature or bug) and describe your question or intent.\n\nPython code is formatted using Black.\n\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fallofphysicsgraph%2Fproofofconcept","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fallofphysicsgraph%2Fproofofconcept","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fallofphysicsgraph%2Fproofofconcept/lists"}