Lots of tasks for 2022; what are the priorities

Published 2022-02-21T22:23:00.005Z by Physics Derivation Graph

With the JSON/SQL implementation, I showed myself that what I was imagining (Latex entry, CAS integration, symbol tracking, Latex/PDF output) was in fact feasible. However, the JSON/SQL backend and the forms-based web front-end were sufficiently embarrassing that I wasn't interested in showing off the idea. 

Now my goal with the Neo4j/SQL backend my goal is 1) provide query capability and 2) to not be embarrassed. 

High priority:

• Property graph implementation from scratch; probably Neo4j -- https://github.com/allofphysicsgraph/proofofconcept/issues/171
• web search -- https://github.com/allofphysicsgraph/proofofconcept/issues/238 
• integrating SQL for variables, inference rules, units
• automation of inference rules
• add derivation, add step, add expressions -- form-based or dynamic canvas?

Low priority: 

• analysis of server logs -- https://github.com/allofphysicsgraph/proofofconcept/issues/246