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"