J. Calmet and C. Limongelli, editors. Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96. Springer-Verlag LNCS 1128, 1996. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Uniform Representation of Basic Algebraic Structures.. - Limongelli, Malerba, .. Self-citation (Limongelli Temperini) (Correct)
....inheritance. Clos [2] is the programming language used. It has been chosen for a number of reasons: because of its object orientation; because it has been already used within a project, in which we have been involved, aiming to the development of a language for symbolic computation systems [3], and for our involvement in another research activity aiming to provide an object oriented language with class reasoning features [1] In presenting the prototype implementation, we show some software details and some significant computational examples. In the following section, we explain the ....
C. Limongelli, A. Miola, and M. Temperini. Design and implementation of symbolic computation systems. In P.W. P.W. Gaffney and E. N. Houstis, editors, IFIP TC2/WG 2.5 Working Conference on Programming Environments For High Level Scientific Problem Solving. North--Holland, september 1991.
Digital Look Up Tables and Real Number Theorem Proving - Adams (2001) (Correct)
No context found.
J. Calmet and C. Limongelli, editors. Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96. Springer-Verlag LNCS 1128, 1996.
Definite Integration of Parametric Rational Functions: Applying a.. - Adams (2000) (Correct)
No context found.
Calmet, J., and Limongelli, C., Eds. Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96 (1996), Springer-Verlag LNCS 1128.
A Pragmatic Approach to Extending Provers by Computer.. - Ballarin, Paulson (1999) (5 citations) (Correct)
No context found.
Jacques Calmet and Carla Limongelli, editors. Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18--20, 1996: proceedings, number 1128 in Lecture Notes in Computer Science. Springer-Verlag, 1996.
Automated Theorem Proving in Support of Computer.. - Adams.. (3 citations) (Correct)
No context found.
Calmet, J., and Limongelli, C., Eds. Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96 (1996), SpringerVerlag LNCS 1128. 7
VSDITLU: a verifiable symbolic definite integral table.. - Adams, Gottliebsen.. (1999) (2 citations) (Correct)
No context found.
J. Calmet and C. Limongelli, editors. Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96. Springer-Verlag LNCS 1128, 1996.
A Pragmatic Approach to Extending Provers by Computer.. - Ballarin, Paulson (1999) (5 citations) (Correct)
No context found.
Jacques Calmet and Carla Limongelli, editors. Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18--20, 1996: proceedings, number 1128 in Lecture Notes in Computer Science. Springer-Verlag, 1996.
Reasoning about Coding Theory: The Benefits We Get from.. - Ballarin, Paulson (Correct)
No context found.
Jacques Calmet and Carla Limongelli, editors. Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18--20, 1996: proceedings, number 1128 in Lecture Notes in Computer Science. Springer-Verlag, 1996.
Automated Theorem Proving in Support of Computer.. - Adams.. (3 citations) (Correct)
No context found.
Calmet, J., and Limongelli, C., Eds. Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96 (1996), SpringerVerlag LNCS 1128.
VSDITLU: a verified symbolic definite integral table.. - Adams, Gottliebsen.. (1999) (Correct)
No context found.
J. Calmet and C. Limongelli, editors. Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96. Springer-Verlag LNCS 1128, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC