| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Philip S. Santas |
Conditional Categories and Domains.  |
DISCO  |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin |
Walking Faster. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Cesari, Roman Maeder |
Parallel 3-Primes FFT Algorithm. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony C. Hearn |
Computer Algebra and the World Wide Web. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt |
Problem-Oriented Applications of Automated Theorem Proving. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Dalmas, Marc Gaëtano |
Making Systems Communicate and Cooperate: The Central Control Approach. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Gehrke, Carla Limongelli |
Exploiting SML for Experimenting with Algebraic Algorithms: The Example of p-adic Lifting. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Cecilia Mascolo |
Analyzing the Dynamics of a Z Specification. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigorios Grivas, Alexios Palinginis |
Compiling Residuation for a Multiparadigm Symbolic Programming Language. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory Butler |
Software Architectures for Computer Algebra: A Case Study. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Tudor Jebelean |
Integer and Rational Arithmetic on MasPar. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian J. Dupée, James H. Davenport |
An Intelligent Interface to Numerical Routines. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Kerber, Michael Kohlhase, Volker Sorge |
Integrating Computer Algebra with Proof Planning. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Degtyarev, Andrei Voronkov |
Equality Elimination for the Tableau Method. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Paoluzzi |
Generative Geometric Modeling in a Functional Environment. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Mnuk, Franz Winkler 0001 |
CASA - A System for Computer Aided Constructive Algebraic Geometry. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Dalmas, Marc Gaëtano, Claude Huchet |
A Deductive Database for Mathematical Formulas. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Norman, John P. Fitch |
Interfacing REDUCE to Java. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Karsten Homann, Jacques Calmet |
Structures for Symbolic Mathematical Reasoning and Computation. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
Integration of computing and reasoning paradigms, Interfaces |
| 1 | Manuel Bronstein |
SigmaIT - A Strongly-Typed Embeddable Computer Algebra Library. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnim Buch, Thomas Hillenbrand, Roland Fettig |
WALDMEISTER: High Performance Equational Theorem Proving. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Weck |
Document-Centered Presentation of Computing Software: Compound Documents Are Better Workspaces. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Calmet, Carla Limongelli (eds.) |
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996, Proceedings |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Haugeneder, Donald Steiner |
Multi-Agent Cooperation - Concepts and Applications. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Bourely, Nicolas Peltier |
DiscAtinf: A General Framework for Implementing Calculi and Strategies. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Barthe, Hugo Elbers |
Towards Lean Proof Checking. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin |
A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ciancarini, Stelvio Cimato |
Animating a Non-executable Formal Specification with a Distributed Symbolic Language. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Gray, Norbert Kajler, Paul S. Wang |
Pluggability Issues in the Multi Protocol. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Masanobu Numazawa, Masahito Kurihara, Azuma Ohuchi |
A Reflective Language Based on Conditional Term Rewriting. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Seán Matthews |
Implementing FS0 in Isabelle: Adding Structure at the Metalevel. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gogolla |
Parameterizing Object Specifications. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla Limongelli, Giuseppina Malerba, Marco Temperini |
Uniform Representation of Basic Algebraic Structures in Computer Algebra. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Balestreri |
Term Rewriting Systems: An h-Categorical Semantic. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianna Cioni, Attilio Colagrossi, Marco Temperini |
An Approach to Class Reasoning in Symbolic Computation. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Daberkow, Andreas Weber 0004 |
A Database for Number Fields. |
DISCO |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Fritzson, Vadim Engelson, Lars Viklund |
Variant Handling, Inheritance and Composition in the ObjectMath Computer Algebra Environment. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Caferra, Michel Herment |
GLEFATINF: A Graphic Framework for Combining Theorem Provers and Editing Proofs for Different Logics. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
Graphic Proof Presentation, Proof Edition, Logical Frameworks |
| 1 | Antonio Vantaggiato |
Modeling Finite Fields with Mathematica - Applications to the Computation of Exponential Sums and to the Solution of Equations over Finite Fields. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Yi, Jiafu Xu |
Analogical Type Theory. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Weber |
On Coherence in Computer Algebra. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoon Hong, Andreas Neubacher, Wolfgang Schreiner |
The Design of the SACLIB/PACLIB Kernels. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | William M. Farmer, Joshua D. Guttman, F. Javier Thayer |
Reasoning with Contexts. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gogolla, Stefan Conrad 0001, Rudolf Herzig |
Sketching Concepts and Computational Model of TROLL light. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Fournier, Norbert Kajler, Bernard Mourrain |
IZIC: A Portable Language-Driven Tool for Mathematical Surfaces Visualization. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
meshed surfaces, rendering, Computer Algebra, graphic tool, TCL |
| 1 | John P. Fitch (eds.) |
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '92, Bath, UK, April 13-15, 1992, Proceedings |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabina Bonamico, Gianna Cioni, Attilio Colagrossi |
An Enhanced Sequent Calculus for Reasoning in a Given Domain. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Valery A. Nepomniaschy, A. A. Sulimov |
Problem-Oriented Means of Program Specification and Verification in Project SPECTRUM. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfonso Miola (eds.) |
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla Limongelli, Marco Temperini |
On the Uniform Representation of Mathematical Data Structures. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Angel Díaz, Markus A. Hitz, Erich L. Kaltofen, Austin Lobo, Thomas Valente |
Process Scheduling in DSC and the Large Sparse Linear Systems Challenge. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip S. Santas |
A Type System for Computer Algebra. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Calmet, Indra A. Tjandra |
A Unified-Algebra-Based Specification Language for Symbolic Computing. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony C. Hearn, Eberhard Schrüfer |
An Order-Sorted Approach to Algebraic Computation. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Maeder |
Storage Allocation for the Karatsuba Integer Multipliation Algorithm. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Tudor Jebelean |
Improving the Multiprecision Euclidian Algorithm. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Grivas, Roman Maeder |
Matching and Unification for the Object-Oriented Symbolic Computation System AlgBench. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Paola Bonacina, Jieh Hsiang |
Distributed Deduction by Clause-Diffusion: The Aquarius Prover. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Di Blasio, Marco Temperini |
Subtyping Inheritance in Languages for Symbolic Computation Systems. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan A. Missura |
Extending AlgBench with a Type System. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Zippel |
The Weyl Computer Algebra Substrate. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugenio G. Omodeo, Alberto Policriti |
Decision Procedures for Set/Hyperset Contexts. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergei D. Meshveliani |
The Algebraic Constructor CAC: Computing in Construction-Defined Domains. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Caprotti |
Extending RISC-CLP (Real) to Handle Symbolic Functions. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Bauer, Rolf Hennicker |
Proving the Correctness of Algebraic Implementations by the ISAR System. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Toby Walsh |
General Purpose Proof Plans. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | A. C. Norman |
Compact Delivery Support for REDUCE. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Monagan |
Gauss: A Parameterized Domain of Computation System with Support for Signature Functions. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki |
Dynamic Term Rewriting Calculus and Its Application to Inductive Equational Reasoning. |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Buchberger |
Mathematica: A System for Doing Mathematics by Computer? (Abstract). |
DISCO |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Eugene V. Zima |
Recurrent Relations and Speed-up of Computations Using Computer Algebra Systems. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | John P. Fitch |
REDUCE Meets CAMAL. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Trudy Weibel, Gaston H. Gonnet |
An Assume Facility for CAS, with a Sample Implementation for Maple. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Bayram, J. P. Bennett |
A Simple General Purpose Technique for Interfacing Between Computer Algebra and Numerical Analysis Systems. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga Caprotti |
An Object-Oriented Approach to Indexed Mathematical Objects for the Manipulation of Sums and Series. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Apel, Uwe Klaus |
Data Representation and In-built Compilation in the Computer Algebra Program FELIX. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Paola Forcheri, Maria Teresa Molfino, Carlo Schenone |
A Uniform Approach to Deduction and Automatic Implementation. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | C. Faure, André Galligo, J. Grimm, Loic Pottier |
The Extensions of the Sisyphe Computer Algebra System: ulysse and athena. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip S. Santas |
SYMO2: Objects and Classes for Symbolic Computation Systems. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Roman Maeder |
AlgBench: An Object-Oriented Symbolic Core System. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Aberer |
Combinatory Models and Symbolic Computation. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Gábor Simon |
Design and Implementation of a Retargetable ALDES Compiler. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Norbert Kajler |
Building a Computer Algebra Environment by Composition of Collaborative Tools. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
User Interface, Computer Algebra, Tool Integration, Software Bus |
| 1 | Russell J. Bradford |
Algebraic Simplification of Multiple-Valued Functions. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian D. Brunswick |
LILK - Static Analysis of REDUCE Code. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael B. Monagan |
In-place Arithmetic for Polinominals over Zn. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Alwyn E. Goodloe, Philippe Loustaunau |
An Abstract Data Type Development of Graded Rings. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Rimey |
Template-based Formula Editing in Kaava. |
DISCO |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Giovini, Gianfranco Niesi |
CoCoA: a User-Friendly System for Commutative Algebra. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Constales |
Prototypes For The Automatic Translation Of Computer Algebra Languages. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Russi, Roberto Zompi |
Graphical Object Oriented Executable Specification for an Automation Oriented Paradigm of Software Development. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
Automation oriented software process, PROT nets, Petri nets, Rapid prototyping, Object-oriented design, Visual Programming, symbolic computation, Executable specification, Real-time distributed systems |
| 1 | Albrecht Fortenbacher |
Efficient Type Inference and Coercion in Computer Algebra. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Forcellese, Marco Temperini |
Towards A Logic Language: An Object-Oriented Implementation Of The Connection Method. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Louis Lassez |
Parametric queries, linear constraints and variable elimination. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Bidoit, Francis Capy, Christine Choppy |
The design and specification of the ASSPEGIQUE database. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron Avitzur |
Suggestions For A Friendlier User Interface. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard P. Huet |
Design Issues for a Computer-aided Environment for Constructive Mathematics (Abstract). |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Jouannaud, Claude Marché |
Completion modulo Associativity, Commutativity and Identity (AC1). |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
Class rewriting, Constrained rewriting, Completion modulo AC1, Constrained completion, Rewrite orderings, Termination |
| 1 | Mark E. Stickel |
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
A Functional and Logic Language with Polymorphic Types (Extended Abstract). |
DISCO |
1990 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license