SP, a Package for Schubert Polynomials Realized with the Computer Algebra System. MAPLE.

Sébastien Veigneau

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

Keyphrases

computer algebra
computer algebra systems
theorem prover
allocation strategy
artificial intelligence
theorem proving
algebraic geometry
real world
software package
low order
hermite transform
data sets
information systems
knowledge base
object recognition
automated theorem provers