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

TOTAL DOCUMENTS

30

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer-Verlag

354057235x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Mathematica: A system for doing mathematics by computer?

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

10.1007/bfb0013163 ◽

2005 ◽

pp. 1-1

Author(s):

Bruno Buchberger

Download Full-text

Reasoning with contexts

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

10.1007/bfb0013179 ◽

2005 ◽

pp. 216-228

Author(s):

William M. Farmer ◽

Joshua D. Guttman ◽

F. Javier Thayer

Download Full-text

A unified-algebra-based specification language for symbolic computing

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

10.1007/bfb0013173 ◽

2005 ◽

pp. 122-133 ◽

Author(s):

J. Calmet ◽

I. A. Tjandra

Keyword(s):

Specification Language ◽

Symbolic Computing

Download Full-text

Matching and unification for the object-oriented symbolic computation system AlgBench

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

10.1007/bfb0013176 ◽

2005 ◽

pp. 164-176

Author(s):

Georgios Grivas ◽

Roman E. Maeder

Keyword(s):

Symbolic Computation ◽

Object Oriented

Download Full-text

Sketching concepts and computational model of TROLL light

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

10.1007/bfb0013165 ◽

2005 ◽

pp. 17-32 ◽

Author(s):

Martin Gogolla ◽

Stefan Conrad ◽

Rudolf Herzig

Keyword(s):

Computational Model

Download Full-text

IZIC: a portable language-driven tool for mathematical surfaces visualization

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

10.1007/bfb0013188 ◽

2005 ◽

pp. 341-353

Author(s):

Robert Fournier ◽

Norbert Kajler ◽

Bernard Mourrain

Download Full-text

The weyl computer algebra substrate

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

10.1007/bfb0013185 ◽

2005 ◽

pp. 303-318 ◽

Author(s):

Richard Zippel

Keyword(s):

Computer Algebra

Download Full-text

Analogical type theory

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

10.1007/bfb0013166 ◽

2005 ◽

pp. 33-44

Author(s):

Bo Yi ◽

Jiafu Xu

Keyword(s):

Download Full-text

Dynamic term rewriting calculus and its application to inductive equational reasoning

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

10.1007/bfb0013182 ◽

2005 ◽

pp. 256-271 ◽

Author(s):

Su Feng ◽

Toshiki Sakabe ◽

Yasuyoshi Inagaki

Keyword(s):

Term Rewriting ◽

Equational Reasoning

Download Full-text

Compact delivery support for REDUCE

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

10.1007/bfb0013187 ◽

2005 ◽

pp. 331-340

Author(s):

A. C. Norman

Download Full-text