Symbolic Computation: Computer Algebra and Logic (1996)


Download Links

by Bruno Buchberger
Venue:Frontiers of Combining Systems, Applied Logic Series
Citations:26 - 3 self

Active Bibliography

23 Solving geometric constraint systems. II. a symbolic approach and decision of rc-constructibility – Xiao-shan Gao, Shang-ching Chou - 1998
3 Automated Geometry Diagram Construction and Engineering Geometry – Xiao-Shan Gao - 1998
15-424: Foundations of Cyber-Physical Systems Lecture Notes on Dynamical Systems & Dynamic Axioms – André Platzer
User Manual – December Spike, Adel Bouhoula, Inria Lorraine - 1995
Algebraic System Specification and Development: Survey and Annotated Bibliography - Second Edition - – Martin Gogolla, Zhenyu Qian, Hélène Kirchner, Markus Wolf (Eds.), Maura Cerioli, Maura Cerioli, Universit`a Degli Studi Di Genova, Prof Dr, Bernd Krieg-Brückner, Bernd Krieg-bruckner - 1997
5 Automated Synthesis of Data Abstractions – Betty H.C. Cheng - 1991
Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting – Kusakari Keiichirou, Sakai Masahiko, Sakabe Toshiki
Natural Inductive Theorems for Higher-Order Rewriting – Takahito Aoto, Toshiyuki Yamada, Yuki Chiba
2 Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures – Deepak Kapur, M. Subramaniam - 2003
Rewriting Induction + Linear Arithmetic = Decision Procedure ⋆⋆⋆ – Stephan Falke, Deepak Kapur
3 Inductive Decidability Using Implicit Induction – Stephan Falke, Deepak Kapur
Deciding the Inductive Validity of ∀ ∃ ∗ Queries – Matthias Horbach, Christoph Weidenbach
4 Dealing with Non-Orientable Equations in Rewriting Induction – Takahito Aoto
30 Equational Inference, Canonical Proofs, And Proof Orderings – Leo Bachmair, Nachum Dershowitz - 1992
27 Inductive synthesis of equational programs – Nachum Dershowitz, Uday S. Reddy - 1990
On Bézout's Method for Computing the Resultant – P. Bikker - 1995
Algebraic Aspects of Polynomial Interpolation in Several Variables – Thomas Sauer - 1998
A New Efficient Algorithm for Solving Systems of Multivariate Polynomial Equations – Xijin Tang, Yong Feng - 2005
3 Transitivity for Weak and Strong Gröbner Bases – W. W. Adams, A. Boyle, P. Loustaunau - 1993