#. Naoto Niki, Shigekazu Nakagawa, Hiroki Hashiguchi (1996) "Computer Algebra Application to the Distribution of Sample Correlation Coefficient" RISC-Report 96-25 #. Roberto Pirastu (1996) "On Combinatorial Identities: Symbolic Summation and Umbral Calculus" RISC-Report 96-27 #. Carl Van Geem (1996) "Enclosing Robot Links by Superellipses and Superellipsoids" RISC-Report 96-01 #. Carl Van Geem (1996) "Fast Planning of a Good Path for a Manipulator Using Potential Fields on a Non-Uniform Grid in C-Space" RISC-Report 96-15 #. Dalibor Jakus, Hoon Hong (1996) "Testing Positiveness of Polynomials" RISC-Report 96-02 #. Hoon Hong (1996) "Gr\"obner Bases Under Composition II" RISC-Report 96-03 #. Ana Maria Mandache (1996) "On the Relationship between Involutive Basis and Gr\"obner Basis Algorithms" RISC-Report 96-24 #. Hoon Hong, Daniela Vasaru (1996) "Survey on Nonlinear Optimization" RISC-Report 96-04 #. Hoon Hong (1996) "Characterization of Bernstein Coefficients" RISC-Report 96-26 #. Wolfgang Schreiner (1996) "A Para-Functional Programming Interface for a Parallel Computer Algebra Package" RISC-Report 96-05 #. Jochen Pfalzgraf, Viorica Sofronie, Karel Stokkermans (1996) "On a Semantics for Cooperative Agent Scenarios" RISC-Report 96-06 #. Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans (1996) "Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios" RISC-Report 96-07 #. Franz Winkler, J. Rafael Sendra (1996) "Real Parametrization of Algebraic Curves" RISC-Report 96-08 #. Tudor Jebelean (1996) "Practical Integer Division with Karatsuba Complexity" RISC-Report 96-29 #. Wolfgang Schreiner (1996) "RT++ -- Higher Order Threads for C++ : Tutorial and Reference Manual (Version 1.0)" RISC-Report 96-09 #. Hoon Hong, Wolfgang Schreiner (1996) "HPGP: High Performance Generic Programming for Computational Mathematics by Compile-Time Instantiation of Higher Order Functors" RISC-Report 96-10 #. Tudor Jebelean (1996) "Exact Division with Karatsuba Complexity" RISC-Report 96-31 #. Bruno Buchberger (1996) "Introduction to Groebner Bases" RISC-Report 96-39 #. Werner Krandick, Tudor Jebelean (1996) "Bidirectional Exact Integer Division" RISC-Report 96-32 #. Carl Van Geem (1996) "Manipulation of a Data Structure for Potential Fields on a Non-Uniform Grid on C-Space for a Robot Arm Motion Planning Problem" RISC-Report 96-30 #. Erik Hillgarter (1996) "Rational Points on Conics" RISC-Report 96-34 #. Bruno Buchberger (1996) "Mathematica as a Rewrite Language" RISC-Report 96-40 #. Tran Quoc-Nam (1996) "A Hybrid Symbolic-Numerical Approach in Computer Aided Geometric Design (CAGD) and Visualization" RISC-Report 96-33 #. Hoon Hong, Stefan Ratschan (1996) "Determining the Relationship among Sets" RISC-Report 96-28 #. Tran Quoc-Nam (1996) "A Note on Irreducible Decomposition of Algebraic Sets and Automatic Theorem Proving" RISC-Report 96-35 #. Bruno Buchberger (1996) "Symbolic Computation: Computer Algebra and Logic" RISC-Report 96-36 #. Tudor Jebelean (1996) "Design of a Systolic Coprocessor for Rational Addition" RISC-Report 96-37 #. Ziming Li (1996) "A Subresultant Theory for Linear Differential, Linear Difference and Ore Polynomials, with Applications" RISC-Report 96-14 #. Eugen Ardeleanu (1996) "Invariant Theory of Finite Groups and Applications" RISC-Report 96-16 #. Volker Stahl (1996) "Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations" RISC-Report 96-17 #. J. Pfalzgraf, V. Sofronie, K. Stokkermans (1996) "A Fibered Approach to Modeling Space-Time Dependent Cooperating Agents Scenarios" RISC-Report 96-18 #. Tudor Jebelean (1996) "Integer and Rational Arithmetic on MasPar" RISC-Report 96-38 #. Michael Joswig (1996) "Translation Generalized Quadrangles" RISC-Report 96-20 #. Michael Joswig (1996) "Towards Modeling the Topology of Homogeneous Manifolds by Means of Symbolic Computation" RISC-Report 96-21 #. Michael Joswig (1996) "Deciding the Exactness of Sequences of Finitely Generated Abelian Groups" RISC-Report 96-22 #. Michael Joswig (1996) "Quadratic Forms (Lecture Notes)" RISC-Report 96-23 #. George E. Collins, Christopher W. Brown (1996) "Simple Truth Invariant CAD's and Solution Formula Construction" RISC-Report 96-19 #. Hoon Hong, Josef Schicho (1996) "A New Proof for the Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials" RISC-Report 96-13 #. Tudor Jebelean (1997) "Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division" RISC-Report 97-08 #. Mohamed Hamada, Tetsuo Ida (1997) "Implementation of Lazy Narrowing Calculi in Mathematica" RISC-Report 97-02 #. Carl Van Geem, Tran Quoc-Nam (1997) "{NURBS} Interpolation of Surface-to-Surface Intersections" RISC-Report 97-30 #. Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru (1997) "A Survey of the {\em Theorema} Project" RISC-Report 97-15 #. Hoon Hong, Josef Schicho (1997) "Algorithms for Trigonometric Curves" RISC-Report 97-09 #. Peter W. Kulczycki (1997) "An Application Framework for the Distributed Simulation of Virtual Worlds by Spatial Decomposition" RISC-Report 97-31 #. Josef Schicho (1997) "Rational Parametrization of Algebraic Surfaces" RISC-Report 97-10 #. Andreas Neubacher (1997) "Another Elementary Proof of Kharitonov's Theorem" RISC-Report 97-19 #. Andreas Neubacher (1997) "Parametric Robust Stability by Quantifier Elimination" RISC-Report 97-37 #. Peter Stadelmayer, Franz Winkler (1997) "Computing the System of Adjoint Plane Curves by Puiseux Expansion" RISC-Report 97-38 #. Wolfgang Stoecher (1997) "Designing and Prototyping a Functor Language Using Denotational Semantics" RISC-Report 97-39 #. Robert Pollak (1997) "Specification of a Polynomial Prover in {\em Theorema} by Example Proofs" RISC-Report 97-23 #. Quoc-Nam Tran, Franz Winkler (1997) "CASA Reference Manual (Version 2.3)" RISC-Report 97-33 #. Klaus Aigner (1997) "Symbolic Computation of and with Offset Curves" RISC-Report 97-21 #. Wolfgang Schreiner (1997) "DAJ -- A Toolkit for the Simulation of Distributed Algorithms in Java" RISC-Report 97-36 #. Wolfgang Schreiner (1997) "A Distributed Education Environment Based on Mathematica" RISC-Report 97-22 #. Tudor Jebelean (1997) "Auto-Configurable Array for GCD Computation" RISC-Report 97-12 #. Hoon Hong (1997) "Bounds for Absolute Positiveness of Multivariate Polynomials" RISC-Report 97-13 #. Bruno Buchberger, Tudor Jebelean, Daniela Vasaru (1997) "Theorema: A System for Formal Scientific Training in Natural Language Presentation" RISC-Report 97-34 #. Klaus Aigner (1997) "Maple V Procedure for Computation of Groebner Bases by the Groebner Walk" RISC-Report 97-14 #. Viorica Sofronie-Stokkermans (1997) "Fibered Structures in Computer Science and Applications to Automated Theorem Proving in Certain Classes of Finitely-Valued Logics and to Modeling Interacting Systems" RISC-Report 97-16 #. Josef Schicho (1997) "A Degree Bound for the Parameterization of a Rational Surface" RISC-Report 97-24 #. Kazuko Kuriyama, Shuichi Moritsugu (1997) "A Linear Algebra Method for Solving Systems of Algebraic Equations" RISC-Report 97-35 #. Josef Schicho (1997) "A Note on a Theorem of Fried and MacRae" RISC-Report 97-25 #. Tran Quoc-Nam (1997) "Extending Dixon's Resultant by Using Pseudo-Inverse Matrices and Its Applications to Geometric Reasoning" RISC-Report 97-11 #. Josef Schicho (1997) "Inversion of Birational Maps with Gr\"obner Bases" RISC-Report 97-26 #. Gerald Slacik (1997) "Modular Methods for Computation of Groebner Bases" RISC-Report 97-32 #. Daniela Vasaru, Tetsuo Ida, Bruno Buchberger (1997) "First International Theorema Workshop" RISC-Report 97-20 #. Heinrich Rolletschek (1997) "\~cW10-Creative Sets and Noncappable r.e.\ T-degrees" RISC-Report 97-01 #. Josef Schicho (1997) "Rational Parameterization of Surfaces" RISC-Report 97-27 #. Manfred Minimair (1997) "Volume of Parametrized Polyhedra" RISC-Report 97-03 #. Josef Schicho (1997) "Embedded Desingularization of Hypersurfaces after Villamayor" RISC-Report 97-28 #. Kazuko Kuriyama, Shuichi Moritsugu (1997) "Fraction-free Method for Computing Rational Normal Forms of Polynomial Matrices" RISC-Report 97-18 #. Bruno Buchberger, Wolfgang Schreiner (1997) "CONCERT: A Software Architecture for Coordinating Education Sessions in Distributed Environments" RISC-Report 97-04 #. Erhard Aichinger (1997) "A linear system solver for Mathematica that uses SACLIB (Version 1.0)" RISC-Report 97-05 #. Harald Hule, Josef Schicho (1997) "On two conjectures about systems of algebraic equations" RISC-Report 97-29 #. Erik Hillgarter, Franz Winkler (1997) "Points on Algebraic Curves and the Parametrization Problem" RISC-Report 97-07 #. Piet Bikker (1997) "Non-Admissible Orderings and Involutive Bases" RISC-Report 97-17