C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
EUROCAL
1983
1985
1987
1989
1983
1989
Keyphrases
Publications
volume 378, 1989
EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings
EUROCAL
378 (1989)
1987
Fred Brackx
,
H. Serras
Boundary value problems for the Laplacian in the Euclidean space solved by symbolic computation.
EUROCAL
(1987)
Annick Valibouze
Fonctions symétriques et changements de bases.
EUROCAL
(1987)
Eugene Shablygin
Integral equation with hidden Eigenparameter solver: REDUCE and FORTRAN in tandem.
EUROCAL
(1987)
J. P. G. Henry
,
M. Merle
Complexity of computation of embedded resolution of algebraic curves.
EUROCAL
(1987)
George Labahn
,
Stanley Cabay
Matrix-Padé fractions.
EUROCAL
(1987)
Marc Giusti
Complexity of standard bases in projective dimension zero.
EUROCAL
(1987)
Erich Kaltofen
,
Mukkai S. Krishnamoorthy
,
B. David Saunders
Mr. Smith goes to Las Vegas: Randomized parallel computation of the Smith Normal Form of polynomial matrices.
EUROCAL
(1987)
Tsuyoshi Yamamoto
,
Yoshinao Aoki
REDUCE 3.2 on iAPX 86/286-based personal computers.
EUROCAL
(1987)
Trevor J. Smedley
Radical simplification using algebraic extension fields.
EUROCAL
(1987)
Pavol Návrat
,
Ludovít Molnár
,
Vladimir Vojtek
Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments.
EUROCAL
(1987)
Leo Bachmair
,
Nachum Dershowitz
A critical pair criterion for completion modulo a congruence.
EUROCAL
(1987)
Petra Scheffler
,
Detlef Seese
A combinatorial and logical approach to linear-time computability.
EUROCAL
(1987)
Masayuki Suzuki
,
Tateaki Sasaki
,
Mitsuhisa Sato
,
Yoshinari Fukui
A Hybrid algebraic-numeric system ANS and its preliminary implementation.
EUROCAL
(1987)
Volker Weispfenning
Gröbner bases for polynomial ideals over commutative regular rings.
EUROCAL
(1987)
William H. Burge
,
Stephen M. Watt
Infinite structures in SCRATCHPAD II.
EUROCAL
(1987)
Thomas M. Fischer
Towards a refined classification of geometric search and computation problems.
EUROCAL
(1987)
P. D. Pearce
,
John P. Fitch
Dynamic program improvement.
EUROCAL
(1987)
Johannes Buchmann
,
Michael Pohst
Computing a lattice basis from a system of generating vectors.
EUROCAL
(1987)
G. Németh
,
Magda Zimányi
Computation of generalized Padé approximants.
EUROCAL
(1987)
Matthias Baaz
,
Alexander Leitsch
Strong splitting rules in automated theorem proving.
EUROCAL
(1987)
Wen-tsun Wu
A zero structure theorem for polynomial-equations-solving and its applications.
EUROCAL
(1987)
Klaus-Peter Schemmel
An extension of Buchberger's algorithm to compute all reduced Gröbner bases of a polynomial ideal.
EUROCAL
(1987)
Vladimir P. Gerdt
,
N. A. Kostov
,
Z. T. Kostova
Computer algebra and computation of Puiseux expansions of algebraic functions.
EUROCAL
(1987)
Alois Ferscha
A matrix-approach for proving inequalities.
EUROCAL
(1987)
Bernd Martin
,
Gerhard Pfister
Singularities of moduli spaces.
EUROCAL
(1987)
M. V. Kondratéva
,
E. V. Pankratév
A recursive algorithm for computation of the Hilbert polynomial.
EUROCAL
(1987)
Stephen R. Czapor
Solving algebraic equations via Buchberger's algorithm.
EUROCAL
(1987)
D. M. Klimov
,
V. M. Rudenko
,
V. F. Zhuravlev
Application of Lie group and computer algebra to nonlinear mechanics.
EUROCAL
(1987)
A. Ya. Rodionov
,
A. Yu. Taranov
Combinatorial aspects of simplification of algebraic expressions.
EUROCAL
(1987)
Geoff C. Smith
Groups and polynomials.
EUROCAL
(1987)
Jerzy Paczynski
Hierarchical symbolic computations in the analysis of large-scale dynamical systems.
EUROCAL
(1987)
Russell J. Bradford
Hermite normal forms for integer matrices.
EUROCAL
(1987)
Lars Langemyr
,
Scott McCallum
The computation of polynomial greatest common divisors over an algebraic number field.
EUROCAL
(1987)
R. Böffgen
,
M. A. Reichert
The computer algebra system SIMATH.
EUROCAL
(1987)
N. I. Gurin
SCHOONSCHIP for computing of gravitino interaction cross sections in n=2 supergravity.
EUROCAL
(1987)
John P. Fitch
,
Richard G. Hall
Symbolic computation and the finite element method.
EUROCAL
(1987)
Margarita Spiridonova
Some extensions and applications of REDUCE System.
EUROCAL
(1987)
K. Kusche
,
B. Kutzler
,
H. Mayr
Implementation of a geometry theorem proving package in SCRATCHPAD II.
EUROCAL
(1987)
Karl-Udo Jahn
Computer algebra and numerical convergence.
EUROCAL
(1987)
Vladimir P. Gerdt
,
A. B. Shabat
,
S. I. Svinolupov
,
A. Yu. Zharkov
Computer algebra applications for investigating integrability of nonlinear evolution systems.
EUROCAL
(1987)
N. N. Vasiliev
Creation of efficient symbolic-numeric interface.
EUROCAL
(1987)
Alexander P. Kryukov
,
A. Ya. Rodionov
CTS - Algebraic debugging system for REDUCE programs.
EUROCAL
(1987)
Reiner Creutzburg
,
Manfred Tasche
Number-theoretic transforms of prescribed length.
EUROCAL
(1987)
Lars Langemyr
Converting SAC-2 code to LISP.
EUROCAL
(1987)
Sergei A. Abramov
Some algorithms of rational function algebra.
EUROCAL
(1987)
Malcolm A. H. MacCallum
Symbolic computation in relativity theory.
EUROCAL
(1987)
D. Yu. Grigoryev
Complexity of quantifier elimination in the theory of ordinary differential equations.
EUROCAL
(1987)
Viatcheslav A. Ilyin
,
Alexander P. Kryukov
-matrix in quantum field theory.
EUROCAL
(1987)
Vitali A. Eltekov
,
Vladimir B. Shikalov
The methods for symbolic evaluation of determinants and their realization in the planner-analytic system.
EUROCAL
(1987)