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