{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T01:54:57Z","timestamp":1648950897444},"reference-count":44,"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\/bf01531323","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:34:59Z","timestamp":1113870899000},"page":"47-71","source":"Crossref","is-referenced-by-count":0,"title":["The dimension method in elementary and differential geometry"],"prefix":"10.1007","volume":"13","author":[{"given":"M. A.","family":"Alberti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Carr\ufffd Ferro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Lammoglia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Torelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/0747-7171(92)90024-X","volume":"14","author":"D. Bayer","year":"1992","unstructured":"D. Bayer and M. Stillman, Computation of Hilbert functions, J. Symb. Comp. 14(1992)31?50.","journal-title":"J. Symb. Comp."},{"key":"CR2","first-page":"19","volume":"10","author":"B. Buchberger","year":"1976","unstructured":"B. Buchberger, Some properties of Gr\u00f6bner bases for polynomial ideals, ACM SIGSAM Bull. 10(1976)19?21.","journal-title":"ACM SIGSAM Bull."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/978-94-009-5225-6_6","volume-title":"Multi-dimensional Systems Theory","author":"B. Buchberger","year":"1985","unstructured":"B. Buchberger, Gr\u00f6bner bases: An algorithmic method in polynomial ideal theory, in:Multi-dimensional Systems Theory, ed. N.K. Bose (Reidel, Dordrecht, 1985) pp. 184?232."},{"key":"CR4","first-page":"129","volume-title":"Lecture Notes Comp. Sci. 356","author":"G. Carr\u00e0 Ferro","year":"1987","unstructured":"G. Carr\u00e0 Ferro, Gr\u00f6bner bases and differential algebra,Lecture Notes Comp. Sci. 356 (Springer, Berlin, 1987) pp. 129?140."},{"key":"CR5","first-page":"152","volume-title":"Lecture Notes Comp. Sci. 357","author":"G. Carr\u00e0 Ferro","year":"1988","unstructured":"G. Carr\u00e0 Ferro, Some remarks on the differential dimension,Lecture Notes Comp. Sci. 357 (Springer, Berlin, 1988) pp. 152?163."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1007\/BF00885765","volume":"12","author":"G. Carr\u00e0 Ferro","year":"1994","unstructured":"G. Carr\u00e0 Ferro, An extension of a procedure to prove statements in differential geometry, J. Autom. Reasoning 12(1994)351?358.","journal-title":"J. Autom. Reasoning"},{"key":"CR7","first-page":"141","volume-title":"Lecture Notes Comp. Sci. 365","author":"G. Carr\u00e0 Ferro","year":"1987","unstructured":"G. Carr\u00e0 Ferro and G. Gallo, A procedure to prove geometrical statements,Lecture Notes Comp. Sci. 365 (Springer, Berlin, 1987) pp. 141?150."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00245819","volume":"6","author":"G. Carr\u00e0 Ferro","year":"1990","unstructured":"G. Carr\u00e0 Ferro and G. Gallo, A procedure to prove statements in differential geometry, J. Autom. Reasoning 6(1990)203?209.","journal-title":"J. Autom. Reasoning"},{"key":"CR9","volume-title":"Les Syst\u00e8mes Diff\u00e9rentielles Ext\u00e9rieurs et leurs Applications G\u00e9om\u00e9triques","author":"E. Cartan","year":"1945","unstructured":"E. Cartan,Les Syst\u00e8mes Diff\u00e9rentielles Ext\u00e9rieurs et leurs Applications G\u00e9om\u00e9triques (Herman, Paris, 1945)."},{"key":"CR10","volume-title":"Mechanical Geometry Theorem Proving","author":"S.C. Chou","year":"1988","unstructured":"S.C. Chou,Mechanical Geometry Theorem Proving (Reidel, Dordrecht, 1988)."},{"key":"CR11","first-page":"134","volume-title":"Lecture Notes Comp. Sci 33","author":"G.E. Collins","year":"1975","unstructured":"G.E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition,Lecture Notes Comp. Sci 33 (Springer, Berlin, 1975) pp. 134?183."},{"key":"CR12","first-page":"127","volume-title":"Resolution of Equations in Algebraic Structures","author":"D. Fearnley-Sander","year":"1989","unstructured":"D. Fearnley-Sander, The idea of a diagram, in:Resolution of Equations in Algebraic Structures, eds. H. A\u00eft-Kaci and M. Nivat (Academic Press, San Diego, 1989) pp. 127?150."},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"V.G. Ganzha, S.V. Meleshko and V.P. Shelest, Application ofReduce system for analyzing consistency of systems of PDE's, Proc. ISSAC '90 (Addison-Wesley, 1990) p. 301.","DOI":"10.1145\/96877.96970"},{"key":"CR14","unstructured":"V.G. Ganzha, S.V. Meleshko and W. Strampp, The application of theReduce system to the compatibility analysis of gas dynamic equations, Preprint (1992)."},{"key":"CR15","first-page":"134","volume-title":"Computers and Thought","author":"H. Gelernter","year":"1963","unstructured":"H. Gelernter, Realization of a geometry-theorem proving machine, in:Computers and Thought, eds. E.A. Feigenbaum and J. Feldman (McGraw-Hill, New York, 1963) pp. 134?152. Also in:Automation of Reasoning I, eds. J. Siekmann and G. Wrightson (Springer, Berlin, 1983)."},{"key":"CR16","first-page":"20","volume-title":"Proc. DISCO '90, Lecture Notes Comp. Sci. 429","author":"A. Giovini","year":"1990","unstructured":"A. Giovini and G. Niesi, CoCoA: A user-friendly system for communtative algebra,Proc. DISCO '90, Lecture Notes Comp. Sci. 429 (Springer, Berlin, 1990) pp. 20?29."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/S0747-7171(88)80046-4","volume":"6","author":"M. Giusti","year":"1988","unstructured":"M. Giusti, Combinatorial dimension theory of algebraic varieties, J. Symb. Comp. 6(1988) 249?265.","journal-title":"J. Symb. Comp."},{"key":"CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3849-0","volume-title":"Algebraic Geometry","author":"R. Hartshorne","year":"1977","unstructured":"R. Hartshorne,Algebraic Geometry (Springer, Berlin, 1977)."},{"key":"CR19","first-page":"65","volume":"3","author":"M. Janet","year":"1920","unstructured":"M. Janet, Sur les syst\u00e8mes d'\u00e9quations aux d\u00e9riv\u00e9es partielle, J. Math. 3(1920)65?151.","journal-title":"J. Math."},{"key":"CR20","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1016\/S0747-7171(86)80007-4","volume":"2","author":"D. Kapur","year":"1986","unstructured":"D. Kapur, Using Gr\u00f6bner bases to reason about geometry problems, J. Symb. Comp. 2(1986) 399?408.","journal-title":"J. Symb. Comp."},{"key":"CR21","volume-title":"Famous Problems and Other Monographs","author":"F. Klein","year":"1962","unstructured":"F. Klein, Famous problems of elementary geometry, reprinted in:Famous Problems and Other Monographs (Chelsea, New York, 1962)."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"570","DOI":"10.1090\/S0002-9904-1964-11203-9","volume":"70","author":"E.R. Kolchin","year":"1964","unstructured":"E.R. Kolchin, The notion of dimension in the theory of algebraic differential equations, Bull. Amer. Math. Soc. 70(1964)570?573.","journal-title":"Bull. Amer. Math. Soc."},{"key":"CR23","volume-title":"Differential Algebra and Algebraic Groups","author":"E.R. Kolchin","year":"1973","unstructured":"E.R. Kolchin,Differential Algebra and Algebraic Groups (Academic Press, New York, 1973)."},{"key":"CR24","volume-title":"Lectures on Involutive Systems of Partial Differential Equations","author":"M. Kuranishi","year":"1967","unstructured":"M. Kuranishi,Lectures on Involutive Systems of Partial Differential Equations, Publ. Soc. Math., Sao Paulo (1967)."},{"key":"CR25","doi-asserted-by":"crossref","unstructured":"B. Kutzler, Careful algebraic translations of geometry theorems,Proc. Int. Symp. on Symbolic and Algebraic Computation, ISSAC '89 (ACM, 1989) pp. 254?263.","DOI":"10.1145\/74540.74572"},{"key":"CR26","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1016\/S0747-7171(86)80006-2","volume":"2","author":"B. Kutzler","year":"1986","unstructured":"B. Kutzler and S. Stifter, On the application of Buchberger's algorithm to automated geometry theorem proving, J. Symb. Comp. 2(1986)389?397.","journal-title":"J. Symb. Comp."},{"key":"CR27","unstructured":"E. Mansfield, Differential Gr\u00f6bner bases, Ph.D. Thesis, University of Sydney (1991)."},{"key":"CR28","volume-title":"Logic Design Principles","author":"E.J. McCluskey","year":"1986","unstructured":"E.J. McCluskey,Logic Design Principles (Prentice-Hall, Englewood Cliffs, NJ, 1986)."},{"key":"CR29","unstructured":"A. Newell, J.C. Shaw and H.A. Simon, Empirical explorations with the logic theory machine,Proc. West Joint Comp. Conf. (1957) pp. 218?239. Also in:Computers and Thought, eds. E.A. Feigenbaum and J. Feldman (McGraw-Hill, New York, 1963), and in:Automation of Reasoning I, eds. J. Siekmann and G. Wrightson (Springer, Berlin, 1983)."},{"key":"CR30","volume-title":"Systems of Partial Differential Equations and Lie Pseudogroups","author":"J.F. Pommaret","year":"1978","unstructured":"J.F. Pommaret,Systems of Partial Differential Equations and Lie Pseudogroups (Gordon and Breach, New York, 1978)."},{"key":"CR31","volume-title":"Differential Galois Theory","author":"J.F. Pommaret","year":"1983","unstructured":"J.F. Pommaret,Differential Galois Theory (Gordon and Breach, New York, 1983)."},{"key":"CR32","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1017\/S0956792500000577","volume":"2","author":"G.J. Reid","year":"1991","unstructured":"G.J. Reid, Algorithms for reducing a system of PDE's to standard form, determining the dimension of its solution space and calculating its Taylor series solution, Euro. J. Appl. Math. 2(1991) 293?318.","journal-title":"Euro. J. Appl. Math."},{"key":"CR33","volume-title":"Les Syst\u00e8mes d'\u00c9quations aux D\u00e9riv\u00e9\u00e9s Partielles","author":"C.H. Riquier","year":"1910","unstructured":"C.H. Riquier,Les Syst\u00e8mes d'\u00c9quations aux D\u00e9riv\u00e9\u00e9s Partielles (Gauthier-Villars, Paris, 1910)."},{"key":"CR34","volume-title":"Differential Algebra","author":"J.F. Ritt","year":"1950","unstructured":"J.F. Ritt,Differential Algebra (Amer. Math. Soc., New York, 1950)."},{"key":"CR35","doi-asserted-by":"crossref","unstructured":"F. Schwarz, An algorithm for determining the size of symmetry groups, Preprint (1992).","DOI":"10.1007\/BF02238743"},{"key":"CR36","doi-asserted-by":"crossref","unstructured":"F. Schwarz, Reduction and completion algorithms for partial differential equations,Proc. ISSAC '92, Preprint (1992).","DOI":"10.1145\/143242.143265"},{"key":"CR37","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, 2nd ed. (University of California Press, Berkeley, 1951).","edition":"2nd ed."},{"key":"CR38","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2307\/1968282","volume":"30","author":"J.M. Thomas","year":"1929","unstructured":"J.M. Thomas, Riquier's existence theorems, Ann. Math. 30(1929)285?321.","journal-title":"Ann. Math."},{"key":"CR39","doi-asserted-by":"crossref","first-page":"306","DOI":"10.2307\/1968434","volume":"35","author":"J.M. Thomas","year":"1934","unstructured":"J.M. Thomas, Riquier's existence theorems, Ann. Math. 35(1934)306?311.","journal-title":"Ann. Math."},{"key":"CR40","unstructured":"D.M. Wang, Geometric theorem proving with existing technology, MEDLAR II Deliverable DII.4.1P (1993)."},{"key":"CR41","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1090\/conm\/029\/12","volume":"29","author":"Wu Wen-Tsun","year":"1984","unstructured":"Wu Wen-Tsun, On the decision problem and the mechanization of theorem proving in elementary geometry, Contemp. Math. 29(1984)213?234. Reprinted from Scientia Sinica 21 (2) (1978).","journal-title":"Contemp. Math."},{"key":"CR42","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF02328447","volume":"2","author":"Wu Wen-Tsun","year":"1986","unstructured":"Wu Wen-Tsun, Basic principles of mechanical theorem proving in elementary geometries, J. Autom. Reasoning 2(1986)221?252. Reprinted from J. Syst. Sci. Math. Sci. 4 (3) (1984) 207?235.","journal-title":"J. Autom. Reasoning"},{"key":"CR43","first-page":"173","volume-title":"Lecture Notes in Math. 1255","author":"Wu Wen-Tsun","year":"1987","unstructured":"Wu Wen-Tsun, A constructive theory of differential algebraic geometry,Proc. Diff. Geometry and Diff. Equations, Shanghai 1985,Lecture Notes in Math. 1255 (Springer, Berlin, 1987) pp. 173?189."},{"key":"CR44","first-page":"171","volume":"7","author":"Wu Wen-Tsun","year":"1991","unstructured":"Wu Wen-Tsun, Mechanical theorem proving of differential geometries and some of its applications in mechanics, J. Autom. Reasoning 7(1991)171?191.","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\/BF01531323\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531323.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01531323\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01531323","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,9]],"date-time":"2021-07-09T04:24:10Z","timestamp":1625804650000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01531323"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":44,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["BF01531323"],"URL":"https:\/\/doi.org\/10.1007\/bf01531323","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}