Search dblp for Publications

export results for "toc:db/conf/eurocal/eurocal1985-1.bht:"

 download as .bib file

@inproceedings{DBLP:conf/eurocal/Balaban85,
  author       = {Alexandru T. Balaban},
  editor       = {Bruno Buchberger},
  title        = {Symbolic Computation and Chemistry},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {68--79},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_6},
  doi          = {10.1007/3-540-15983-5\_6},
  timestamp    = {Tue, 14 May 2019 10:00:47 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Balaban85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/Beth85,
  author       = {Thomas Beth},
  editor       = {Bruno Buchberger},
  title        = {Algebraic and Symbolic Computation in Digital Signal Processing, Coding
                  and Cryptography},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {93--101},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_8},
  doi          = {10.1007/3-540-15983-5\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Beth85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/Biermann85,
  author       = {Alan W. Biermann},
  editor       = {Bruno Buchberger},
  title        = {Algorithmic Methods in Automatic Programming},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {124--135},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_11},
  doi          = {10.1007/3-540-15983-5\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Biermann85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/Caviness85,
  author       = {Bob F. Caviness},
  editor       = {Bruno Buchberger},
  title        = {Computer Algebra: Past and Future},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {1--18},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_1},
  doi          = {10.1007/3-540-15983-5\_1},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Caviness85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/CoquandH85,
  author       = {Thierry Coquand and
                  G{\'{e}}rard P. Huet},
  editor       = {Bruno Buchberger},
  title        = {Constructions: {A} Higher Order Proof System for Mechanizing Mathematics},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {151--184},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_13},
  doi          = {10.1007/3-540-15983-5\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/CoquandH85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/Drouffe85,
  author       = {J.{-}M. Drouffe},
  editor       = {Bruno Buchberger},
  title        = {Computer Algebra as a Research Tool in Physics},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {58--67},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_5},
  doi          = {10.1007/3-540-15983-5\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Drouffe85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/EngelerM85,
  author       = {Erwin Engeler and
                  Roman E. M{\"{a}}der},
  editor       = {Bruno Buchberger},
  title        = {Scientific Computation: The Integration of Symbolic, Numeric and Graphic
                  Computation},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {185--200},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_14},
  doi          = {10.1007/3-540-15983-5\_14},
  timestamp    = {Tue, 22 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/eurocal/EngelerM85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/Kreisel85,
  author       = {Georg Kreisel},
  editor       = {Bruno Buchberger},
  title        = {Proof Theory and the Synthesis of Programs: Potential and Limitations},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {136--150},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_12},
  doi          = {10.1007/3-540-15983-5\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Kreisel85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/Kulisch85,
  author       = {Ulrich W. Kulisch},
  editor       = {Bruno Buchberger},
  title        = {A New Arithmetic for Scientific Computation with Exact Evaluation
                  of Expressions},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {114--123},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_10},
  doi          = {10.1007/3-540-15983-5\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Kulisch85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/Lehmann85,
  author       = {N. Joachim Lehmann},
  editor       = {Bruno Buchberger},
  title        = {Computer Algebra and Practical Analysis},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {102--113},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_9},
  doi          = {10.1007/3-540-15983-5\_9},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Lehmann85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/Ottmann85,
  author       = {Thomas Ottmann},
  editor       = {Bruno Buchberger},
  title        = {Computational Geometry: Selected Algorithms and Paradigms},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {80--92},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_7},
  doi          = {10.1007/3-540-15983-5\_7},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Ottmann85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/Padget85,
  author       = {Julian A. Padget},
  editor       = {Bruno Buchberger},
  title        = {Current Developments in {LISP}},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {45--57},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_4},
  doi          = {10.1007/3-540-15983-5\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Padget85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/Pavelle85,
  author       = {Richard Pavelle},
  editor       = {Bruno Buchberger},
  title        = {{MACSYMA:} Capabilities and Applications to Problems in Engineering
                  and the Sciences},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {19--32},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_2},
  doi          = {10.1007/3-540-15983-5\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Pavelle85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/eurocal/Stoutmeyer85,
  author       = {David R. Stoutmeyer},
  editor       = {Bruno Buchberger},
  title        = {A Preview of the Next {IBM-PC} Version of muMATH},
  booktitle    = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  pages        = {33--44},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5\_3},
  doi          = {10.1007/3-540-15983-5\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/Stoutmeyer85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/eurocal/1985-1,
  editor       = {Bruno Buchberger},
  title        = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
                  April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {203},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15983-5},
  doi          = {10.1007/3-540-15983-5},
  isbn         = {3-540-15983-5},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocal/1985-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.