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

Deterministic versus probabilistic factorization of integral polynomials

1982 ◽  
pp. 117-125 ◽  
Author(s):  
Jacques Calmet ◽  
Rüdiger Loos

REDUCE — A case study in algebra system development

1982 ◽  
pp. 263-272 ◽  
Author(s):  
Anthony C. Hearn
Keyword(s):  
System Development

The development of a vector-based algebra system

1982 ◽  
pp. 237-248 ◽  
Author(s):  
A. C. Norman

A sum-substitutor used as trigonometric simplifier

1982 ◽  
pp. 188-195
Author(s):  
L. Hornfeldt

An adaptive hybrid algorithm for multiplying dense polynomials

1982 ◽  
pp. 16-23 ◽  
Author(s):  
David K. Probst ◽  
Vangalur S. Alagar
Keyword(s):  
Hybrid Algorithm

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

1982 ◽  
pp. 101-108 ◽  
Author(s):  
Wolfgang Küchlin
Keyword(s):  
Theorem Proving
Load More ...
Sign in / Sign up

Export Citation Format

Share Document