Dealing with algebraic expressions over a field in Coq using Maple.

David Delahaye Micaela Mayero

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

Keyphrases

algebraic expressions
database
computer vision
artificial intelligence
multimedia
case study
high level
objective function
data structure