The SCEAS System
Navigation Menu

Conferences in DBLP

European Conference on Computer Algebra (EUROCAL) (eurocal)
1985 (conf/eurocal/1985-1)

  1. B. F. Caviness
    Computer Algebra: Past and Future. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:1-18 [Conf]
  2. Richard Pavelle
    MACSYMA: Capabilities and Applications to Problems in Engineering and the Sciences. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:19-32 [Conf]
  3. David R. Stoutmeyer
    A Preview of the Next IBM-PC Version of muMATH. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:33-44 [Conf]
  4. Julian A. Padget
    Current Developments in LISP. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:45-57 [Conf]
  5. J.-M. Drouffe
    Computer Algebra as a Research Tool in Physics. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:58-67 [Conf]
  6. Alexandru T. Balaban
    Symbolic Computation and Chemistry. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:68-79 [Conf]
  7. Thomas Ottmann
    Computational Geometry: Selected Algorithms and Paradigms. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:80-92 [Conf]
  8. Thomas Beth
    Algebraic and Symbolic Computation in Digital Signal Processing, Coding and Cryptography. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:93-101 [Conf]
  9. N. Joachim Lehmann
    Computer Algebra and Practical Analysis. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:102-113 [Conf]
  10. Ulrich W. Kulisch
    A New Arithmetic for Scientific Computation with Exact Evaluation of Expressions. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:114-123 [Conf]
  11. Alan W. Biermann
    Algorithmic Methods in Automatic Programming. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:124-135 [Conf]
  12. G. Kreisel
    Proof Theory and the Synthesis of Programs: Potential and Limitations. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:136-150 [Conf]
  13. Thierry Coquand, Gérard P. Huet
    Constructions: A Higher Order Proof System for Mechanizing Mathematics. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:151-184 [Conf]
  14. Erwin Engeler, R. Mäder
    Scientific Computation: The Integration of Symbolic, Numeric and Graphic Computation. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (1), 1985, pp:185-200 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002