Aligator: A mathematica package for invariant generation (system description)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5195 LNAI, Issue , 2008, Pages 275-282

  Kovács, Laura ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SOFTWARE; POLYNOMIAL APPROXIMATION; POLYNOMIALS; SOFTWARE PACKAGES;

AUTOMATED REASONING; COMPUTATIONAL LOGIC; INVARIANT GENERATION; JOINT CONFERENCE; LOOP INVARIANTS; MATHEMATICA; POLYNOMIAL ALGEBRA; POLYNOMIAL INVARIANTS; SYMBOLIC SUMMATION; SYSTEM DESCRIPTION; SYSTEM OF RECURRENCE EQUATIONS; VARIABLE ELIMINATION;

AUTOMATA THEORY;

EID: 53049089015     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71070-7_22     Document Type: Conference Paper

References (12)

1. Buchberger, B.: An Algorithm for Finding the Basis Elements of the Residue Class Ring of a Zero Dimensional Polynomial Ideal. J. of Symbolic Computation 41(3-4). 475-511 (2006)
2. Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)
3. Gosper, R.W.: Decision Procedures for Indefinite Hypergeometric Summation. J. of Symbolic Computation 75, 40-42 (1978)
4. Kauers, M., Zimmermann, B.: Computing the Algebraic Relations of C-finite Sequences and Multisequences. J. of Symbolic Computation (to appear, 2007)
5. Knuth, D.E.: The Art of Computer Programming. In: Seminumerical Algorithms, 3rd edn., vol. 2. Addison-Wesley, Reading (1998)
6. Kovács, L.: Automated Invariant Generation by Algebraic Techniques for Imperative Program Verification in Theorema. PhD thesis. RISC, Johannes Kepler University Linz (2007)
7. Kovács, L.: Reasoning Algebraically About P-Solvable Loops. In: Proc. of TACAS, Budapest, Hungary. LNCS, vol. 4963, pp. 249-264. Springer, Heidelberg (to appear, 2008)
8. Paule, P., Schorn, M.: A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities. J. of Symbolic Computation 20(5-6), 673-698 (1995)
9. Rodriguez-Carbonell, E., Kapur, D.: Generating All Polynomial Invariants in Simple Loops. J. of Symbolic Computation 42(4), 443-476 (2007)
10. Wegbreit, B.: The Synthesis of Loop Predicates. Comm. of the ACM 2(17), 102-112 (1974)
11. Wolfram, S.: The Mathematica Book. Version 5.0. Wolfram Media (2003)
12. Zeilberger, D.: A Holonomic System Approach to Special Functions. J. of Computational and Applied Mathematics 32, 321-368 (1990)