Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/eurocal/eurocal1985-2.bht:"
@inproceedings{DBLP:conf/eurocal/AbdaliC85, author = {S. Kamal Abdali and Guy W. Cherry}, editor = {Bob F. Caviness}, title = {Visual Environments for Symbolic Computation}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {166--167}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_258}, doi = {10.1007/3-540-15984-3\_258}, timestamp = {Tue, 29 Aug 2023 20:47:14 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/AbdaliC85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/AgnarssonKS85, author = {Snorri Agnarsson and Mukkai S. Krishnamoorthy and B. David Saunders}, editor = {Bob F. Caviness}, title = {An Algebraic Implementation of Packages}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {291--302}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_280}, doi = {10.1007/3-540-15984-3\_280}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/AgnarssonKS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/AlagarT85, author = {Vangalur S. Alagar and Mai Thanh}, editor = {Bob F. Caviness}, title = {Fast Polynominal Decomposition Algorithms}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {150--153}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_249}, doi = {10.1007/3-540-15984-3\_249}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/AlagarT85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/AmandJM85, author = {Jan E. {\AA}man and R. A. d'Inverno and G. C. Joly and Malcolm A. H. MacCallum}, editor = {Bob F. Caviness}, title = {Progress on the Equivalence Problem}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {89--98}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_242}, doi = {10.1007/3-540-15984-3\_242}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/AmandJM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/ArcieriMP85, author = {M. Arcieri and Alfonso Miola and F. Panasiti}, editor = {Bob F. Caviness}, title = {A Package of Tools for Manipulation of Sums and Series}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {603--604}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_339}, doi = {10.1007/3-540-15984-3\_339}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/ArcieriMP85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Armbruster85, author = {Dieter Armbruster}, editor = {Bob F. Caviness}, title = {Bifurcation Theory and Computer Algebra: An Initial Approach}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {126--137}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_245}, doi = {10.1007/3-540-15984-3\_245}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Armbruster85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Arnon85, author = {Dennis S. Arnon}, editor = {Bob F. Caviness}, title = {A Cluster-Based Cylindrical Algebraic Decomposition Algorithm}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {262--269}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_273}, doi = {10.1007/3-540-15984-3\_273}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Arnon85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Arnon85a, author = {Dennis S. Arnon}, editor = {Bob F. Caviness}, title = {On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial Problem}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {270--271}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_274}, doi = {10.1007/3-540-15984-3\_274}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Arnon85a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/ArnonCM85, author = {Dennis S. Arnon and George E. Collins and Scott McCallum}, editor = {Bob F. Caviness}, title = {An Adjacency Algorithm for Cylindrical Algebraic Decompositions of Three-Dimensional Space}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {246--261}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_272}, doi = {10.1007/3-540-15984-3\_272}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/ArnonCM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/ArnonM85, author = {Dennis S. Arnon and Scott McCallum}, editor = {Bob F. Caviness}, title = {A Polynominal Time Algorithm for the Topological Type of a Real Algebraic Curve}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {275--276}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_276}, doi = {10.1007/3-540-15984-3\_276}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/ArnonM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Aspetsberger85, author = {K. Aspetsberger}, editor = {Bob F. Caviness}, title = {Substitution Expressions: Extracting Solutions of Non-Horn Clause Proofs}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {78--86}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_240}, doi = {10.1007/3-540-15984-3\_240}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Aspetsberger85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/BandyopadhyayD85, author = {S. Bandyopadhyay and John S. Devitt}, editor = {Bob F. Caviness}, title = {The Role of Symbolic Computation in the Management of Scientific Information}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {460--461}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_310}, doi = {10.1007/3-540-15984-3\_310}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/BandyopadhyayD85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/BeckerS85, author = {Martin Becker and G{\"{u}}nter Schellenberger}, editor = {Bob F. Caviness}, title = {{GOPPA} Codes: Algorithmic Problems}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {407--408}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_298}, doi = {10.1007/3-540-15984-3\_298}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/BeckerS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/BergeronP85, author = {Fran{\c{c}}ois Bergeron and Claude Pichet}, editor = {Bob F. Caviness}, title = {DARWIN, a System designed for the Study of Enumerative Combinatorics}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {444--445}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_307}, doi = {10.1007/3-540-15984-3\_307}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/BergeronP85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/BiniP85, author = {Dario Bini and Victor Y. Pan}, editor = {Bob F. Caviness}, title = {Algorithms for Polynominal Division}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {1--3}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_229}, doi = {10.1007/3-540-15984-3\_229}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/BiniP85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/BogeGK85, author = {W. B{\"{o}}ge and R{\"{u}}diger Gebauer and Heinz Kredel}, editor = {Bob F. Caviness}, title = {Gr{\"{o}}bner Bases Using {SAC-2}}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {272--274}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_275}, doi = {10.1007/3-540-15984-3\_275}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/BogeGK85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/BoninfanteV85, author = {P. Boninfante and G. M. Veca}, editor = {Bob F. Caviness}, title = {The Algebraic Manipulation Systems on the Electrical Power Systems}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {468--469}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_314}, doi = {10.1007/3-540-15984-3\_314}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/BoninfanteV85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Bruderlin85, author = {Beat D. Br{\"{u}}derlin}, editor = {Bob F. Caviness}, title = {Using Prolog for Constructing Geometric Objects defined by Constraints}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {448--459}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_309}, doi = {10.1007/3-540-15984-3\_309}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Bruderlin85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Buchberger85, author = {Bruno Buchberger}, editor = {Bob F. Caviness}, title = {The Parallel L-Machine for Symbolic Computation}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {541--542}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_327}, doi = {10.1007/3-540-15984-3\_327}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Buchberger85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Buchmann85, author = {Johannes Buchmann}, editor = {Bob F. Caviness}, title = {The Generalized Voronoi-Algorithm in Totally Real Algebraic Number Fields}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {479--486}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_316}, doi = {10.1007/3-540-15984-3\_316}, timestamp = {Mon, 16 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurocal/Buchmann85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/CaciottaI85, author = {M. Caciotta and F. Iannucci}, editor = {Bob F. Caviness}, title = {Software Toolkit for Input Stage Measurement in Symbolic Computation}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {466--467}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_313}, doi = {10.1007/3-540-15984-3\_313}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurocal/CaciottaI85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/CaferraJ85, author = {Ricardo Caferra and Philippe Jorrand}, editor = {Bob F. Caviness}, title = {Unification in Parallel with Refined Linearity Test: An Example of Recursive Network Structure in FP2, {A} Functional Parallel Programming Language}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {539--540}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_326}, doi = {10.1007/3-540-15984-3\_326}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/CaferraJ85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/CampbellR85, author = {Colin M. Campbell and Edmund F. Robertson}, editor = {Bob F. Caviness}, title = {A Cayley File of Finite Simple Groups}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {243--244}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_270}, doi = {10.1007/3-540-15984-3\_270}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/CampbellR85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/CarretteH85, author = {George J. Carrette and Leo P. Harten}, editor = {Bob F. Caviness}, title = {{DOE-MACSYMA:} Progress Report}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {36--39}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_236}, doi = {10.1007/3-540-15984-3\_236}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/CarretteH85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Chenadec85, author = {Philippe le Chenadec}, editor = {Bob F. Caviness}, title = {A Completion of some Coxeter Groups}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {229--242}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_269}, doi = {10.1007/3-540-15984-3\_269}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Chenadec85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Coelho85, author = {Helder Coelho}, editor = {Bob F. Caviness}, title = {Symbolic and Algebraic Computation May Support Secondary Education}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {464--465}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_312}, doi = {10.1007/3-540-15984-3\_312}, timestamp = {Fri, 02 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Coelho85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Collins85, author = {George E. Collins}, editor = {Bob F. Caviness}, title = {The {SAC-2} Computer Algebra System}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {34--35}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_235}, doi = {10.1007/3-540-15984-3\_235}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Collins85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Curien85, author = {Pierre{-}Louis Curien}, editor = {Bob F. Caviness}, title = {Syntactic Equivalences Inducing Semantic Equivalences}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {168--178}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_259}, doi = {10.1007/3-540-15984-3\_259}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Curien85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/DavenportP85, author = {James H. Davenport and Julian A. Padget}, editor = {Bob F. Caviness}, title = {{HEUGCD:} How Elementary Upperbounds Generated Cheaper Data}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {18--28}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_231}, doi = {10.1007/3-540-15984-3\_231}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/DavenportP85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Dick85, author = {A. J. J. Dick}, editor = {Bob F. Caviness}, title = {{ERIL} - Equational Reasoning: an Interactive Laboratory}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {400--401}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_295}, doi = {10.1007/3-540-15984-3\_295}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Dick85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/DoraDD85, author = {Jean Della Dora and Claire Dicrescenzo and Dominique Duval}, editor = {Bob F. Caviness}, title = {About a New Method for Computing in Algebraic Number Fields}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {289--290}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_279}, doi = {10.1007/3-540-15984-3\_279}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/DoraDD85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Drouffe85a, author = {J.{-}M. Drouffe}, editor = {Bob F. Caviness}, title = {{AMP:} {A} System for Algebraic Computations}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {157--158}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_253}, doi = {10.1007/3-540-15984-3\_253}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Drouffe85a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Egecioglu85, author = {{\"{O}}mer Egecioglu}, editor = {Bob F. Caviness}, title = {Algorithms for the Character Theory of the Symmetric Group}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {206--224}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_267}, doi = {10.1007/3-540-15984-3\_267}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Egecioglu85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/ExnerF85, author = {H. Exner and F. D. Fischer}, editor = {Bob F. Caviness}, title = {{CIM} (Computer Integrated Manufacturing) - {A} Challenge for Symbolic Computation}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {462--463}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_311}, doi = {10.1007/3-540-15984-3\_311}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/ExnerF85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/FinckeP85, author = {U. Fincke and Michael Pohst}, editor = {Bob F. Caviness}, title = {A New Method of Computing Fundamental Units in Algebraic Number Fields}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {470--478}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_315}, doi = {10.1007/3-540-15984-3\_315}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/FinckeP85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/FordM85, author = {David Ford and John McKay}, editor = {Bob F. Caviness}, title = {From Polynominals to Galois Groups}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {535--536}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_324}, doi = {10.1007/3-540-15984-3\_324}, timestamp = {Thu, 30 Mar 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/FordM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Franova85, author = {Marta Franov{\'{a}}}, editor = {Bob F. Caviness}, title = {A Methodology for Automatic Programming Based on the Constructive Matching Strategy}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {568--569}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_330}, doi = {10.1007/3-540-15984-3\_330}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Franova85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/FrickA85, author = {Inge Frick and Jan E. {\AA}man}, editor = {Bob F. Caviness}, title = {{SHEEP} and Classification in General Relativity}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {161--162}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_255}, doi = {10.1007/3-540-15984-3\_255}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/FrickA85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Galligo85, author = {Andr{\'{e}} Galligo}, editor = {Bob F. Caviness}, title = {Some Algorithmic Questions of Constructing Standard Bases}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {413--421}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_301}, doi = {10.1007/3-540-15984-3\_301}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Galligo85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/GanzhaMS85, author = {Victor G. Ganzha and S. I. Mazurik and Vasily P. Shapeev}, editor = {Bob F. Caviness}, title = {Symbolic Manipulations on a Computer and Their Application to Generation and Investigation of Difference Schemes}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {335--347}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_290}, doi = {10.1007/3-540-15984-3\_290}, timestamp = {Wed, 11 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/GanzhaMS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/GatesH85, author = {Barbara L. Gates and J. A. van Hulzen}, editor = {Bob F. Caviness}, title = {Automatic Generation of Optimized Programs}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {583--584}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_333}, doi = {10.1007/3-540-15984-3\_333}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/GatesH85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/GaubeML85, author = {Werner Gaube and Heinrich C. Mayr and Peter C. Lockemann}, editor = {Bob F. Caviness}, title = {Retrieval in a Module Library Using Formal Specifications: Preliminary Search Using Syntactic Properties}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {181--196}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_261}, doi = {10.1007/3-540-15984-3\_261}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/GaubeML85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/GhelfoO85, author = {Susanna Ghelfo and Eugenio G. Omodeo}, editor = {Bob F. Caviness}, title = {Towards Practical Implementations of Syllogistic}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {40--49}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_237}, doi = {10.1007/3-540-15984-3\_237}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/GhelfoO85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/GianniT85, author = {Patrizia M. Gianni and Barry M. Trager}, editor = {Bob F. Caviness}, title = {GCD's and Factoring Multivariate Polynominals Using Gr{\"{o}}bner Bases}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {409--410}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_299}, doi = {10.1007/3-540-15984-3\_299}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/GianniT85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Gibert85, author = {Jacek Gibert}, editor = {Bob F. Caviness}, title = {The J-Machine: Functional Programming with Combinators}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {197--198}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_262}, doi = {10.1007/3-540-15984-3\_262}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Gibert85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Giusti85, author = {Marc Giusti}, editor = {Bob F. Caviness}, title = {A Note on the Complexity of Constructing Standard Bases}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {411--412}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_300}, doi = {10.1007/3-540-15984-3\_300}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Giusti85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Goebbels85, author = {Franzpeter Goebbels}, editor = {Bob F. Caviness}, title = {Factorization of Rational Polynominals in the Zassenhaus-Norm}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {146--147}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_247}, doi = {10.1007/3-540-15984-3\_247}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Goebbels85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/GottlobL85, author = {Georg Gottlob and Alexander Leitsch}, editor = {Bob F. Caviness}, title = {Fast Subsumption Algorithms}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {64--77}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_239}, doi = {10.1007/3-540-15984-3\_239}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/GottlobL85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/GravesB85, author = {Henson Graves and Lee Blaine}, editor = {Bob F. Caviness}, title = {The {ALGOS} Computational System}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {179--180}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_260}, doi = {10.1007/3-540-15984-3\_260}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/GravesB85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Greif85, author = {J. M. Greif}, editor = {Bob F. Caviness}, title = {The {SMP} Pattern Matcher}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {303--314}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_281}, doi = {10.1007/3-540-15984-3\_281}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Greif85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Gudenberg85, author = {J{\"{u}}rgen Wolff von Gudenberg}, editor = {Bob F. Caviness}, title = {Floating-Point Computation in {PASCAL-SC} with Verified Results}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {322--324}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_286}, doi = {10.1007/3-540-15984-3\_286}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Gudenberg85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Gudenberg85a, author = {J{\"{u}}rgen Wolff von Gudenberg}, editor = {Bob F. Caviness}, title = {{PASCAL-SC} Demonstration: Accurate Arithmetic for Verified Results}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {325--326}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_287}, doi = {10.1007/3-540-15984-3\_287}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Gudenberg85a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/HeckA85, author = {Norbert Heck and J{\"{u}}rgen Avenhaus}, editor = {Bob F. Caviness}, title = {On Logic Programs with Data-Driven Computations}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {433--443}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_306}, doi = {10.1007/3-540-15984-3\_306}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/HeckA85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Hohlfeld85, author = {Bernhard Hohlfeld}, editor = {Bob F. Caviness}, title = {Correctness Proofs of the Implementation of Abstract Data Types}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {446--447}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_308}, doi = {10.1007/3-540-15984-3\_308}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Hohlfeld85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Hornaes85, author = {Arne Horn{\ae}s}, editor = {Bob F. Caviness}, title = {Computer Algebra in Norway}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {405--406}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_297}, doi = {10.1007/3-540-15984-3\_297}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Hornaes85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/HornaesW85, author = {Arne Horn{\ae}s and Terje Wahl}, editor = {Bob F. Caviness}, title = {{NORCAN} - {A} Computer Calculus Program}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {163--164}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_256}, doi = {10.1007/3-540-15984-3\_256}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/HornaesW85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Hornfeldt85, author = {Lars H{\"{o}}rnfeldt}, editor = {Bob F. Caviness}, title = {{STENSOR}}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {165}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_257}, doi = {10.1007/3-540-15984-3\_257}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Hornfeldt85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Hornfeldt85a, author = {Lars H{\"{o}}rnfeldt}, editor = {Bob F. Caviness}, title = {{STENSOR} Uses Disc Automatically for Very Large Computations}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {317}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_283}, doi = {10.1007/3-540-15984-3\_283}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Hornfeldt85a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/HulshofH85, author = {Ben J. A. Hulshof and J. A. van Hulzen}, editor = {Bob F. Caviness}, title = {An Expression Compression Package for {REDUCE} based on Factorization and Controlled Expansion}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {315--316}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_282}, doi = {10.1007/3-540-15984-3\_282}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/HulshofH85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/HulstL85, author = {Marc{-}Paul van der Hulst and Arjen K. Lenstra}, editor = {Bob F. Caviness}, title = {Factorization of Polynominals by Transcendental Evaluation}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {138--145}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_246}, doi = {10.1007/3-540-15984-3\_246}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/HulstL85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Hussmann85, author = {Heinrich Hu{\ss}mann}, editor = {Bob F. Caviness}, title = {Unification in Conditional Equational Theories}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {543--553}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_328}, doi = {10.1007/3-540-15984-3\_328}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Hussmann85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Iliopoulos85, author = {Costas S. Iliopoulos}, editor = {Bob F. Caviness}, title = {Worst-Case Analysis of Algorithms for Computational Problems on Abelian Permutation Groups}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {225--228}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_268}, doi = {10.1007/3-540-15984-3\_268}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Iliopoulos85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Iliopuolos85, author = {Costas S. Iliopoulos}, editor = {Bob F. Caviness}, title = {Gaussian Elimination over a Euclidean Ring}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {29--30}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_232}, doi = {10.1007/3-540-15984-3\_232}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Iliopuolos85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Kaltofen85, author = {Erich L. Kaltofen}, editor = {Bob F. Caviness}, title = {Sparse Hensel Lifting}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {4--17}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_230}, doi = {10.1007/3-540-15984-3\_230}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Kaltofen85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/KaltofenR85, author = {Erich L. Kaltofen and Heinrich Rolletschek}, editor = {Bob F. Caviness}, title = {Arithmetic in Quadratic Fields with Unique Factorization}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {279--288}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_278}, doi = {10.1007/3-540-15984-3\_278}, timestamp = {Mon, 03 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/KaltofenR85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Karr85, author = {Michael Karr}, editor = {Bob F. Caviness}, title = {Canonical Form for Rational Exponential Expressions}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {585--594}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_334}, doi = {10.1007/3-540-15984-3\_334}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Karr85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Karr85a, author = {Michael Karr}, editor = {Bob F. Caviness}, title = {Theory of Summation in Finite Terms}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {605--606}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_340}, doi = {10.1007/3-540-15984-3\_340}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Karr85a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/KirchnerK85, author = {Claude Kirchner and H{\'{e}}l{\`{e}}ne Kirchner}, editor = {Bob F. Caviness}, title = {Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {402--404}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_296}, doi = {10.1007/3-540-15984-3\_296}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/KirchnerK85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Klimov85, author = {D. M. Klimov}, editor = {Bob F. Caviness}, title = {Symbolic Algebra in Problems of Non-Linear Mechanics}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {199--200}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_263}, doi = {10.1007/3-540-15984-3\_263}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Klimov85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Kounalis85, author = {Emmanuel Kounalis}, editor = {Bob F. Caviness}, title = {Completeness in Data Type Specifications}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {348--362}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_291}, doi = {10.1007/3-540-15984-3\_291}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Kounalis85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Krasinski85, author = {Andrzej Krasinski}, editor = {Bob F. Caviness}, title = {The Program {ORTOCARTAN} for Applications in Einstein's Relativity Theory}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {159--160}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_254}, doi = {10.1007/3-540-15984-3\_254}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Krasinski85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Kreissig85, author = {Michael Krei{\ss}ig}, editor = {Bob F. Caviness}, title = {A Program System for Factorization of Polynominals with Rational Coefficients}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {155}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_251}, doi = {10.1007/3-540-15984-3\_251}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Kreissig85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Kuchlin85, author = {Wolfgang K{\"{u}}chlin}, editor = {Bob F. Caviness}, title = {A Confluence Criterion Based on the Generalised Neman Lemma}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {390--399}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_294}, doi = {10.1007/3-540-15984-3\_294}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Kuchlin85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/LamprechtZ85, author = {Karin Lamprecht and Horst G{\"{u}}nter Zimmer}, editor = {Bob F. Caviness}, title = {P-Adic Algorithms and the Computation of Zeros of P-Adic L-Functions}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {491--502}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_319}, doi = {10.1007/3-540-15984-3\_319}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/LamprechtZ85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Lassner85, author = {Wolfgang Lassner}, editor = {Bob F. Caviness}, title = {Symbol Representations of Noncommutative Algebras}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {99--115}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_243}, doi = {10.1007/3-540-15984-3\_243}, timestamp = {Mon, 05 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurocal/Lassner85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Lidl85, author = {Rudolf Lidl}, editor = {Bob F. Caviness}, title = {On Decomposable and Commuting Polynominals}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {148--149}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_248}, doi = {10.1007/3-540-15984-3\_248}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Lidl85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Matijasevich85, author = {Yu. Matijasevich}, editor = {Bob F. Caviness}, title = {A Posteriori Interval Analysis}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {328--334}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_289}, doi = {10.1007/3-540-15984-3\_289}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Matijasevich85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/McCallum85, author = {Scott McCallum}, editor = {Bob F. Caviness}, title = {An Improved Projection Operation for Cylindrical Algebraic Decomposition}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {277--278}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_277}, doi = {10.1007/3-540-15984-3\_277}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/McCallum85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/MillingtonW85, author = {K. Millington and Francis J. Wright}, editor = {Bob F. Caviness}, title = {Algebraic Computations in Elementary Catastrophe Theory}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {116--125}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_244}, doi = {10.1007/3-540-15984-3\_244}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/MillingtonW85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Moller85, author = {H. Michael M{\"{o}}ller}, editor = {Bob F. Caviness}, title = {A Reduction Strategy for the Taylor Resolution}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {526--534}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_323}, doi = {10.1007/3-540-15984-3\_323}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Moller85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Mora85, author = {Ferdinando Mora}, editor = {Bob F. Caviness}, title = {An Algorithmic Approach to Local Rings}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {518--525}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_322}, doi = {10.1007/3-540-15984-3\_322}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Mora85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Mukhopadhyay85, author = {Asish Mukhopadhyay}, editor = {Bob F. Caviness}, title = {A Solution to the Polynominal Hensel-Code Conversion Problem}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {327}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_288}, doi = {10.1007/3-540-15984-3\_288}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Mukhopadhyay85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/MurrayR85, author = {Neil V. Murray and Erik Rosenthal}, editor = {Bob F. Caviness}, title = {Path Resolution and Semantic Graphs}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {50--63}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_238}, doi = {10.1007/3-540-15984-3\_238}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/MurrayR85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Nehrkorn85, author = {Klaus Nehrkorn}, editor = {Bob F. Caviness}, title = {Symbolic Integration of Exponential Polynominals}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {599--600}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_337}, doi = {10.1007/3-540-15984-3\_337}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Nehrkorn85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Nikolova85, author = {Daniela B. Nikolova}, editor = {Bob F. Caviness}, title = {On Some Laws in PSL(2, q)}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {245}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_271}, doi = {10.1007/3-540-15984-3\_271}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Nikolova85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Ogilvie85, author = {John F. Ogilvie}, editor = {Bob F. Caviness}, title = {Application of Computer Algebra to the Theory of the Vibration-Rotational Spectra of Diatomic Molecules}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {205}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_266}, doi = {10.1007/3-540-15984-3\_266}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Ogilvie85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/OngG85, author = {H. Ong and D. Golke}, editor = {Bob F. Caviness}, title = {An Algorithm for the Computation of Perfect Polyhedral Cones over Real Quadratic Number Fields}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {487--488}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_317}, doi = {10.1007/3-540-15984-3\_317}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/OngG85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/PaigeH85, author = {Robert Paige and Fritz Henglein}, editor = {Bob F. Caviness}, title = {Mechanical Translation of Set Theoretic Problem Specifications into Efficient {RAM} Code - {A} Case Study}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {554--567}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_329}, doi = {10.1007/3-540-15984-3\_329}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/PaigeH85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Paul85, author = {E. Paul}, editor = {Bob F. Caviness}, title = {On Solving the Equality Problem in Theories Defined by Horn Clauses}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {363--377}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_292}, doi = {10.1007/3-540-15984-3\_292}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Paul85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/PearceH85, author = {P. D. Pearce and R. J. Hicks}, editor = {Bob F. Caviness}, title = {The Optimisation by "Code Motion" of User Programs for an Algebraic Manipulation System}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {429--430}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_304}, doi = {10.1007/3-540-15984-3\_304}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/PearceH85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Pedersen85, author = {John Pedersen}, editor = {Bob F. Caviness}, title = {Obtaining Complete Sets of Reductions and Equations Without Using Special Unification Algorithms}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {422--423}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_302}, doi = {10.1007/3-540-15984-3\_302}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Pedersen85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Petho85, author = {Attila Peth{\"{o}}}, editor = {Bob F. Caviness}, title = {On the Solution of the Diophantine Equation G\({}_{\mbox{n}}\)=p\({}^{\mbox{z}}\)}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {503--512}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_320}, doi = {10.1007/3-540-15984-3\_320}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Petho85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Reichert85, author = {M. A. Reichert}, editor = {Bob F. Caviness}, title = {Explicit Determination of Non-Trivial Torsion Structures of Elliptic Curves over Quadratic Number Fields}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {489--490}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_318}, doi = {10.1007/3-540-15984-3\_318}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Reichert85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Richter85, author = {Peter Richter}, editor = {Bob F. Caviness}, title = {{THKLISP} as a Base of Formula Manipulation Systems}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {156}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_252}, doi = {10.1007/3-540-15984-3\_252}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Richter85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Riedel85, author = {Wolfgang Riedel}, editor = {Bob F. Caviness}, title = {A Program System for Root Finding}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {154}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_250}, doi = {10.1007/3-540-15984-3\_250}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Riedel85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Robbiano85, author = {Lorenzo Robbiano}, editor = {Bob F. Caviness}, title = {Term Orderings on the Polynominal Ring}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {513--517}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_321}, doi = {10.1007/3-540-15984-3\_321}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Robbiano85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Rump85, author = {Siegfried M. Rump}, editor = {Bob F. Caviness}, title = {Numerical Methods with Automatic Verification}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {318--319}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_284}, doi = {10.1007/3-540-15984-3\_284}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Rump85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Rump85a, author = {Siegfried M. Rump}, editor = {Bob F. Caviness}, title = {{ACRITH} - High Accuracy Arithmetic Subroutine Library}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {320--321}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_285}, doi = {10.1007/3-540-15984-3\_285}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Rump85a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Sakharov85, author = {Alexander Sakharov}, editor = {Bob F. Caviness}, title = {The Structural Synthesis of Programs: New Means}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {570--571}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_331}, doi = {10.1007/3-540-15984-3\_331}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Sakharov85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Schwarz85, author = {Fritz Schwarz}, editor = {Bob F. Caviness}, title = {A {REDUCE} Package for Determining First Integrals of Autonomous Systems of Ordinary Differential Equations}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {601--602}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_338}, doi = {10.1007/3-540-15984-3\_338}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Schwarz85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/SingerD85, author = {Michael F. Singer and James H. Davenport}, editor = {Bob F. Caviness}, title = {Elementary and Liouvillian Solutions of Linear Differential Equations}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {595--596}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_335}, doi = {10.1007/3-540-15984-3\_335}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/SingerD85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Sutor85, author = {Robert S. Sutor}, editor = {Bob F. Caviness}, title = {The Scratchpad {II} Computer Algebra Language and System}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {32--33}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_234}, doi = {10.1007/3-540-15984-3\_234}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Sutor85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/TaraniukM85, author = {Michael Taraniuk and Peter C. Mackeonis}, editor = {Bob F. Caviness}, title = {Demonstration of {REDUCE3} as Implemented on a Stand-Alone {MOTOROLA} 68000 Based Microcomputer}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {31}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_233}, doi = {10.1007/3-540-15984-3\_233}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/TaraniukM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/TombalM85, author = {Ph. Tombal and A. Moussiaux}, editor = {Bob F. Caviness}, title = {MACSYMA's Computation of Dirac-Bergmann Algorithm for Hamiltonian Systems with Constraints}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {201--202}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_264}, doi = {10.1007/3-540-15984-3\_264}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/TombalM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/TriasB85, author = {Regina Llopis de Trias and U. Simon Bolivar}, editor = {Bob F. Caviness}, title = {An Overview of Completion Algorithms}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {424--428}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_303}, doi = {10.1007/3-540-15984-3\_303}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/TriasB85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Trinks85, author = {Wolfgang Trinks}, editor = {Bob F. Caviness}, title = {On Improving Approximate Results of Buchberger's Algorithm by Newton's Method}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {608--612}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_342}, doi = {10.1007/3-540-15984-3\_342}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Trinks85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Wahl85, author = {Terje Wahl}, editor = {Bob F. Caviness}, title = {Infinite Dimensional Computer Lie Algebra?}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {203--204}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_265}, doi = {10.1007/3-540-15984-3\_265}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Wahl85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Wang85, author = {Paul S. Wang}, editor = {Bob F. Caviness}, title = {Taking Advantage of Symmetry in the Automatic Generation of Numerical Programs for Finite Element Analysis}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {572--582}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_332}, doi = {10.1007/3-540-15984-3\_332}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Wang85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Watt85, author = {Stephen M. Watt}, editor = {Bob F. Caviness}, title = {A System for Parallel Computer Algebra Programs}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {537--538}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_325}, doi = {10.1007/3-540-15984-3\_325}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Watt85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Weispfenning85, author = {Volker Weispfenning}, editor = {Bob F. Caviness}, title = {The Complexity of Elementary Problems in Archimedean Ordered Groups}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {87--88}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_241}, doi = {10.1007/3-540-15984-3\_241}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Weispfenning85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Winkler85, author = {Franz Winkler}, editor = {Bob F. Caviness}, title = {Reducing the Complexity of the Knuth-Bendix Completion-Algorithm: {A} "Unification" of Different Approaches}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {378--389}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_293}, doi = {10.1007/3-540-15984-3\_293}, timestamp = {Fri, 08 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eurocal/Winkler85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Wolf85, author = {Thomas Wolf}, editor = {Bob F. Caviness}, title = {Analytical Decoupling, Decision of Compatibility and Partial Integration of Systems of Non-Linear Ordinary and Partial Differential Equations}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {597--598}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_336}, doi = {10.1007/3-540-15984-3\_336}, timestamp = {Fri, 15 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Wolf85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/YoungW85, author = {Douglas A. Young and Paul S. Wang}, editor = {Bob F. Caviness}, title = {An Improved Plotting Package for {VAXIMA}}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {431--432}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_305}, doi = {10.1007/3-540-15984-3\_305}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/YoungW85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eurocal/Zassenhaus85, author = {Hans Zassenhaus}, editor = {Bob F. Caviness}, title = {Symbol Manipulation and Symmetry Breaking}, booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, pages = {607}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3\_341}, doi = {10.1007/3-540-15984-3\_341}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/Zassenhaus85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/eurocal/1985-2, editor = {Bob F. Caviness}, title = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions}, series = {Lecture Notes in Computer Science}, volume = {204}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15984-3}, doi = {10.1007/3-540-15984-3}, isbn = {3-540-15984-3}, timestamp = {Tue, 29 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eurocal/1985-2.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.