- 1989
- James H. Davenport:
EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings. Lecture Notes in Computer Science 378, Springer 1989, ISBN 3-540-51517-8 [contents] - 1987
- John A. Abbott:
Integration: Solving the Risch differential equation. EUROCAL 1987: 465-467 - John A. Abbott, James H. Davenport:
Polynomial factorization: An exploration of Lenstra's algorithm. EUROCAL 1987: 391-402 - Sergei A. Abramov
:
Some algorithms of rational function algebra. EUROCAL 1987: 45-47 - Joachim Apel, Wolfgang Lassner:
Computation and simplification in Lie fields. EUROCAL 1987: 468-478 - Matthias Baaz, Alexander Leitsch:
Strong splitting rules in automated theorem proving. EUROCAL 1987: 424-425 - Leo Bachmair, Nachum Dershowitz:
A critical pair criterion for completion modulo a congruence. EUROCAL 1987: 452-453 - R. Böffgen, M. A. Reichert:
The computer algebra system SIMATH. EUROCAL 1987: 48-49 - Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget, Andrew F. Wallis:
Applications of computer algebra in solid modelling. EUROCAL 1987: 244-245 - Fred Brackx, H. Serras:
Boundary value problems for the Laplacian in the Euclidean space solved by symbolic computation. EUROCAL 1987: 208-215 - Russell J. Bradford:
Hermite normal forms for integer matrices. EUROCAL 1987: 315-316 - Manuel Bronstein:
An algorithm for the integration of elementary functions. EUROCAL 1987: 491-497 - Johannes Buchmann, Michael Pohst:
Computing a lattice basis from a system of generating vectors. EUROCAL 1987: 54-63 - William H. Burge, Stephen M. Watt:
Infinite structures in SCRATCHPAD II. EUROCAL 1987: 138-148 - Robert G. Cowell, Francis J. Wright:
CATFACT: Computer algebraic tools for applications of catastrophe theory. EUROCAL 1987: 71-80 - Reiner Creutzburg, Manfred Tasche:
Number-theoretic transforms of prescribed length. EUROCAL 1987: 161-162 - Stephen R. Czapor:
Solving algebraic equations via Buchberger's algorithm. EUROCAL 1987: 260-269 - L. S. Dulyan:
The calculation of QCD triangular Feynman graphs if the external gluonic field using REDUCE-2 system. EUROCAL 1987: 172-173 - Vitali A. Eltekov, Vladimir B. Shikalov:
The methods for symbolic evaluation of determinants and their realization in the planner-analytic system. EUROCAL 1987: 216-222 - R. N. Fedorova, Vladimir P. Gerdt, N. N. Govorun, V. P. Shirikov:
Computer algebra in physical research of Joint Institute for Nuclear Research. EUROCAL 1987: 1-10 - R. N. Fedorova, Vladimir V. Kornyak:
Computer algebra application for determining local symmetries of differential equations. EUROCAL 1987: 174-175 - Alois Ferscha:
A matrix-approach for proving inequalities. EUROCAL 1987: 403-411 - Thomas M. Fischer:
Towards a refined classification of geometric search and computation problems. EUROCAL 1987: 426-437 - John P. Fitch, Richard G. Hall:
Symbolic computation and the finite element method. EUROCAL 1987: 95-96 - Tatiana Gateva-Ivanova:
Algorithmic determination of the Jacobson radical of monomial algebras. EUROCAL 1987: 355-364 - Vladimir P. Gerdt, N. A. Kostov, Z. T. Kostova:
Computer algebra and computation of Puiseux expansions of algebraic functions. EUROCAL 1987: 206-207 - Vladimir P. Gerdt, A. B. Shabat, S. I. Svinolupov, A. Yu. Zharkov:
Computer algebra applications for investigating integrability of nonlinear evolution systems. EUROCAL 1987: 81-92 - Vladimir P. Gerdt, A. Yu. Zharkov:
Computer classification of integrable seventh order MKdV-like equations. EUROCAL 1987: 93-94 - Patrizia M. Gianni:
Properties of Gröbner bases under specializations. EUROCAL 1987: 293-297 - David M. Gillies, Bruce W. Char:
Practical aspects of symbolic integration over Q(x). EUROCAL 1987: 463-464
