M. Anitescu and F. A. Potra, Formulating Dynamic Multi-Rigid-Body Contact Problems with Friction as Solvable Linear Complementarity Problems, Nonlinear Dynamics, vol.14, issue.3, pp.231-247, 1997.
DOI : 10.1023/A:1008292328909

M. Anitescu, F. A. Potra, and D. E. Stewart, Time-stepping for Three-dimensional Rigid Body Dynamics. Computational Modeling of Contact and Friction
DOI : 10.1016/s0045-7825(98)00380-6

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.6008

D. Baraff, Fast contact force computation for nonpenetrating rigid bodies, Proceedings of the 21st annual conference on Computer graphics and interactive techniques , SIGGRAPH '94, pp.23-34
DOI : 10.1145/192161.192168

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.5670

D. Baraff, Interactive simulation of solid rigid bodies, IEEE Computer Graphics and Applications, vol.15, issue.3, pp.63-75, 1995.
DOI : 10.1109/38.376615

J. Baumgarte, Stabilization of constraints and integrals of motion in dynamical systems, Computer Methods in Applied Mechanics and Engineering, vol.1, issue.1, pp.1-16, 1972.
DOI : 10.1016/0045-7825(72)90018-7

G. Bradshaw and C. O. Sullivan, Sphere-tree construction using dynamic medial axis approximation, Proceedings of the 2002 ACM SIGGRAPH/Eurographics symposium on Computer animation , SCA '02, 2002.
DOI : 10.1145/545261.545267

S. Gottschalk, M. C. Lin, and D. Manocha, OBB-Tree: A Hierarchical Structure for Rapid Interference Detection, SIGGRAPH 96 Conference Proceedings, Annual Conference Series. ACM SIGGRAPH, 1996.

J. T. Klosowski, M. Held, J. S. Mitchell, H. Sowizral, and K. Zikan, Efficient collision detection using bounding volume hierarchies of k-DOPs, IEEE Transactions on Visualization and Computer Graphics, vol.4, issue.1, 1998.
DOI : 10.1109/2945.675649

P. M. Hubbard, Collision detection for interactive graphics applications, IEEE Transactions on Visualization and Computer Graphics, vol.1, issue.3, 1995.
DOI : 10.1109/2945.466717

P. Jiménez, F. Thomas, and C. Torras, 3D collision detection: a survey, Computers & Graphics, vol.25, issue.2, pp.269-285, 2001.
DOI : 10.1016/S0097-8493(00)00130-8

M. Mckenna and D. Zeltzer, Dynamic simulation of autonomous legged locomotion, Computer Graphics (Proc. SIGGRAPH), pp.29-38, 1990.

M. Lin and D. Manocha, Collision and Proximity Queries. Handbook of Discrete and Computational Geometry: Collision detection, 2003.

P. Lötstedt, Numerical Simulation of Time-Dependent Contact and Friction Problems in Rigid Body Mechanics, SIAM Journal on Scientific and Statistical Computing, vol.5, issue.2, pp.370-393, 1984.
DOI : 10.1137/0905028

V. J. Milenkovic and H. Schmidl, Optimization-based animation, Proceedings of the 28th annual conference on Computer graphics and interactive techniques , SIGGRAPH '01, 2001.
DOI : 10.1145/383259.383263

B. Mirtich and J. Canny, Impulse-based simulation of rigid bodies, Proceedings of the 1995 symposium on Interactive 3D graphics , SI3D '95, 1995.
DOI : 10.1145/199404.199436

R. E. Moore, Interval analysis and automatic error analysis in digital computation

M. Moore and J. Wilhelms, Collision Detection and Response for Computer Animation, Computers Graphics (Proceedings of SIGGRAPH 88), Annual Conference Series, pp.289-298, 1988.
DOI : 10.1145/54852.378528

S. Quinlan, Efficient distance computation between non-convex objects, Proceedings of the 1994 IEEE International Conference on Robotics and Automation, pp.3324-3329, 1994.
DOI : 10.1109/ROBOT.1994.351059

S. Redon, A. Kheddar, and S. Coquillart, An algebraic solution to the problem of collision detection for rigid polyhedral objects, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065), 2000.
DOI : 10.1109/ROBOT.2000.845313

URL : https://hal.archives-ouvertes.fr/hal-01147663

S. Redon, A. Kheddar, and S. Coquillart, CONTACT: arbitrary in-between motions for collision detection, Proceedings 10th IEEE International Workshop on Robot and Human Interactive Communication. ROMAN 2001 (Cat. No.01TH8591), 2001.
DOI : 10.1109/ROMAN.2001.981886

URL : https://hal.archives-ouvertes.fr/hal-01147668

S. Redon, A. Kheddar, and S. Coquillart, Gauss' least constraints principle and rigid body simulations, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292), 2002.
DOI : 10.1109/ROBOT.2002.1013411

URL : https://hal.archives-ouvertes.fr/hal-01147672

S. Redon, A. Kheddar, and S. Coquillart, Fast continuous collision detection between rigid bodies, Proc. of Eurographics, 2002.
DOI : 10.1111/1467-8659.00587

URL : https://hal.archives-ouvertes.fr/inria-00390356

D. Ruspini and O. Khatib, Collision/Contact Models for the Dynamic Simulation of Complex Environments, IEEE/RSJ International Conference on Intelligent Robots and Systems:IROS'97

D. C. Ruspini, K. Kolarov, and O. Khatib, The haptic display of complex graphical environments, Proceedings of the 24th annual conference on Computer graphics and interactive techniques , SIGGRAPH '97, pp.345-52
DOI : 10.1145/258734.258878

J. Snyder, Interval analysis for computer graphics, ACM SIGGRAPH Computer Graphics, vol.26, issue.2, pp.121-130, 1992.
DOI : 10.1145/142920.134024

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.7431

D. E. Stewart and J. C. Trinkle, AN IMPLICIT TIME-STEPPING SCHEME FOR RIGID BODY DYNAMICS WITH INELASTIC COLLISIONS AND COULOMB FRICTION, International Journal for Numerical Methods in Engineering, vol.61, issue.15, pp.2673-2691, 1996.
DOI : 10.1002/(SICI)1097-0207(19960815)39:15<2673::AID-NME972>3.0.CO;2-I

G. Van-den-bergen, Efficient Collision Detection of Complex Deformable Models using AABB Trees, Journal of Graphics Tools, vol.2, issue.4, pp.1-14, 1997.
DOI : 10.1201/b10628-18

D. R. Wilhelmsen, A Nearest Point Algorithm for Convex Polyhedral Cones and Applications to Positive Linear Approximations, Mathematics of computation, vol.30, pp.48-57, 1976.
DOI : 10.1090/s0025-5718-1976-0394439-5