default search action
EUROSAM 1984: Cambridge, England, UK
- John P. Fitch:
EUROSAM 84, International Symposium on Symbolic and Algebraic Computation, Cambridge, England, UK, July 9-11, 1984, Proceedings. Lecture Notes in Computer Science 174, Springer 1984, ISBN 3-540-13350-X
Differential Equations
- Jean Della Dora, Evelyne Tournier:
Homogeneous Linear Difference Equation (Frobenius - Boole Method). 2-12 - Shunro Watanabe:
An Experiment Toward a General Quadrature for Second Order Linear Ordinary Differential Equations by Symbolic Computation. 13-22 - Nikolaos Glinos, B. David Saunders:
Operational Calculus Technique for Solving Differential Equations. 23-34
Applications 1
- G. Cesareo, Riccardo Marino
:
On the Application of Symbolic Computation to Nonlinear Control Theory. 35-46 - Jan E. Åman, R. A. d'Inverno, G. C. Joly, Malcolm A. H. MacCallum:
Quartic Equations and Algorithms for Riemann Tensor Classification. 47-58 - Ralph W. Wilkerson:
Symbolic Computation and the Dirichlet Problem. 59-63
Simplification and Algorithm Implementations
- Guy Viry:
Simplification of Polynomials in n Variables. 64-73 - Marisa Navarro
On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems. 74-85 - Paul S. Wang:
Implementation of a p-adic Package for Polynomial Factorization and Other Related Operations. 86-99
Algebraic Number Computation
- Claire Dicrescenzo, Dominique Duval:
Computations on Curves. 100-107 - Thomas G. Berry:
Detecting Torsion Divisors on Curves of Genus 2. 108-114 - Najid-Zejli Hakima:
Computation in Radical Extensions. 115-122
Languages for Symbolic Computing
- Richard D. Jenks:
A Primer: 11 Keys to New Scratchpad. 123-147 - John P. Fitch, Julian A. Padget:
A Pure and Really Simple Initial Functional Algebraic Language. 148-158
Groebner Basis Algorithms
- Marc Giusti:
Some Effectivity Problems in Polynomial Ideal Theory. 159-171 - H. Michael Möller, Ferdinando Mora:
Upper and Lower Bounds for the Degree of Groebner Bases. 172-183 - Franz Winkler:
On the Complexity of the Groebner-Bases Algorithm over K[x, y, z]. 184-194 - Abdelilah Kandri-Rody, Deepak Kapur:
Algorithms for Computing Groebner Bases of Polynomial Ideals over Various Euclidean Rings. 195-206
Computational Group Theory
- Robert H. Gilman:
Computations with Rational Subsets of Confluent Groups. 207-212 - Jeffrey S. Leon:
CAMAC2: A Portable System for Combinatorial and Algebraic Computation. 213-224 - Susan Landau:
Polynomial Time Algorithms for Galois Groups. 225-236
Applications 2
- Paul S. Wang, Tse-Yung P. Chang, J. A. van Hulzen:
Code Generation and Optimization for Finite Element Analysis. 237-247 - Stephen R. Czapor, Keith O. Geddes:
A Comparison of Algorithms for the Symbolic Computation of Padé Approximants. 248-259 - Ben J. A. Hulshof, J. A. van Hulzen:
Automatic Error Cumulation Control. 260-271
Factorization and GCD Computations
- Arjen K. Lenstra:
Polynomial Factorization by Root Approximation. 272-276 - Erich L. Kaltofen
Effective Hilbert Irreducibility. 277-284 - Bruce W. Char, Keith O. Geddes, Gaston H. Gonnet:
GCDHEU: Heuristic Polynomial GCD Algorithm Based on Integer GCD Computation. 285-296 - Denis Lugiez:
A New Lifting Process for the Multivariate Polynomial Factorization. 297-309
Number Theory Algorithms
- Erich L. Kaltofen
Explicit Construction of the Hilbert Class Fields of Imaginary Quadratic Fields with Class Numbers 7 and 11. 310-320 - Ming-Deh A. Huang:
On a Simple Primality Testing Algorithm. 321-332 - Johannes Buchmann:
A Criterion for the Equivalence of Two Ideals. 333-340
Integration
- James H. Davenport:
y'+ fy = g. 341-350 - Guy W. Cherry, Bob F. Caviness:
Integration in Finite Terms with Special Functions: A Progress Report. 351-358 - Erich L. Kaltofen
A Note on the Risch Differential Equation. 359-366
Solution of Equations
- Klaus Thull:
Approximation by Continued Fraction of a Polynomial Real Root. 367-377 - Maurice Mignotte:
On the Automatic Resolution of Certain Diophantine Equations. 378-385 - Michael Rothstein:
On Pseudo-Resultante. 386-396
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-11-15 19:44 CET 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: