C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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