searching Latex for features of derivations

allofphysicsgraph / latex-in-arxiv

extract math latex from content in arxiv

4 stars 1 forks source link

searching Latex for features of derivations #22

Open bhpayne opened 9 months ago

bhpayne commented 9 months ago

Searching Latex for derivations (https://github.com/allofphysicsgraph/latex-in-arxiv/issues/17) is broad. To narrow the scope, search for features contained in a derivation.

Example queries:

which derivations involve period and frequency?
which derivations involve integration by parts?
which derivations involve exponentiation?

msgoff commented 9 months ago

What do you think about adding an array of features for each (variable, expression, equation, derivation, proof, theorem etc) that can latter be used for more complex search functionality?