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"