Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

searching Latex for features of derivations #22

Open
bhpayne opened this issue Dec 17, 2023 · 1 comment
Open

searching Latex for features of derivations #22

bhpayne opened this issue Dec 17, 2023 · 1 comment

Comments

@bhpayne
Copy link
Member

bhpayne commented Dec 17, 2023

Searching Latex for derivations (#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
Copy link
Contributor

msgoff commented Dec 22, 2023

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?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants