MEDLAR
From MaRDI portal
Software:15426
swMATH2888MaRDI QIDQ15426FDOQ15426
Author name not available (Why is that?)
Cited In (14)
- 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
- Title not available (Why is that?)
- Symbolic computation of strongly nonlinear periodic oscillations
- Title not available (Why is that?)
- On the Construction of Transformation Steps in the Category of Multiagent Systems
- Title not available (Why is that?)
- Geometric constraint solving with geometric transformation
- Title not available (Why is that?)
- Models and the dynamics of theory-building in physics. I: Modeling strategies
- 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
