Constructions in Finite Geometry Using Computer Algebra Systems.

Published in: J. Symb. Comput. (2001)

Keyphrases

computer algebra systems
computer algebra
theorem prover
three dimensional
video sequences
database
databases
neural network
real world
computer vision
website
theorem proving
information retrieval
geometric constraints