Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

35

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540616979, 9783540706359

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Term rewriting systems: An h-categorical semantic

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-61697-7_8 ◽

1996 ◽

pp. 67-78

Author(s):

Giulio Balestreri

Keyword(s):

Term Rewriting ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

WALDMEISTER: High performance equation theorem proving

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-61697-7_6 ◽

1996 ◽

pp. 63-64 ◽

Author(s):

Arnim Buch ◽

Thomas Hillenbrand ◽

Roland Fettig

Keyword(s):

Theorem Proving ◽

High Performance ◽

Performance Equation

Download Full-text

Compiling residuation for a multiparadigm symbolic programming language

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-61697-7_34 ◽

1996 ◽

pp. 331-342 ◽

Author(s):

Georgios Grivas ◽

Alexios Palinginis

Keyword(s):

Programming Language ◽

Symbolic Programming

Download Full-text

Interfacing REDUCE to Java

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-61697-7_28 ◽

1996 ◽

pp. 271-276 ◽

Author(s):

Arthur Norman ◽

John Fitch

Download Full-text

An approach to class reasoning in symbolic computation

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-61697-7_25 ◽

1996 ◽

pp. 240-251

Author(s):

Gianna Cioni ◽

Attilio Colagrossi ◽

Marco Temperini

Keyword(s):

Symbolic Computation

Download Full-text

Uniform representation of basic algebraic structures in computer algebra

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-61697-7_21 ◽

1996 ◽

pp. 202-203

Author(s):

Carla Limongelli ◽

Giuseppina Malerba ◽

Marco Temperini

Keyword(s):

Computer Algebra ◽

Algebraic Structures

Download Full-text

A master-slave approach to parallel term rewriting on a hierarchical multiprocessor

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-61697-7_17 ◽

1996 ◽

pp. 183-194 ◽

Author(s):

Reinhard Bündgen ◽

Manfred Göbel ◽

Wolfgang Küchlin

Keyword(s):

Download Full-text

Integer and rational arithmetic on masPar

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-61697-7_15 ◽

1996 ◽

pp. 162-173 ◽

Author(s):

Tudor Jebelean

Keyword(s):

Rational Arithmetic

Download Full-text

DiscAtinf: A general framework for implementing calculi and strategies

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-61697-7_3 ◽

1996 ◽

pp. 34-45

Author(s):

Christophe Bourely ◽

Nicolas Peltier

Keyword(s):

General Framework

Download Full-text

Implementing FS0 in Isabelle: Adding structure at the metalevel

Design and Implementation of Symbolic Computation Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-61697-7_24 ◽

1996 ◽

pp. 228-239 ◽

Author(s):

Seán Matthews

Download Full-text