default search action

combined dblp search
author search
venue search
publication search

ask others

EUROCAL 1985, Volume 1: Linz, Austria

> Home > Conferences and Workshops > EUROCAL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/1985-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/1985-1
Bruno Buchberger:
EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 1: Invited Lectures. Lecture Notes in Computer Science 203, Springer 1985, ISBN 3-540-15983-5
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/Caviness85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/Caviness85
Bob F. Caviness:
Computer Algebra: Past and Future. 1-18
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/Pavelle85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/Pavelle85
Richard Pavelle:
MACSYMA: Capabilities and Applications to Problems in Engineering and the Sciences. 19-32
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/Stoutmeyer85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/Stoutmeyer85
David R. Stoutmeyer:
A Preview of the Next IBM-PC Version of muMATH. 33-44
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/Padget85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/Padget85
Julian A. Padget:
Current Developments in LISP. 45-57
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/Drouffe85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/Drouffe85
J.-M. Drouffe:
Computer Algebra as a Research Tool in Physics. 58-67
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/Balaban85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/Balaban85
Alexandru T. Balaban:
Symbolic Computation and Chemistry. 68-79
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/Ottmann85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/Ottmann85
Thomas Ottmann:
Computational Geometry: Selected Algorithms and Paradigms. 80-92
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/Beth85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/Beth85
Thomas Beth:
Algebraic and Symbolic Computation in Digital Signal Processing, Coding and Cryptography. 93-101
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/Lehmann85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/Lehmann85
N. Joachim Lehmann:
Computer Algebra and Practical Analysis. 102-113
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/Kulisch85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/Kulisch85
Ulrich W. Kulisch:
A New Arithmetic for Scientific Computation with Exact Evaluation of Expressions. 114-123
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/Biermann85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/Biermann85
Alan W. Biermann:
Algorithmic Methods in Automatic Programming. 124-135
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/Kreisel85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/Kreisel85
Georg Kreisel:
Proof Theory and the Synthesis of Programs: Potential and Limitations. 136-150
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/CoquandH85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/CoquandH85
Thierry Coquand, Gérard P. Huet:
Constructions: A Higher Order Proof System for Mechanizing Mathematics. 151-184
- view
  authority control:
- export record
  dblp key:
  - conf/eurocal/EngelerM85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocal/EngelerM85
Erwin Engeler, Roman E. Mäder:
Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation. 185-200

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.