Abstract
In this chapter we will consider two recent applications of concepts and techniques from algebraic geometry in areas of computer science. First, continuing a theme introduced in several examples in Chapter 1, we will develop a systematic approach that uses algebraic varieties to describe the space of possible configurations of mechanical linkages such as robot “arms.” We will use this approach to solve the forward and inverse kinematic problems of robotics for certain types of robots.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer Science+Business Media New York
About this chapter
Cite this chapter
Cox, D., Little, J., O’Shea, D. (1992). Robotics and Automatic Geometric Theorem Proving. In: Ideals, Varieties, and Algorithms. Undergraduate Texts in Mathematics. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-2181-2_6
Download citation
DOI: https://doi.org/10.1007/978-1-4757-2181-2_6
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4757-2183-6
Online ISBN: 978-1-4757-2181-2
eBook Packages: Springer Book Archive