Lecture Notes in Computer Science - Eurocal '87
Latest Publications

TOTAL DOCUMENTS

79

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540515173, 9783540482079

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Practical aspects of symbolic integration over Q(x)

Lecture Notes in Computer Science - Eurocal '87 ◽

10.1007/3-540-51517-8_154 ◽

1989 ◽

pp. 463-464

Author(s):

David M. Gillies ◽

Bruce W. Char

Keyword(s):

Symbolic Integration

Download Full-text

Hierarchical symbolic computations in the analysis of large-scale dynamical systems

Lecture Notes in Computer Science - Eurocal '87 ◽

10.1007/3-540-51517-8_96 ◽

1989 ◽

pp. 107-115

Author(s):

Jerzy Paczyński

Keyword(s):

Dynamical Systems ◽

Large Scale ◽

Symbolic Computations

Download Full-text

Groups and polynomials

Lecture Notes in Computer Science - Eurocal '87 ◽

10.1007/3-540-51517-8_82 ◽

1989 ◽

pp. 26-33

Author(s):

Geoff C Smith

Download Full-text

A package for the analytic investigation and exact solution of differential equations

Lecture Notes in Computer Science - Eurocal '87 ◽

10.1007/3-540-51517-8_157 ◽

1989 ◽

pp. 479-490 ◽

Author(s):

Thomas Wolf

Keyword(s):

Exact Solution ◽

Differential Equations ◽

Analytic Investigation

Download Full-text

A critical pair criterion for completion modulo a congruence

Lecture Notes in Computer Science - Eurocal '87 ◽

10.1007/3-540-51517-8_151 ◽

1989 ◽

pp. 452-453

Author(s):

Leo Bachmair ◽

Nachum Dershowitz

Keyword(s):

Download Full-text

Strong splitting rules in automated theorem proving

Lecture Notes in Computer Science - Eurocal '87 ◽

10.1007/3-540-51517-8_147 ◽

1989 ◽

pp. 424-425

Author(s):

Matthias Baaz ◽

Alexander Leitsch

Keyword(s):

Theorem Proving ◽

Automated Theorem Proving

Download Full-text

A matrix-approach for proving inequalities

Lecture Notes in Computer Science - Eurocal '87 ◽

10.1007/3-540-51517-8_145 ◽

1989 ◽

pp. 403-411

Author(s):

A. Ferscha

Keyword(s):

Matrix Approach

Download Full-text

An affine point of view on minima finding in integer lattices of lower dimensions

Lecture Notes in Computer Science - Eurocal '87 ◽

10.1007/3-540-51517-8_141 ◽

1989 ◽

pp. 376-378 ◽

Author(s):

Brigitte Vallée

Keyword(s):

Point Of View ◽

Integer Lattices

Download Full-text

Mr. Smith goes to Las Vegas: Randomized parallel computation of the Smith Normal form of polynomial matrices

Lecture Notes in Computer Science - Eurocal '87 ◽

10.1007/3-540-51517-8_134 ◽

1989 ◽

pp. 317-322 ◽

Author(s):

Erich Kaltofen ◽

M. S. Krishnamoorthy ◽

B. David Saunders

Keyword(s):

Normal Form ◽

Parallel Computation ◽

Las Vegas ◽

Smith Normal Form ◽

Polynomial Matrices

Download Full-text

Applications of computer algebra in solid modelling

Lecture Notes in Computer Science - Eurocal '87 ◽

10.1007/3-540-51517-8_122 ◽

1989 ◽

pp. 244-245

Author(s):

Adrian Bowyer ◽

James Davenport ◽

Philip Milne ◽

Julian Padget ◽

Andrew Wallis

Keyword(s):

Computer Algebra ◽

Solid Modelling

Download Full-text