{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:41Z","timestamp":1725664961312},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617327"},{"type":"electronic","value":"9783540707400"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61732-9_62","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:16:45Z","timestamp":1330276605000},"page":"258-273","source":"Crossref","is-referenced-by-count":0,"title":["Towards modelling the topology of homogeneous manifolds by means of symbolic computation"],"prefix":"10.1007","author":[{"given":"Michael","family":"Joswig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"2","key":"16_CR1","first-page":"239","volume":"3","author":"R. B\u00f6di","year":"1993","unstructured":"R. B\u00f6di and M. Joswig. Tables for an effective enumeration of real representations of quasi-simple Lie groups. Sem. Sophus Lie, 3(2):239\u2013253, 1993.","journal-title":"Sem. Sophus Lie"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"A. Borel et al. Seminar on transformation groups Ann. of Math. Stud. 46, Princeton Univ. Press, 1960.","DOI":"10.1515\/9781400882670"},{"key":"16_CR3","first-page":"353","volume":"84","author":"R. Bott","year":"1956","unstructured":"R. Bott. An application of Morse theory to the topology of Lie groups. Bull. Soc. Math. France, 84:353\u2013411, 1956.","journal-title":"Bull. Soc. Math. France"},{"key":"16_CR4","volume-title":"Groupes et alg\u00e8bres de Lie","author":"N. Bourbaki","year":"1968","unstructured":"N. Bourbaki. Groupes et alg\u00e8bres de Lie, Chap. 4, 5, 6. Hermann, Paris, 1968."},{"key":"16_CR5","volume-title":"Groupes et alg\u00e8bres de Lie","author":"N. Bourbaki","year":"1975","unstructured":"N. Bourbaki. Groupes et alg\u00e8bres de Lie, Chap. 7, 8. Hermann, Paris, 1975."},{"key":"16_CR6","volume-title":"Groupes et alg\u00e8bres de Lie, Chap. 9, Groupes de Lie r\u00e9els compactes","author":"N. Bourbaki","year":"1982","unstructured":"N. Bourbaki. Groupes et alg\u00e8bres de Lie, Chap. 9, Groupes de Lie r\u00e9els compactes. Masson, Paris, 1982."},{"key":"16_CR7","volume-title":"Commutative Algebra","author":"N. Bourbaki","year":"1989","unstructured":"N. Bourbaki. Commutative Algebra, Chap. 1\u20137. Springer, Heidelberg-Berlin-New York, 1989."},{"key":"16_CR8","volume-title":"Lie groups and Lie algebras","author":"N. Bourbaki","year":"1989","unstructured":"N. Bourbaki. Lie groups and Lie algebras, Chap. 1\u20133. Springer, Heidelberg-Berlin-New York, 1989."},{"key":"16_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-6848-0","volume-title":"Topology and geometry","author":"G.E. Bredon","year":"1993","unstructured":"G.E. Bredon. Topology and geometry. Springer, Heidelberg-Berlin-New York, 1993."},{"key":"16_CR10","doi-asserted-by":"crossref","first-page":"24","DOI":"10.2307\/1970305","volume":"74","author":"W. Browder","year":"1961","unstructured":"W. Browder. Torsion in h-spaces. Ann. Math. (2), 74:24\u201351, 1961.","journal-title":"Ann. Math. (2)"},{"key":"16_CR11","volume-title":"Dimension theory","author":"R. Engelking","year":"1978","unstructured":"R. Engelking. Dimension theory. North-Holland, Amsterdam, 1978."},{"key":"16_CR12","first-page":"27","volume":"7","author":"M.J. Fischer","year":"1974","unstructured":"M.J. Fischer and M.O. Rabin. Super exponential complexity of Presburger's arithmetic. SIAM-AMS Proceedings, 7:27\u201341, 1974.","journal-title":"SIAM-AMS Proceedings"},{"key":"16_CR13","first-page":"5","volume":"20","author":"V.V. Gorbatsevich","year":"1988","unstructured":"V.V. Gorbatsevich and A.L. Onishchik. Transformation Lie groups. Itogi Nauki i Tekhniki: Sovremennye Problemy Mat.: Fundamental'nye Napravleniya, 20:5\u2013101, 1988.","journal-title":"Itogi Nauki i Tekhniki: Sovremennye Problemy Mat.: Fundamental'nye Napravleniya"},{"key":"16_CR14","volume-title":"Differential geometry, Lie groups and symmetric spaces","author":"S. Helgason","year":"1978","unstructured":"S. Helgason. Differential geometry, Lie groups and symmetric spaces. Academic Press, New York, 1978."},{"key":"16_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-80270-5","volume-title":"Lie-Gruppen und Lie-Algebren","author":"J. Hilgert","year":"1991","unstructured":"J. Hilgert and K.-H. Neeb. Lie-Gruppen und Lie-Algebren. Vieweg, Braunschweig. 1991."},{"key":"16_CR16","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1090\/S0002-9939-1994-1166357-9","volume":"120","author":"K.H. Hofmann","year":"1994","unstructured":"K.H. Hofmann and Ch. Terp. Compact subgroups of Lie groups and locally compact groups. Proc. Amer. Math. Soc., 120:623\u2013634, 1994.","journal-title":"Proc. Amer. Math. Soc."},{"key":"16_CR17","volume-title":"Projective planes","author":"D.R. Hughes","year":"1973","unstructured":"D.R. Hughes and F.C. Piper. Projective planes. Springer, Heidelberg-Berlin-New York, 1973."},{"key":"16_CR18","volume-title":"LiE \u2014 A package for Lie group computations","author":"M.A.A. Leeuwen van","year":"1992","unstructured":"M.A.A. van Leeuwen, A.M. Cohen, and B. Lisser. LiE \u2014 A package for Lie group computations. Computer Algebra Nederland, Amsterdam, 1992."},{"key":"16_CR19","doi-asserted-by":"crossref","first-page":"507","DOI":"10.2307\/1969548","volume":"50","author":"K. Iwasawa","year":"1949","unstructured":"K. Iwasawa. On some types of topological groups. Ann. Math. (2), 50:507\u2013558, 1949.","journal-title":"Ann. Math. (2)"},{"key":"16_CR20","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF01263479","volume":"58","author":"M. Joswig","year":"1995","unstructured":"M. Joswig. Generalized polygons with highly transitive collineation groups. Geom. Ded., 58:91\u2013100, 1995.","journal-title":"Geom. Ded."},{"key":"16_CR21","unstructured":"M. Joswig. Deciding the exactness of sequences of finitely generated abelian groups. Preprint."},{"key":"16_CR22","unstructured":"L. Kramer. Compact polygons. Phd thesis, Univ. T\u00fcbingen, 1994."},{"key":"16_CR23","first-page":"217","volume":"321","author":"R. L\u00f6wen","year":"1981","unstructured":"R. L\u00f6wen. Homogeneous compact projective planes. J. Reine Angew. Math., 321:217\u2013220, 1981.","journal-title":"J. Reine Angew. Math."},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"M. Mimura. Homotopy theory of Lie groups. Chap. 9 of I.M. James (ed.): Handbook of algebraic topology, Amsterdam, 1995.","DOI":"10.1016\/B978-044481779-2\/50020-1"},{"key":"16_CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2267454","volume":"17","author":"A. Mostowski","year":"1952","unstructured":"A. Mostowski. On direct products of theories. J. Symbolic Logic, 17:1\u201320, 1952.","journal-title":"J. Symbolic Logic"},{"key":"16_CR26","unstructured":"R.V. Moody, J. Patera, and D.W. Rand <Rand@ERE.UMontreal.CA>. simpLie \u2014 Macintosh software for simple Lie algebras. Internet WWW page, at URL: <http:\/\/www.crm.umontreal.ca\/\u223crand\/simpLie.html>, (version of June 13, 1995)."},{"key":"16_CR27","volume-title":"Topology of transitive transformation groups","author":"A.L. Onishchik","year":"1994","unstructured":"A.L. Onishchik. Topology of transitive transformation groups. Barth, Leipzig-Berlin-Heidelberg, 1994."},{"key":"16_CR28","unstructured":"L.C. Paulson. ML for the working programmer. Cambridge Univ. Press, 1991."},{"key":"16_CR29","unstructured":"M. Presburger. \u00dcber die Vollst\u00e4ndigkeit eines gewissen Systems der Arithmetik ganzer Zahlen, in welchem die Addition als einzige Operation hervortritt. pages 92\u2013101. Comptes rendus du 1er Congr\u00e8s des Math\u00e9maticiens des Pays Slaves, Warszawa, 1929."},{"key":"16_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4576-6","volume-title":"An introduction to algebraic topology","author":"J.J. Rotman","year":"1988","unstructured":"J.J. Rotman. An introduction to algebraic topology. Springer, Heidelberg-Berlin-New York, 1988."},{"key":"16_CR31","doi-asserted-by":"crossref","DOI":"10.1515\/9783110876833","volume-title":"Compact projective planes","author":"H. Salzmann","year":"1995","unstructured":"H. Salzmann, D. Betten, T. Grundh\u00f6fer, H. H\u00e4hl, R. L\u00f6wen, and M. Stroppel. Compact projective planes. De Gruyter, Berlin, 1995."},{"key":"16_CR32","unstructured":"T. Skolem. \u00dcber gewisse Satzfunktionen in der Arithmetik. Skrifter utgit av Videnskapsselskapet i Kristiania, I. klasse, no. 7, 1930."},{"key":"16_CR33","volume-title":"Algebraic topology","author":"E.H. Spanier","year":"1966","unstructured":"E.H. Spanier. Algebraic topology. McGraw-Hill, New York, 1966."},{"key":"16_CR34","unstructured":"Standard ML of New Jersey. Copyright by AT&T Bell Laboratories. Version 109, 1996."},{"key":"16_CR35","unstructured":"H. Van Maldeghem. Generalized polygons \u2014 a geometric approach. To appear."},{"key":"16_CR36","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-1799-0","volume-title":"Foundations of differentiable manifolds and Lie groups","author":"F.W. Warner","year":"1983","unstructured":"F.W. Warner. Foundations of differentiable manifolds and Lie groups. Springer, Heidelberg-Berlin-New York, 1983. Corrected reprint of the 1971 edition."},{"key":"16_CR37","volume-title":"The theory of groups","author":"H. Zassenhaus","year":"1949","unstructured":"H. Zassenhaus. The theory of groups. Chelsea, New York, 1949."}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61732-9_62.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:09:51Z","timestamp":1605629391000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61732-9_62"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617327","9783540707400"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/3-540-61732-9_62","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}