#. 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
Maintained by the RISC-Linz Library Administration
Last modified: February 20, 1998
[Up] [RISC-Linz] [University] [Search]