4 ms·
This is known as rule-based integration. Here's a powerful system of such rules: https://rulebasedintegration.org/integrationRules.html https://rulebasedintegra
by nsajko 2y ago
This is known as rule-based integration. Here's a powerful system of such rules: https://rulebasedintegration.org/integrationRules.html https://rulebasedintegration.org/integrationRules.html
- wiz21c 2y agoDoes one know if mathematica uses that too ? I rememebr an HN post where one could see that sympy, maxima and the likes where way behind for a lot of more peculiar integrals.. ah the comparison is here : https://www.12000.org/my_notes/CAS_integration_tests/index.htm https://www.12000.org/my_notes/CAS_integration_tests/index.h... (and posted by other on this very thread...)
- pkaye 2y agoThere is a go implementation of a CAS which syntax similar to Mathematica which uses this rules based integration library. https://github.com/corywalker/expreduce https://github.com/corywalker/expreduce