4 ms·
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 f
by dharmatech 11y ago
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 https://gist.github.com/dharmatech/a14d1a29a7d4c0728d37)
[1] https://github.com/dharmatech/Symbolism/ https://github.com/dharmatech/Symbolism/
- nicolewhite 11y agoThat's very cool. I should definitely add functionality for solving a system of equations.
- dharmatech 11y agoThe algorithm I use in 'EliminateVariables' is pretty ad-hoc and has built up as I throw more situations at it. 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. :-)
- nicolewhite 11y agoThat sounds like some fun Friday night reading. :) Glad you enjoy Neo4j!