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

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540572725, 9783540480310

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A simple general purpose technique for interfacing between computer algebra and numerical analysis systems

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

10.1007/3-540-57272-4_31 ◽

1993 ◽

pp. 145-151 ◽

Author(s):

M. Bayram ◽

J. P. Bennett

Keyword(s):

Numerical Analysis ◽

Computer Algebra ◽

General Purpose

Download Full-text

Algebraic simplification of multiple-valued functions

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

10.1007/3-540-57272-4_20 ◽

1993 ◽

pp. 13-21 ◽

Author(s):

Russell Bradford

Keyword(s):

Algebraic Simplification

Download Full-text

In-place arithmetic for polynomials over Zn

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

10.1007/3-540-57272-4_21 ◽

1993 ◽

pp. 22-34 ◽

Author(s):

Michael Monagan

Download Full-text

Design and implementation of a retargetable ALDES compiler

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

10.1007/3-540-57272-4_33 ◽

1993 ◽

pp. 162-172

Author(s):

Gábor Simon

Keyword(s):

Design And Implementation

Download Full-text

A uniform approach to deduction and automatic implementation

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

10.1007/3-540-57272-4_30 ◽

1993 ◽

pp. 132-144 ◽

Author(s):

Sergio Antoy ◽

Paola Forcheri ◽

Maria Teresa Molfino ◽

Carlo Schenone

Keyword(s):

Uniform Approach

Download Full-text

An assume facility for CAS, with a sample implementation for Maple

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

10.1007/3-540-57272-4_27 ◽

1993 ◽

pp. 95-103 ◽

Author(s):

Trudy Weibel ◽

Gaston H. Gonnet

Download Full-text

SymO2: Objects and classes for symbolic computation systems

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

10.1007/3-540-57272-4_25 ◽

1993 ◽

pp. 65-84

Author(s):

Philip S. Santas

Keyword(s):

Symbolic Computation

Download Full-text

Template-based formula editing in Kaava

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

10.1007/3-540-57272-4_19 ◽

1993 ◽

pp. 1-12

Author(s):

Ken Rimey

Download Full-text

REDUCE meets CAMAL

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

10.1007/3-540-57272-4_28 ◽

1993 ◽

pp. 104-115 ◽

Author(s):

J. P. Fitch

Download Full-text

LILK — Static analysis of REDUCE code

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

10.1007/3-540-57272-4_22 ◽

1993 ◽

pp. 35-43

Author(s):

B. D. Brunswick

Keyword(s):

Static Analysis

Download Full-text