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
No comments:
Post a Comment