The growing importance of the systems for symbolic computation has greatly influenced the decision of organizing DISCO '90 which is short for International Symposium on Design and Implementation of Symbolic Computation Systems. DISCO '90 focuses mainly on the most innovative methodological and technological aspects of hardware and software system design and implementation for Symbolic and Algebraic Computation, Automated Reasoning, Software Environments (Languages and User Interfaces), and Automatic Programming. In particular, it includes papers on the design and the development of significant running systems. The general objective of DISCO '90 is to present an up-to-date view of the field, while encouraging the scientific exchange among academic, industrial and user communities of the development of systems for symbolic computation.
Author(s): J. H. Davenport (auth.), Alfonso Miola (eds.)
Series: Lecture Notes in Computer Science 429
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1990
Language: English
Pages: 286
Tags: Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Artificial Intelligence (incl. Robotics); Computer Graphics
Current problems in computer algebra systems design....Pages 1-9
The design of cayley — a language for modern algebra....Pages 10-19
CoCoA: A user-friendly system for commutative algebra....Pages 20-29
The design of SISYPHE : a system for doing symbolic and algebraic computations....Pages 30-39
Scratchpad's view of algebra I: Basic commutative algebra....Pages 40-54
Design issues for a computed-aided environment for constructive mathematics....Pages 55-55
Efficient type inference and coercion in computer algebra....Pages 56-60
Abstract specification of mathematical structures and methods....Pages 61-70
Programming paradigms for symbolic computation systems analysis of an example....Pages 71-80
The computation of Gröbner bases on a shared memory multiprocessor....Pages 81-90
A theory for program and data type specification....Pages 91-100
Context induction: A proof principle for behavioural abstractions....Pages 101-110
Completion modulo associativity, commutativity and identity (AC1)....Pages 111-120
Polymorphic type checking with subtypes in Prolog....Pages 121-130
On the power of subsumption and context checks....Pages 131-140
Putting algebraic components together: A dependent type approach....Pages 141-150
The use of proof plans in formal methods....Pages 151-153
A prolog technology theorem prover: A new exposition and implementation in Prolog....Pages 154-163
Parametric queries, linear constraints and variable elimination....Pages 164-173
AC-unification race: The system solving approach and its implementation....Pages 174-183
Heuristical criteria in refutational theorem proving....Pages 184-193
Requirements for standards in knowledge base systems....Pages 194-194
Reconciling symbolic and numeric computation in a practical setting....Pages 195-204
The design and specification of the ASSPEGIQUE database....Pages 205-214
A functional and logic language with polymorphic types....Pages 215-224
Graphical object oriented executable specification for an automation oriented paradigm of software development....Pages 225-234
Building graphic user interfaces for computer algebra systems....Pages 235-244
A system independent graphing package for mathematical functions....Pages 245-254
A model of interaction for graphical systems....Pages 255-263
Praxis: A rule-based expert system for MACSYMA....Pages 264-265
Will DELiA grow into an expert system?....Pages 266-267
The GANITH algebraic geometry toolkit....Pages 268-269
Mas Modula-2 algebra system....Pages 270-271
Prototypes for the automatic translation of computer algebra languages....Pages 272-273
The implementation of A PC-based list processor for symbolic computation....Pages 274-275
Implementation of the symbol analytic transformations language FLAC....Pages 276-277
Design and development of ENprover, an automated theorem proving system based on EN-strategy....Pages 278-279
Towards a logic language: An object-oriented implementation of the connection method....Pages 280-281
Suggestions for a friendlier user interface....Pages 282-283
