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    = {Sun, 04 Aug 2024 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}
}

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.