{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:05:51Z","timestamp":1749125151832},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1995,3,1]],"date-time":"1995-03-01T00:00:00Z","timestamp":794016000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1995,3]]},"DOI":"10.1007\/bf01531328","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:34:59Z","timestamp":1113870899000},"page":"173-193","source":"Crossref","is-referenced-by-count":2,"title":["A category of geometric spaces: Some computational aspects"],"prefix":"10.1007","volume":"13","author":[{"given":"Jochen","family":"Pfalzgraf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"J. Andr\u00e9 and H. Ney, On Anshel-Clay-nearrings,Proc. Int. Conf. Nearrings and Nearfields, Oberwolfach, 1991."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF01213874","volume":"136","author":"J. Andr\u00e9","year":"1974","unstructured":"J. Andr\u00e9, Lineare Algebra \u00fcber Fastk\u00f6rpern, Math. Z. 136(1974)295?313.","journal-title":"Math. Z."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"J. Andr\u00e9, On finite noncommutative affine spaces, in:Combinatorics, 2nd Ed., eds. M. Hall, Jr. and J.H. van Lint, Proc. of an Advanced Inst. on Combinat., Breukelen (Amsterdam Math. Centrum, 1974) pp. 65?113.","DOI":"10.1007\/978-94-010-1826-5_5"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/BF02941217","volume":"51","author":"J. Andr\u00e9","year":"1981","unstructured":"J. Andr\u00e9, Eine geometrische Kennzeichnung imprimitiver Frobenius Gruppen, Abhandlungen Math. Seminar Univ. Hamburg 51(1981)120?135.","journal-title":"Abhandlungen Math. Seminar Univ. Hamburg"},{"key":"CR5","first-page":"1","volume":"2","author":"J. Andr\u00e9","year":"1988","unstructured":"J. Andr\u00e9, Endliche nichtkommutative Geometrie (Lecture Notes), Ann. Univ. Saraviensis (Ser. Math.) 2(1988)1?136.","journal-title":"Ann. Univ. Saraviensis (Ser. Math.)"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"22","DOI":"10.1007\/BF01245939","volume":"43","author":"J. Andr\u00e9","year":"1992","unstructured":"J. Andr\u00e9, Configurational conditions and digraphs, J. Geom. 43(1992)22?29.","journal-title":"J. Geom."},{"key":"CR7","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,Multidimensional Systems Theory, ed. N.K. Bose (Reidel, Dordrecht\/Boston\/Lancaster, 1985) pp. 184?232."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"G.E. Collins, Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition, Springer Lecture Notes in Computer Science 33 (1975).","DOI":"10.1007\/3-540-07407-4_17"},{"key":"CR9","volume-title":"Groups Acting on Graphs","author":"W. Dicks","year":"1988","unstructured":"W. Dicks and M.J. Dunwoody,Groups Acting on Graphs (Cambridge University Press, Cambridge, 1988)."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"647","DOI":"10.1109\/18.54884","volume":"36","author":"P. Fuchs","year":"1990","unstructured":"P. Fuchs, G. Hofer and G. Pilz, Codes from planar near rings, IEEE Trans. Inform. Theory 36(1990)647?651.","journal-title":"IEEE Trans. Inform. Theory"},{"key":"CR11","unstructured":"U. H\u00f6fer, Constructive methods in finitek-tactical geometric spaces, Diploma Thesis, Saarbr\u00fccken (1985), in German."},{"key":"CR12","volume-title":"Technical Report","author":"H. Hong","year":"1990","unstructured":"H. Hong, Improvements in c.a.d.-based quantifier elimination (Ph.D. Thesis), Technical Report, The Ohio State University, Columbus, Ohio (1990)."},{"key":"CR13","volume-title":"Algebraic Combinatorics Via Finite Group Actions","author":"A. Kerber","year":"1991","unstructured":"A. Kerber,Algebraic Combinatorics Via Finite Group Actions (BI Wissenschaftsverlag, Mannheim\/Wien\/Z\u00fcrich, 1991)."},{"key":"CR14","unstructured":"S. MacLane and I. Moerdijk,Sheaves in Geometry and Logic (Springer, Universitext, 1992)."},{"key":"CR15","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF01220477","volume":"25","author":"J. Pfalzgraf","year":"1985","unstructured":"J. Pfalzgraf, On a model for noncommutative geometric spaces, J. Geom. 25(1985)147?163.","journal-title":"J. Geom."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/BF00182907","volume":"21","author":"J. Pfalzgraf","year":"1986","unstructured":"J. Pfalzgraf, On geometries associated with group operations, Geom. Dedicata 21(1986)193?203.","journal-title":"Geom. Dedicata"},{"key":"CR17","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/BF01200477","volume":"49","author":"J. Pfalzgraf","year":"1987","unstructured":"J. Pfalzgraf, A note on simplices as geometric configurations, Archiv der Math. 49(1987)134?140.","journal-title":"Archiv der Math."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/BF03322388","volume":"12","author":"J. Pfalzgraf","year":"1987","unstructured":"J. Pfalzgraf, Representation of geometric spaces as fibered structures, Results in Math. 12(1987)172?190, in German.","journal-title":"Results in Math."},{"key":"CR19","unstructured":"J. Pfalzgraf, On graph products of groups and group spaces, in preparation."},{"key":"CR20","volume-title":"Near-rings","author":"G. Pilz","year":"1983","unstructured":"G. Pilz,Near-rings, 2nd Ed. (North-Holland, Amsterdam, 1983).","edition":"2nd Ed."},{"key":"CR21","unstructured":"D.E. Rydeheard and R.M. Burstall,Computational Category Theory, Ser. in Comp. Sci. (Prentice-Hall, 1988)."},{"key":"CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61856-7","volume-title":"Trees","author":"J.P. Serre","year":"1980","unstructured":"J.P. Serre,Trees (Springer, Berlin\/Heidelberg\/New York, 1980)."},{"key":"CR23","doi-asserted-by":"crossref","DOI":"10.1525\/9780520348097","volume-title":"A Decision Method for Elementary Algebra and Geometry","author":"A. Tarski","year":"1951","unstructured":"A. Tarski,A Decision Method for Elementary Algebra and Geometry (The RAND Corporation, Santa Monica; 2nd Ed., University of California Press, Berkeley and Los Angeles, 1951).","edition":"2nd Ed."},{"key":"CR24","unstructured":"D.M. Wang, Reasoning about geometric problems using algebraic methods,Proc. MEDLAR 24-Month Review Workshop, Grenoble, 1991, RISC-Linz Ser. No. 91.51.0, 1991."},{"key":"CR25","unstructured":"D.M. Wang, Solution to a benchmark example, private communication (letter) (1993)."},{"key":"CR26","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. Autom. Reasoning 2(1986)221?252.","journal-title":"J. Autom. Reasoning"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531328\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531328.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531328\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531328","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,3]],"date-time":"2023-05-03T00:17:40Z","timestamp":1683073060000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01531328"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":26,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["BF01531328"],"URL":"https:\/\/doi.org\/10.1007\/bf01531328","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}