YEAR 1997 ========= [97-08] Tudor Jebelean "Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division" [97-02] Mohamed Hamada, Tetsuo Ida "Implementation of Lazy Narrowing Calculi in Mathematica" [97-30] Carl Van Geem, Tran Quoc-Nam "{NURBS} Interpolation of Surface-to-Surface Intersections" [97-09] Hoon Hong, Josef Schicho "Algorithms for Trigonometric Curves" [97-31] Peter W. Kulczycki "An Application Framework for the Distributed Simulation of Virtual Worlds by Spatial Decomposition" [97-10] Josef Schicho "Rational Parametrization of Algebraic Surfaces" [97-19] Andreas Neubacher "Another Elementary Proof of Kharitonov's Theorem" [97-37] Andreas Neubacher "Parametric Robust Stability by Quantifier Elimination" [97-38] Peter Stadelmayer, Franz Winkler "Computing the System of Adjoint Plane Curves by Puiseux Expansion" [97-39] Wolfgang Stoecher "Designing and Prototyping a Functor Language Using Denotational Semantics" [97-23] Robert Pollak "Specification of a Polynomial Prover in {\em Theorema} by Example Proofs" [97-33] Quoc-Nam Tran, Franz Winkler "CASA Reference Manual (Version 2.3)" [97-21] Klaus Aigner "Symbolic Computation of and with Offset Curves" [97-36] Wolfgang Schreiner "DAJ -- A Toolkit for the Simulation of Distributed Algorithms in Java" [97-12] Tudor Jebelean "Auto-Configurable Array for GCD Computation" [97-13] Hoon Hong "Bounds for Absolute Positiveness of Multivariate Polynomials" [97-34] Bruno Buchberger, Tudor Jebelean, Daniela Vasaru "Theorema: A System for Formal Scientific Training in Natural Language Presentation" [97-14] Klaus Aigner "Maple V Procedure for Computation of Groebner Bases by the Groebner Walk" [97-16] Viorica Sofronie-Stokkermans "Fibered Structures in Computer Science and Applications to Automated Theorem Proving in Certain Classes of Finitely-Valued Logics and to Modeling Interacting Systems" [97-24] Josef Schicho "A Degree Bound for the Parameterization of a Rational Surface" [97-35] Kazuko Kuriyama, Shuichi Moritsugu "A Linear Algebra Method for Solving Systems of Algebraic Equations" [97-11] Tran Quoc-Nam "Extending Dixon's Resultant by Using Pseudo-Inverse Matrices and Its Applications to Geometric Reasoning" [97-26] Josef Schicho "Inversion of Birational Maps with Gr\"obner Bases" [97-32] Gerald Slacik "Modular Methods for Computation of Groebner Bases" [97-20] Daniela Vasaru, Tetsuo Ida, Bruno Buchberger "First International Theorema Workshop" [97-01] Heinrich Rolletschek "\~cW10-Creative Sets and Noncappable r.e.\ T-degrees" [97-27] Josef Schicho "Rational Parameterization of Surfaces" [97-03] Manfred Minimair "Volume of Parametrized Polyhedra" [97-28] Josef Schicho "Embedded Desingularization of Hypersurfaces after Villamayor" [97-18] Kazuko Kuriyama, Shuichi Moritsugu "Fraction-free Method for Computing Rational Normal Forms of Polynomial Matrices" [97-04] Bruno Buchberger, Wolfgang Schreiner "CONCERT: A Software Architecture for Coordinating Education Sessions in Distributed Environments" [97-05] Erhard Aichinger "A linear system solver for Mathematica that uses SACLIB (Version 1.0)" [97-07] Erik Hillgarter, Franz Winkler "Points on Algebraic Curves and the Parametrization Problem" [97-17] Piet Bikker "Non-Admissible Orderings and Involutive Bases"