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

WALDMEISTER: High performance equation theorem proving

1996 ◽  
pp. 63-64 ◽  
Author(s):  
Arnim Buch ◽  
Thomas Hillenbrand ◽  
Roland Fettig
Keyword(s):  
Theorem Proving ◽  
High Performance ◽  
Performance Equation

Interfacing REDUCE to Java

1996 ◽  
pp. 271-276 ◽  
Author(s):  
Arthur Norman ◽  
John Fitch

An approach to class reasoning in symbolic computation

1996 ◽  
pp. 240-251
Author(s):  
Gianna Cioni ◽  
Attilio Colagrossi ◽  
Marco Temperini
Keyword(s):  
Symbolic Computation

Uniform representation of basic algebraic structures in computer algebra

1996 ◽  
pp. 202-203
Author(s):  
Carla Limongelli ◽  
Giuseppina Malerba ◽  
Marco Temperini
Keyword(s):  
Computer Algebra ◽  
Algebraic Structures

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

1996 ◽  
pp. 183-194 ◽  
Author(s):  
Reinhard Bündgen ◽  
Manfred Göbel ◽  
Wolfgang Küchlin
Keyword(s):  
Term Rewriting

Multi-agent cooperation — Concepts and applications

1996 ◽  
pp. 195-197 ◽  
Author(s):  
Hans Haugeneder ◽  
Donald Steiner
Keyword(s):  
Multi Agent ◽  
Agent Cooperation

A reflective language based on conditional term rewriting

1996 ◽  
pp. 65-66 ◽  
Author(s):  
Masanobu Numazawa ◽  
Masahito Kurihara ◽  
Azuma Ohuchi
Keyword(s):  
Term Rewriting ◽  
Conditional Term ◽  
Conditional Term Rewriting
Load More ...
Sign in / Sign up

Export Citation Format

Share Document