Design and Implementation of Symbolic Computation Systems

Mathematica: A system for doing mathematics by computer?.- Proving the correctness of algebraic implementations by the ISAR system.- Sketching concepts and computational model of TROLL light.- Analogical type theory.- Improving the multiprecision Euclidean algorithm.- Storage allocation for the Karatsuba integer multiplication algorithm.- Process scheduling in DSC and the large sparse linear systems challenge.- Gauss: a parameterized domain of computation system with support for signature functions.- On coherence in computer algebra.- Subtyping inheritance in languages for symbolic computation systems.- A unified-algebra-based specification language for symbolic computing.- An order-sorted approach to algebraic computation.- Variant handling, inheritance and composition in the ObjectMath computer algebra environment.- Matching and unification for the object-oriented symbolic computation system AlgBench.- A type system for computer algebra.- Decision procedures for set/hyperset contexts.- Reasoning with contexts.- GLEFATINF:A graphic framework for combining theorem provers and editing proofs for different logics.- Extending RISC-CLP(Real) to handle symbolic functions.- Dynamic term rewriting calculus and its application to inductive equational reasoning.- Distributed deduction by Clause-Diffusion: the aquarius prover.- The design of the SACLIB/PACLIB kernels.- The weyl computer algebra substrate.- On the uniform representation of mathematical data structures.- Compact delivery support for REDUCE.- IZIC: a portable language-driven tool for mathematical surfaces visualization.- The algebraic constructor CAC: computing in construction-defined domains.- Extending AlgBench with a type system.- Modeling finite fields with mathematica.- An enhanced sequent calculus for reasoning in a given domain.- Problem-oriented means of program specification and verification in project SPECTRUM.- General purpose proof plans.