Gröbner Basis Construction Algorithms Based on Superposition Loops
暂无分享,去创建一个
[1] Jean Charles Faugère,et al. A new efficient algorithm for computing Gröbner bases without reduction to zero (F5) , 2002, ISSAC '02.
[2] Rekha R. Thomas. Gröbner Bases in Integer Programming , 1998 .
[3] A. Ferscha,et al. Reachability Test in Petri Nets by Grr Obner Bases Reachability Test in Petri Nets by Grr Obner Bases 1 , 2007 .
[4] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[5] I. V. Ramakrishnan,et al. Term Indexing , 1995, Lecture Notes in Computer Science.
[6] André Platzer,et al. Real World Verification , 2009, CADE.
[7] Ashish Tiwari,et al. An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints , 2005, CSL.
[8] Leonardo Mendonça de Moura,et al. Superfluous S-polynomials in Strategy-Independent Groebner Bases , 2009, 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
[9] Nachum Dershowitz,et al. Equational inference, canonical proofs, and proof orderings , 1994, JACM.
[10] Andrei Voronkov,et al. Limited resource strategy in resolution theorem proving , 2003, J. Symb. Comput..
[11] Enric Rodríguez-Carbonell,et al. Automatic Generation of Polynomial Loop Invariants: Algebraic Foundations , 2004, ISSAC '04.
[12] Peter Graf. Substitution Tree Indexing , 1995, RTA.
[13] Paul B. Jackson,et al. Combined Decision Techniques for the Existential Theory of the Reals , 2009, Calculemus/MKM.
[14] J. Faugère. A new efficient algorithm for computing Gröbner bases (F4) , 1999 .