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

</CENTER>
<p><hr size=2 NOSHADE><address>Maintained by <a href="mailto:library@risc.uni-linz.ac.at">the RISC-Linz Library Administration</a><br>Last modified: February 20, 1998
</address><hr size=2 NOSHADE>[<a href="">Up</a>] [<a href="/">RISC-Linz</a>] [<a href="http://www.uni-linz.ac.at/">University</a>] [<a href="/about/">Search</a>]</body> </html>