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"