The SCEAS System
Navigation Menu

Conferences in DBLP

Design and Implementation of Symbolic Computation Systems (DISCO) (disco)
1993 (conf/disco/1993)

  1. Bruno Buchberger
    Mathematica: A System for Doing Mathematics by Computer? (Abstract). [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:1- [Conf]
  2. Bernhard Bauer, Rolf Hennicker
    Proving the Correctness of Algebraic Implementations by the ISAR System. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:2-16 [Conf]
  3. Martin Gogolla, Stefan Conrad, Rudolf Herzig
    Sketching Concepts and Computational Model of TROLL light. [Citation Graph (1, 0)][DBLP]
    DISCO, 1993, pp:17-32 [Conf]
  4. Bo Yi, Jiafu Xu
    Analogical Type Theory. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:33-44 [Conf]
  5. Tudor Jebelean
    Improving the Multiprecision Euclidian Algorithm. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:45-58 [Conf]
  6. Roman Maeder
    Storage Allocation for the Karatsuba Integer Multipliation Algorithm. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:59-65 [Conf]
  7. Angel Díaz, Markus A. Hitz, Erich Kaltofen, A. Lobo, T. Valente
    Process Scheduling in DSC and the Large Sparse Linear Systems Challenge. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:66-80 [Conf]
  8. Michael B. Monagan
    Gauss: A Parameterized Domain of Computation System with Support for Signature Functions. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:81-94 [Conf]
  9. Andreas Weber
    On Coherence in Computer Algebra. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:95-106 [Conf]
  10. Paolo Di Blasio, Marco Temperini
    Subtyping Inheritance in Languages for Symbolic Computation Systems. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:107-121 [Conf]
  11. Jacques Calmet, Indra A. Tjandra
    A Unified-Algebra-Based Specification Language for Symbolic Computing. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:122-133 [Conf]
  12. Anthony C. Hearn, Eberhard Schrüfer
    An Order-Sorted Approach to Algebraic Computation. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:134-144 [Conf]
  13. Peter Fritzson, Vadim Engelson, Lars Viklund
    Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:145-163 [Conf]
  14. Georgios Grivas, Roman Maeder
    Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:164-176 [Conf]
  15. Philip S. Santas
    A Type System for Computer Algebra. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:177-191 [Conf]
  16. Eugenio G. Omodeo, Alberto Policriti
    Decision Procedures for Set/Hyperset Contexts. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:192-215 [Conf]
  17. William M. Farmer, Joshua D. Guttman, F. Javier Thayer
    Reasoning with Contexts. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:216-228 [Conf]
  18. Ricardo Caferra, Michel Herment
    GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:229-240 [Conf]
  19. Olga Caprotti
    Extending RISC-CLP (Real) to Handle Symbolic Functions. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:241-255 [Conf]
  20. Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki
    Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:256-271 [Conf]
  21. Maria Paola Bonacina, Jieh Hsiang
    Distributed Deduction by Clause-Diffusion: The Aquarius Prover. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:272-287 [Conf]
  22. Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
    The Design of the SACLIB/PACLIB Kernels. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:288-302 [Conf]
  23. Richard Zippel
    The Weyl Computer Algebra Substrate. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:303-318 [Conf]
  24. Carla Limongelli, Marco Temperini
    On the Uniform Representation of Mathematical Data Structures. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:319-330 [Conf]
  25. A. C. Norman
    Compact Delivery Support for REDUCE. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:331-340 [Conf]
  26. Robert Fournier, Norbert Kajler, Bernard Mourrain
    IZIC: A Portable Language-Driven Tool for Mathematical Surfaces Visualization. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:341-353 [Conf]
  27. Serge D. Meshveliani
    The Algebraic Constructor CAC: Computing in Construction-Defined Domains. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:354-359 [Conf]
  28. Stephan A. Missura
    Extending AlgBench with a Type System. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:359-363 [Conf]
  29. Antonio Vantaggiato
    Modeling Finite Fields with Mathematica - Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:364-368 [Conf]
  30. Sabina Bonamico, Gianna Cioni, Attilio Colagrossi
    An Enhanced Sequent Calculus for Reasoning in a Given Domain. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:369-373 [Conf]
  31. V. A. Nepomniaschy, A. A. Sulimov
    Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:374-378 [Conf]
  32. Toby Walsh
    General Purpose Proof Plans. [Citation Graph (0, 0)][DBLP]
    DISCO, 1993, pp:379-383 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002