{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T13:58:03Z","timestamp":1725890283440},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540851097"},{"type":"electronic","value":"9783540851103"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85110-3_2","type":"book-chapter","created":{"date-parts":[[2008,7,26]],"date-time":"2008-07-26T06:00:32Z","timestamp":1217052032000},"page":"2-16","source":"Crossref","is-referenced-by-count":0,"title":["On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra"],"prefix":"10.1007","author":[{"given":"Jochen","family":"Pfalzgraf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/BF01844169","volume":"4\/3","author":"B. Buchberger","year":"1970","unstructured":"Buchberger, B.: Ein algorithmisches Kriterium f\u00fcr die L\u00f6sbarkeit eines algebraischen Gleichungssystems (An Algorithmical Criterion for the Solvability of Algebraic Systems of Equations). Aequationes mathematicae\u00a04\/3, 374\u2013383 (1970); English translation In: Buchberger, B., Winkler, F.(eds.) Gr\u00f6bner Bases and Applications, Proceedings of the International Conference \u201833 Years of Gr\u00f6bner Bases\u2019, RISC, Austria, London Mathematical Society Lecture Note Series, vol. 251, pp. 535\u2013545. Cambridge University Press, Cambridge (1998)","journal-title":"Aequationes mathematicae"},{"key":"2_CR2","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":"Buchberger, B.: Gr\u00f6bner bases: An algorithmic method in polynomial ideal theory. In: Bose, N.K. (ed.) Multidimensional Systems Theory, pp. 184\u2013232. D.Reidel Publ. Comp., Dordrecht-Boston-Lancaster (1985)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Applications of Gr\u00f6bner bases in non-linear computational geometry. Rice, J.R.(ed.) Mathematical Aspects of Scientific Software 14, 59\u201387 (1987)","DOI":"10.1007\/978-1-4684-7074-1_3"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1146\/annurev.cs.03.060188.000505","volume":"3","author":"B. Buchberger","year":"1988","unstructured":"Buchberger, B., Collins, G., Kutzler, B.: Algebraic methods for geometric reasoning. Ann. Rev. Comput. Sci.\u00a03, 85\u2013119 (1988)","journal-title":"Ann. Rev. Comput. Sci."},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1023\/A:1018959823016","volume":"19","author":"J. Pfalzgraf","year":"1997","unstructured":"Pfalzgraf, J.: On geometric and topological reasoning in robotics. Annals of Mathematics and Artificial Intelligence\u00a019, 279\u2013318 (1997)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR6","first-page":"279","volume":"36","author":"J. Pfalzgraf","year":"2002","unstructured":"Pfalzgraf, J.: Modeling connectionist network structures: Some geometric and categorical aspects. Annals of Mathematics and AI\u00a036, 279\u2013301 (2002)","journal-title":"Annals of Mathematics and AI"},{"key":"2_CR7","unstructured":"Pfalzgraf, J.: Modeling connectionist networks: categorical, geometric aspects (towards \u2018homomorphic learning\u2019). In: Dubois, D.M. (ed.) Proceedings CASYS 2003. American Institute of Physics, AIP Conference Proceedings, Li\u00e8ge, Belgium, August 11-16, 2003, vol.\u00a0718 (2004) (Received a Best Paper Award)"},{"key":"2_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3916-1","volume-title":"Rational Kinematics","author":"J. Angeles","year":"1988","unstructured":"Angeles, J.: Rational Kinematics. Springer, New York-Berlin (1988)"},{"key":"2_CR9","volume-title":"Introduction to Robotics","author":"J. Craig","year":"1986","unstructured":"Craig, J.: Introduction to Robotics. Addison-Wesley Publ.Co, Reading (1986)"},{"key":"2_CR10","volume-title":"Robot Manipulators","author":"R. Paul","year":"1982","unstructured":"Paul, R.: Robot Manipulators. MIT Press, Cambridge Massachusetts (1982)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, J.: On finite noncommutative affine spaces. In: Hall Jr., M., van Lint, J.H. (eds.) Combinatorics, 2nd edn. Proceedings of an Advanced Inst. on Combinat (Breukelen), pp. 65\u2013113, Amsterdam Math. Centrum. (1974)","DOI":"10.1007\/978-94-010-1826-5_5"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/BF00147537","volume":"13","author":"J. Andr\u00e9","year":"1983","unstructured":"Andr\u00e9, J.: Coherent configurations and noncommutative spaces. Geometriae Dedicata\u00a013, 351\u2013360 (1983)","journal-title":"Geometriae Dedicata"},{"key":"2_CR13","first-page":"1","volume":"2","author":"J. Andr\u00e9","year":"1988","unstructured":"Andr\u00e9, J.: Endliche nichtkommutative Geometrie (Lecture Notes). Annales Universitatis Saraviensis (Ser. Math.)\u00a02, 1\u2013136 (1988)","journal-title":"Annales Universitatis Saraviensis (Ser. Math.)"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/BF01245939","volume":"43","author":"J. Andr\u00e9","year":"1992","unstructured":"Andr\u00e9, J.: Configurational conditions and digraphs. Journal of Geometry\u00a043, 22\u201329 (1992)","journal-title":"Journal of Geometry"},{"key":"2_CR15","unstructured":"Andr\u00e9, J., Ney, H.: On Anshel-Clay-Nearrings. In: Proc. Intern. Conf. Nearrings and Nearfields, Oberwolfach (1991)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/BF01220477","volume":"25","author":"J. Pfalzgraf","year":"1985","unstructured":"Pfalzgraf, J.: On a model for noncommutative geometric spaces. Journal of Geometry\u00a025, 147\u2013163 (1985)","journal-title":"Journal of Geometry"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/BF00182907","volume":"21","author":"J. Pfalzgraf","year":"1986","unstructured":"Pfalzgraf, J.: On geometries associated with group operations. Geometriae Dedicata\u00a021, 193\u2013203 (1986)","journal-title":"Geometriae Dedicata"},{"key":"2_CR18","volume-title":"Archivos de Investigaci\u00f3n","author":"J. Pfalzgraf","year":"1985","unstructured":"Pfalzgraf, J.: Sobre la existencia de espacios semiafines y finitos. In: Archivos de Investigaci\u00f3n, vol.\u00a03(1). (Proceedings) Instituto Profesional de Chill\u00e1n, Chile (1985)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1023\/A:1026477216294","volume":"26","author":"W. Gehrke","year":"2001","unstructured":"Gehrke, W., Pfalzgraf, J.: Computer-aided construction of finite geometric spaces: Automated verification of geometric constraints. Journal of Automated Reasoning\u00a026, 139\u2013160 (2001)","journal-title":"Journal of Automated Reasoning"},{"issue":"7","key":"2_CR20","first-page":"847","volume":"43","author":"J. Pfalzgraf","year":"1998","unstructured":"Pfalzgraf, J.: On a category of geometric spaces and geometries induced by group actions. Ukrainian Jour. Physics\u00a043(7), 847\u2013856 (1998)","journal-title":"Ukrainian Jour. Physics"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/3-540-07407-4_17","volume-title":"Automata Theory and Formal Languages","author":"G.E. Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. In: Brakhage, H. (ed.) GI-Fachtagung 1975. LNCS, vol.\u00a033, pp. 134\u2013183. Springer, Heidelberg (1975)"},{"key":"2_CR22","unstructured":"Hong, H.: Improvements in c.a.d.\u2013based quantifier elimination (PhD thesis). Technical report, The Ohio State University, Columbus, Ohio (1990)"},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"W. Wu","year":"1986","unstructured":"Wu, W.: Basic principles of mechanical theorem proving in elementary geometries. J. Automated Reasoning\u00a02, 221\u2013252 (1986)","journal-title":"J. Automated Reasoning"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01531321","volume":"13","author":"D. Wang","year":"1995","unstructured":"Wang, D.: Elimination procedures for mechanical theorem proving in geometry. Annals of Mathematics and Artificial Intelligence\u00a013, 1\u201324 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01531328","volume":"13","author":"J. Pfalzgraf","year":"1995","unstructured":"Pfalzgraf, J.: A category of geometric spaces: Some computational aspects. Annals of Mathematics and Artificial Intelligence\u00a013, 173\u2013193 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Intelligent Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85110-3_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:14:43Z","timestamp":1619522083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85110-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540851097","9783540851103"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85110-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}