Skip to main content

1992 | OriginalPaper | Buchkapitel

Robotics and Automatic Geometric Theorem Proving

verfasst von : David Cox, John Little, Donal O’Shea

Erschienen in: Ideals, Varieties, and Algorithms

Verlag: Springer New York

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Metadaten
Titel
Robotics and Automatic Geometric Theorem Proving
verfasst von
David Cox
John Little
Donal O’Shea
Copyright-Jahr
1992
Verlag
Springer New York
DOI
https://doi.org/10.1007/978-1-4757-2181-2_6

Premium Partner