Analytica is an automatic theorem prover for theorems in elementary analysis. The prover is written in Mathematica language and runs in the Mathematica environment. The goal of the project is to use a powerful symbolic computation system to prove theorems that are beyond the scope of previous automatic theorem provers. The theorem prover is also…
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
docs details on analytica 2 Jan 24, 2013
examples original source code for analytica Jan 24, 2013
GosperSum.m original source code for analytica Jan 24, 2013
README original source code for analytica Jan 24, 2013
README.md Create README.md Jan 24, 2013
abs_value.m original source code for analytica Jan 24, 2013
analysis.m original source code for analytica Jan 24, 2013
bound.m original source code for analytica Jan 24, 2013
cmu-art.sty original source code for analytica Jan 24, 2013
complexes.m original source code for analytica Jan 24, 2013
congruence.m original source code for analytica Jan 24, 2013
context.m fix the Unset problem with mathics Feb 7, 2013
definition.m original source code for analytica Jan 24, 2013
environment.M original source code for analytica Jan 24, 2013
equation.M original source code for analytica Jan 24, 2013
equation_rules.m original source code for analytica Jan 24, 2013
expression_rules.m original source code for analytica Jan 24, 2013
factorize.m original source code for analytica Jan 24, 2013
functions.M original source code for analytica Jan 24, 2013
imply.m original source code for analytica Jan 24, 2013
index.all Unprotect $Path before changing its value Feb 5, 2013
induction.m original source code for analytica Jan 24, 2013
inequality.M original source code for analytica Jan 24, 2013
inequality_rules.m original source code for analytica Jan 24, 2013
integer.m original source code for analytica Jan 24, 2013
knowledge.m original source code for analytica Jan 24, 2013
lemmas.m original source code for analytica Jan 24, 2013
limit.m original source code for analytica Jan 24, 2013
main.py Unprotect $Path before changing its value Feb 5, 2013
max_min.m original source code for analytica Jan 24, 2013
not2Not.py add not2Not.py to capitalize not, and, or Jan 26, 2013
operator.m original source code for analytica Jan 24, 2013
print.m fix the Unset problem with mathics Feb 7, 2013
product.m original source code for analytica Jan 24, 2013
prover.M original source code for analytica Jan 24, 2013
quantify.m original source code for analytica Jan 24, 2013
reals.m original source code for analytica Jan 24, 2013
rewrite.M original source code for analytica Jan 24, 2013
simplify.m original source code for analytica Jan 24, 2013
solve.m original source code for analytica Jan 24, 2013
substitution.m original source code for analytica Jan 24, 2013
summation.m original source code for analytica Jan 24, 2013
system_interface.M minor fixes to multiline string literals Feb 5, 2013
terms.m original source code for analytica Jan 24, 2013
transcendental.m original source code for analytica Jan 24, 2013
trigonometric.m minor fixes to multiline string literals Feb 5, 2013
types.M original source code for analytica Jan 24, 2013
unify.m original source code for analytica Jan 24, 2013
usebound.m original source code for analytica Jan 24, 2013
user_interface.M original source code for analytica Jan 24, 2013
user_rules.m original source code for analytica Jan 24, 2013

README.md

analytica

The theorem prover ANALYTICA is an attempt to prove nontrivial theorems in analysis. It is build on top of Mathematica.