RISC
B) OTHER PUBLICATIONS AND TALKS
1. Naoto Niki, Shigekazu Nakagawa, Hiroki Hashiguchi (1996)
"Computer Algebra Application to the Distribution of Sample
Correlation Coefficient"
RISC-Report 96-25
2. Roberto Pirastu (1996)
"On Combinatorial Identities:
Symbolic Summation and Umbral Calculus"
RISC-Report 96-27
3. Carl Van Geem (1996)
"Enclosing Robot Links by Superellipses and Superellipsoids"
RISC-Report 96-01
4. 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
5. Dalibor Jakus, Hoon Hong (1996)
"Testing Positiveness of Polynomials"
RISC-Report 96-02
6. Hoon Hong (1996)
"Gr\"obner Bases Under Composition II"
RISC-Report 96-03
7. Ana Maria Mandache (1996)
"On the Relationship between Involutive Basis and Gr\"obner Basis Algorithms"
RISC-Report 96-24
8. Hoon Hong, Daniela Vasaru (1996)
"Survey on Nonlinear Optimization"
RISC-Report 96-04
9. Hoon Hong (1996)
"Characterization of Bernstein Coefficients"
RISC-Report 96-26
10. Wolfgang Schreiner (1996)
"A Para-Functional Programming Interface for a Parallel Computer Algebra Package"
RISC-Report 96-05
11. Jochen Pfalzgraf, Viorica Sofronie, Karel Stokkermans (1996)
"On a Semantics for Cooperative Agent Scenarios"
RISC-Report 96-06
12. 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
13. Franz Winkler, J. Rafael Sendra (1996)
"Real Parametrization of Algebraic Curves"
RISC-Report 96-08
14. Tudor Jebelean (1996)
"Practical Integer Division with Karatsuba Complexity"
RISC-Report 96-29
15. Wolfgang Schreiner (1996)
"RT++ -- Higher Order Threads for C++ : Tutorial and Reference Manual (Version 1.0)"
RISC-Report 96-09
16. 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
17. Tudor Jebelean (1996)
"Exact Division with Karatsuba Complexity"
RISC-Report 96-31
18. Bruno Buchberger (1996)
"Introduction to Groebner Bases"
RISC-Report 96-39
19. Werner Krandick, Tudor Jebelean (1996)
"Bidirectional Exact Integer Division"
RISC-Report 96-32
20. 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
21. Erik Hillgarter (1996)
"Rational Points on Conics"
RISC-Report 96-34
22. Bruno Buchberger (1996)
"Mathematica as a Rewrite Language"
RISC-Report 96-40
23. Tran Quoc-Nam (1996)
"A Hybrid Symbolic-Numerical Approach in Computer Aided Geometric
Design (CAGD) and Visualization"
RISC-Report 96-33
24. Hoon Hong, Stefan Ratschan (1996)
"Determining the Relationship among Sets"
RISC-Report 96-28
25. Tran Quoc-Nam (1996)
"A Note on Irreducible Decomposition of Algebraic
Sets and Automatic Theorem Proving"
RISC-Report 96-35
26. Bruno Buchberger (1996)
"Symbolic Computation: Computer Algebra and Logic"
RISC-Report 96-36
27. Tudor Jebelean (1996)
"Design of a Systolic Coprocessor for Rational Addition"
RISC-Report 96-37
28. Ziming Li (1996)
"A Subresultant Theory for Linear Differential, Linear Difference and Ore Polynomials, with Applications"
RISC-Report 96-14
29. Eugen Ardeleanu (1996)
"Invariant Theory of Finite Groups and Applications"
RISC-Report 96-16
30. Volker Stahl (1996)
"Interval Methods for Bounding the Range of Polynomials and Solving Systems of Nonlinear Equations"
RISC-Report 96-17
31. J. Pfalzgraf, V. Sofronie, K. Stokkermans (1996)
"A Fibered Approach to Modeling Space-Time Dependent Cooperating Agents Scenarios"
RISC-Report 96-18
32. Tudor Jebelean (1996)
"Integer and Rational Arithmetic on MasPar"
RISC-Report 96-38
33. Michael Joswig (1996)
"Translation Generalized Quadrangles"
RISC-Report 96-20
34. Michael Joswig (1996)
"Towards Modeling the Topology of Homogeneous Manifolds by Means of Symbolic Computation"
RISC-Report 96-21
35. Michael Joswig (1996)
"Deciding the Exactness of Sequences of Finitely Generated Abelian Groups"
RISC-Report 96-22
36. Michael Joswig (1996)
"Quadratic Forms (Lecture Notes)"
RISC-Report 96-23
37. George E. Collins, Christopher W. Brown (1996)
"Simple Truth Invariant CAD's and Solution Formula Construction"
RISC-Report 96-19
38. Hoon Hong, Josef Schicho (1996)
"A New Proof for the Implicitization of Curves Parameterized by Generalized Trigonometric
Polynomials"
RISC-Report 96-13
39. Tudor Jebelean (1997)
"Using the Parallel Karatsuba Algorithm for Long Integer Multiplication and Division"
RISC-Report 97-08
40. Mohamed Hamada, Tetsuo Ida (1997)
"Implementation of Lazy Narrowing Calculi in Mathematica"
RISC-Report 97-02
41. Carl Van Geem, Tran Quoc-Nam (1997)
"{NURBS} Interpolation of Surface-to-Surface Intersections"
RISC-Report 97-30
42. Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Elena Tomuta, Daniela Vasaru (1997)
"A Survey of the {\em Theorema} Project"
RISC-Report 97-15
43. Hoon Hong, Josef Schicho (1997)
"Algorithms for Trigonometric Curves"
RISC-Report 97-09
44. Peter W. Kulczycki (1997)
"An Application Framework for the Distributed Simulation of Virtual Worlds by Spatial Decomposition"
RISC-Report 97-31
45. Josef Schicho (1997)
"Rational Parametrization of Algebraic Surfaces"
RISC-Report 97-10
46. Andreas Neubacher (1997)
"Another Elementary Proof of Kharitonov's Theorem"
RISC-Report 97-19
47. Andreas Neubacher (1997)
"Parametric Robust Stability by Quantifier Elimination"
RISC-Report 97-37
48. Peter Stadelmayer, Franz Winkler (1997)
"Computing the System of Adjoint Plane Curves by Puiseux Expansion"
RISC-Report 97-38
49. Wolfgang Stoecher (1997)
"Designing and Prototyping a Functor Language Using Denotational Semantics"
RISC-Report 97-39
50. Robert Pollak (1997)
"Specification of a Polynomial Prover in {\em Theorema} by Example Proofs"
RISC-Report 97-23
51. Quoc-Nam Tran, Franz Winkler (1997)
"CASA Reference Manual (Version 2.3)"
RISC-Report 97-33
52. Klaus Aigner (1997)
"Symbolic Computation of and with Offset Curves"
RISC-Report 97-21
53. Wolfgang Schreiner (1997)
"DAJ -- A Toolkit for the Simulation of Distributed Algorithms in Java"
RISC-Report 97-36
54. Wolfgang Schreiner (1997)
"A Distributed Education Environment Based on Mathematica"
RISC-Report 97-22
55. Tudor Jebelean (1997)
"Auto-Configurable Array for GCD Computation"
RISC-Report 97-12
56. Hoon Hong (1997)
"Bounds for Absolute Positiveness of Multivariate Polynomials"
RISC-Report 97-13
57. Bruno Buchberger, Tudor Jebelean, Daniela Vasaru (1997)
"Theorema:
A System for Formal Scientific Training
in Natural Language Presentation"
RISC-Report 97-34
58. Klaus Aigner (1997)
"Maple V Procedure for Computation of Groebner Bases by the Groebner Walk"
RISC-Report 97-14
59. 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
60. Josef Schicho (1997)
"A Degree Bound for the Parameterization of a Rational Surface"
RISC-Report 97-24
61. Kazuko Kuriyama, Shuichi Moritsugu (1997)
"A Linear Algebra Method for Solving Systems of Algebraic Equations"
RISC-Report 97-35
62. Josef Schicho (1997)
"A Note on a Theorem of Fried and MacRae"
RISC-Report 97-25
63. Tran Quoc-Nam (1997)
"Extending Dixon's Resultant by Using Pseudo-Inverse Matrices and Its
Applications to Geometric Reasoning"
RISC-Report 97-11
64. Josef Schicho (1997)
"Inversion of Birational Maps with Gr\"obner Bases"
RISC-Report 97-26
65. Gerald Slacik (1997)
"Modular Methods for Computation of Groebner Bases"
RISC-Report 97-32
66. Daniela Vasaru, Tetsuo Ida, Bruno Buchberger (1997)
"First International Theorema Workshop"
RISC-Report 97-20
67. Heinrich Rolletschek (1997)
"\~cW10-Creative Sets and Noncappable r.e.\ T-degrees"
RISC-Report 97-01
68. Josef Schicho (1997)
"Rational Parameterization of Surfaces"
RISC-Report 97-27
69. Manfred Minimair (1997)
"Volume of Parametrized Polyhedra"
RISC-Report 97-03
70. Josef Schicho (1997)
"Embedded Desingularization of Hypersurfaces after Villamayor"
RISC-Report 97-28
71. Kazuko Kuriyama, Shuichi Moritsugu (1997)
"Fraction-free Method for Computing Rational Normal Forms of Polynomial Matrices"
RISC-Report 97-18
72. Bruno Buchberger, Wolfgang Schreiner (1997)
"CONCERT: A Software Architecture for Coordinating Education
Sessions in Distributed Environments"
RISC-Report 97-04
73. Erhard Aichinger (1997)
"A linear system solver for Mathematica that uses SACLIB (Version 1.0)"
RISC-Report 97-05
74. Harald Hule, Josef Schicho (1997)
"On two conjectures about systems of algebraic equations"
RISC-Report 97-29
75. Erik Hillgarter, Franz Winkler (1997)
"Points on Algebraic Curves and the Parametrization Problem"
RISC-Report 97-07
76. Piet Bikker (1997)
"Non-Admissible Orderings and Involutive Bases"
RISC-Report 97-17
77. Axel Riese (1997)
"Contributions to Symbolic $q$-Hypergeometric Summation"
PhD Thesis, RISC-Linz, 1997
78. O. Caprotti (1997)
"Symbolic Pattern Solving in Algebraic Structures"
Ph.D. Thesis, Risc--Linz, March 1997.
79. 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
80. Bruno Buchberger (1997)
"A Note on Computing Times in Different Programming Styles in Mathematica"
in The First International Theorema Workshop (RISC-Report 97-20)
81. Bruno Buchberger, Mircea Marin (1997)
"Proving by Simplification"
in The First International Theorema Workshop (RISC-Report 97-20)
82. Bruno Buchberger (1997)
"Proving, Solving, Computing. A Language Environment Based on Mathematica"
in The First International Theorema Workshop (RISC-Report 97-20)
83. Bruno Buchberger (1997)
"The Theorema prover for equalities over the natural numbers"
in The First International Theorema Workshop (RISC-Report 97-20)
84. Bruno Buchberger, Daniela Vasaru (1997)
"Theorema: The Induction Prover over Lists"
in The First International Theorema Workshop (RISC-Report 97-20)
85. Bruno Buchberger, Franz Kriftner (1997)
"Theorema: The Language"
in The First International Theorema Workshop (RISC-Report 97-20)
86. Bruno Buchberger, Tudor Jebelean (1997)
"Theorema: The Predicate Logic Prover"
in The First International Theorema Workshop (RISC-Report 97-20)
87. Bruno Buchberger (1997)
"The Theorema Prover for Equalities Over Lists"
in The First International Theorema Workshop (RISC-Report 97-20)
88. E. Tomuta (1997)
"Using Functors in Organizing Proofs"
in The First International Theorema Workshop (RISC-Report 97-20)
TALKS
=====
89. Wolfgang Schreiner
"CONCERT -- A Software Architecture for Building Distributed Education Sessions"
Invited talk at the WILL workshop, PFU company, June 13, 1997, Hagenberg
90. Wolfgang Schreiner
"Sketch of a Distributed Education Environment Based on Mathematica"
Followup programme of the Theorema Workshop, June 11, 1997, Hagenberg/Linz
91. Wolfgang Schreiner
"Was ist das Internet?"
Invited talk at the Sommer Medienakademie, September 18-22, 1996,
Ars Electronica Center, Linz, Austria.
92. Bruno Buchberger.
Functor Programming in Mathematica.
Colloquium talk: Australian National University, Computer Science Dep.,Feb 8, 1996.
93. Bruno Buchberger.
Introduction to Groebner Bases I and II.
Colloquium talk: Australian National University, Computer Science Dep.,
Canberra, Feb. 12 and 15, 1996.
94. Bruno Buchberger.
Functional Programming in Mathematica.
Colloquium talk: Mac Quarie Univ., Sydney, Feb 16, 1996.
95. B. Buchberger.
Groebner Bases: Some Details.
Colloquium talk: University of Sydney, Feb 19, 1996.
96. B.Buchberger.
RISC and the Software Park Hagenberg.
Colloquium talk: Australian Chamber of Commerce, Canberra, Feb. 22, 1996.
97. B.Buchberger.
Beyond Mathematica: The Future of Mathematical Software Systems.
Public Lecture at Australian National University, Canberra. Feb. 25, 1996.
98. B.Buchberger.
Overview on the Apply Math Project at RISC.
TMR Meeting "Caclulemus", Univ. di Roma III, March 10, 1996.
99. B. Buchberger.
Future Directions in Mathematical Software Systems: Combining Algebra and Logic.
Invited Talk at Symposium of the Academia Europea, Amsterdam, April 4, 1996.
100. B.Buchberger.
A Language for Pure and Algorithmic Math.
Colloquium talk: Wolfram Research International, Champaign/Illinois, May 17, 1996.
101. B.Buchberger.
Functor Programming in Mathematica.
Colloquium talk: University of Delaware, Departmant for Information and
Systems Sciences. May 24, 1996.
102. B.Buchberger.
Zur Zukunft der Computer-Algebra.
Invited Talk: Symposium at the Occasion of the Honoray Doctorate for George
Collins. May 28, 1996.
103. B.Buchberger.
Computer-Algebra und Theorem Proving
Colloquium talk: Deutsches Forschungsinstitut fuer kuenstliche
Intelligenz, Saarbruecken. June 30, 1996.
104. B.Buchberger.
Which Mathematics for Which Students?
Invited talk at Derive Conference, GMD, Bonn, July 2, 1996.
105. B.Buchberger.
Integrating theorem proving into computer algebra systems.
Computer Algebra Conference at the Fujitsui Labs, in Numazu, Japan, August 13,1996.
106. B.Buchberger.
Proving and Computing.
Invited talk at the "Multiparadigm Logic Programming" Conference, Bonn, Sep 6, 1996.
107. B. Buchberger.
The RISC Institute and the Software Park in Hagenberg, Austria.
Colloquium talk: Panasonic Headquarters, Tokyo, Oct 16, 1996.
108. B.Buchberger.
The Theorema Project at the RISC Institute.
Colloquium talk: University of Kyoto, Dep. of Computer Science, Oct. 28, 1966.
109. B.Buchberger.
The Present State of the Theorema Project.
TMR Meeting Calculemus, Dagstuhl, Nov. 16, 1996.
110. 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.
111. B.Buchberger.
The Cooperation between University and Industry.
Invited talk at the TARA Satellite Symposium, University of Tsukuba, Japan,
Feb. 18, 1997.
112. B.Buchberger.
A Short Course on Automated Theorem Proving Using Mathematica.
Univ. of Hiroshima, Dep. of Computer Science, Feb.26-28, 1997.
113. Bruno Buchberger:
"Natural Language Proof in Nested Cells Representation",
First International Workshop on Proof Transformation and Presentation,
Schloss Dagstuhl, Germany, April 1997.
114. 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).
115. 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).
116. 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).
117. B Buchberger.
The Theorema Project: An Overview.
Colloquium talk: Univ. of Brno, Institute of Computer Science, May 6, 1997.
118. 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.
119. B.Buchberger.
Functors for Mathematics.
Conference "Computer Algebra and Algebraic Geometry", Dagstuhl, May 26, 1997.
120. B.Buchberger.
Using Mathematica for Theorem Proving.
Televideo talk at International Mathematica Symposium, Helsinki, June 26, 1997.
121. B.Buchberger.
On Overview on the Theorema Project.
Colloquium talk at GMD, Bonn, July 3, 1997
122. B.Buchberger.
Forschung am RISC.
Hearing of the Austrian Academy of Science, Vienna, 4 July 1997.
123. B.Buchberger, T.Jebelean.
Application of Mathematica for Proof Training.
IMACS-Computer Algebra Conference, Maui, Hawaii, July 27, 1997.
124. 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.
125. B.Buchberger.
The Theorema Project: An Overview.
Symposium on the TARA Project, Univ. of Tsukuba, Japan, Sep. 17, 1997.
126. 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)
127. B.Buchberger.
A Short Course on Groebner Bases.
University of Electro-Communications, Dep. of Computer Science, Tokyo, Oct. 8-9, 1997.
128. B.Buchberger.
Introduction to Groebner Bases and Applications.
University of Tsukuba, Institute of Mathematics, Oct. 26, 1997.
129. 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.