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

Symbolic computation in relativity theory

1989 ◽  
pp. 34-43
Author(s):  
M. A. H. MacCallum
Keyword(s):  
Symbolic Computation ◽  
Relativity Theory

Properties of Gröbner bases under specializations

1989 ◽  
pp. 293-297 ◽  
Author(s):  
Patrizia Gianni
Keyword(s):  
Gröbner Bases ◽  
Grobner Bases

Practical aspects of symbolic integration over Q(x)

1989 ◽  
pp. 463-464
Author(s):  
David M. Gillies ◽  
Bruce W. Char
Keyword(s):  
Symbolic Integration

Groups and polynomials

1989 ◽  
pp. 26-33
Author(s):  
Geoff C Smith

A critical pair criterion for completion modulo a congruence

1989 ◽  
pp. 452-453
Author(s):  
Leo Bachmair ◽  
Nachum Dershowitz
Keyword(s):  
Critical Pair

Strong splitting rules in automated theorem proving

1989 ◽  
pp. 424-425
Author(s):  
Matthias Baaz ◽  
Alexander Leitsch
Keyword(s):  
Theorem Proving ◽  
Automated Theorem Proving

A matrix-approach for proving inequalities

1989 ◽  
pp. 403-411
Author(s):  
A. Ferscha
Keyword(s):  
Matrix Approach
Load More ...
Sign in / Sign up

Export Citation Format

Share Document