default search action
DISCO 1992: Bath, UK
- John P. Fitch:
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings. Lecture Notes in Computer Science 721, Springer 1993, ISBN 3-540-57272-4 - Ken Rimey:
Template-based Formula Editing in Kaava. 1-12 - Russell J. Bradford:
Algebraic Simplification of Multiple-Valued Functions. 13-21 - Michael B. Monagan:
In-place Arithmetic for Polinominals over Zn. 22-34 - Brian D. Brunswick:
LILK - Static Analysis of REDUCE Code. 35-43 - C. Faure, André Galligo, J. Grimm, Loic Pottier:
The Extensions of the Sisyphe Computer Algebra System: ulysse and athena. 44-55 - Roman Maeder:
AlgBench: An Object-Oriented Symbolic Core System. 56-64 - Philip S. Santas:
SYMO2: Objects and Classes for Symbolic Computation Systems. 65-84 - Norbert Kajler:
Building a Computer Algebra Environment by Composition of Collaborative Tools. 85-94 - Trudy Weibel, Gaston H. Gonnet:
An Assume Facility for CAS, with a Sample Implementation for Maple. 95-103 - John P. Fitch:
REDUCE Meets CAMAL. 104-115 - Karl Aberer:
Combinatory Models and Symbolic Computation. 116-131 - Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone:
A Uniform Approach to Deduction and Automatic Implementation. 132-144 - M. Bayram, J. P. Bennett:
A Simple General Purpose Technique for Interfacing Between Computer Algebra and Numerical Analysis Systems. 145-151 - Eugene V. Zima:
Recurrent Relations and Speed-up of Computations Using Computer Algebra Systems. 152-161 - Gábor Simon:
Design and Implementation of a Retargetable ALDES Compiler. 162-172 - Joachim Apel, Uwe Klaus:
Data Representation and In-built Compilation in the Computer Algebra Program FELIX. 173-192 - Alwyn E. Goodloe, Philippe Loustaunau:
An Abstract Data Type Development of Graded Rings. 193-202 - Olga Caprotti:
An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series. 203-214
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.