EUROCAL '85 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

114

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540159841, 9783540396857

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An algorithm for the computation of perfect polyhedral cones over real quadratic number fields

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15984-3_317 ◽

1985 ◽

pp. 487-488

Author(s):

H. Ong ◽

D. Golke

Keyword(s):

Number Fields ◽

Quadratic Number ◽

Polyhedral Cones ◽

Quadratic Number Fields ◽

Real Quadratic

Download Full-text

On decomposable and commuting polynomials

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15984-3_248 ◽

1985 ◽

pp. 148-149

Author(s):

R. Lidl

Download Full-text

Symbolic integration of exponential polynomials

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15984-3_337 ◽

1985 ◽

pp. 599-600

Author(s):

Klaus Nehrkorn

Keyword(s):

Exponential Polynomials ◽

Symbolic Integration

Download Full-text

A reduction strategy for the taylor resolution

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15984-3_323 ◽

1985 ◽

pp. 526-534 ◽

Cited By ~ 3

Author(s):

H. Michael Möller

Keyword(s):

Reduction Strategy

Download Full-text

CIM (computer integrated manufacturing) — A challenge for symbolic computation

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15984-3_311 ◽

1985 ◽

pp. 462-463

Author(s):

H. Exner ◽

F. D. Fischer

Keyword(s):

Symbolic Computation ◽

Computer Integrated Manufacturing ◽

Integrated Manufacturing

Download Full-text

Darwin, a system designed for the study of enumerative combinatorics

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15984-3_307 ◽

1985 ◽

pp. 444-445

Author(s):

F. Bergeron ◽

C. Pichet

Keyword(s):

Enumerative Combinatorics

Download Full-text

On solving the equality problem in theories defined by Horn clauses

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15984-3_292 ◽

1985 ◽

pp. 363-377 ◽

Cited By ~ 4

Author(s):

E. Paul

Keyword(s):

Horn Clauses ◽

Equality Problem

Download Full-text

PASCAL-SC demonstration accurate arithmetic for verified results

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15984-3_287 ◽

1985 ◽

pp. 325-326

Author(s):

J. Wolff von Gudenberg

Download Full-text

Gröbner bases using SAC2

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15984-3_275 ◽

1985 ◽

pp. 272-274 ◽

Cited By ~ 5

Author(s):

W. Böge ◽

R. Gebauer ◽

H. Kredel

Keyword(s):

Gröbner Bases ◽

Grobner Bases

Download Full-text

On some laws in PSL(2,q)

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15984-3_271 ◽

1985 ◽

pp. 245-245

Author(s):

Daniela B. Nikolova

Download Full-text