Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/eurocal/eurocal1985-2.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-05-23 00:58 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
