EUROCAL '85 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540159834, 9783540396840

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constructions: A higher order proof system for mechanizing mathematics

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15983-5_13 ◽

1985 ◽

pp. 151-184 ◽

Cited By ~ 62

Author(s):

Thierry Coquand ◽

Gérard Huet

Keyword(s):

Higher Order ◽

Proof System

Download Full-text

Algebraic and symbolic computation in digital signal processing, coding and cryptography

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15983-5_8 ◽

1985 ◽

pp. 93-101 ◽

Cited By ~ 1

Author(s):

Thomas Beth

Keyword(s):

Signal Processing ◽

Digital Signal Processing ◽

Symbolic Computation ◽

Digital Signal

Download Full-text

Algorithmic methods in automatic programming

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15983-5_11 ◽

1985 ◽

pp. 124-135

Author(s):

Alan W. Biermann

Keyword(s):

Automatic Programming

Download Full-text

A new arithmetic for scientific computation with exact evaluation of expressions

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15983-5_10 ◽

1985 ◽

pp. 114-123

Author(s):

Ulrich Kulisch

Keyword(s):

Scientific Computation ◽

Exact Evaluation

Download Full-text

Computer algebra: Past and future

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15983-5_1 ◽

1985 ◽

pp. 1-18 ◽

Cited By ~ 3

Author(s):

B. F. Caviness

Keyword(s):

Computer Algebra

Download Full-text

Current developments in LISP

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15983-5_4 ◽

1985 ◽

pp. 45-57

Author(s):

Julian Padget

Download Full-text

Computer algebra as a research tool in physics

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15983-5_5 ◽

1985 ◽

pp. 58-67 ◽

Cited By ~ 1

Author(s):

J. -M. Drouffe

Keyword(s):

Computer Algebra ◽

Research Tool

Download Full-text

MACSYMA: Capabilities and applications to problems in engineering and the sciences

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15983-5_2 ◽

1985 ◽

pp. 19-32 ◽

Cited By ~ 2

Author(s):

Richard Pavelle

Download Full-text

Proof theory and the synthesis of programs: Potential and limitations

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15983-5_12 ◽

1985 ◽

pp. 136-150 ◽

Cited By ~ 2

Author(s):

G. Kreisel

Keyword(s):

Proof Theory

Download Full-text

Computer algebra and practical analysis

EUROCAL '85 - Lecture Notes in Computer Science ◽

10.1007/3-540-15983-5_9 ◽

1985 ◽

pp. 102-113

Author(s):

N. J. Lehmann

Keyword(s):

Computer Algebra ◽

Practical Analysis

Download Full-text