similar projects

Wordnet and it's related web-based visualizations (see WordNetEditor, VisuWords, and synonym ) are the closest example of what this project hopes to accomplish for mathemtiacal physics.

The data structure used for the Physics Derivation Graph is similar to that of Gellish

Physics

websites

Wikipedia description of Planet Physics (no longer exists)

Online physics textbook

Visual static concept graph for physics
http://hyperphysics.phy-astr.gsu.edu/hbase/hframe.html

Equationmap, a startup. Input: (Tex file) or (web GUI with Latex syntax). Output: (graph rendered in browser) or (Tex file). Can store graphs.

http://dfcd.net/articles/derivations/derivations.html
A very small collection of derivations with almost no explanation

http://ww2.valdosta.edu/~cbarnbau/personal/teaching_MISC/deriv_phys.htm

http://proofs.wiki/Category:Physics
https://news.ycombinator.com/item?id=8980791

Text books

Comprehensive Physics XI By Narinder Kumar

@BOOK{
title={Comprehensive Physics XI},
author={N.~Kumar},
}

http://www.logic.at/staff/bruno/Papers/2010-PhysicsAndProofTheory-PC.pdf

projects

Linked Science

http://www.lncc.br/seminarioDEXL/palestras/Bernardo.pdf

http://linkedscience.org/lsc/ns/

Text-based rather than mathematical

Semantic web

@ARTICLE{
title={Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web},
author={C.~Lange},
url={http://www.semantic-web-journal.net/sites/default/files/swj122_3.pdf}
}

Physics

http://www.astro.umd.edu/~eshaya/astro-onto/

Ontology of Physics for Biology

http://sbp.bhi.washington.edu/projects/the-ontology-of-physics-for-biology-opb

MathML

http://semanticweb.org/wiki/Semantic_MathML/0.1

http://semanticweb.org/wiki/Semantic_MathML

http://answers.semanticweb.com/questions/871/mathematical-expressions-in-rdf?page=1&focusedAnswerId=17932#17932

http://stackoverflow.com/questions/15235012/how-to-embed-mathml-in-an-ontology-and-reference-parts-of-it

http://www.openmath.org/cd/contrib/cd/rdf.xhtml

Math

Hilbert's program. My intent is similar for physics, though not as rigorous

Leslie Lamport math proof notation

@ARTICLE{
year={2011},
author={L.~Lamport},
title={How to Write a 21st Century Proof},
url={http://research.microsoft.com/en-us/um/people/lamport/pubs/proof.pdf},
note={http://research.microsoft.com/en-us/um/people/lamport/pubs/pubs.html#lamport-how-to-write}
}