default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/eurocal:"
download as .bib file
@proceedings{DBLP:conf/eurocal/1987,
editor = {James H. Davenport},
title = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51517-8},
doi = {10.1007/3-540-51517-8},
isbn = {3-540-51517-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Abbott87,
author = {John A. Abbott},
editor = {James H. Davenport},
title = {Integration: Solving the Risch differential equation},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {465--467},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_155},
doi = {10.1007/3-540-51517-8\_155},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Abbott87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/AbbottD87,
author = {John A. Abbott and
James H. Davenport},
editor = {James H. Davenport},
title = {Polynomial factorization: An exploration of Lenstra's algorithm},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {391--402},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_144},
doi = {10.1007/3-540-51517-8\_144},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/AbbottD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Abramov87,
author = {Sergei A. Abramov},
editor = {James H. Davenport},
title = {Some algorithms of rational function algebra},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {45--47},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_85},
doi = {10.1007/3-540-51517-8\_85},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocal/Abramov87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/ApelL87,
author = {Joachim Apel and
Wolfgang Lassner},
editor = {James H. Davenport},
title = {Computation and simplification in Lie fields},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {468--478},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_156},
doi = {10.1007/3-540-51517-8\_156},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocal/ApelL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/BaazL87,
author = {Matthias Baaz and
Alexander Leitsch},
editor = {James H. Davenport},
title = {Strong splitting rules in automated theorem proving},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {424--425},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_147},
doi = {10.1007/3-540-51517-8\_147},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/BaazL87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/BachmairD87,
author = {Leo Bachmair and
Nachum Dershowitz},
editor = {James H. Davenport},
title = {A critical pair criterion for completion modulo a congruence},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {452--453},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_151},
doi = {10.1007/3-540-51517-8\_151},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/BachmairD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/BoffgenR87,
author = {R. B{\"{o}}ffgen and
M. A. Reichert},
editor = {James H. Davenport},
title = {The computer algebra system {SIMATH}},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {48--49},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_86},
doi = {10.1007/3-540-51517-8\_86},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/BoffgenR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/BowyerDMPW87,
author = {Adrian Bowyer and
James H. Davenport and
Philip S. Milne and
Julian A. Padget and
Andrew F. Wallis},
editor = {James H. Davenport},
title = {Applications of computer algebra in solid modelling},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {244--245},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_122},
doi = {10.1007/3-540-51517-8\_122},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/BowyerDMPW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/BrackxS87,
author = {Fred Brackx and
H. Serras},
editor = {James H. Davenport},
title = {Boundary value problems for the Laplacian in the Euclidean space solved
by symbolic computation},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {208--215},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_117},
doi = {10.1007/3-540-51517-8\_117},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/BrackxS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Bradford87,
author = {Russell J. Bradford},
editor = {James H. Davenport},
title = {Hermite normal forms for integer matrices},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {315--316},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_133},
doi = {10.1007/3-540-51517-8\_133},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Bradford87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Bronstein87,
author = {Manuel Bronstein},
editor = {James H. Davenport},
title = {An algorithm for the integration of elementary functions},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {491--497},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_158},
doi = {10.1007/3-540-51517-8\_158},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Bronstein87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/BuchmannP87,
author = {Johannes Buchmann and
Michael Pohst},
editor = {James H. Davenport},
title = {Computing a lattice basis from a system of generating vectors},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {54--63},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_89},
doi = {10.1007/3-540-51517-8\_89},
timestamp = {Mon, 16 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocal/BuchmannP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/BurgeW87,
author = {William H. Burge and
Stephen M. Watt},
editor = {James H. Davenport},
title = {Infinite structures in {SCRATCHPAD} {II}},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {138--148},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_103},
doi = {10.1007/3-540-51517-8\_103},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/BurgeW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/CowellW87,
author = {Robert G. Cowell and
Francis J. Wright},
editor = {James H. Davenport},
title = {{CATFACT:} Computer algebraic tools for applications of catastrophe
theory},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {71--80},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_91},
doi = {10.1007/3-540-51517-8\_91},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/CowellW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/CreutzburgT87,
author = {Reiner Creutzburg and
Manfred Tasche},
editor = {James H. Davenport},
title = {Number-theoretic transforms of prescribed length},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {161--162},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_105},
doi = {10.1007/3-540-51517-8\_105},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/CreutzburgT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Czapor87,
author = {Stephen R. Czapor},
editor = {James H. Davenport},
title = {Solving algebraic equations via Buchberger's algorithm},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {260--269},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_125},
doi = {10.1007/3-540-51517-8\_125},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Czapor87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Dulyan87,
author = {L. S. Dulyan},
editor = {James H. Davenport},
title = {The calculation of {QCD} triangular Feynman graphs if the external
gluonic field using {REDUCE-2} system},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {172--173},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_107},
doi = {10.1007/3-540-51517-8\_107},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Dulyan87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/EltekovS87,
author = {Vitali A. Eltekov and
Vladimir B. Shikalov},
editor = {James H. Davenport},
title = {The methods for symbolic evaluation of determinants and their realization
in the planner-analytic system},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {216--222},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_118},
doi = {10.1007/3-540-51517-8\_118},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/EltekovS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/FedorovaGGS87,
author = {R. N. Fedorova and
Vladimir P. Gerdt and
N. N. Govorun and
V. P. Shirikov},
editor = {James H. Davenport},
title = {Computer algebra in physical research of Joint Institute for Nuclear
Research},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {1--10},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_80},
doi = {10.1007/3-540-51517-8\_80},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/FedorovaGGS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/FedorovaK87,
author = {R. N. Fedorova and
Vladimir V. Kornyak},
editor = {James H. Davenport},
title = {Computer algebra application for determining local symmetries of differential
equations},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {174--175},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_108},
doi = {10.1007/3-540-51517-8\_108},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/FedorovaK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Ferscha87,
author = {Alois Ferscha},
editor = {James H. Davenport},
title = {A matrix-approach for proving inequalities},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {403--411},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_145},
doi = {10.1007/3-540-51517-8\_145},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Ferscha87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Fischer87,
author = {Thomas M. Fischer},
editor = {James H. Davenport},
title = {Towards a refined classification of geometric search and computation
problems},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {426--437},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_148},
doi = {10.1007/3-540-51517-8\_148},
timestamp = {Thu, 18 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocal/Fischer87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/FitchH87,
author = {John P. Fitch and
Richard G. Hall},
editor = {James H. Davenport},
title = {Symbolic computation and the finite element method},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {95--96},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_94},
doi = {10.1007/3-540-51517-8\_94},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/FitchH87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Gateva-Ivanova87,
author = {Tatiana Gateva{-}Ivanova},
editor = {James H. Davenport},
title = {Algorithmic determination of the Jacobson radical of monomial algebras},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {355--364},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_139},
doi = {10.1007/3-540-51517-8\_139},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Gateva-Ivanova87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/GerdtKK87,
author = {Vladimir P. Gerdt and
N. A. Kostov and
Z. T. Kostova},
editor = {James H. Davenport},
title = {Computer algebra and computation of Puiseux expansions of algebraic
functions},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {206--207},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_116},
doi = {10.1007/3-540-51517-8\_116},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/GerdtKK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/GerdtSSZ87,
author = {Vladimir P. Gerdt and
A. B. Shabat and
S. I. Svinolupov and
A. Yu. Zharkov},
editor = {James H. Davenport},
title = {Computer algebra applications for investigating integrability of nonlinear
evolution systems},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {81--92},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_92},
doi = {10.1007/3-540-51517-8\_92},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/GerdtSSZ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/GerdtZ87,
author = {Vladimir P. Gerdt and
A. Yu. Zharkov},
editor = {James H. Davenport},
title = {Computer classification of integrable seventh order MKdV-like equations},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {93--94},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_93},
doi = {10.1007/3-540-51517-8\_93},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/GerdtZ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Gianni87,
author = {Patrizia M. Gianni},
editor = {James H. Davenport},
title = {Properties of Gr{\"{o}}bner bases under specializations},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {293--297},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_128},
doi = {10.1007/3-540-51517-8\_128},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Gianni87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/GilliesC87,
author = {David M. Gillies and
Bruce W. Char},
editor = {James H. Davenport},
title = {Practical aspects of symbolic integration over Q(x)},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {463--464},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_154},
doi = {10.1007/3-540-51517-8\_154},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/GilliesC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Giusti87,
author = {Marc Giusti},
editor = {James H. Davenport},
title = {Complexity of standard bases in projective dimension zero},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {333--335},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_136},
doi = {10.1007/3-540-51517-8\_136},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Giusti87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Grigorev87,
author = {D. Yu. Grigoryev},
editor = {James H. Davenport},
title = {Complexity of quantifier elimination in the theory of ordinary differential
equations},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {11--25},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_81},
doi = {10.1007/3-540-51517-8\_81},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Grigorev87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Gurin87,
author = {N. I. Gurin},
editor = {James H. Davenport},
title = {{SCHOONSCHIP} for computing of gravitino interaction cross sections
in n=2 supergravity},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {116--117},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_97},
doi = {10.1007/3-540-51517-8\_97},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Gurin87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/HenryM87,
author = {J. P. G. Henry and
M. Merle},
editor = {James H. Davenport},
title = {Complexity of computation of embedded resolution of algebraic curves},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {381--390},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_143},
doi = {10.1007/3-540-51517-8\_143},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/HenryM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/HeuvelHG87,
author = {P. van den Heuvel and
J. A. van Hulzen and
V. V. Goldman},
editor = {James H. Davenport},
title = {Automatic generation of FORTRAN-coded Jacobians and Hessians},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {120--131},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_99},
doi = {10.1007/3-540-51517-8\_99},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/HeuvelHG87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/IlyinK87,
author = {Viatcheslav A. Ilyin and
Alexander P. Kryukov},
editor = {James H. Davenport},
title = {{DIMREG} - The package for calculations in the dimensional regularization
with 4-dimensional gamma\({}^{\mbox{5}}\)-matrix in quantum field
theory},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {225--232},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_120},
doi = {10.1007/3-540-51517-8\_120},
timestamp = {Thu, 25 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocal/IlyinK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Jahn87,
author = {Karl{-}Udo Jahn},
editor = {James H. Davenport},
title = {Computer algebra and numerical convergence},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {204--205},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_115},
doi = {10.1007/3-540-51517-8\_115},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Jahn87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Kalkbrener87,
author = {Michael Kalkbrener},
editor = {James H. Davenport},
title = {Solving systems of algebraic equations by using Gr{\"{o}}bner
bases},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {282--292},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_127},
doi = {10.1007/3-540-51517-8\_127},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Kalkbrener87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/KaltofenKS87,
author = {Erich L. Kaltofen and
Mukkai S. Krishnamoorthy and
B. David Saunders},
editor = {James H. Davenport},
title = {Mr. Smith goes to Las Vegas: Randomized parallel computation of the
Smith Normal Form of polynomial matrices},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {317--322},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_134},
doi = {10.1007/3-540-51517-8\_134},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/KaltofenKS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/KatkovP87,
author = {Vladislav L. Katkov and
Michail D. Popov},
editor = {James H. Davenport},
title = {Computerised system of analytic transformations for analysing of differential
equations},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {179--185},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_111},
doi = {10.1007/3-540-51517-8\_111},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/KatkovP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Kazasov87,
author = {Cristomir Kazasov},
editor = {James H. Davenport},
title = {Laplace transformations in {REDUCE} 3},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {132--133},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_100},
doi = {10.1007/3-540-51517-8\_100},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Kazasov87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/KlimovRZ87,
author = {D. M. Klimov and
V. M. Rudenko and
V. F. Zhuravlev},
editor = {James H. Davenport},
title = {Application of Lie group and computer algebra to nonlinear mechanics},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {97--106},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_95},
doi = {10.1007/3-540-51517-8\_95},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/KlimovRZ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/KondratevaP87,
author = {M. V. Kondrat{\'{e}}va and
E. V. Pankrat{\'{e}}v},
editor = {James H. Davenport},
title = {A recursive algorithm for computation of the Hilbert polynomial},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {365--375},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_140},
doi = {10.1007/3-540-51517-8\_140},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/KondratevaP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Kredel87,
author = {Heinz Kredel},
editor = {James H. Davenport},
title = {Primary ideal decomposition},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {270--281},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_126},
doi = {10.1007/3-540-51517-8\_126},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Kredel87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/KryukovR87,
author = {Alexander P. Kryukov and
A. Ya. Rodionov},
editor = {James H. Davenport},
title = {{CTS} - Algebraic debugging system for {REDUCE} programs},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {233--243},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_121},
doi = {10.1007/3-540-51517-8\_121},
timestamp = {Thu, 25 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocal/KryukovR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/KuscheKM87,
author = {K. Kusche and
B. Kutzler and
H. Mayr},
editor = {James H. Davenport},
title = {Implementation of a geometry theorem proving package in {SCRATCHPAD}
{II}},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {246--257},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_123},
doi = {10.1007/3-540-51517-8\_123},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/KuscheKM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/LabahnC87,
author = {George Labahn and
Stanley Cabay},
editor = {James H. Davenport},
title = {Matrix-Pad{\'{e}} fractions},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {438--449},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_149},
doi = {10.1007/3-540-51517-8\_149},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/LabahnC87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Langemyr87,
author = {Lars Langemyr},
editor = {James H. Davenport},
title = {Converting {SAC-2} code to {LISP}},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {50--51},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_87},
doi = {10.1007/3-540-51517-8\_87},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Langemyr87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/LangemyrM87,
author = {Lars Langemyr and
Scott McCallum},
editor = {James H. Davenport},
title = {The computation of polynomial greatest common divisors over an algebraic
number field},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {298--299},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_129},
doi = {10.1007/3-540-51517-8\_129},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/LangemyrM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/LiskaD87,
author = {Richard Liska and
L. Drska},
editor = {James H. Davenport},
title = {Evaluation of plasma fluid equations collision integrals using {REDUCE}},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {178},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_110},
doi = {10.1007/3-540-51517-8\_110},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/LiskaD87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/MacCallum87,
author = {Malcolm A. H. MacCallum},
editor = {James H. Davenport},
title = {Symbolic computation in relativity theory},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {34--43},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_83},
doi = {10.1007/3-540-51517-8\_83},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/MacCallum87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/MartinP87,
author = {Bernd Martin and
Gerhard Pfister},
editor = {James H. Davenport},
title = {Singularities of moduli spaces},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {311--312},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_131},
doi = {10.1007/3-540-51517-8\_131},
timestamp = {Tue, 05 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/MartinP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/MutrieCB87,
author = {Mark P. W. Mutrie and
Bruce W. Char and
Richard H. Bartels},
editor = {James H. Davenport},
title = {Expression optimization using high-level knowledge},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {64--70},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_90},
doi = {10.1007/3-540-51517-8\_90},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/MutrieCB87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/NavratMV87,
author = {Pavol N{\'{a}}vrat and
Ludov{\'{\i}}t Moln{\'{a}}r and
Vladimir Vojtek},
editor = {James H. Davenport},
title = {Using Automatic Program Synthesizer as a Problem Solver: Some Interesting
Experiments},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {412--423},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_146},
doi = {10.1007/3-540-51517-8\_146},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/NavratMV87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/NemethZ87,
author = {G. N{\'{e}}meth and
Magda Zim{\'{a}}nyi},
editor = {James H. Davenport},
title = {Computation of generalized Pad{\'{e}} approximants},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {450--451},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_150},
doi = {10.1007/3-540-51517-8\_150},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/NemethZ87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Paczynski87,
author = {Jerzy Paczynski},
editor = {James H. Davenport},
title = {Hierarchical symbolic computations in the analysis of large-scale
dynamical systems},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {107--115},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_96},
doi = {10.1007/3-540-51517-8\_96},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Paczynski87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/PearceF87,
author = {P. D. Pearce and
John P. Fitch},
editor = {James H. Davenport},
title = {Dynamic program improvement},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {202--203},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_114},
doi = {10.1007/3-540-51517-8\_114},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/PearceF87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/RanftP87,
author = {Johannes Ranft and
Holger Perlt},
editor = {James H. Davenport},
title = {Trace calculations for gauge theories on a personal computer},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {176--177},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_109},
doi = {10.1007/3-540-51517-8\_109},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/RanftP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/RecioP87,
author = {Tom{\'{a}}s Recio and
Luis Miguel Pardo},
editor = {James H. Davenport},
title = {Rabin's width of a complete proof and the width of a semialgebraic
set},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {456--462},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_153},
doi = {10.1007/3-540-51517-8\_153},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocal/RecioP87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/RodionovT87,
author = {A. Ya. Rodionov and
A. Yu. Taranov},
editor = {James H. Davenport},
title = {Combinatorial aspects of simplification of algebraic expressions},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {192--201},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_113},
doi = {10.1007/3-540-51517-8\_113},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/RodionovT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/RoiderS87,
author = {Bernhard Roider and
Sabine Stifter},
editor = {James H. Davenport},
title = {Collision of convex objects},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {258--259},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_124},
doi = {10.1007/3-540-51517-8\_124},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/RoiderS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Sasaki87,
author = {Tateaki Sasaki},
editor = {James H. Davenport},
title = {Some algebraic algorithms based on head term elimination over polynomial
rings},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {348--354},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_138},
doi = {10.1007/3-540-51517-8\_138},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Sasaki87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/SchefflerS87,
author = {Petra Scheffler and
Detlef Seese},
editor = {James H. Davenport},
title = {A combinatorial and logical approach to linear-time computability},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {379--380},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_142},
doi = {10.1007/3-540-51517-8\_142},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/SchefflerS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Schemmel87,
author = {Klaus{-}Peter Schemmel},
editor = {James H. Davenport},
title = {An extension of Buchberger's algorithm to compute all reduced Gr{\"{o}}bner
bases of a polynomial ideal},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {300--310},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_130},
doi = {10.1007/3-540-51517-8\_130},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Schemmel87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Shablygin87,
author = {Eugene Shablygin},
editor = {James H. Davenport},
title = {Integral equation with hidden Eigenparameter solver: {REDUCE} and
{FORTRAN} in tandem},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {186--191},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_112},
doi = {10.1007/3-540-51517-8\_112},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Shablygin87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Smedley87,
author = {Trevor J. Smedley},
editor = {James H. Davenport},
title = {Radical simplification using algebraic extension fields},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {313--314},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_132},
doi = {10.1007/3-540-51517-8\_132},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Smedley87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/SmitGM87,
author = {J. Smit and
Sabih H. Gerez and
R. Mulder},
editor = {James H. Davenport},
title = {Application of a structured {LISP} system to computer algebra},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {149--160},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_104},
doi = {10.1007/3-540-51517-8\_104},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/SmitGM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Smith87,
author = {Geoff C. Smith},
editor = {James H. Davenport},
title = {Groups and polynomials},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {26--33},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_82},
doi = {10.1007/3-540-51517-8\_82},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Smith87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Spiridonova87,
author = {Margarita Spiridonova},
editor = {James H. Davenport},
title = {Some extensions and applications of {REDUCE} System},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {136--137},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_102},
doi = {10.1007/3-540-51517-8\_102},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocal/Spiridonova87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/SuzukiSSF87,
author = {Masayuki Suzuki and
Tateaki Sasaki and
Mitsuhisa Sato and
Yoshinari Fukui},
editor = {James H. Davenport},
title = {A Hybrid algebraic-numeric system {ANS} and its preliminary implementation},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {163--171},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_106},
doi = {10.1007/3-540-51517-8\_106},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/SuzukiSSF87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/TomovNT87,
author = {V. Tomov and
Maria Nisheva and
T. Tonev},
editor = {James H. Davenport},
title = {Computer algebra system for continued fractions manipulation},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {52--53},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_88},
doi = {10.1007/3-540-51517-8\_88},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/TomovNT87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Valibouze87,
author = {Annick Valibouze},
editor = {James H. Davenport},
title = {Fonctions sym{\'{e}}triques et changements de bases},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {323--332},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_135},
doi = {10.1007/3-540-51517-8\_135},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Valibouze87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Vallee87,
author = {Brigitte Vall{\'{e}}e},
editor = {James H. Davenport},
title = {An affine point of view on minima finding in integer lattices of lower
dimensions},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {376--378},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_141},
doi = {10.1007/3-540-51517-8\_141},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Vallee87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Vasiliev87,
author = {N. N. Vasiliev},
editor = {James H. Davenport},
title = {Creation of efficient symbolic-numeric interface},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {118--119},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_98},
doi = {10.1007/3-540-51517-8\_98},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Vasiliev87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Weispfenning87,
author = {Volker Weispfenning},
editor = {James H. Davenport},
title = {Gr{\"{o}}bner bases for polynomial ideals over commutative regular
rings},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {336--347},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_137},
doi = {10.1007/3-540-51517-8\_137},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Weispfenning87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Wen-tsun87,
author = {Wen{-}tsun Wu},
editor = {James H. Davenport},
title = {A zero structure theorem for polynomial-equations-solving and its
applications},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {44},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_84},
doi = {10.1007/3-540-51517-8\_84},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Wen-tsun87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Werner87,
author = {G{\"{u}}nter Werner},
editor = {James H. Davenport},
title = {Shortest paths of a disc inside a polygonal region},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {454--455},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_152},
doi = {10.1007/3-540-51517-8\_152},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Werner87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Wolf87,
author = {Thomas Wolf},
editor = {James H. Davenport},
title = {A package for the analytic investigation and exact solution of differential
equations},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {479--490},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_157},
doi = {10.1007/3-540-51517-8\_157},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Wolf87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/YamamotoA87,
author = {Tsuyoshi Yamamoto and
Yoshinao Aoki},
editor = {James H. Davenport},
title = {{REDUCE} 3.2 on iAPX 86/286-based personal computers},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {134--135},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_101},
doi = {10.1007/3-540-51517-8\_101},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/YamamotoA87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Zima87,
author = {Eugene V. Zima},
editor = {James H. Davenport},
title = {Transformation of computation formulae in systems of recurrence relations},
booktitle = {{EUROCAL} '87, European Conference on Computer Algebra, Leipzig, GDR,
June 2-5, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {378},
pages = {223--224},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-51517-8\_119},
doi = {10.1007/3-540-51517-8\_119},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Zima87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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/Balaban85,
author = {Alexandru T. Balaban},
editor = {Bruno Buchberger},
title = {Symbolic Computation and Chemistry},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {68--79},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_6},
doi = {10.1007/3-540-15983-5\_6},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Balaban85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/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/Beth85,
author = {Thomas Beth},
editor = {Bruno Buchberger},
title = {Algebraic and Symbolic Computation in Digital Signal Processing, Coding
and Cryptography},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {93--101},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_8},
doi = {10.1007/3-540-15983-5\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Beth85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Biermann85,
author = {Alan W. Biermann},
editor = {Bruno Buchberger},
title = {Algorithmic Methods in Automatic Programming},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {124--135},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_11},
doi = {10.1007/3-540-15983-5\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Biermann85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/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/Caviness85,
author = {Bob F. Caviness},
editor = {Bruno Buchberger},
title = {Computer Algebra: Past and Future},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {1--18},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_1},
doi = {10.1007/3-540-15983-5\_1},
timestamp = {Tue, 29 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Caviness85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/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/CoquandH85,
author = {Thierry Coquand and
G{\'{e}}rard P. Huet},
editor = {Bruno Buchberger},
title = {Constructions: {A} Higher Order Proof System for Mechanizing Mathematics},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {151--184},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_13},
doi = {10.1007/3-540-15983-5\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/CoquandH85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/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 = {Sun, 04 Aug 2024 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/Drouffe85,
author = {J.{-}M. Drouffe},
editor = {Bruno Buchberger},
title = {Computer Algebra as a Research Tool in Physics},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {58--67},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_5},
doi = {10.1007/3-540-15983-5\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Drouffe85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/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/EngelerM85,
author = {Erwin Engeler and
Roman E. M{\"{a}}der},
editor = {Bruno Buchberger},
title = {Scientific Computation: The Integration of Symbolic, Numeric and Graphic
Computation},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {185--200},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_14},
doi = {10.1007/3-540-15983-5\_14},
timestamp = {Tue, 22 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocal/EngelerM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/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/Kreisel85,
author = {Georg Kreisel},
editor = {Bruno Buchberger},
title = {Proof Theory and the Synthesis of Programs: Potential and Limitations},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {136--150},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_12},
doi = {10.1007/3-540-15983-5\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Kreisel85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/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/Kulisch85,
author = {Ulrich W. Kulisch},
editor = {Bruno Buchberger},
title = {A New Arithmetic for Scientific Computation with Exact Evaluation
of Expressions},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {114--123},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_10},
doi = {10.1007/3-540-15983-5\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Kulisch85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/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/Lehmann85,
author = {N. Joachim Lehmann},
editor = {Bruno Buchberger},
title = {Computer Algebra and Practical Analysis},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {102--113},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_9},
doi = {10.1007/3-540-15983-5\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Lehmann85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/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/Ottmann85,
author = {Thomas Ottmann},
editor = {Bruno Buchberger},
title = {Computational Geometry: Selected Algorithms and Paradigms},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {80--92},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_7},
doi = {10.1007/3-540-15983-5\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Ottmann85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Padget85,
author = {Julian A. Padget},
editor = {Bruno Buchberger},
title = {Current Developments in {LISP}},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {45--57},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_4},
doi = {10.1007/3-540-15983-5\_4},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Padget85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/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 = {Etienne 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 = {Wed, 21 Aug 2024 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/Pavelle85,
author = {Richard Pavelle},
editor = {Bruno Buchberger},
title = {{MACSYMA:} Capabilities and Applications to Problems in Engineering
and the Sciences},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {19--32},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_2},
doi = {10.1007/3-540-15983-5\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Pavelle85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/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/Stoutmeyer85,
author = {David R. Stoutmeyer},
editor = {Bruno Buchberger},
title = {A Preview of the Next {IBM-PC} Version of muMATH},
booktitle = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
pages = {33--44},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5\_3},
doi = {10.1007/3-540-15983-5\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Stoutmeyer85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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-1,
editor = {Bruno Buchberger},
title = {{EUROCAL} '85, European Conference on Computer Algebra, Linz, Austria,
April 1-3, 1985, Proceedings Volume 1: Invited Lectures},
series = {Lecture Notes in Computer Science},
volume = {203},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-15983-5},
doi = {10.1007/3-540-15983-5},
isbn = {3-540-15983-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/1985-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/eurocal/ArnonS83,
author = {Dennis S. Arnon and
Scott F. Smith},
editor = {J. A. van Hulzen},
title = {Towards mechanical solution of the Kahan Ellipse Problem 1},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {36--44},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_89},
doi = {10.1007/3-540-12868-9\_89},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/ArnonS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Buchberger83,
author = {Bruno Buchberger},
editor = {J. A. van Hulzen},
title = {A note on the complexity of constructing Gr{\"{o}}bner-Bases},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {137--145},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_98},
doi = {10.1007/3-540-12868-9\_98},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Buchberger83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/CharGGG83,
author = {Bruce W. Char and
Keith O. Geddes and
W. Morven Gentleman and
Gaston H. Gonnet},
editor = {J. A. van Hulzen},
title = {The design of maple: {A} compact, portable and powerful computer algebra
system},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {101--115},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_95},
doi = {10.1007/3-540-12868-9\_95},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/CharGGG83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Davenport83,
author = {James H. Davenport},
editor = {J. A. van Hulzen},
title = {Integration - What do we want from the theory?},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {2--11},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_86},
doi = {10.1007/3-540-12868-9\_86},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Davenport83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Davenport83a,
author = {James H. Davenport},
editor = {J. A. van Hulzen},
title = {Factorization of sparse polynominals},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {214--224},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_105},
doi = {10.1007/3-540-12868-9\_105},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Davenport83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/FinckeP83,
author = {U. Fincke and
Michael Pohst},
editor = {J. A. van Hulzen},
title = {A procedure for determining algebraic integers of given norm},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {194--202},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_103},
doi = {10.1007/3-540-12868-9\_103},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/FinckeP83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Fitch83,
author = {John P. Fitch},
editor = {J. A. van Hulzen},
title = {Implementing {REDUCE} on a micro-computer},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {128--136},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_97},
doi = {10.1007/3-540-12868-9\_97},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Fitch83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/FurukawaS83,
author = {Akio Furukawa and
Tateaki Sasaki},
editor = {J. A. van Hulzen},
title = {Multi polynominal remainder sequence and its application to linear
diophantine equations},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {24--35},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_88},
doi = {10.1007/3-540-12868-9\_88},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/FurukawaS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/GardinC83,
author = {Francesco Gardin and
John A. Campbell},
editor = {J. A. van Hulzen},
title = {A knowledge-based approach to user-friendliness in symbolic computing},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {267--274},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_110},
doi = {10.1007/3-540-12868-9\_110},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/GardinC83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Hilali83,
author = {Aziz Hilali},
editor = {J. A. van Hulzen},
title = {Characterization of a linear differential system with a regular singularity},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {68--77},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_92},
doi = {10.1007/3-540-12868-9\_92},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Hilali83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Hulzen83,
author = {J. A. van Hulzen},
editor = {J. A. van Hulzen},
title = {Code optimization of multivariate polynominal schemes: {A} pragmatic
approach},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {286--300},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_112},
doi = {10.1007/3-540-12868-9\_112},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Hulzen83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Kaltofen83,
author = {Erich L. Kaltofen},
editor = {J. A. van Hulzen},
title = {On the complexity of finding short vectors in integer lattices},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {236--244},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_107},
doi = {10.1007/3-540-12868-9\_107},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Kaltofen83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Lamnabhi-LagarriqueL83,
author = {Fran{\c{c}}oise Lamnabhi{-}Lagarrigue and
M. Lamnabhi},
editor = {J. A. van Hulzen},
title = {Algebraic computation of the statistics of the solution of some nonlinear
stochastic differential equations},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {55--67},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_91},
doi = {10.1007/3-540-12868-9\_91},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Lamnabhi-LagarriqueL83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Lazard83,
author = {Daniel Lazard},
editor = {J. A. van Hulzen},
title = {Gr{\"{o}}bner-Bases, Gaussian elimination and resolution of systems
of algebraic equations},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {146--156},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_99},
doi = {10.1007/3-540-12868-9\_99},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocal/Lazard83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Lenstra83,
author = {Arjen K. Lenstra},
editor = {J. A. van Hulzen},
title = {Factoring polynominals over algebraic number fields},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {245--254},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_108},
doi = {10.1007/3-540-12868-9\_108},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Lenstra83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/MartiF83,
author = {Jed Marti and
John P. Fitch},
editor = {J. A. van Hulzen},
title = {The Bath concurrent {LISP} machine},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {78--90},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_93},
doi = {10.1007/3-540-12868-9\_93},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/MartiF83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/MoraM83,
author = {Ferdinando Mora and
H. Michael M{\"{o}}ller},
editor = {J. A. van Hulzen},
title = {The computation of the Hilbert function},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {157--167},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_100},
doi = {10.1007/3-540-12868-9\_100},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/MoraM83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Padget83,
author = {Julian A. Padget},
editor = {J. A. van Hulzen},
title = {The ecology of {LISP} or the case for the preservation of the environment},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {91--100},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_94},
doi = {10.1007/3-540-12868-9\_94},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Padget83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Pohst83,
author = {Michael Pohst},
editor = {J. A. van Hulzen},
title = {Computation of integral solutions of a special type of systems of
quadratic equations},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {203--213},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_104},
doi = {10.1007/3-540-12868-9\_104},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Pohst83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Rice83,
author = {Monique Rice},
editor = {J. A. van Hulzen},
title = {The construction of a complete minimal set of contextual normal forms},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {255--266},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_109},
doi = {10.1007/3-540-12868-9\_109},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Rice83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Rolletschek83,
author = {Heinrich Rolletschek},
editor = {J. A. van Hulzen},
title = {The Euclidean algorithm for Gaussian integers},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {12--23},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_87},
doi = {10.1007/3-540-12868-9\_87},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Rolletschek83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Schwarz83,
author = {Fritz Schwarz},
editor = {J. A. van Hulzen},
title = {Automatically determining symmetries of ordinary differential equations},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {45--54},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_90},
doi = {10.1007/3-540-12868-9\_90},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Schwarz83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Smit83,
author = {J. Smit},
editor = {J. A. van Hulzen},
title = {Computer algebra and VLSI, prospects for cross fertilization},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {275--285},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_111},
doi = {10.1007/3-540-12868-9\_111},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Smit83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Stoyan83,
author = {Herbert Stoyan},
editor = {J. A. van Hulzen},
title = {{LISP} compilation viewed as provable semantics preserving program
transformation},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {116--127},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_96},
doi = {10.1007/3-540-12868-9\_96},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Stoyan83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Wang83,
author = {Paul S. Wang},
editor = {J. A. van Hulzen},
title = {Early detection of true factors in univariate polynominal factorization},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {225--235},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_106},
doi = {10.1007/3-540-12868-9\_106},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Wang83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Winkler83,
author = {Franz Winkler},
editor = {J. A. van Hulzen},
title = {An algorithm for constructing detaching bases in the ring of polynominals
over a field},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {168--179},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_101},
doi = {10.1007/3-540-12868-9\_101},
timestamp = {Fri, 08 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurocal/Winkler83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Zimmer83,
author = {Horst G{\"{u}}nter Zimmer},
editor = {J. A. van Hulzen},
title = {On the problem of Beha Eddin Amuli and the computation of height functions},
booktitle = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
pages = {180--193},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9\_102},
doi = {10.1007/3-540-12868-9\_102},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Zimmer83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocal/1983,
editor = {J. A. van Hulzen},
title = {Computer Algebra, {EUROCAL} '83, European Computer Algebra Conference,
London, England, March 28-30, 1983, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {162},
publisher = {Springer},
year = {1983},
url = {https://doi.org/10.1007/3-540-12868-9},
doi = {10.1007/3-540-12868-9},
isbn = {3-540-12868-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/1983.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/AngererP82,
author = {Josef Angerer and
G{\"{u}}nter Pilz},
editor = {Jacques Calmet},
title = {The Structure of Near-Rings of Small Order},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {57--64},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_7},
doi = {10.1007/3-540-11607-9\_7},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/AngererP82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/ArnonM82,
author = {Dennis S. Arnon and
Scott McCallum},
editor = {Jacques Calmet},
title = {Cylindrical Algebraic Decomposition by Quantifier Elimination},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {215--222},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_25},
doi = {10.1007/3-540-11607-9\_25},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/ArnonM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/AvenhausM82,
author = {J{\"{u}}rgen Avenhaus and
Klaus Madlener},
editor = {Jacques Calmet},
title = {The Nielsen Reduction as Key Problem to Polynomial Algorithms in Free
Groups},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {49--56},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_6},
doi = {10.1007/3-540-11607-9\_6},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/AvenhausM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Bergman82,
author = {Marc Bergman},
editor = {Jacques Calmet},
title = {Algebraic Specifications: Constructive Methodology in Logic Programming},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {91--100},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_11},
doi = {10.1007/3-540-11607-9\_11},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Bergman82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/BordoniCM82,
author = {Luciana Bordoni and
Attilio Colagrossi and
Alfonso Miola},
editor = {Jacques Calmet},
title = {Linear Algebraic Approach for Computing Polynomial Resultant},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {231--236},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_27},
doi = {10.1007/3-540-11607-9\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/BordoniCM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/CalmetL82,
author = {Jacques Calmet and
R{\"{u}}diger Loos},
editor = {Jacques Calmet},
title = {Deterministic Versus Probabilistic Factorization of Integral Polynomials},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {117--125},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_14},
doi = {10.1007/3-540-11607-9\_14},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/CalmetL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/CampbellG82,
author = {John A. Campbell and
Francesco Gardin},
editor = {Jacques Calmet},
title = {Transformation of an Intractable Problem into a Tractable Problem:
Evaluation of a Determinant in Several Variables},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {196--203},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_22},
doi = {10.1007/3-540-11607-9\_22},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/CampbellG82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/ClaudeD82,
author = {Daniel Claude and
Pierre Dufresne},
editor = {Jacques Calmet},
title = {An Application of {MACSYMA} to Nonlinear Systems Decoupling},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {294--301},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_35},
doi = {10.1007/3-540-11607-9\_35},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/ClaudeD82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Collins82,
author = {George E. Collins},
editor = {Jacques Calmet},
title = {Factorization in Cylindrical Algebraic Decomposition},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {212--214},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_24},
doi = {10.1007/3-540-11607-9\_24},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Collins82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Davenport82,
author = {James H. Davenport},
editor = {Jacques Calmet},
title = {The Parallel Risch Algorithm {(I)}},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {144--157},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_17},
doi = {10.1007/3-540-11607-9\_17},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Davenport82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/DoraCT82,
author = {Jean Della Dora and
Claire Dicrescenzo and
Evelyne Tournier},
editor = {Jacques Calmet},
title = {An Algorithm to Obtain Formal Solutions of a Linear Homogeneous Differential
Equation at an Irregular Singular Point},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {273--280},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_32},
doi = {10.1007/3-540-11607-9\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/DoraCT82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/FitchM82,
author = {John P. Fitch and
Jed Marti},
editor = {Jacques Calmet},
title = {NLARGEing a z80 Microprocessor},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {249--255},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_29},
doi = {10.1007/3-540-11607-9\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/FitchM82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/GragertK82,
author = {Peter K. H. Gragert and
P. H. M. Kersten},
editor = {Jacques Calmet},
title = {Implementation of Differential Geometric Objects and Functions with
an Application to Extended Maxwell Equations},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {181--187},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_20},
doi = {10.1007/3-540-11607-9\_20},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/GragertK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Hearn82,
author = {Anthony C. Hearn},
editor = {Jacques Calmet},
title = {{REDUCE} - {A} Case Study in Algebra System Development},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {263--272},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_31},
doi = {10.1007/3-540-11607-9\_31},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Hearn82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Hornfeldt82,
author = {Lars H{\"{o}}rnfeldt},
editor = {Jacques Calmet},
title = {A Sum-Substitutor Used as Trigonometric Simplifier},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {188--195},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_21},
doi = {10.1007/3-540-11607-9\_21},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Hornfeldt82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Hulzen82,
author = {J. A. van Hulzen},
editor = {Jacques Calmet},
title = {Computer Algebra Systems Viewed by a Notorious User},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {166--180},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_19},
doi = {10.1007/3-540-11607-9\_19},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Hulzen82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Kuchlin82,
author = {Wolfgang K{\"{u}}chlin},
editor = {Jacques Calmet},
title = {A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {101--108},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_12},
doi = {10.1007/3-540-11607-9\_12},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Kuchlin82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Lamnabhi-LagarrigueL82,
author = {Fran{\c{c}}oise Lamnabhi{-}Lagarrigue and
M. Lamnabhi},
editor = {Jacques Calmet},
title = {Algebraic Computation of the Solution of Some NonLinear Differential
Equations},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {204--211},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_23},
doi = {10.1007/3-540-11607-9\_23},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Lamnabhi-LagarrigueL82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Laue82,
author = {Reinhard Laue},
editor = {Jacques Calmet},
title = {Computing Double Coset Representatives for the Generation of Solvable
Groups},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {65--70},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_8},
doi = {10.1007/3-540-11607-9\_8},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Laue82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Lazard82,
author = {Daniel Lazard},
editor = {Jacques Calmet},
title = {Commutative Algebra and Computer Algebra},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {40--48},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_5},
doi = {10.1007/3-540-11607-9\_5},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Lazard82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Lazard82a,
author = {Daniel Lazard},
editor = {Jacques Calmet},
title = {On Polynomial Factorization},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {126--134},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_15},
doi = {10.1007/3-540-11607-9\_15},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Lazard82a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Lenstra82,
author = {Arjen K. Lenstra},
editor = {Jacques Calmet},
title = {Lattices and Factorization of Polynomials over Algebraic Number Fields},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {32--39},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_4},
doi = {10.1007/3-540-11607-9\_4},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Lenstra82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Lomecky82,
author = {Z. Lomecky},
editor = {Jacques Calmet},
title = {Algorithms for the Computation of Free Lattices},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {223--230},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_26},
doi = {10.1007/3-540-11607-9\_26},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Lomecky82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Malm82,
author = {Bengt Malm},
editor = {Jacques Calmet},
title = {A Program in {REDUCE} for Finding Explicit Solutions to Certain Ordinary
Differential Equations},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {289--293},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_34},
doi = {10.1007/3-540-11607-9\_34},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Malm82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/MollerB82,
author = {H. Michael M{\"{o}}ller and
Bruno Buchberger},
editor = {Jacques Calmet},
title = {The Construction of Multivariate Polynomials with Preassigned Zeros},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {24--31},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_3},
doi = {10.1007/3-540-11607-9\_3},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/MollerB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Mora82,
author = {Ferdinando Mora},
editor = {Jacques Calmet},
title = {An Algorithm to Compute the Equations of Tangent Cones},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {158--165},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_18},
doi = {10.1007/3-540-11607-9\_18},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Mora82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/MusserK82,
author = {David R. Musser and
Deepak Kapur},
editor = {Jacques Calmet},
title = {Rewrite Rule Theory and Abstract Data Type Analysis},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {77--90},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_10},
doi = {10.1007/3-540-11607-9\_10},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/MusserK82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Norman82,
author = {A. C. Norman},
editor = {Jacques Calmet},
title = {The Development of a Vector-based Algebra System},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {237--248},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_28},
doi = {10.1007/3-540-11607-9\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Norman82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Padget82,
author = {Julian A. Padget},
editor = {Jacques Calmet},
title = {Escaping from Intermediate Expression Swell: {A} Continuing Saga},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {256--262},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_30},
doi = {10.1007/3-540-11607-9\_30},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Padget82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Pohst82,
author = {Michael Pohst},
editor = {Jacques Calmet},
title = {On the Determination of Algebraic Number Fileds of Given Discriminant},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {71--76},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_9},
doi = {10.1007/3-540-11607-9\_9},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Pohst82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/ProbstA82,
author = {David K. Probst and
Vangalur S. Alagar},
editor = {Jacques Calmet},
title = {An Adaptive Hybrid Algorithm for Multiplying Dense Polynomials},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {16--23},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_2},
doi = {10.1007/3-540-11607-9\_2},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/ProbstA82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Schonhage82,
author = {Arnold Sch{\"{o}}nhage},
editor = {Jacques Calmet},
title = {Asymptotically Fast Algorithms for the Numerical Multiplication and
Division of Polynomials with Complex Coeficients},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {3--15},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_1},
doi = {10.1007/3-540-11607-9\_1},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Schonhage82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/SmitH82,
author = {J. Smit and
J. A. van Hulzen},
editor = {Jacques Calmet},
title = {Symbolic Numeric Methods in Microwave Technology},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {281--288},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_33},
doi = {10.1007/3-540-11607-9\_33},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/SmitH82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/SterlingBBOS82,
author = {Leon Sterling and
Alan Bundy and
Lawrence Byrd and
Richard A. O'Keefe and
Bernard Silver},
editor = {Jacques Calmet},
title = {Solving Symbolic Equations with {PRESS}},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {109--116},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_13},
doi = {10.1007/3-540-11607-9\_13},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/SterlingBBOS82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocal/Wang82,
author = {Paul S. Wang},
editor = {Jacques Calmet},
title = {Hacijan's Algorithm in {VAXIMA:} Improvements and Difficulties},
booktitle = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
pages = {135--143},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9\_16},
doi = {10.1007/3-540-11607-9\_16},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/Wang82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurocal/1982,
editor = {Jacques Calmet},
title = {Computer Algebra, {EUROCAM} '82, European Computer Algebra Conference,
Marseille, France, 5-7 April, 1982, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {144},
publisher = {Springer},
year = {1982},
url = {https://doi.org/10.1007/3-540-11607-9},
doi = {10.1007/3-540-11607-9},
isbn = {3-540-11607-9},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurocal/1982.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.
retrieved on 2024-11-12 19:50 CET 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:
