Home

Roadmap

1. parse Latex documents
2. in each document,
   • identify math equations
   • identify variables (and associated units, range, type: real, imaginary, complex, scalar, vector, matrix)
   • identify numeric constants (and associated units)
3. convert math equations into Abstract Syntax Tree (AST)
4. find the missing steps between math equations

a draft property graph schema for latex-in-arxiv

node:file
  properties:
  - file path
  - hash of the file

node:token
  properties:
  - token length
  - hash of the token
  - token offset in file
  - latex type: environment/math/display text/macros/comment

directed edge:file_has_token

queries for the property graph:

• return the number of tokens in file
• return the number of documents with token

Latex to SymPy (for AST and for applying transformations)

https://physicsderivationgraph.blogspot.com/2020/05/replacing-symbols-in-sympy-expression.html

complexities where SymPy fails: https://physicsderivationgraph.blogspot.com/2020/09/representing-laplace-operator-nabla-in.html https://physicsderivationgraph.blogspot.com/2020/07/function-latex-for-sympy.html https://physicsderivationgraph.blogspot.com/2020/07/quantum-bra-ket-dirac-notation-in-sympy.html