proofofconcept icon indicating copy to clipboard operation
proofofconcept copied to clipboard

Published 20 hours ago • verified publisher icon allofphysicsgraph

compare {mathematica, SymPy, SAGE} as CAS for checking relations

Open bhpayne opened this issue 10 years ago • 3 comments

https://www.sagemath.org/

bhpayne avatar Dec 13 '14 12:12 bhpayne

See also https://github.com/allofphysicsgraph/proofofconcept/wiki/Computer-Algebra-Systems

SymPy: written in Python, open source, free http://www.sympy.org/en/index.html

Mathematica: proprietary interface, close source, not free https://www.wolfram.com/mathematica/

bhpayne avatar Dec 13 '14 12:12 bhpayne

In the file databases/inference_rules_database.xml I have some examples of SymPy use.

See the inference rules

  • "subtractXfromBothSides" and lines 361-364,
  • "swapLHSwithRHS" and lines 712-715

The Python script to run SymPy is bin/check_connections_using_CAS_sympy.py

bhpayne avatar Dec 15 '14 02:12 bhpayne

See sandbox/cas_mathematica and sandbox/example_of_CAS_check.py for examples

bhpayne avatar Dec 15 '14 03:12 bhpayne