Nice work Nicole! :-)
I work on a similar library for C# (Symbolism [1]).
Consider allowing for variable elimination in sets of equations. (See this problem for an example: https://gist.github.com/dharmatech/a14d1a29a7d4c0728d37)
I work on a similar library for C# (Symbolism [1]).
Consider allowing for variable elimination in sets of equations. (See this problem for an example: https://gist.github.com/dharmatech/a14d1a29a7d4c0728d37)
If you want to look up how the big time guys do it, I believe Mathematica's 'Reduce' performs full on quantifier elimination via cylindrical algebraic decomposition. There aren't many open-source implementations of CAD that I know of besides the venerable C-based QEPCAD.
PS: Big fan of your Neo4J tutorials. :-)