New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

数学自动化 #49

Open

ghost opened this issue Jan 26, 2013 · 0 comments

Labels

分享想法和疑问试想

ghost commented Jan 26, 2013

List of computer algebra systems https://en.wikipedia.org/wiki/Comparison_of_computer_algebra_systems
Computer algebra system https://en.wikipedia.org/wiki/Computer_algebra_system
Closed-form expression https://en.wikipedia.org/wiki/Closed-form_expression

Symbolic computation https://en.wikipedia.org/wiki/Symbolic_computation

Metamath https://en.wikipedia.org/wiki/Metamath
Computer-assisted proof https://en.wikipedia.org/wiki/Computer-assisted_proof

KLMM: Key Laboratory of Mathematics Mechanization 数学机械化重点实验室 http://www.mmrc.iss.ac.cn/

Maxima http://maxima.sourceforge.net/documentation.html
SymPy http://docs.sympy.org/
Sage http://sagemath.org/doc/index.html

Solve a Linear Equation Involving One Unknown http://www.webmath.com/solver.html

# for free to join this conversation on GitHub. Already have an account? # to comment