default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDISCO 1993: Gmunden, Austria
- Alfonso Miola:
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings. Lecture Notes in Computer Science 722, Springer 1993, ISBN 3-540-57235-X - Bruno Buchberger:
Mathematica: A System for Doing Mathematics by Computer? (Abstract). 1
Theoretical Aspects
- Bernhard Bauer, Rolf Hennicker:
Proving the Correctness of Algebraic Implementations by the ISAR System. 2-16 - Martin Gogolla, Stefan Conrad, Rudolf Herzig:
Sketching Concepts and Computational Model of TROLL light. 17-32 - Bo Yi, Jiafu Xu:
Analogical Type Theory. 33-44
Algorithm Implementation
- Tudor Jebelean:
Improving the Multiprecision Euclidian Algorithm. 45-58 - Roman Maeder:
Storage Allocation for the Karatsuba Integer Multipliation Algorithm. 59-65 - Angel Díaz, Markus A. Hitz, Erich L. Kaltofen
, Austin Lobo, Thomas Valente:
Process Scheduling in DSC and the Large Sparse Linear Systems Challenge. 66-80
Programming with Types
- Michael B. Monagan:
Gauss: A Parameterized Domain of Computation System with Support for Signature Functions. 81-94 - Andreas Weber:
On Coherence in Computer Algebra. 95-106 - Paolo Di Blasio, Marco Temperini:
Subtyping Inheritance in Languages for Symbolic Computation Systems. 107-121 - Jacques Calmet, Indra A. Tjandra:
A Unified-Algebra-Based Specification Language for Symbolic Computing. 122-133 - Anthony C. Hearn, Eberhard Schrüfer:
An Order-Sorted Approach to Algebraic Computation. 134-144 - Peter Fritzson, Vadim Engelson, Lars Viklund:
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment. 145-163 - Georgios Grivas, Roman Maeder:
Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench. 164-176 - Philip S. Santas:
A Type System for Computer Algebra. 177-191
Automated Reasoning
- Eugenio G. Omodeo, Alberto Policriti:
Decision Procedures for Set/Hyperset Contexts. 192-215 - William M. Farmer, Joshua D. Guttman, F. Javier Thayer:
Reasoning with Contexts. 216-228 - Ricardo Caferra, Michel Herment:
GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics. 229-240 - Olga Caprotti:
Extending RISC-CLP (Real) to Handle Symbolic Functions. 241-255 - Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki:
Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning. 256-271 - Maria Paola Bonacina, Jieh Hsiang:
Distributed Deduction by Clause-Diffusion: The Aquarius Prover. 272-287
Software Systems
- Hoon Hong, Andreas Neubacher, Wolfgang Schreiner:
The Design of the SACLIB/PACLIB Kernels. 288-302 - Richard Zippel:
The Weyl Computer Algebra Substrate. 303-318 - Carla Limongelli, Marco Temperini:
On the Uniform Representation of Mathematical Data Structures. 319-330 - A. C. Norman:
Compact Delivery Support for REDUCE. 331-340 - Robert Fournier, Norbert Kajler, Bernard Mourrain:
IZIC: A Portable Language-Driven Tool for Mathematical Surfaces Visualization. 341-353
System Description
- Sergei D. Meshveliani:
The Algebraic Constructor CAC: Computing in Construction-Defined Domains. 354-359 - Stephan A. Missura:
Extending AlgBench with a Type System. 359-363 - Antonio Vantaggiato:
Modeling Finite Fields with Mathematica - Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields. 364-368 - Sabina Bonamico, Gianna Cioni, Attilio Colagrossi:
An Enhanced Sequent Calculus for Reasoning in a Given Domain. 369-373 - Valery A. Nepomniaschy, A. A. Sulimov:
Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM. 374-378 - Toby Walsh:
General Purpose Proof Plans. 379-383
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.
last updated on 2025-01-31 22:53 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
