DISCO 1990: Capri, Italy

Alfonso Miola (Ed.): 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 BibTeX

@proceedings{DBLP:conf/disco/1990,
  editor    = {Alfonso Miola},
  title     = {Design and Implementation of Symbolic Computation Systems, International
               Symposium, DISCO '90, Capri, Italy, April 10-12, 1990, Proceedings},
  booktitle = {DISCO},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {429},
  year      = {1990},
  isbn      = {3-540-52531-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Symbolic and Algebraic Computation - Systems Design

James H. Davenport: Current Problems in Computer Algebra Systems Design. 1-9 BibTeX
Gregory Butler, John J. Cannon: The Design of Cayley - a Language for Modern Algebra. 10-19 BibTeX
Alessandro Giovini, Gianfranco Niesi: CoCoA: a User-Friendly System for Commutative Algebra. 20-29 BibTeX
André Galligo, J. Grimm, Loic Pottier: The design of SISYPHE: a system for doing symbolic and algebraic computations. 30-39 BibTeX
James H. Davenport, Barry M. Trager: Scratchpad's View of Algebra I: Basic Commutative Algebra. 40-54 BibTeX

Symbolic and Algebraic Computation - Implementation Methods and Techniques

Gérard P. Huet: Design Issues for a Computer-aided Environment for Constructive Mathematics (Abstract). 55 BibTeX
Albrecht Fortenbacher: Efficient Type Inference and Coercion in Computer Algebra. 56-60 BibTeX
Carla Limongelli, M. Beatrice Mele, Mauro Regio, Marco Temperini: Abstract Specification Of Mathematical Structures And Methods. 61-70 BibTeX
Uwe Petermann: Programming Paradigms For Symbolic Computation Systems - Analysis Of An Example. 71-80 BibTeX
Jean-Philippe Vidal: The computation of Gröbner bases on a shared memory multiprocessor. 81-90 BibTeX

Theory

Carolyn L. Talcott: A theory for program and data type specification. 91-100 BibTeX
Rolf Hennicker: Context Induction: a Proof Principle for Behavioural Abstractions. 101-110 BibTeX
Jean-Pierre Jouannaud, Claude Marché: Completion modulo Associativity, Commutativity and Identity (AC1). 111-120 BibTeX
Thom W. Frühwirth: Polymorphic Type Checking with Subtypes in Prolog. 121-130 BibTeX
Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop: On the Power of Subsumption and Context Checks. 131-140 BibTeX
Jean-Claude Reynaud: Putting Algebraic Components Together: A Dependent Type Approach. 141-150 BibTeX

Automated Reasoning

Alan Bundy: The Use of Proof Plans in Formal Methods. 151-153 BibTeX
Mark E. Stickel: A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog. 154-163 BibTeX
Jean-Louis Lassez: Parametric queries, linear constraints and variable elimination. 164-173 BibTeX
Mohamed Adi, Claude Kirchner: AC-Unification Race: The System Solving Approach And Its Implementation. 174-183 BibTeX
Siva Anantharaman, Nirina Andrianarivelo: Heuristical Criteria in Refutational Theorem Proving. 184-193 BibTeX

Software Environments and Languages

Giuseppe Attardi: Requirements for Standards in Knowledge Base Systems (Abstract). 194 BibTeX
Michael C. Dewar, M. G. Richardson: Reconciling Symbolic and Numeric Computation in a Practical Setting. 195-204 BibTeX
Michel Bidoit, Francis Capy, Christine Choppy: The design and specification of the ASSPEGIQUE database. 205-214 BibTeX
Michael Hanus: A Functional and Logic Language with Polymorphic Types (Extended Abstract). 215-224 BibTeX

Software Environments and User Interfaces

Vincenzo Russi, Roberto Zompi: Graphical Object Oriented Executable Specification for an Automation Oriented Paradigm of Software Development. 225-234 BibTeX
Norbert Kajler: Building graphic user interfaces for Computer Algebra Systems. 235-244 BibTeX
Paul S. Wang: A System Independent Graphing Package for Mathematical Functions. 245-254 BibTeX
Giorgio P. Faconti, R. D. Bettarini, Fabio Paternò: A Model of Interaction for Graphical Systems. 255-263 BibTeX

Short Papers

Mike Clarkson: Praxis: A Rule-Based Expert System for MACSYMA. 264-265 BibTeX
A. V. Bocharov: Will DELia Grow Into An Expert System? 266-267 BibTeX
Chandrajit L. Bajaj, Andrew V. Royappa: The GANITH algebraic geometry toolkit. 268-269 BibTeX
Heinz Kredel: Mas Modula-2 Algebra System. 270-271 BibTeX
Denis Constales: Prototypes For The Automatic Translation Of Computer Algebra Languages. 272-273 BibTeX
Kin-Hong Lee, Kwong-Sak Leung, Sin Man Cheang: The Implementation of A PC-Based List Processor for Symbolic Computation. 274-275 BibTeX
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 BibTeX
Fabio Baj, Massimo Bruschi, Antonella Zanzi: Design and development of ENprover, an automated theorem proving system based on EN-strategy. 278-279 BibTeX
Giorgio Forcellese, Marco Temperini: Towards A Logic Language: An Object-Oriented Implementation Of The Connection Method. 280-281 BibTeX
Ron Avitzur: Suggestions For A Friendlier User Interface. 282-283 BibTeX