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