ISSAC 1988: Rome, Italy

Patrizia M. Gianni (Ed.): Symbolic and Algebraic Computation, International Symposium ISSAC'88, Rome, Italy, July 4-8, 1988, Proceedings. Lecture Notes in Computer Science 358 Springer 1989, ISBN 3-540-51084-2

Invited Talks

Giorgio Ausiello, Alberto Marchetti-Spaccamela, Umberto Nanni:
Dynamic Maintenance of Paths and Path Expressions on Graphs. 1-12
David R. Musser, Alexander A. Stepanov:
Generic Programming. 13-25
Francis Sergeraert:
From a Noncomputability Result to new interesting Definitions and Computability Results. 26-32
Naveen Sharma, Paul S. Wang:
Symbolic Derivation and Automatic Generation of Parallel Routines for Finite Element Analysis. 33-56

Differential Algebra

Michael F. Singer:
Liouvillian First Integrals of Differential Equations. 57-63
Manuel Bronstein:
Fast Reduction of the Risch Differential Equation. 64-72

Applications

Claudine Chaffy-Camus:
An Application of Reduce to the Approximation of F(X, Y). 73-84
F. Vinette, J. Cízek:
The Use of Symbolic Computation in Solving Some Non-Relativistic Quantum Mechanical Problems. 85-95
S. Kamal Abdali, David S. Wise:
Experiments with Quadtree Representation of Matrices. 96-108
Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper:
Discovering Inequality Conditions in the Analytical Solution of Optimization Problems (Extended Abstract). 109-115
Hubert Caprasse, Jaques Demaret, Eberhard Schrüfer:
Can EXCALC be used to Investigate High-Dimensional Cosmological Models with Non-Linear Lagrangians? 116-124

Gröbner Bases

Carlo Traverso:
Gröbner Trace Algorithms. 125-138
Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan:
Solving Systems of Algebraic Equations. 139-149
Teo Mora:
Groebner Bases in Non-Commutative Algebras. 150-161
André Galligo, Loic Pottier, Carlo Traverso:
Greater Easy Common Divisor and Standard Basis Completion Algorithms. 162-176
Stefan Arnborg:
Experiments with a Projection Operator for Algebraic Decomposition. 177-182

Differential Equations

Moulay A. Barkatou:
Rational Newton Algorithm for Computing Formal Solutions of Linear Differential Equations. 183-195
Malcolm A. H. MacCallum:
An Ordinary Differential Equation Solver for Reduce. 196-205
Stephen M. Watt:
A Fixed Point Method for Power Series Computation. 206-217
Emilio Freire, Estanislao Gamero, Enrique Ponce, Leopoldo García Franquelo:
An Algorithm for Symbolic Computation of Center Manifolds. 218-230

Algorithmic Number Theory

Heinrich Rolletschek:
Shortest Division Chains in Imaginary Quadratic Number Fields. 231-243
Russell J. Bradford, James H. Davenport:
Effective Tests for Cyclotonic Polynomials. 244-251
George E. Collins, Jeremy R. Johnson:
The Probability of Relative Primality of Gaussian Integers. 252-258
Alfred Menezes, Paul C. van Oorschot, Scott A. Vanstone:
Some Computational Aspects of Root Finding in GF(q^m). 259-270
Algimantas Juozapavicius:
Symbolic Computation for Witt Rings. 271-273

Algebraic Geometry

Shreeram S. Abhyankar, Chandrajit L. Bajaj:
Computations with Algebraic Curves. 274-284
Jeremy Teitelbaum:
On the Computational Complexity of the Resolution of Plane Curve Singularities. 285-292
John F. Canny:
Generalized Characteristic Polynomials. 293-299
Patrizia M. Gianni, Victor Miller, Barry M. Trager:
Decomposition of Algebras. 300-308
Marc Giusti, Daniel Lazard, Annick Valibouze:
Algebraic Transformations of Polynomial Equations, Symmetric Polynomials and Elimination. 309-314

Computational Geometry

Herbert Edelsbrunner, Franco P. Preparata:
Tetrahedrizing Point Sets in Three Dimensions. 315-331
Sabine Stifter:
A Generalization of the Roider Method to Solve the Robot Collision Problem in 3D. 332-343
Philip H. Todd, George W. Cherry:
Symbolic Analysis of Planar Drawings. 344-355
Franz Winkler:
A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm. 356-363

Computational Logic

Cynthia A. Brown, Gene Cooperman, Larry Finkelstein:
Solving Permutation Problems Using Rewriting Systems. 364-377
Dieter Wissmann:
Applying Rewriting Techniques to Groups with Power-Communication-Presentations. 378-389
Volker Weispfenning:
Efficient Decision Procedures for Locally Finite Theories II. 390-401
Thierry Boy de la Tour, Ricardo Caferra:
A Formal Approach to some Usually Informal Techniques Used in Mathematical Reasoning. 402-406
Domenico Cantone, Vincenzo Cutello, Alfredo Ferro:
Decision Procedures for Elementary Sublanguages of Set Theory. XIV. Three Languages Involving Rank Related Constructs. 407-422

Systems

Jean-Louis Roch, Pascale Sénéchaud, Françoise Roch-Siebert, Gilles Villard:
Computer Algebra on MIMD Machine. 423-439
Claire Dicrescenzo, Dominique Duval:
Algebraic Extensions and Algebraic Closure in Scratchpad II. 440-446
Heinz Kredel:
Software Development for Computer Algebra or From ALDES/SAC-2 to WEB/Modula-2. 447-455
Gregory Butler, John J. Cannon:
Cayley, Version 4: The User Language. 456-466

Arithmetic

Erich Kaltofen, Yagati N. Lakshman:
Improved Sparse Multivariate Polynomial Interpolation Algorithms. 467-474
Keith O. Geddes, Gaston H. Gonnet, Trevor J. Smedley:
Heuristic Methods for Operations With Algebraic Numbers. (Extended Abstract). 475-480
John Shackell:
Asymptotic Estimation of Oscillating Functions Using an Interval Calculus. 481-489
Keith O. Geddes, Gaston H. Gonnet:
A New Algorithm for Computing Symbolic Limits Using Hierarchical Series. 490-495
Irvin Roy Hentzel, David Pokrass Jacobs:
Verification of Non-Identities in Algebras. 496-507

Miscellaneous

Habib Abdulrab:
Equations in Words. 508-520
Neil L. White, Tim McMillan:
Cayley Factorization. 521-533
D. Yu. Grigoryev:
Complexity of Computing the Characters and the Genre of a System of Exterior Differential Equations. 534-543

Last update Fri May 24 19:29:48 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page