{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:06:11Z","timestamp":1747548371226},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573227"},{"type":"electronic","value":"9783540480631"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57322-4_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:49:52Z","timestamp":1330260592000},"page":"116-132","source":"Crossref","is-referenced-by-count":3,"title":["On mathematical modeling in robotics"],"prefix":"10.1007","author":[{"given":"J.","family":"Pfalzgraf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3916-1","volume-title":"Rational Kinematics","author":"J. Angeles","year":"1988","unstructured":"J. Angeles. Rational Kinematics. Springer, New York-Berlin, 1988."},{"key":"8_CR2","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/BF03023989","volume":"12","author":"D.R. Baker","year":"1990","unstructured":"D.R. Baker. Some topological problems in robotics. Mathematical Intelligencer, 12:66\u201376, 1990.","journal-title":"Mathematical Intelligencer"},{"key":"8_CR3","unstructured":"J. Bochnak, M. Coste, and M-F. Roy. G\u00e9ometrie alg\u00e9brique r\u00e9elle. Springer Verlag, 1987."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"J.-D. Boissonat and J.-P. Laumond (eds.). Geometry and Robotics. Springer Verlag, 1989. Lecture Notes in Computer Science 391.","DOI":"10.1007\/3-540-51683-2"},{"key":"8_CR5","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Multidimensional Systems Theory","author":"B. Buchberger","year":"1985","unstructured":"B. Buchberger. Gr\u00f6bner bases: An algorithmic method in polynomial ideal theory. In Multidimensional Systems Theory (N.K.Bose, ed.), pages 184\u2013232. D.Reidel Publ. Comp., Dordrecht-Boston-Lancaster, 1985."},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"B. Buchberger. Applications of Gr\u00f6bner bases in non-linear computational geometry. Mathematical Aspects of Scientific Software (J.R.Rice, ed.), 14:59\u201387, 1987.","DOI":"10.1007\/978-1-4684-7074-1_3"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1146\/annurev.cs.03.060188.000505","volume":"3","author":"B. Buchberger","year":"1988","unstructured":"B. Buchberger, G. Collins, and B. Kutzler. Algebraic methods for geometric reasoning. Ann. Rev. Comput. Sci., 3:85\u2013119, 1988.","journal-title":"Ann. Rev. Comput. Sci."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"J.W. Burdick. On the inverse kinematics of redundant manipulators: Characterization of the self-motion manifolds. IEEE, pages 264\u2013270, 1989.","DOI":"10.1007\/978-3-642-83957-3_3"},{"key":"8_CR9","volume-title":"The Complexity of Robot Motion Planning","author":"J.F. Canny","year":"1988","unstructured":"J.F. Canny. The Complexity of Robot Motion Planning. MIT Press, Cambridge Massachusetts and London, 1988."},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume":"33","author":"G.E. Collins","year":"1975","unstructured":"G.E. Collins: Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. Lecture Notes In Computer Science, 33:134\u2013183, 1975.","journal-title":"Lecture Notes In Computer Science"},{"key":"8_CR11","unstructured":"J.J. Craig. Introduction to Robotics. Addison-Wesley Publ. Co., 1986."},{"key":"8_CR12","volume-title":"Technical Report 91-45.0","author":"F. Dargam","year":"1991","unstructured":"F. Dargam, J. Pfalzgraf, V. Stahl, and K. Stokkermans. Towards a toolkit for benchmark scenarios in robot multi-tasking. Technical Report 91-45.0, RISC-Linz, J. Kepler University, Linz, Austria, 1991."},{"key":"8_CR13","volume-title":"Parallel Processing in Neural Systems and Computers","author":"R. Eckmiller","year":"1990","unstructured":"R. Eckmiller. Concerning the emerging role of geometry in neuroinformatics. In Parallel Processing in Neural Systems and Computers, Eckmiller, Hartmann, Hauske (eds.). Proceedings, Elsevier Sc. Publ (North-Holland), 1990."},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"H. Edelsbrunner. Algorithms in Combinatorial Geometry. Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-61568-9"},{"key":"8_CR15","unstructured":"D. Gabbay. Labelled Deductive Systems, Part I. CIS, University of Munich, 1990. CIS-Bericht-90-22."},{"key":"8_CR16","first-page":"219","volume":"38","author":"D.H. Gottlieb","year":"1987","unstructured":"D.H. Gottlieb. Robots and fibre bundles. Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de Belgique, 38:219\u2013223, 1987.","journal-title":"Bulletin de la Soci\u00e9t\u00e9 Math\u00e9matique de Belgique"},{"key":"8_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00046582","volume":"10","author":"D.H. Gottlieb","year":"1987","unstructured":"D.H. Gottlieb. Topology and the robot arm. Acta Applicandae Mathematicae, 10:1\u20135, 1987.","journal-title":"Acta Applicandae Mathematicae"},{"key":"8_CR18","unstructured":"J. Heinzelreiter and H. Mayr. Machining simulation and verification by efficient dynamic modeling. In 23rd ISATA, Int. Symp. on Automotive Technology and Automation, Dec. 3\u20137, Vienna, Austria, 1990."},{"key":"8_CR19","volume-title":"RISC-Linz Report no 87-18.0","author":"P. Hintenaus","year":"1987","unstructured":"P. Hintenaus. The inverse kinematics system \u2014 installation guide, user's manual, program documentation. RISC-Linz Report no 87-18.0, RISC-Linz, J. Kepler University, Linz, Austria, 1987."},{"key":"8_CR20","unstructured":"H. Hong. Improvements in CAD-based quantifier elimination. PhD Thesis, Ohio State University, 1990."},{"key":"8_CR21","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1145\/5948.5949","volume":"29","author":"J.E. Hopcroft","year":"1986","unstructured":"J.E. Hopcroft. The impact of robotics on computer science. Communications of the ACM, 29:486\u2013498, 1986.","journal-title":"Communications of the ACM"},{"key":"8_CR22","volume-title":"Geometric Reasoning","author":"D. Kapur","year":"1989","unstructured":"D. Kapur and J.L. Mundy. Geometric Reasoning. MIT Press, Cambridge Massachusetts and London, 1989. Special Issue of AI."},{"key":"8_CR23","volume-title":"Space Kinematics and Lie Groups","author":"A. Karger","year":"1985","unstructured":"A. Karger and J. Nov\u00e1k. Space Kinematics and Lie Groups Gordon and Breach Science Publishers, New York-London-Paris-Montreux, 1985."},{"key":"8_CR24","unstructured":"U. Karras. On mathematics in robotics. Lecture Notes (in German), DMV Seminar on Mathematics in Robotics; held in Blaubeuren, November, 1988."},{"key":"8_CR25","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1177\/027836498600500106","volume":"5","author":"O. Khatib","year":"1986","unstructured":"O. Khatib. Real-time obstacle avoidance for manipulators and mobile robots. Internat. J. of Robotics Research, 5:90\u201398, 1986.","journal-title":"Internat. J. of Robotics Research"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"D.E. Koditschek. Exact robot navigation by means of potential functions: Some topological considerations. In Proceed. IEEE Int. Conf. on Robotics and Automation, 1987.","DOI":"10.1109\/ROBOT.1987.1088038"},{"key":"8_CR27","unstructured":"H. Mayr, M. Held, and H. \u00d6llinger. SMART-A Universal System for the Simulation of Robot and Machining Tasks. In CAPE'89, Tokyo, Japan, 1989."},{"key":"8_CR28","volume-title":"An Introduction to Theoretical Kinematics","author":"J.M. McCarthy","year":"1990","unstructured":"J.M. McCarthy. An Introduction to Theoretical Kinematics. MIT Press, Cambridge Massachusetts and London, 1990."},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"K. Mehlhorn. Data Structures and Algorithms, Vol. 1\u20133. Springer Verlag, 1984.","DOI":"10.1007\/978-3-642-69900-9_1"},{"key":"8_CR30","volume-title":"Robot Manipulators","author":"R.P. Paul","year":"1982","unstructured":"R.P. Paul. Robot Manipulators. MIT Press, Cambridge Massachusetts and London, 1982."},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"J. Pfalzgraf. Logical fiberings and polycontextural systems. In Fundamentals of Artificial Intelligence Research, Ph. Jorrand, J.Kelemen (eds.). Lecture Notes in Computer Science 535, Subseries in AI, Springer Verlag, 1991.","DOI":"10.1007\/3-540-54507-7_14"},{"key":"8_CR32","unstructured":"J. Pfalzgraf. Neural Networks in Robotics Simulation. In: Symbolic Computation Tools for Technological Applications, J. Heinzelreiter et.al. In Proceedings IFAC Symposium on Robotics Control (SYROCO'91), Vienna, Austria, 1991."},{"key":"8_CR33","unstructured":"J. Pfalzgraf. On geometric and topological reasoning in robotics to be submitted to Annals of Math and AI, 1992."},{"key":"8_CR34","volume-title":"Proc. 12-month MEDLAR Workshop","author":"J. Pfalzgraf","year":"1990","unstructured":"J. Pfalzgraf, K. Stokkermans, and D. Wang. The robotics benchmark. Proc. 12-month MEDLAR Workshop (Weinberg Castle, Austria, November 4\u20137), 1990."},{"key":"8_CR35","doi-asserted-by":"crossref","unstructured":"F.P. Preparata and M.I. Shamos. Computational Geometry. Springer Verlag, 1985.","DOI":"10.1007\/978-1-4612-1098-6"},{"key":"8_CR36","unstructured":"J.H. Reif and J.A. Storer. 3-dimensional shortest paths in the presence of polyhedral obstacles. In Mathematical Foundations of Computer Science 1988. Proceedings. Lecture Notes in Computer Science 324, 1988."},{"key":"8_CR37","volume-title":"Planning, Geometry, and Complexity of Robot Motion","author":"J.T. Schwartz","year":"1987","unstructured":"J.T. Schwartz, M. Sharir, and J. Hopcroft. Planning, Geometry, and Complexity of Robot Motion. Ablex Publishing, Norwood New Jersey, 1987."},{"key":"8_CR38","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/0022-0000(91)90019-2","volume":"43","author":"S. Stifter","year":"1991","unstructured":"S. Stifter. An axiomatic approach to voronoi-diagrams in 3D. J. of Computer and System Sciences, 43:361\u2013379, 1991.","journal-title":"J. of Computer and System Sciences"},{"key":"8_CR39","series-title":"Technical Report 91-51.0","volume-title":"proc. medlar 24-month review workshop, grenoble, december 1991","author":"D.M. Wang","year":"1991","unstructured":"D.M. Wang. Reasoning about geometric problems using algebraic methods. proc. medlar 24-month review workshop, grenoble, december 1991. Technical Report 91-51.0, RISC-Linz, J. Kepler University, Linz, Austria, 1991."},{"key":"8_CR40","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"W.T. Wu","year":"1986","unstructured":"W.T. Wu. Basic principles of mechanical theorem proving in elementary geometries. J. Automated Reasoning, 2:221\u2013252, 1986.","journal-title":"J. Automated Reasoning"},{"key":"8_CR41","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF02187890","volume":"2","author":"C-K. Yap","year":"1987","unstructured":"C-K. Yap. An O(n log n) algorithm for the voronoi diagram of a set of simple curve segments. Discrete Comput. Geom., 2:365\u2013393, 1987.","journal-title":"Discrete Comput. Geom."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57322-4_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:11:32Z","timestamp":1605647492000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57322-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573227","9783540480631"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/3-540-57322-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}