Branch Cuts in Computer Algebra.

Adam Dingle Richard J. Fateman

Published in: ISSAC (1994)

Keyphrases

computer algebra
cover inequalities
theorem prover
computer algebra systems
data sets
genetic algorithm
search algorithm
search engine
computer vision
three dimensional
image sequences
digital libraries
linear program
information retrieval
neural network
automated theorem provers
databases
real time