Abstract
In this paper we present some personal experiences with Computer Algebra applications to industrial problems. In many cases the involved Computer Algebra problems seem as challenging as climbing up a difficult peak. Then one finds out that the trail leads up to a quite rugged hill… This point of view will be illustrated with “real” examples coming from robot kinematics and path planning, parametric CAD and shape design in automotive industry.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
R. Alami and J. P. Laumond, A geometrical approach to planning manipulation tasks in robotics, First Canadian Conference on Computational Geometry (Montreal, 1989).
B. Buchberger, G. Collins, M. Encarnación, H. Hong, J. Johnson, W. Krandick, R. Loos and A. Neubacher, A SACLIB Primer, Tech. Rep. 92–34, RISC-Linz, Johannes Kepler University (Linz, Austria), 1992.
J. F. Canny, The complexity of robot motion planning, ACM Doctoral Dissertation Series, MIT Press, Cambridge Mass., 1988.
G. E. Collins, Quantifier elimination for real closed fields by Cylindrical Algebraic Decomposition, Lecture Notes in Computer Science (Second GI Conference on Automata Theory and Formal Languages), 33 (1975), 134–183.
I. J. Cox and G. T. Wilfong, Motion Planning, Autonomous Robot Vehicles (I. J. Cox and G. T. Wilfong eds), Springer-Verlag, 1990.
J. H. Davenport and J. Heintz, Real Quantifier Elimination is Doubly Exponential, Journal of Symbolic Computation, 5 (1988), 29–36.
D. Duval, Calcul symbolique: automatisation en cours, La Recherche, 291 (1996), 64–71.
J. Espinola, L. Gonzalez-Vega and I. Necula, Generic implicitation of low degree rational surfaces, Preprint available at http://www.frisco.matesco.unican.es (1999).
J. Espinola, L. Gonzalez-Vega and I. Necula, Algebraic approximation in CAGD, Preprint available at http://http://www.frisco.matesco.unican.es (2000).
K. Geddes, S. R. Czapor and G. Labhan, Algorithms for computer algebra, Kluwer Academic Publishers, Boston, 1992.
L. Gonzalez-Vega, The Needs of Industry for Polynomial System Solving, The SAC Newsletter, 3 (1998), 21–46.
L. Gonzalez-Vega, FRISCO Software Overview, Preprint available at http://www.frisco.matesco.unican.es(1999).
P. Kovacs, Rechnergestiitzte Symbolische Roboterkinematik, Vieweg Verlag, 1993.
J. C. Latombe, Robot Motion Planning, The Kluwer International Series Series in Engineering and Computer Sceince, Kluwer Academic Publishers, 1991.
J. M. McCarthy, Kinematics of Robot Manipulators, International Journal of Robotics Research, 5(2) (1986).
R. P. Paul, Robot manipulators: Mathematics, Programming and Control, The MIT Press Series in Artificial Intelligence, 1981.
R. Pavelle, M. Rothstein and J. Fitch, Algebra por ordenador, Scientific American (Spanish edition), 1981.
L. SteenComputer calculus, Science News, 119 (1981), 250–251.
N. Patrikalakis, Approximate Conversion of Rational B-spline Patches, Computer Aided Geometric Design, 6 (1989), 189–204.
M. Raghavan and B. RothKinematic analysis of the 6R manipulator of general geometry. Proceedings of the International Symposium on Robotics Research (Tokyo), 314–320 (1989).
J. T. Schwartz and M. SharirOn the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds, Advances in Applied Mathematics, 4(3) (1983), 298–351.
Algebra Made Mechanical, Nature, 290 (1981), 198–200.
Liberating the prose of math from its grammar,New York Times, july 19 (1988), 21.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Basel AG
About this paper
Cite this paper
Gonzalez-Vega, L., Recio, T. (2001). Industrial Applications of Computer Algebra: Climbing Up a Mountain, Going Down a Hill. In: Casacuberta, C., Miró-Roig, R.M., Verdera, J., Xambó-Descamps, S. (eds) European Congress of Mathematics. Progress in Mathematics, vol 202. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-8266-8_12
Download citation
DOI: https://doi.org/10.1007/978-3-0348-8266-8_12
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-9496-8
Online ISBN: 978-3-0348-8266-8
eBook Packages: Springer Book Archive