Symbolic and Algebraic Computation

1. Front Matter

   PDF

2. Dynamic maintenance of paths and path expressions on graphs

   • G. Ausiello, A. Marchetti Spaccamela, U. Nanni

   Pages 1-12

3. Generic programming

   • David R. Musser, Alexander A. Stepanov

   Pages 13-25

4. From a noncomputability result to new interesting definitions and computability results

   • Francis Sergeraert

   Pages 26-32

5. Symbolic derivation and automatic generation of parallel routines for finite element analysis

   • Naveen Sharma, Paul S. Wang

   Pages 33-56

6. Liouvillian first integrals of differential equations

   • Michael F. Singer

   Pages 57-63

7. Fast reduction of the Risch differential equation

   • Manuel Bronstein

   Pages 64-72

8. An application of reduce to the approximation of F(X,Y)

   • C. Chaffy-Camus

   Pages 73-84

9. The use of symbolic computation in solving some non-relativistic quantum mechanical problems

   • F. Vinette, J. Čížek

   Pages 85-95

10. Experiments with quadtree representation of matrices

    • S. Kamal Abdali, David S. Wise

    Pages 96-108

11. Discovering inequality conditions in the analytical solution of optimization problems

    • Bruce W. Char, Alan R. Macnaughton, Paul A. Strooper

    Pages 109-115

12. Can EXCALC be used to investigate high-dimensional cosmological models with non-linear Lagrangians?

    • Hubert Caprasse, Jacques Demaret, Eberhard Schrüfer

    Pages 116-124

13. Gröbner trace algorithms

    • Carlo Traverso

    Pages 125-138

14. Solving systems of algebraic equations

    • Hidetsune Kobayashi, Shuichi Moritsugu, Robert W. Hogan

    Pages 139-149

15. Groebner bases in non-commutative algebras

    • Teo Mora

    Pages 150-161

16. Greater easy common divisor and standard basis completion algorithms

    • André Galligo, Loïc Pottier, Carlo Traverso

    Pages 162-176

17. Experiments with a projection operator for algebraic decomposition

    • Stefan Arnborg

    Pages 177-182

18. Rational Newton algorithm for computing formal solutions of linear differential equations

    • M. A. Barkatou

    Pages 183-195

19. An ordinary differential equation solver for REDUCE

    • M. A. H. MacCallum

    Pages 196-205

20. A fixed point method for power series computation

    • Stephen M. Watt

    Pages 206-217

The ISSAC'88 is the thirteenth conference in a sequence of international events started in 1966 thanks to the then established ACM Special Interest Group on Symbolic and Algebraic Manipulation (SIGSAM). For the first time the two annual conferences "International Symposium on Symbolic and Algebraic Computation" (ISSAC) and "International Conference on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes" (AAECC) have taken place as a Joint Conference in Rome, July 4-8, 1988. Twelve invited papers on subjects of common interest for the two conferences are included in the proceedings and divided between this volume and the preceding volume of Lecture Notes in Computer Science which is devoted to AAECC-6. This book contains contributions on the following topics: Symbolic, Algebraic and Analytical Algorithms, Automatic Theorem Proving, Automatic Programming, Computational Geometry, Problem Representation and Solution, Languages and Systems for Symbolic Computation, Applications to Sciences, Engineering and Education.

• Automat
• Symbol
• algorithm
• algorithms
• computational geometry
• computer
• error-correcting code
• programming
• proving
• theorem proving
• algorithm analysis and problem complexity

Policies and ethics