Symbolic Computation: Computer Algebra and Logic (1996)

Cached

Download Links

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

Documents Related by Co-Citation

47 A Survey on the Theorema Project – Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru, A Schlo Hagenberg - 1997
53 The Theorema Project: A Progress Report – B Buchberger, C Dupre, T Jebelean, F Kriftner, K Nakagawa, D Vasaru, W Windsteiger - 2000
50 Theorems and Algorithms: An Interface between Isabelle and Maple – Clemens Ballarin, Karsten Homann, Jacques Calmet - 1995
25 Analytica - An Experiment in Combining Theorem Proving and Symbolic – A Bauer, E Clarke - 1998
346 Grobner Bases: an Algorithmic Method in Polynomial Ideal Theory – B Buchberger - 1985
86 Maple V Language Reference Manual – B W Char - 1991
1352 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
292 OTTER3.0 Reference Manual and Guide – William W. McCune - 1995
9 Using Mathematica for Doing Simple Mathematical Proofs – B Buchberger
10 Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems – Jacques Calmet, Karsten Homann - 1996
104 REDLOG Computer Algebra Meets Computer Logic – Andreas Dolzmann, Thomas Sturm - 1996
19 Elements of Mathematical Analysis in PVS – Bruno Dutertre - 1996
27 Specification and Integration of Theorem Provers and Computer Algebra Systems – Piergiorgio Bertoli, Jacques Calmet, Fausto Giunchiglia, Karsten Homann, P. Bertoli, J. Calmet, F. Giunchiglia, K. Homann
13 Combining Theorem Proving and Symbolic Mathematical Computing – Karsten Homann, J. Calmet - 1995
33 Extending the HOL theorem prover with a Computer Algebra System to Reason about the Reals – John Harrison - 1993
93 The scientific computation system – R D Jenks, R S Sutor, Axiom - 1992
18 Algorithm-Supported Mathematical Theory Exploration: A Personal View and Strategy – Bruno Buchberger - 2004
14 The PCS Prover in Theorema – B Buchberger - 2001
6 Theorema: A Progress Report – B Buchberger, C Dupre, T Jebelean, F Kriftner, K Nakagawa, D Vasaru, W Windsteiger