Physics Derivation Graph navigation Sign in

progression of the interface used in the Physics Derivation Graph

Published 2020-05-28T02:35:00.003Z by Physics Derivation Graph

Initially, content in the Physics Derivation Graph was manually entered into text files (e.g., CSV, XML). Presentation was Graphviz only.

Then the process was automated through use of a command line interface. Instead of the user generating numeric indices, IDs were created by the application. The user was able to specify a local ID in order to avoid retyping Latex for existing expressions. Presentation was Graphviz only.

The latest interface is browser-based, running in a Docker container either locally or on a website ( The user is presented with forms and types in Latex. Some symbols are recognized automatically by the application. Presentation of the graph uses both Graphviz and d3js. The d3js graph has hyperlinked nodes.

I see two potential ways to iterate:
Both of these approaches are more intuitive for users.

I also considered writing a Latex package that specifies the inference rules as macros. However, that lacks the ability to check the math.