The impact of robotics on computer science
Communications of the ACM
Basic principles of mechanical theorem proving in elementary geometrics
Journal of Automated Reasoning
Applications of Gro¨bner bases in non-linear computational geometry
Mathematical aspects of scientific software
Algebraic methods for geometric reasoning
Annual review of computer science: vol. 3, 1988
Proceedings of the workshop on Geometry and robotics
Proceedings of the workshop on Geometry and robotics
Gro¨bner bases: a computational approach to commutative algebra
Gro¨bner bases: a computational approach to commutative algebra
Introduction to Robotics: Mechanics and Control
Introduction to Robotics: Mechanics and Control
Logical fiberings and polycontextural systems
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
On Mathematical Modeling in Robotics
AISMC-1 Proceedings of the International Conference on Artificial Intelligence and Symbolic Mathematical Computation
Modeling Cooperating Agents Scenarios by Deductive Planning Methods and Logical Fiberings
AISMC-2 Selected Papers from the Second International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence
Towards a Sheaf Semantics for Cooperating Agents Scenarios
AISMC-3 Proceedings of the International Conference AISMC-3 on Artificial Intelligence and Symbolic Mathematical Computation
Improvements in cad-based quantifier elimination
Improvements in cad-based quantifier elimination
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics)
Design, Implementation, and Application of a Tool for Optimal Aircraft Positioning
Real-World Applications of Evolutionary Computing, EvoWorkshops 2000: EvoIASP, EvoSCONDI, EvoTel, EvoSTIM, EvoROB, and EvoFlight
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Towards a biomathematical model of intentional autonomous multiagent systems
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
| Hi-index | 0.00 |
The interplay of AI and symbolic mathematical computation and traditional mathematics is discussed here on the basis of some selected aspects from geometric, topological and logical reasoning in the classical AI field of robotics. The kinematics model of a robot arm is considered in detail and methods from symbolic computation are applied to inverse kinematics and singularity problems. It is shown how methods from classical geometry and topology can give support to work on typical robotics questions like the existence of singular configurations. Finally a novel approach for logical modeling in robotics is sketched based on so‐called logical fiberings.