Cited in
(16)- Models and the dynamics of theory-building in physics. I: Modeling strategies
- On the Construction of Transformation Steps in the Category of Multiagent Systems
- Symbolic computation of strongly nonlinear periodic oscillations
- On geometric and topological reasoning in robotics
- Combination of constraint systems II: Rational amalgamation
- scientific article; zbMATH DE number 1076962 (Why is no real title available?)
- Computer Aided Systems Theory – EUROCAST 2005
- Juno-2
- Solution classification for the nonperspective-three-point problem
- Geometry Tutor
- Computer Aided Systems Theory – EUROCAST 2005
- scientific article; zbMATH DE number 1006251 (Why is no real title available?)
- scientific article; zbMATH DE number 928017 (Why is no real title available?)
- Geometric constraint solving with geometric transformation
- Automated practical reasoning. Algebraic approaches. With a foreword by Jim Cunningham
- scientific article; zbMATH DE number 1189069 (Why is no real title available?)
This page was built for software: MEDLAR
