similar projects

Wordnet and its 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

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

Text books

Asimov's History of Physics

Asimov's Understanding Physics

projects

Linked Science

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

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

Text-based rather than mathematical

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

Open Biological and Biomedical Ontologies

http://www.obofoundry.org/

Systems Biology Ontology

http://www.ebi.ac.uk/sbo/main/

OMDoc

https://www.academia.edu/2811079/A_Way_to_Improve_OWL_Documentation

http://www.mathweb.org/wiki/Main_Page

Math

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

web pages

Mathematical Knowledge Management
http://www.mkm-ig.org/

https://en.wikipedia.org/wiki/Mathematical_knowledge_management

Graph of topics in Mathematics

https://proofwiki.org/wiki/Main_Page

MathDox formula editor. Input: web GUI for equations. Output: (equation rendered in browser) or (OpenMath) or (MathML)

Knowledge graphs

Google's knowledge graph

https://en.wikipedia.org/wiki/Semantic_network

Interactive web-based tutorials

A Primer on Bézier Curves

data visualization

https://news.ycombinator.com/item?id=9002971

https://www.google.com/maps

graphs

http://stackoverflow.com/questions/7034/graph-visualization-code-in-javascript/2366237#2366237

http://www.graphdracula.net/

http://sigmajs.org/

http://arborjs.org/

http://www.neo4j.org/develop/visualize

http://bl.ocks.org/rkirsling/5001347

rkirsling directed graph editor
rkirsling github: "modal logic" used in logical proofs
as referenced on Hacker news

http://bl.ocks.org/mbostock/4062045

http://bl.ocks.org/cjrd/6863459

<ryandesign.com/canviz> static graph

https://philogb.github.io/jit/demos.html
https://philogb.github.io/jit/static/v20/Jit/Examples/ForceDirected/example2.html
https://philogb.github.io/jit/static/v20/Jit/Examples/ForceDirected/example2.js

http://blog.codinghorror.com/our-programs-are-fun-to-use/

Projects which are not related

Artificial Intelligence

https://en.wikipedia.org/wiki/General_Problem_Solver

Books that aren't useful

A course of pure mathematics :: G H Hardy

Topology :: J R Munkres