Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEUROCAL 1987, Leipzig, GDR
- 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
Invited Papers
- R. N. Fedorova, Vladimir P. Gerdt, N. N. Govorun, V. P. Shirikov:
Computer algebra in physical research of Joint Institute for Nuclear Research. 1-10 - D. Yu. Grigoryev:
Complexity of quantifier elimination in the theory of ordinary differential equations. 11-25 - Geoff C. Smith
:
Groups and polynomials. 26-33 - Malcolm A. H. MacCallum:
Symbolic computation in relativity theory. 34-43 - Wen-tsun Wu:
A zero structure theorem for polynomial-equations-solving and its applications. 44 - Sergei A. Abramov:
Some algorithms of rational function algebra. 45-47
Applications and Systems
- R. Böffgen, M. A. Reichert:
The computer algebra system SIMATH. 48-49 - Lars Langemyr:
Converting SAC-2 code to LISP. 50-51 - V. Tomov, Maria Nisheva, T. Tonev:
Computer algebra system for continued fractions manipulation. 52-53 - Johannes Buchmann, Michael Pohst:
Computing a lattice basis from a system of generating vectors. 54-63 - Mark P. W. Mutrie, Bruce W. Char, Richard H. Bartels:
Expression optimization using high-level knowledge. 64-70 - Robert G. Cowell, Francis J. Wright:
CATFACT: Computer algebraic tools for applications of catastrophe theory. 71-80 - Vladimir P. Gerdt, A. B. Shabat, S. I. Svinolupov, A. Yu. Zharkov:
Computer algebra applications for investigating integrability of nonlinear evolution systems. 81-92 - Vladimir P. Gerdt, A. Yu. Zharkov:
Computer classification of integrable seventh order MKdV-like equations. 93-94 - John P. Fitch, Richard G. Hall:
Symbolic computation and the finite element method. 95-96 - D. M. Klimov, V. M. Rudenko, V. F. Zhuravlev:
Application of Lie group and computer algebra to nonlinear mechanics. 97-106 - Jerzy Paczynski:
Hierarchical symbolic computations in the analysis of large-scale dynamical systems. 107-115 - N. I. Gurin:
SCHOONSCHIP for computing of gravitino interaction cross sections in n=2 supergravity. 116-117 - N. N. Vasiliev:
Creation of efficient symbolic-numeric interface. 118-119 - P. van den Heuvel, J. A. van Hulzen, V. V. Goldman:
Automatic generation of FORTRAN-coded Jacobians and Hessians. 120-131 - Cristomir Kazasov:
Laplace transformations in REDUCE 3. 132-133 - Tsuyoshi Yamamoto, Yoshinao Aoki:
REDUCE 3.2 on iAPX 86/286-based personal computers. 134-135 - Margarita Spiridonova:
Some extensions and applications of REDUCE System. 136-137 - William H. Burge, Stephen M. Watt:
Infinite structures in SCRATCHPAD II. 138-148 - J. Smit, Sabih H. Gerez, R. Mulder:
Application of a structured LISP system to computer algebra. 149-160 - Reiner Creutzburg, Manfred Tasche:
Number-theoretic transforms of prescribed length. 161-162 - Masayuki Suzuki, Tateaki Sasaki, Mitsuhisa Sato, Yoshinari Fukui:
A Hybrid algebraic-numeric system ANS and its preliminary implementation. 163-171 - L. S. Dulyan:
The calculation of QCD triangular Feynman graphs if the external gluonic field using REDUCE-2 system. 172-173 - R. N. Fedorova, Vladimir V. Kornyak:
Computer algebra application for determining local symmetries of differential equations. 174-175 - Johannes Ranft, Holger Perlt:
Trace calculations for gauge theories on a personal computer. 176-177 - Richard Liska, L. Drska:
Evaluation of plasma fluid equations collision integrals using REDUCE. 178 - Vladislav L. Katkov, Michail D. Popov:
Computerised system of analytic transformations for analysing of differential equations. 179-185 - Eugene Shablygin:
Integral equation with hidden Eigenparameter solver: REDUCE and FORTRAN in tandem. 186-191 - A. Ya. Rodionov, A. Yu. Taranov:
Combinatorial aspects of simplification of algebraic expressions. 192-201 - P. D. Pearce, John P. Fitch:
Dynamic program improvement. 202-203 - Karl-Udo Jahn:
Computer algebra and numerical convergence. 204-205 - Vladimir P. Gerdt, N. A. Kostov, Z. T. Kostova:
Computer algebra and computation of Puiseux expansions of algebraic functions. 206-207 - Fred Brackx, H. Serras:
Boundary value problems for the Laplacian in the Euclidean space solved by symbolic computation. 208-215 - Vitali A. Eltekov, Vladimir B. Shikalov:
The methods for symbolic evaluation of determinants and their realization in the planner-analytic system. 216-222 - Eugene V. Zima:
Transformation of computation formulae in systems of recurrence relations. 223-224 - Viatcheslav A. Ilyin, Alexander P. Kryukov:
DIMREG - The package for calculations in the dimensional regularization with 4-dimensional gamma5-matrix in quantum field theory. 225-232 - Alexander P. Kryukov, A. Ya. Rodionov:
CTS - Algebraic debugging system for REDUCE programs. 233-243 - Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget, Andrew F. Wallis:
Applications of computer algebra in solid modelling. 244-245 - K. Kusche, B. Kutzler, H. Mayr:
Implementation of a geometry theorem proving package in SCRATCHPAD II. 246-257 - Bernhard Roider, Sabine Stifter:
Collision of convex objects. 258-259
Polynomial Algorithms
- Stephen R. Czapor:
Solving algebraic equations via Buchberger's algorithm. 260-269 - Heinz Kredel:
Primary ideal decomposition. 270-281 - Michael Kalkbrener:
Solving systems of algebraic equations by using Gröbner bases. 282-292 - Patrizia M. Gianni:
Properties of Gröbner bases under specializations. 293-297 - Lars Langemyr, Scott McCallum:
The computation of polynomial greatest common divisors over an algebraic number field. 298-299 - Klaus-Peter Schemmel:
An extension of Buchberger's algorithm to compute all reduced Gröbner bases of a polynomial ideal. 300-310 - Bernd Martin, Gerhard Pfister:
Singularities of moduli spaces. 311-312 - Trevor J. Smedley:
Radical simplification using algebraic extension fields. 313-314 - Russell J. Bradford:
Hermite normal forms for integer matrices. 315-316 - Erich L. Kaltofen, Mukkai S. Krishnamoorthy, B. David Saunders:
Mr. Smith goes to Las Vegas: Randomized parallel computation of the Smith Normal Form of polynomial matrices. 317-322 - Annick Valibouze:
Fonctions symétriques et changements de bases. 323-332 - Marc Giusti:
Complexity of standard bases in projective dimension zero. 333-335 - Volker Weispfenning:
Gröbner bases for polynomial ideals over commutative regular rings. 336-347 - Tateaki Sasaki:
Some algebraic algorithms based on head term elimination over polynomial rings. 348-354 - Tatiana Gateva-Ivanova:
Algorithmic determination of the Jacobson radical of monomial algebras. 355-364 - M. V. Kondratéva, E. V. Pankratév:
A recursive algorithm for computation of the Hilbert polynomial. 365-375 - Brigitte Vallée:
An affine point of view on minima finding in integer lattices of lower dimensions. 376-378 - Petra Scheffler, Detlef Seese:
A combinatorial and logical approach to linear-time computability. 379-380 - J. P. G. Henry, M. Merle:
Complexity of computation of embedded resolution of algebraic curves. 381-390 - John A. Abbott, James H. Davenport:
Polynomial factorization: An exploration of Lenstra's algorithm. 391-402
Advanced Algorithms
- Alois Ferscha:
A matrix-approach for proving inequalities. 403-411 - Pavol Návrat, Ludovít Molnár, Vladimir Vojtek:
Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments. 412-423 - Matthias Baaz, Alexander Leitsch:
Strong splitting rules in automated theorem proving. 424-425 - Thomas M. Fischer:
Towards a refined classification of geometric search and computation problems. 426-437 - George Labahn, Stanley Cabay:
Matrix-Padé fractions. 438-449 - G. Németh, Magda Zimányi:
Computation of generalized Padé approximants. 450-451 - Leo Bachmair, Nachum Dershowitz:
A critical pair criterion for completion modulo a congruence. 452-453 - Günter Werner:
Shortest paths of a disc inside a polygonal region. 454-455 - Tomás Recio, Luis Miguel Pardo:
Rabin's width of a complete proof and the width of a semialgebraic set. 456-462 - David M. Gillies, Bruce W. Char:
Practical aspects of symbolic integration over Q(x). 463-464 - John A. Abbott:
Integration: Solving the Risch differential equation. 465-467 - Joachim Apel, Wolfgang Lassner:
Computation and simplification in Lie fields. 468-478 - Thomas Wolf:
A package for the analytic investigation and exact solution of differential equations. 479-490 - Manuel Bronstein:
An algorithm for the integration of elementary functions. 491-497
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-10 20:02 CEST 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:
