Symbolic and Algebraic Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

51

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540510840, 9783540461531

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Heuristic methods for operations with algebraic numbers

Symbolic and Algebraic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-51084-2_45 ◽

1989 ◽

pp. 475-480 ◽

Author(s):

Keith O. Geddes ◽

Gaston H. Gonnet ◽

Trevor J. Smedley

Keyword(s):

Heuristic Methods ◽

Algebraic Numbers

Download Full-text

Software development for computer algebra or from ALDES/SAC-2 to WEB/Modula-2

Symbolic and Algebraic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-51084-2_42 ◽

1989 ◽

pp. 447-455 ◽

Author(s):

Heinz Kredel

Keyword(s):

Software Development ◽

Computer Algebra

Download Full-text

Efficient decision procedures for locally finite theories II

Symbolic and Algebraic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-51084-2_37 ◽

1989 ◽

pp. 390-401 ◽

Author(s):

Volker Weispfenning

Keyword(s):

Decision Procedures ◽

Download Full-text

Symbolic analysis of planar drawings

Symbolic and Algebraic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-51084-2_33 ◽

1989 ◽

pp. 344-355 ◽

Author(s):

P. H. Todd ◽

G. W. Cherry

Keyword(s):

Symbolic Analysis

Download Full-text

From a noncomputability result to new interesting definitions and computability results

Symbolic and Algebraic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-51084-2_3 ◽

1989 ◽

pp. 26-32

Author(s):

Francis Sergeraert

Download Full-text

Rational Newton algorithm for computing formal solutions of linear differential equations

Symbolic and Algebraic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-51084-2_17 ◽

1989 ◽

pp. 183-195 ◽

Author(s):

M. A. Barkatou

Keyword(s):

Differential Equations ◽

Linear Differential Equations ◽

Newton Algorithm ◽

Linear Differential ◽

Formal Solutions

Download Full-text

Computations with algebraic curves

Symbolic and Algebraic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-51084-2_26 ◽

1989 ◽

pp. 274-284 ◽

Author(s):

Shreeram S. Abhyankar ◽

Chanderjit L. Bajaj

Keyword(s):

Algebraic Curves

Download Full-text

Generic programming

Symbolic and Algebraic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-51084-2_2 ◽

1989 ◽

pp. 13-25 ◽

Author(s):

David R. Musser ◽

Alexander A. Stepanov

Keyword(s):

Generic Programming

Download Full-text

Experiments with quadtree representation of matrices

Symbolic and Algebraic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-51084-2_9 ◽

1989 ◽

pp. 96-108 ◽

Author(s):

S. Kamal Abdali ◽

David S. Wise

Download Full-text

The probability of relative primality of Gaussian integers

Symbolic and Algebraic Computation - Lecture Notes in Computer Science ◽

10.1007/3-540-51084-2_23 ◽

1989 ◽

pp. 252-258 ◽

Author(s):

George E. Collins ◽

Jeremy R. Johnson

Keyword(s):

Gaussian Integers

Download Full-text