Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993. Proceedings
This volume constitutes the proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO '93), held in Gmunden, Austria, in September 1993. The growing importance of systems for symbolic computation has greatly influenced the decision of organizing this third conference in the series: DISCO '93 focuses mainly on the most innovative methodological and technological aspects of the design and implementation of hardware and software systems for symbolic and algebraic computation, automated reasoning, geometric modeling and computation, and automatic programming. The general objective of DISCO '93 is to present an up-to-date view of the field and to serve as a forum insymbolic computation for the scientific exchange among academic, industrial and user communities. Besides invited talks by Buchberger, Monagan, Omodeo and Hong, the volume contains 28 contributions, carefully selected by a highly competent international program committee from a total of 56 submissions.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
abstract AlgBench algorithm analogical application Aquarius arithmetic axioms base bisimulation Clause-Diffusion clauses coercions Common Lisp computer algebra systems Computer Science constraints construction context induction datatypes defined definition denoted digit domain DTRC elements environment equations example expression finite finite field formal formula function symbols Gauss graph hypersets implementation inductive theorem inference messages inheritance input instance integers interpretation ISAR IZIC kernel Lemma Lisp logic Maple Mathematica mathematical metaclasses method module morphism multiple inheritance nodes object-oriented ObjectMath operations p-adic parallel parameters polynomial problem Proc processor programming language proving purpose proof plans rational recursive representation result rewriting ring rules Saclib semantics sequence signature sort specification stack step structural induction subtask subtyping symbolic computation symbolic computation systems syntactic task template term theorem prover theory TROLL light type constructor type inference type system unification unified variables