Dear colleagues,
(this mail concerns everybody at RISC who has published anything in 1996/97)

We received a fax from the Dean this morning (I put it in the Faculty Rundlauf),
with the copy of a letter which was apparently distributed to us few weeks ago:
it asks until Feb 15 a list of papers published in the interval Jan 96 -- Dec 97,
organized as follows:
a) refereed papers: nr of pages, for books also ISBN and publisher;
b) other papers, including accepted ones
c) non-scientific publications
d) patents

Please note: it is important to give a complete report, since this will be used for
establishing our "ausserordentliche Dotation" amount of funding.
Please try to answer tomorrow (Thu) or at least by Fri noon - I do not know how
much they can wait, I will check by phone and send the list as it is in the moment
it is necessary.

I collected the available info from our library database, and I kindly ask you
to make corrections to the items which refer to you:  
 - in the list of reports / 1995,
    please check whether any of them were published elsewhere during 1996/97, if
	so send me the bib data including pages, publisher, ISBN.
 - in the list of [elsewhere] published reports 96/97, please check whether the bib
	data is correct and send me:
		- the *number of pages*
                - the *publisher*  
		- the *ISBN* number (for proceedings and books)
 - in the list of reports 96/97
    please check whether any of them were published elsewhere during 1996/97, if
    so send me the bib data including pages, publisher, ISBN.
  (to make your life easier these two lists do not include the published elsewhere]

Additionally, please send me any data on additional publications which are not
mentioned in these lists - including non-scientific publications and patents.
 
Thank you very much and sorry for the trouble,

Tudor

Dr. Tudor Jebelean        Institut RISC    Phone: Austria-732-2468-9946
www.risc.uni-linz.ac.at   A-4232 Hagenberg   Fax: Austria-732-2468-9930

ALL REPORTS 1995
================
(please check whether any of them were published in proceedings during 1996/97)

[95-48]
Peter Hirt
"AIPC: An Assitant for Interactive Proof Construction Using Natural Deduction"

[95-29]
Carl Van Geem
"Counting Cells in a Grid"

[95-49]
J. Pfalzgraf, U.C. Sigmund, V. Sofronie, K. Stokkermans
"Towards a Cooperating Robots Demonstrator"

[95-29]
Carl Van Geem
"Counting Cells in a Grid"

[95-31]
George E. Collins
"Application of Quantifier Elimination to Solotareff's Approximation Problem"

[95-45]
Carl Van Geem
"Path Planning for Manipulators with Many Degrees of Freedom Using a Discrete Representation of Configuration Space Extensively"

[95-01]
Thomas Fahringer, Hoon Hong
"On Using Volume Computation to Estimate the Work Distribution for Parallel Programs"

[95-19]
George E. Collins, Mark J. Encarnacion
"Improved Techniques for Factoring Univariate Polynomials"

[95-25]
Hoon Hong, Stefan Ratschan
"RISC-CLP (Tree$(\Delta)$): A Constraint Logic Programming System with Parametric Domain"

[95-02]
J. Rafael Sendra, Juana Sendra
"On the Rationality of Offset Curves"

[95-26]
Jochen Pfalzgraf
"Graph Products of Groups and Group Spaces"

[95-03]
Olga Caprotti, Alois Ferscha, Hoon Hong
"Reachability Test in Petri Nets by Gr\"obner Bases"

[95-50]
Hoon Hong, Wolfgang Stöcher
"Implementing Real Root Count with Polynomial Constraints for the Multivariate Case with one Constraint Polynomial"

[95-28]
Sabine Stifter
"Technological Aspects in Geometric Problems: A Case Study for the Nesting Problem"

[95-04]
Thomas Fahringer, Hoon Hong, Franz Kriftner, Volker Stahl
"Computing the Volume of a Convex Polytope Using Interval Arithmetic"

[95-51]
Hoon Hong, Josef Schicho, Wolfgang Stöcher
"Structure and Efficient Computation of Multiplication Tables and Associated Quadratic Forms"

[95-52]
Peter Stadelmeyer
"Ordered Completion with Selection for Horn Clauses"

[95-05]
Michal Mnuk, Bernhard Wall, Franz Winkler
"CASA Reference Manual (Version 2.2)"

[95-06]
Hoon Hong
"The Exact Region of Stability for MacCormack Scheme"

[95-53]
Karel Stokkermans
"A Categorical Framework and Calculus for Critical Pair Completion"

[95-07]
Wolfgang Schreiner
"Application of a Para-Functional Language to Computer Algebra Problems"

[95-32]
George E. Collins, Scott Mccallum
"Adjacency Algorithms for Cylindrical Algebraic Decomposition of Three and Higher Dimensional Space I: Adjacencies Over a Non-nullifying $\{0,1\}$ Adjacency"

[95-54]
Giovanna Roda
"Linear Algebra Methods for the Transformation of Gr\"obner Bases"

[95-08]
Roberto Pirastu, Volker Strehl
"Rational Summation and Gosper-Petkovsek Representation"

[95-55]
Hoon Hong
"Gr\"obner Bases Under Composition"

[95-40]
Elena Tomuta, Edward S. Blurock
"Use of Machine Learning in Economic Studies: A Tutorial Study"

[95-14]
Carl Van Geem
"Preparations with Workspace Information for Meaningful Robot Motion Planning in Configuration Space"

[95-35]
Ziming Li
"A Subresultant Theory for Linear Ordinary Differential Polynomials"

[95-56]
Hoon Hong
"Multivariate Resultants Under Composition"

[95-57]
P.G. Bertoli, H. Hong
"The Design and Implementation of the Distributed Shared-Memory Sturm Kernel"

[95-37]
Edward S. Blurock
"Reaction: System for Modeling Chemical Reactions I. Generation of Reaction Mechanisms"

[95-58]
Michal Mnuk
"Algebraic and Geometric Approach to Parametrization of Rational Curves"

[95-09]
Roberto Pirastu
"Algorithms for Indefinite Summation of Rational Functions in Maple"

[95-10]
Peter Paule, Markus Schorn
"A Mathematica Version of Zeilberger's Algorithm for Proving Binomial Coefficient Identities"

[95-38]
Edward S. Blurock
"Reaction: System for Modeling Chemical Reactions II. Analysing and Using the Generated Reaction Mechanism"

[95-11]
Peter Paule, Volker Strehl
"Symbolic Summation -- Some Recent Developments"

[95-39]
Edward S. Blurock
"Reaction: System for Modeling Chemical Reactions III. Notes on Applications and Basis for Future Work"

[95-12]
Peter Paule
"Short and Easy Computer Proofs of the Rogers-Ramanujan Identities and of Identities of Similar Type"

[95-13]
Edward S. Blurock
"Analysis 4.0: An Interactive System for the Analysis of Data"

[95-41]
Edward S. Blurock
"REACTION: Symbolic Methods in the Generation and Analysis of Complex Reaction Systems"

[95-42]
Sabine Stifter
"Characterization of Contour Elements that Generate Abstract Voronoi Diagrams"

[95-15]
Manfred Minimair
"Design, Analysis and Implementation of an Adder by Ladner and Fisher"

[95-16]
A.Y. Utesev, T.M. Cherkasov
"On the Search of the Maximum of a Polynomial"

[95-17]
Edward S. Blurock
"REACTION: System for Modeling Chemical Reactions"

[95-46]
Michal Mnuk
"Computing Adjoint Curves (An algebraic approach)"

[95-34]
Hoon Hong
"A Basis for Multivariate Hermite Interpolation"

[95-18]
Edward S. Blurock
"Automatic Learning of Chemical Concepts:  Research Octane Number and Molecular Substructures"

[95-47]
Hoon Hong
"Subresultants Under Composition"



PUBLISHED ELSEWHERE YEAR 1996
=============================

[96-29]
Tudor Jebelean
"Practical Integer Division with Karatsuba Complexity"
Proceedings of ISSAC'97, in print

[96-32]
Werner Krandick, Tudor Jebelean
"Bidirectional Exact Integer Division"
J. of Symbolic Computation (1996), Vol. 21, pp. 441-455

[96-40]
Bruno Buchberger
"Mathematica as a Rewrite Language"
T. Ida (ed.) ``The Second Fuji International Workshop on Functional
and Logic Programming'', Nov. 1-4, Shonan Village, Japan.

[96-28]
Hoon Hong, Stefan Ratschan
"Determining the Relationship among Sets"
Proceedings of IMACS ACA, Linz - Hagenberg, 1996

[96-36]
Bruno Buchberger
"Symbolic Computation: Computer Algebra and Logic"
F.  Baader, K.U.  Schulz (eds.) Frontiers of Combining Systems.
Applied Logic Series. Kluwer Academic Publishers, 1996.

[96-37]
Tudor Jebelean
"Design of a Systolic Coprocessor for Rational Addition"
Proceedings of ASAP-95
(Application Specific Array Processors, Strasbourg, France, July 1995),
P. Capello, C. Mongenet, G-R. Perrin, P. Quinton, Y. Robert (eds),
pp 282--289, IEEE Computer Society Press 1995

[96-38]
Tudor Jebelean
"Integer and Rational Arithmetic on MasPar"
Proceedings of DISCO'96 (Design and Implementation of Symbolic Computation Systems -
Karlsruhe, Germany, Sept. 1996), J. Calmet, C. Limongelli (eds.),
Springer 1996 (LNCS 1128), pages 162--173



PUBLISHED ELSEWHERE YEAR 1997
============================

[97-15]
Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru
"A Survey of the {\em Theorema} Project"
Proceedings of ISSAC'97 (International Symposium on Symbolic and Algebraic Computation,
	Maui, Hawaii, July 21-23, 1997),
        W. Kuechlin (ed.),
        ACM Press 1997,
        pp. 384--391.

[97-22]
Wolfgang Schreiner
"A Distributed Education Environment Based on Mathematica"
IDIMT'97 -- 5th Interdisciplinary Information Management Talks, Zadov,
Czech Republic, October 15-17, 1997, Austrian Computer Society,
Oldenbourg Verlag.

[97-25]
Josef Schicho
"A Note on a Theorem of Fried and MacRae"
Arch. Math. (65), 1995, pp 239--243

[97-29]
Harald Hule, Josef Schicho
"On two conjectures about systems of algebraic equations"
Riv. Mat. Univ. Parma (5) 5, 1996, pp 201--204



REPORTS YEAR 1996
=================
[96-25]
Naoto Niki, Shigekazu Nakagawa, Hiroki Hashiguchi
"Computer Algebra Application to the Distribution of Sample
Correlation Coefficient"

[96-27]
Roberto Pirastu
"On Combinatorial Identities:
Symbolic Summation and Umbral Calculus"

[96-01]
Carl Van Geem
"Enclosing Robot Links by Superellipses and Superellipsoids"

[96-15]
Carl Van Geem
"Fast Planning of a Good Path for a Manipulator Using Potential Fields on a Non-Uniform Grid in C-Space"

[96-02]
Dalibor Jakus, Hoon Hong
"Testing Positiveness of Polynomials"

[96-03]
Hoon Hong
"Gr\"obner Bases Under Composition II"

[96-24]
Ana Maria Mandache
"On the Relationship between  Involutive Basis and Gr\"obner Basis Algorithms"

[96-04]
Hoon Hong, Daniela Vasaru
"Survey on Nonlinear Optimization"

[96-26]
Hoon Hong
"Characterization of Bernstein Coefficients"

[96-05]
Wolfgang Schreiner
"A Para-Functional Programming Interface for a Parallel Computer Algebra Package"

[96-06]
Jochen Pfalzgraf, Viorica Sofronie, Karel Stokkermans
"On a Semantics for Cooperative Agent Scenarios"

[96-07]
Jochen Pfalzgraf, Ute Cornelia Sigmund, Karel Stokkermans
"Towards a General Approach for Modeling Actions and Change in Cooperating Agents Scenarios"

[96-08]
Franz Winkler, J. Rafael Sendra
"Real Parametrization of Algebraic Curves"

[96-09]
Wolfgang Schreiner
"RT++ -- Higher Order Threads for C++ : Tutorial and Reference Manual (Version 1.0)"

[96-10]
Hoon Hong, Wolfgang Schreiner
"HPGP: High Performance Generic Programming for Computational Mathematics by Compile-Time Instantiation of Higher Order Functors"

[96-31]
Tudor Jebelean
"Exact Division with Karatsuba Complexity"

[96-39]
Bruno Buchberger
"Introduction to Groebner Bases"

[96-30]
Carl Van Geem
"Manipulation of a Data Structure for Potential Fields on a
Non-Uniform Grid on C-Space for a Robot Arm Motion Planning
Problem"

[96-34]
Erik Hillgarter
"Rational Points on Conics"

[96-33]
Tran Quoc-Nam
"A Hybrid Symbolic-Numerical Approach in Computer Aided Geometric
Design (CAGD) and Visualization"

[96-35]
Tran Quoc-Nam
"A Note on Irreducible Decomposition of Algebraic
Sets and Automatic Theorem Proving"

[96-14]
Ziming Li
"A Subresultant Theory for Linear Differential, Linear Difference and Ore Polynomials, with Applications"

[96-16]
Eugen Ardeleanu
"Invariant Theory of Finite Groups and Applications"

[96-17]
Volker Stahl
"Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations"

[96-18]
J. Pfalzgraf, V. Sofronie, K. Stokkermans
"A Fibered Approach to Modeling Space-Time Dependent Cooperating Agents Scenarios"

[96-20]
Michael Joswig
"Translation Generalized Quadrangles"

[96-21]
Michael Joswig
"Towards Modeling the Topology of Homogeneous Manifolds by Means of Symbolic Computation"

[96-22]
Michael Joswig
"Deciding the Exactness of Sequences of Finitely Generated Abelian Groups"

[96-23]
Michael Joswig
"Quadratic Forms (Lecture Notes)"

[96-19]
George E. Collins, Christopher W. Brown
"Simple Truth Invariant CAD's and Solution Formula Construction"

[96-13]
Hoon Hong, Josef Schicho
"A New Proof for the Implicitization of Curves Parameterized by Generalized Trigonometric
Polynomials"




REPORTS 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"