Login / Signup
gTybalt - a free computer algebra system
Stefan Weinzierl
Published in:
CoRR (2003)
Keyphrases
</>
computer algebra
theorem prover
image processing
automated theorem provers
machine learning
computational complexity
first order logic