Advances in the Design of Symbolic Computation Systems

Editors:

ISBN: 978-3-211-82844-1 (Print) 978-3-7091-6531-7 (Online)

Table of contents (15 chapters)

  1. Front Matter

    Pages i-x

  2. State of the art and motivations

    1. Front Matter

      Pages 1-1

    2. No Access

      Book Chapter

      Pages 2-20

      Mathematica: doing mathematics by computer?

    3. No Access

      Book Chapter

      Pages 21-29

      An overview of the TASSO project

  3. Mathematical objects

    1. Front Matter

      Pages 31-31

    2. No Access

      Book Chapter

      Pages 32-52

      The uniform representation of mathematical objects by truncated power series

    3. No Access

      Book Chapter

      Pages 53-67

      p-adic arithmetic: a tool for error-free computations

    4. No Access

      Book Chapter

      Pages 68-83

      Exact solution of computational problems via parallel truncated p-adic Arithmetic

    5. No Access

      Book Chapter

      Pages 84-110

      A canonical form guide to symbolic summation

    6. No Access

      Book Chapter

      Pages 111-123

      Indexes in sums and series: from formal definition to object-oriented implementation

  4. Programming methodologies

    1. Front Matter

      Pages 125-125

    2. No Access

      Book Chapter

      Pages 126-144

      Equational specifications: design, implementation, and reasoning

    3. No Access

      Book Chapter

      Pages 145-163

      On the algebraic specification of classes and inheritance in object-oriented programming

    4. No Access

      Book Chapter

      Pages 164-178

      On subtyping in languages for symbolic computation systems

    5. No Access

      Book Chapter

      Pages 179-195

      Enhanced strict inheritance in TASSO-L

  5. Reasoning capabilities

    1. Front Matter

      Pages 197-197

    2. No Access

      Book Chapter

      Pages 198-216

      Deduction and abduction using a sequent calculus

    3. No Access

      Book Chapter

      Pages 217-229

      A sequent calculus machine for symbolic computation systems

    4. No Access

      Book Chapter

      Pages 230-244

      Automated deduction by connection method in an object-oriented environment

    5. No Access

      Book Chapter

      Pages 245-256

      A general reasoning apparatus for intelligent tutoring systems in mathematics

  6. Back Matter

    Pages 257-259