Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation. - Thomas Ellman; Ryan Deak; Jason Fotinatos (ASE, 2002)

Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based Animation. - Thomas Ellman; Ryan Deak; Jason Fotinatos (Autom. Softw. Eng., 2003)