Login / Signup
Automated Theorem Proving in Support of Computer Algebra: Symbolic Definite Integration as a Case Study.
A. A. Adams
Hanne Gottliebsen
Steve Linton
Ursula Martin
Published in:
ISSAC (1999)
Keyphrases
</>
computer algebra
theorem prover
automated theorem proving
computer algebra systems
theorem proving
knowledge management
tight integration
high level
decision support
first order logic
case study
databases
graphical models
artificial intelligence
data mining
concurrent engineering
neural network