fxSolver is an free online math solver, equation library, graphing calculator and science/engineering problem helper. To get started, add some formulas, fill in any input variables and press "Solve.".
Z3 is a theorem prover from Microsoft Research.
Thank for using SaaSHub. We hope you find it useful. A lot of the information here is community driven, and while we will try to keep it up to date, we appreciate any help we can get. For example, if you think the details about a product are outdated, you can go to its page on SaaSHub and update it by using the "Edit" button. You don't need an account for that. Thank you for your help!