Lecture Notes in Computer Science - Computer Algebra
Latest Publications

TOTAL DOCUMENTS

35

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540116073, 9783540394334

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

REDUCE — A case study in algebra system development

Lecture Notes in Computer Science - Computer Algebra ◽

10.1007/3-540-11607-9_31 ◽

1982 ◽

pp. 263-272 ◽

Author(s):

Anthony C. Hearn

Keyword(s):

System Development

Download Full-text

Escaping from intermediate expression swell: a continuing saga

Lecture Notes in Computer Science - Computer Algebra ◽

10.1007/3-540-11607-9_30 ◽

1982 ◽

pp. 256-262 ◽

Author(s):

J. A. Padget

Keyword(s):

Intermediate Expression Swell ◽

Expression Swell ◽

Intermediate Expression

Download Full-text

The development of a vector-based algebra system

Lecture Notes in Computer Science - Computer Algebra ◽

10.1007/3-540-11607-9_28 ◽

1982 ◽

pp. 237-248 ◽

Author(s):

A. C. Norman

Download Full-text

Computing double coset representatives for the generation of solvable groups

Lecture Notes in Computer Science - Computer Algebra ◽

10.1007/3-540-11607-9_8 ◽

1982 ◽

pp. 65-70 ◽

Author(s):

Reinhard Laue

Keyword(s):

Double Coset ◽

Solvable Groups

Download Full-text

Deterministic versus probabilistic factorization of integral polynomials

Lecture Notes in Computer Science - Computer Algebra ◽

10.1007/3-540-11607-9_14 ◽

1982 ◽

pp. 117-125 ◽

Author(s):

Jacques Calmet ◽

Rüdiger Loos

Download Full-text

A program in REDUCE for finding explicit solutions to certain ordinary differential equations

Lecture Notes in Computer Science - Computer Algebra ◽

10.1007/3-540-11607-9_34 ◽

1982 ◽

pp. 289-293

Author(s):

Bengt Malm

Keyword(s):

Differential Equations ◽

Ordinary Differential Equations ◽

Explicit Solutions

Download Full-text

A sum-substitutor used as trigonometric simplifier

Lecture Notes in Computer Science - Computer Algebra ◽

10.1007/3-540-11607-9_21 ◽

1982 ◽

pp. 188-195

Author(s):

L. Hornfeldt

Download Full-text

An adaptive hybrid algorithm for multiplying dense polynomials

Lecture Notes in Computer Science - Computer Algebra ◽

10.1007/3-540-11607-9_2 ◽

1982 ◽

pp. 16-23 ◽

Author(s):

David K. Probst ◽

Vangalur S. Alagar

Keyword(s):

Hybrid Algorithm

Download Full-text

Hacijan's algorithm in VAXIMA: improvements and difficulties

Lecture Notes in Computer Science - Computer Algebra ◽

10.1007/3-540-11607-9_16 ◽

1982 ◽

pp. 135-143

Author(s):

Paul S. Wang

Download Full-text

A theorem-proving approach to the Knuth-Bendix completion algorithm

Lecture Notes in Computer Science - Computer Algebra ◽

10.1007/3-540-11607-9_12 ◽

1982 ◽

pp. 101-108 ◽

Author(s):

Wolfgang Küchlin

Keyword(s):

Theorem Proving

Download Full-text