Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings

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