default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDISCO 1990: Capri, Italy
- Alfonso Miola:
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings. Lecture Notes in Computer Science 429, Springer 1990, ISBN 3-540-52531-9
Symbolic and Algebraic Computation - Systems Design
- James H. Davenport:
Current Problems in Computer Algebra Systems Design. 1-9 - Gregory Butler, John J. Cannon:
The Design of Cayley - a Language for Modern Algebra. 10-19 - Alessandro Giovini, Gianfranco Niesi:
CoCoA: a User-Friendly System for Commutative Algebra. 20-29 - André Galligo, J. Grimm, Loic Pottier:
The design of SISYPHE: a system for doing symbolic and algebraic computations. 30-39 - James H. Davenport
, Barry M. Trager:
Scratchpad's View of Algebra I: Basic Commutative Algebra. 40-54
Symbolic and Algebraic Computation - Implementation Methods and Techniques
- Gérard P. Huet:
Design Issues for a Computer-aided Environment for Constructive Mathematics (Abstract). 55 - Albrecht Fortenbacher:
Efficient Type Inference and Coercion in Computer Algebra. 56-60 - Carla Limongelli, M. Beatrice Mele, Mauro Regio, Marco Temperini:
Abstract Specification Of Mathematical Structures And Methods. 61-70 - Uwe Petermann:
Programming Paradigms For Symbolic Computation Systems - Analysis Of An Example. 71-80 - Jean-Philippe Vidal:
The computation of Gröbner bases on a shared memory multiprocessor. 81-90
Theory
- Carolyn L. Talcott:
A theory for program and data type specification. 91-100 - Rolf Hennicker:
Context Induction: a Proof Principle for Behavioural Abstractions. 101-110 - Jean-Pierre Jouannaud, Claude Marché:
Completion modulo Associativity, Commutativity and Identity (AC1). 111-120 - Thom W. Frühwirth:
Polymorphic Type Checking with Subtypes in Prolog. 121-130 - Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop:
On the Power of Subsumption and Context Checks. 131-140 - Jean-Claude Reynaud:
Putting Algebraic Components Together: A Dependent Type Approach. 141-150
Automated Reasoning
- Alan Bundy:
The Use of Proof Plans in Formal Methods. 151-153 - Mark E. Stickel:
A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. 154-163 - Jean-Louis Lassez:
Parametric queries, linear constraints and variable elimination. 164-173 - Mohamed Adi, Claude Kirchner:
AC-Unification Race: The System Solving Approach And Its Implementation. 174-183 - Siva Anantharaman, Nirina Andrianarivelo:
Heuristical Criteria in Refutational Theorem Proving. 184-193
Software Environments and Languages
- Giuseppe Attardi:
Requirements for Standards in Knowledge Base Systems (Abstract). 194 - Michael C. Dewar, M. G. Richardson:
Reconciling Symbolic and Numeric Computation in a Practical Setting. 195-204 - Michel Bidoit, Francis Capy, Christine Choppy:
The design and specification of the ASSPEGIQUE database. 205-214 - Michael Hanus:
A Functional and Logic Language with Polymorphic Types (Extended Abstract). 215-224
Software Environments and User Interfaces
- Vincenzo Russi, Roberto Zompi:
Graphical Object Oriented Executable Specification for an Automation Oriented Paradigm of Software Development. 225-234 - Norbert Kajler:
Building graphic user interfaces for Computer Algebra Systems. 235-244 - Paul S. Wang:
A System Independent Graphing Package for Mathematical Functions. 245-254 - Giorgio P. Faconti, R. D. Bettarini, Fabio Paternò:
A Model of Interaction for Graphical Systems. 255-263
Short Papers
- Mike Clarkson:
Praxis: A Rule-Based Expert System for MACSYMA. 264-265 - A. V. Bocharov:
Will DELia Grow Into An Expert System? 266-267 - Chandrajit L. Bajaj, Andrew V. Royappa:
The GANITH algebraic geometry toolkit. 268-269 - Heinz Kredel:
Mas Modula-2 Algebra System. 270-271 - Denis Constales:
Prototypes For The Automatic Translation Of Computer Algebra Languages. 272-273 - Kin-Hong Lee, Kwong-Sak Leung, Sin Man Cheang:
The Implementation of A PC-Based List Processor for Symbolic Computation. 274-275 - S. V. Chmutov, E. A. Gaydar, I. M. Ignatovich, V. F. Kozadoy, Andrei P. Nemytykh, Victoria A. Pinchuk:
Implementation Of The Symbolic Analytic Transformations Language FLAC. 276-277 - Fabio Baj, Massimo Bruschi, Antonella Zanzi:
Design and development of ENprover, an automated theorem proving system based on EN-strategy. 278-279 - Giorgio Forcellese, Marco Temperini:
Towards A Logic Language: An Object-Oriented Implementation Of The Connection Method. 280-281 - Ron Avitzur:
Suggestions For A Friendlier User Interface. 282-283
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-11-28 23:52 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:
