#. 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

#. Axel Riese (1997)
"Contributions to Symbolic $q$-Hypergeometric Summation"
PhD Thesis, RISC-Linz, 1997

#. O. Caprotti (1997)
"Symbolic Pattern Solving in Algebraic Structures"
Ph.D. Thesis, Risc--Linz, March 1997.

#. Sofronie-Stokkermans, V. (1997)
"Resolution for finitely-valued logics by using the dual of the algebra of truth values"
Proceedings of the meeting of the COST Action 15 workgroup in
Automated Theorem  Proving, Malaga, September 1997

#. Bruno Buchberger (1997)
"A Note on Computing Times in Different Programming Styles in Mathematica"
in The First International Theorema Workshop (RISC-Report 97-20)
       
#. Bruno Buchberger, Mircea Marin (1997)
"Proving by Simplification"
in The First International Theorema Workshop (RISC-Report 97-20)

#. Bruno Buchberger (1997)
"Proving, Solving, Computing. A Language Environment Based on Mathematica"
in The First International Theorema Workshop (RISC-Report 97-20)
       
#. Bruno Buchberger (1997)
"The Theorema prover for equalities over the natural numbers"
in The First International Theorema Workshop (RISC-Report 97-20)
       
#. Bruno Buchberger, Daniela Vasaru (1997)
"Theorema: The Induction Prover over Lists"
in The First International Theorema Workshop (RISC-Report 97-20)
       
#. Bruno Buchberger, Franz Kriftner (1997)
"Theorema: The Language"
in The First International Theorema Workshop (RISC-Report 97-20)
       
#. Bruno Buchberger, Tudor Jebelean (1997)
"Theorema: The Predicate Logic Prover"
in The First International Theorema Workshop (RISC-Report 97-20)

#. Bruno Buchberger (1997)
"The Theorema Prover for Equalities Over Lists"
in The First International Theorema Workshop (RISC-Report 97-20)

#. E. Tomuta (1997)
"Using Functors in Organizing Proofs"
in The First International Theorema Workshop (RISC-Report 97-20)


TALKS
=====
#. Wolfgang Schreiner
"CONCERT -- A Software Architecture for Building Distributed Education Sessions"
Invited talk at the WILL workshop, PFU company, June 13, 1997, Hagenberg

#. Wolfgang Schreiner
"Sketch of a Distributed Education Environment Based on Mathematica"
Followup programme of the Theorema Workshop, June 11, 1997, Hagenberg/Linz

#. Wolfgang Schreiner
"Was ist das Internet?"
Invited talk at the Sommer Medienakademie, September 18-22, 1996,
Ars Electronica Center, Linz, Austria.

#. Bruno Buchberger.
Functor Programming in Mathematica.
Colloquium talk: Australian National University,  Computer Science Dep.,Feb 8, 1996.

#. Bruno Buchberger.
Introduction to Groebner Bases I and II.
Colloquium talk: Australian National University,  Computer Science Dep.,
Canberra, Feb. 12 and 15, 1996.

#. Bruno Buchberger.
Functional Programming in Mathematica.
Colloquium talk: Mac Quarie Univ., Sydney,  Feb 16, 1996.

#. B. Buchberger.
Groebner Bases: Some Details.
Colloquium talk: University of Sydney, Feb 19, 1996.

#. B.Buchberger.
RISC and the Software Park Hagenberg.
Colloquium talk: Australian Chamber of Commerce, Canberra, Feb. 22, 1996.

#. B.Buchberger.
Beyond Mathematica: The Future of Mathematical Software Systems.
Public Lecture at Australian National University, Canberra. Feb. 25, 1996.

#. B.Buchberger.
Overview on the Apply Math Project at RISC.
TMR Meeting "Caclulemus", Univ. di Roma III, March 10, 1996.

#. B. Buchberger.
Future Directions in Mathematical Software Systems: Combining Algebra and Logic.
Invited Talk at Symposium of the Academia Europea, Amsterdam, April 4, 1996.

#. B.Buchberger.
A Language for Pure and Algorithmic Math.
Colloquium talk: Wolfram Research International, Champaign/Illinois, May 17, 1996.

#. B.Buchberger.
Functor Programming in Mathematica.
Colloquium talk: University of Delaware, Departmant for Information and
Systems Sciences. May 24, 1996.

#. B.Buchberger.
Zur Zukunft der Computer-Algebra.
Invited Talk: Symposium at the Occasion of the Honoray Doctorate for George
Collins. May 28, 1996.

#. B.Buchberger.
Computer-Algebra und Theorem Proving
Colloquium talk: Deutsches Forschungsinstitut fuer kuenstliche
Intelligenz, Saarbruecken. June 30, 1996.

#. B.Buchberger.
Which Mathematics for Which Students?
Invited talk at Derive Conference, GMD, Bonn, July 2, 1996.

#. B.Buchberger.
Integrating theorem proving into computer algebra systems.
Computer Algebra Conference at the Fujitsui Labs, in Numazu, Japan, August 13,1996.

#. B.Buchberger.
Proving and Computing.
Invited talk at the "Multiparadigm Logic Programming" Conference, Bonn, Sep 6, 1996.

#. B. Buchberger.
The RISC Institute and the Software Park in Hagenberg, Austria.
Colloquium talk: Panasonic Headquarters, Tokyo, Oct 16, 1996.

#. B.Buchberger.
The Theorema Project at the RISC Institute.
Colloquium talk: University of Kyoto, Dep. of Computer Science, Oct. 28, 1966.

#. B.Buchberger.
The Present State of the Theorema Project.
TMR Meeting Calculemus, Dagstuhl, Nov. 16, 1996.

#. B.Buchberger.
Towards Integrating Theorem Proving and Computer Algebra.
Invited talk at Symposium on the Occasion of Prof. Ton Levelt's retirement.
Univ. of Nijmegen, Jan. 10, 1997.

#. B.Buchberger.
The Cooperation between University and Industry.
Invited talk at the TARA Satellite Symposium, University of Tsukuba, Japan,
Feb. 18, 1997.

#. B.Buchberger.
A Short Course on Automated Theorem Proving Using Mathematica.
Univ. of Hiroshima, Dep. of Computer Science, Feb.26-28, 1997.

#. Bruno Buchberger:
"Natural Language Proof in Nested Cells Representation",
First International Workshop on Proof Transformation and Presentation,
Schloss Dagstuhl, Germany, April 1997.

#. Bruno Buchberger, Tudor Jebelean, Franz Kriftner:
"The Present State of the Theorema Project and the Predicate Logic Prover",
presented at CALCULEMUS'97 (International Workshop on Systems for
Integrated Computation and Deduction, Trento, Italy, April 1997).

#. Bruno Buchberger, Mircea Marin, Robert Pollak, Elena Tomuta, Daniela Vasaru:
"Special Provers within the Theorema Project",
CALCULEMUS'97 (International Workshop on Systems for
Integrated Computation and Deduction, Trento, Italy, April 1997).

#. Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Robert Pollak,
Elena Tomuta, Daniela Vasaru:
"A Survey of the Theorema Project and its Applications
for Interactive Textbooks in Mathematics",
MaTILDA'97 (International Workshop on Mathematical Tools in Interactive Learning,
Amsterdam, May 1997).

#. B Buchberger.
The Theorema Project: An Overview.
Colloquium talk: Univ. of Brno, Institute of Computer Science, May 6, 1997.

#. B.Buchberger.
Two Examples of Computer Algebra Research.
Invited talk at International Workshop "Mathematical Physics - today,
Priority Technologies - for tomorrow", 12--17 May 1997, University of Kiev.

#. B.Buchberger.
Functors for Mathematics.
Conference "Computer Algebra and Algebraic Geometry", Dagstuhl,  May 26, 1997.

#. B.Buchberger.
Using Mathematica for Theorem Proving.
Televideo talk at International Mathematica Symposium, Helsinki, June 26, 1997.

#. B.Buchberger.
On Overview on the Theorema Project.
Colloquium talk at GMD, Bonn, July 3, 1997

#. B.Buchberger.
Forschung am RISC.
Hearing of the Austrian Academy of Science, Vienna, 4 July 1997.

#. B.Buchberger, T.Jebelean.
Application of Mathematica for Proof Training.
IMACS-Computer Algebra Conference, Maui, Hawaii, July 27, 1997.

#. B. Buchberger:
Computing, Solving, Proving: A Survey on the Theorema Project.
Invited talk at the Logic Programming and Nonmonotonic Reasoning Conference,
Dagstuhl,  July 30, 1997.

#. B.Buchberger.
The Theorema Project: An Overview.
Symposium on the TARA Project, Univ. of Tsukuba, Japan, Sep. 17, 1997.

#. Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Robert Pollak,
Elena Tomuta, Daniela Vasaru
"Progress of the Theorema Project",
presented at CALCULEMUS'97-II (Edinburgh, UK, September 1997)

#. B.Buchberger.
A Short Course on Groebner Bases.
University of Electro-Communications,  Dep. of Computer Science, Tokyo, Oct. 8-9, 1997.

#. B.Buchberger.
Introduction to Groebner Bases and Applications.
University of Tsukuba, Institute of Mathematics, Oct. 26, 1997.

#. Josef Schicho
"Implicitization of Nested Circular Curves and generalizations"
The 2nd IMACS Conference on Applications of Computer Algebra
Conference Center Hagenberg, July 17-20, 1996.