{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:10:03Z","timestamp":1749125403021,"version":"3.41.0"},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,2,1]],"date-time":"2001-02-01T00:00:00Z","timestamp":980985600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Automated Reasoning"],"published-print":{"date-parts":[[2001,2]]},"DOI":"10.1023\/a:1026477216294","type":"journal-article","created":{"date-parts":[[2003,11,6]],"date-time":"2003-11-06T16:45:40Z","timestamp":1068137140000},"page":"139-160","source":"Crossref","is-referenced-by-count":1,"title":["Computer-Aided Construction of Finite Geometric Spaces: Automated Verification of Geometric Constraints"],"prefix":"10.1007","volume":"26","author":[{"given":"Wolfgang","family":"Gehrke","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jochen","family":"Pfalzgraf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"255728_CR1","unstructured":"Ad\u00e1mek, J., Herrlich, H., and Strecker, G. E. (1990): Abstract and Concrete Categories, John Wiley & Sons."},{"key":"255728_CR2","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, J. (1974): On finite noncommutative affine spaces, in M. Hall Jr. and J. H. van Lint (eds.), Combinatorics, 2nd edn, Proceedings of an Advanced Inst. on Combinat. (Breukelen), Amsterdam Math. Centrum, pp. 65\u2013113.","DOI":"10.1007\/978-94-010-1826-5_5"},{"key":"255728_CR3","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/BF00147537","volume":"13","author":"J. Andr\u00e9","year":"1983","unstructured":"Andr\u00e9, J. (1983): Coherent configurations and noncommutative spaces, Geometriae Dedicata\n13, 351\u2013360.","journal-title":"Geometriae Dedicata"},{"key":"255728_CR4","first-page":"1","volume":"2","author":"J. Andr\u00e9","year":"1988","unstructured":"Andr\u00e9, J. (1988): Endliche nichtkommutative Geometrie (Lecture Notes), Annales Universitatis Saraviensis (Ser. Math.)\n2, 1\u2013136.","journal-title":"Annales Universitatis Saraviensis (Ser. Math.)"},{"key":"255728_CR5","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/BF01245939","volume":"43","author":"J. Andr\u00e9","year":"1992","unstructured":"Andr\u00e9, J. (1992): Configurational conditions and digraphs, J. Geom.\n43, 22\u201329.","journal-title":"J. Geom."},{"key":"255728_CR6","unstructured":"Andr\u00e9, J. and Ney, H. (1991): On Anshel-Clay-Nearrings, Proc. Intern. Conf. Nearrings and Nearfields. Oberwolfach."},{"key":"255728_CR7","unstructured":"Mac Lane, S. (1998): Categories for the Working Mathematician, 2nd edn, Graduate Texts in Math. 5, Springer-Verlag."},{"key":"255728_CR8","unstructured":"Mac Lane, S. and Moerdijk, I. (1992): Sheaves in Geometry and Logic, Springer-Verlag, Universitext."},{"key":"255728_CR9","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF01220477","volume":"25","author":"J. Pfalzgraf","year":"1985","unstructured":"Pfalzgraf, J. (1985a): On a model for noncommutative geometric spaces, J. Geom.\n25, 147\u2013163.","journal-title":"J. Geom."},{"key":"255728_CR10","unstructured":"Pfalzgraf, J. (1985b): Sobre la existencia de espacios semiafines y finitos, Archivos de Investigaci\u00f3n (Proceedings), Instituto Profesional de Chill\u00e1n 3(1)."},{"key":"255728_CR11","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/BF00182907","volume":"21","author":"J. Pfalzgraf","year":"1986","unstructured":"Pfalzgraf, J. (1986): On geometries associated with group operations, Geom. Dedicata\n21, 193\u2013203.","journal-title":"Geom. Dedicata"},{"key":"255728_CR12","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/BF01200477","volume":"49","author":"J. Pfalzgraf","year":"1987","unstructured":"Pfalzgraf, J. (1987a): A note on simplices as geometric configurations, Arch. Math.\n49, 134\u2013140.","journal-title":"Arch. Math."},{"key":"255728_CR13","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1016\/S0167-5060(08)70256-5","volume":"37","author":"J. Pfalzgraf","year":"1988","unstructured":"Pfalzgraf, J. (1988): On group spaces defined by semidirect products of groups, Ann. Discrete Math.\n37, 367\u2013374.","journal-title":"Ann. Discrete Math."},{"key":"255728_CR14","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/BF03322388","volume":"12","author":"J. Pfalzgraf","year":"1987","unstructured":"Pfalzgraf, J. (1987b): Representation of geometric spaces as fibered structures, Results Math.\n12, 172\u2013190 (in German).","journal-title":"Results Math."},{"key":"255728_CR15","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01531328","volume":"13","author":"J. Pfalzgraf","year":"1995","unstructured":"Pfalzgraf, J. (1995a): A category of geometric spaces: Some computational aspects, Ann. Math. Artif. Intell.\n13, 173\u2013193.","journal-title":"Ann. Math. Artif. Intell."},{"key":"255728_CR16","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/BF01224046","volume":"53","author":"J. Pfalzgraf","year":"1995","unstructured":"Pfalzgraf, J. (1995b): Graph products of groups and group spaces, J. Geom.\n53, 131\u2013147.","journal-title":"J. Geom."},{"key":"255728_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01531321","volume":"13","author":"D. Wang","year":"1995","unstructured":"Wang, D. (1995): Elimination procedures for mechanical theorem proving in geometry, Ann. Math. Artif. Intell.\n13, 1\u201324.","journal-title":"Ann. Math. Artif. Intell."},{"key":"255728_CR18","volume-title":"Proceedings of the 15th International Conference on Automated Deduction (CADE-15), Lindau, Germany, 5\u201310 July 1998","author":"S. F\u00e8vre","year":"1998","unstructured":"F\u00e8vre, S. and Wang, D. (1998): Proving geometric theorems using Clifford algebra and rewrite rules, in Proceedings of the 15th International Conference on Automated Deduction (CADE-15), Lindau, Germany, 5\u201310 July 1998, LNAI, Springer-Verlag, Berlin."},{"key":"255728_CR19","doi-asserted-by":"crossref","unstructured":"Wang, D. (1996): Geometry machines: From AI to SMC' (invited paper), in Proceedings of the 3rd International Conference on Artificial Intelligence and Symbolic Mathematical Computation (AISMC-3), Steyr, Austria, 23\u201325 September 1996, Lecture Notes in Comput. Sci. 1138, Springer-Verlag, pp. 213\u2013239.","DOI":"10.1007\/3-540-61732-9_60"},{"key":"255728_CR20","doi-asserted-by":"crossref","unstructured":"Wang, D. (1998): Clifford algebraic calculus for geometric reasoning with application to computer vision, in D.Wang et al. (eds.), Automated Deduction in Geometry, LNAI 1360, Springer-Verlag, pp. 115\u2013140.","DOI":"10.1007\/BFb0022723"},{"key":"255728_CR21","unstructured":"Davie, A. J. T. (1992): An Introduction to Functional Programming Systems Using Haskell, Cambridge University Press."},{"key":"255728_CR22","unstructured":"Smolka, G., Henz, M. and W\u00fcrtz, J. (1996): Object-oriented concurrent constraint programming in Oz, in P. van Hentenryck and V. Saraswat (eds.), Principles and Practice of Constraint Programming, Ch. 2, MIT Press, pp. 29\u201348."},{"key":"255728_CR23","doi-asserted-by":"crossref","unstructured":"Paulson, L. C. (1996): ML for the Working Programmer, 2nd edn, Cambridge University Press.","DOI":"10.1017\/CBO9780511811326"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026477216294.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1026477216294\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026477216294.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:45:50Z","timestamp":1749123950000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1026477216294"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,2]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,2]]}},"alternative-id":["255728"],"URL":"https:\/\/doi.org\/10.1023\/a:1026477216294","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[2001,2]]}}}