{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T18:04:04Z","timestamp":1746295444688},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540710691"},{"type":"electronic","value":"9783540710707"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-71070-7_22","type":"book-chapter","created":{"date-parts":[[2008,8,29]],"date-time":"2008-08-29T09:56:30Z","timestamp":1220003790000},"page":"275-282","source":"Crossref","is-referenced-by-count":12,"title":["Aligator: A Mathematica Package for Invariant Generation (System Description)"],"prefix":"10.1007","author":[{"given":"Laura","family":"Kov\u00e1cs","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3-4","key":"22_CR1","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/j.jsc.2005.09.007","volume":"41","author":"B. Buchberger","year":"2006","unstructured":"Buchberger, B.: An Algorithm for Finding the Basis Elements of the Residue Class Ring of a Zero Dimensional Polynomial Ideal. J. of Symbolic Computation\u00a041(3-4), 475\u2013511 (2006)","journal-title":"J. of Symbolic Computation"},{"key":"22_CR2","volume-title":"A Discipline of Programming","author":"E.W. Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"22_CR3","first-page":"40","volume":"75","author":"R.W. Gosper","year":"1978","unstructured":"Gosper, R.W.: Decision Procedures for Indefinite Hypergeometric Summation. J. of Symbolic Computation\u00a075, 40\u201342 (1978)","journal-title":"J. of Symbolic Computation"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Kauers, M., Zimmermann, B.: Computing the Algebraic Relations of C-finite Sequences and Multisequences. J. of Symbolic Computation (to appear, 2007)","DOI":"10.1016\/j.jsc.2008.03.002"},{"key":"22_CR5","volume-title":"Seminumerical Algorithms","author":"D.E. Knuth","year":"1998","unstructured":"Knuth, D.E.: The Art of Computer Programming. In: Seminumerical Algorithms, 3rd edn., vol.\u00a02. Addison-Wesley, Reading (1998)","edition":"3"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Kov\u00e1cs, L.: Automated Invariant Generation by Algebraic Techniques for Imperative Program Verification in Theorema. PhD thesis, RISC, Johannes Kepler University Linz (2007)","DOI":"10.1109\/ISoLA.2006.46"},{"key":"22_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/978-3-540-78800-3_18","volume-title":"Proc. of TACAS","author":"L. Kov\u00e1cs","year":"2008","unstructured":"Kov\u00e1cs, L.: Reasoning Algebraically About P-Solvable Loops. In: Proc. of TACAS, Budapest, Hungary. LNCS, vol.\u00a04963, pp. 249\u2013264. Springer, Heidelberg (to appear, 2008)"},{"issue":"5-6","key":"22_CR8","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1006\/jsco.1995.1071","volume":"20","author":"P. Paule","year":"1995","unstructured":"Paule, P., Schorn, M.: A Mathematica Version of Zeilberger\u2019s Algorithm for Proving Binomial Coefficient Identities. J. of Symbolic Computation\u00a020(5-6), 673\u2013698 (1995)","journal-title":"J. of Symbolic Computation"},{"issue":"4","key":"22_CR9","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/j.jsc.2007.01.002","volume":"42","author":"E. Rodriguez-Carbonell","year":"2007","unstructured":"Rodriguez-Carbonell, E., Kapur, D.: Generating All Polynomial Invariants in Simple Loops. J. of Symbolic Computation\u00a042(4), 443\u2013476 (2007)","journal-title":"J. of Symbolic Computation"},{"issue":"17","key":"22_CR10","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/360827.360850","volume":"2","author":"B. Wegbreit","year":"1974","unstructured":"Wegbreit, B.: The Synthesis of Loop Predicates. Comm. of the ACM\u00a02(17), 102\u2013112 (1974)","journal-title":"Comm. of the ACM"},{"key":"22_CR11","unstructured":"Wolfram, S.: The Mathematica Book. Version 5.0. Wolfram Media (2003)"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0377-0427(90)90042-X","volume":"32","author":"D. Zeilberger","year":"1990","unstructured":"Zeilberger, D.: A Holonomic System Approach to Special Functions. J. of Computational and Applied Mathematics\u00a032, 321\u2013368 (1990)","journal-title":"J. of Computational and Applied Mathematics"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71070-7_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:15:11Z","timestamp":1605762911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71070-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540710691","9783540710707"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71070-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}