On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra

DOI10.1007/978-3-540-85110-3_2zbMath1166.68361OpenAlexW1489112884MaRDI QIDQ5505483

Jochen Pfalzgraf

Publication date: 27 January 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85110-3_2

zbMATH Keywords

simulationartificial neural networksconnectionisminverse kinematics problembenchmarks for CAcomputer algebra (CA)robotic kinematics

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Kinematics of mechanisms and robots (70B15) Artificial intelligence for robotics (68T40)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coherent configurations and noncommutative spaces
• On a model for non commutative geometric spaces
• On geometries associated to group operations
• Basic principles of mechanical theorem proving in elementary geometries
• Configurational conditions and digraphs
• On geometric and topological reasoning in robotics
• Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints
• Modeling connectionist network structures: Some geometric and categorical aspects
• Elimination procedures for mechanical theorem proving in geometry
• A category of geometric spaces: Some computational aspects
• Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems

This page was built for publication: On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra