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
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
53 The Theorema Project: A Progress Report – B Buchberger, C Dupre, T Jebelean, F Kriftner, K Nakagawa, D Vasaru, W Windsteiger - 2000
19 Elements of Mathematical Analysis in PVS – Bruno Dutertre - 1996
86 Maple V Language Reference Manual – B W Char - 1991
294 OTTER3.0 Reference Manual and Guide – William W. McCune - 1995
9 Using Mathematica for doing simple mathematical proofs, invited talk at – B Buchberger - 1996
10 Classification of Communication and Cooperation Mechanisms for Logical and Symbolic Computation Systems – Jacques Calmet, Karsten Homann - 1996
105 REDLOG Computer Algebra Meets Computer Logic – Andreas Dolzmann, Thomas Sturm - 1996
13 Symbolic Integration I – M Bronstein - 1997
12 Lightweight Formal Methods For Computer Algebra Systems – Martin Dunstan, Tom Kelsey, Steve Linton, Ursula Martin - 1998
6 Computers, Reasoning and Mathematical Practice – Ursula Martin
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
11 Combining symbolic computation and theorem proving: some problems of Ramanujan – Edmund Clarke, Xudong Zhao - 1994
3 Why computer algebra systems can't solve simple equations – Richard Fateman - 1996
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