Constrained Symbolic Simulation with Mathematica and ACL2.

Ghiath Al Sammane Diana Toma Julien Schmaltz Pierre Ostier Dominique Borrione

Published in: CHARME (2003)

Keyphrases

simulation models
simulation model
mathematical model
simulation study
data sets
search engine
computer vision
three dimensional
collision detection