Use Cases - Githubissues

stefnotch / aftermath-editor

A WYSIWYG mathematics editor that understands your formulas!

https://stefnotch.github.io/aftermath-editor

MIT License

13 stars 0 forks source link

Use Cases #60

Open stefnotch opened 1 year ago

stefnotch commented 1 year ago

Since we're building a more general and powerful editor, let's collect some good use cases:

SMT Frontend

Ideas

SMT solver: solve equations in positive whole numbers, 32 bit integers, etc.
float solver: solve equation using floats
SAT solver: edit logical formula
truth table: logical formula
graphest: either bring graphest to the web, or add th editor to graphest
latex: way more commands, import export
calculating with units
vector and matrix math
https://www.logic.at/gapt/
input relational algebra, get SQL