MARS: A MAPLE/MATLAB/C Resultant-Based Solver.

Aaron S. Wallack Ioannis Z. Emiris Dinesh Manocha

Published in: ISSAC (1998)

Keyphrases

image processing
data sets
mars rover
real world
tree search
database
multivariate adaptive regression splines
information retrieval
computer vision
optimal solution
constraint solver
sat solving
mission planning
computer algebra systems