to the attention of Mrs. Wolfsegger

(this list also send by FAX)

RISC

A) REFEREED PUBLICATIONS

  1. F. Winkler (1996)
   "Polynomial Algorithms in Computer Algebra" (Buch)
   Reihe ``Texts and Monographs in Symbolic Computation'',
   Springer--Verlag Wien New York, ISBN 3-211-82759-5,
   (1996) (Zentralblatt, Vol. 853, #12003).
   270 Seiten
   
  2. C.M. Hoffmann, J.R. Sendra, F. Winkler (eds.) (1997)
   "Parametric Algebraic Curves and Applications".
   Spezialband der Zeitschrift ``Journal of Symbolic Computation'',
   Vol.23, No.2&3, pp 133-331, Feb./Maerz (1997), ISSN 0747-7171.
   199 Seiten
   
  3. H. Hong (ed.) (1996)
   "Parallel Symbolic Computation"
   Special issue of Journal of Symbolic Computation
   Vol. 21, No 4-6, Apr-June 1996, ISSN 0747-7171, pp 375-734
   360 Seiten
   
  4. Bruno Buchberger, Daniela Vasaru (eds) (1997)
   "The First International Theorema Workshop"
   9-10 June, 1997, RISC, Hagenberg, Austria
   published in RISC-Reports series no. 97-20
   198 Seiten
   
  5. F. Winkler (1996)
   "Parametrized Solutions of Algebraic Equations"
   Special Issue "J. Mathematics and Computers in Simulation", 42/4-6, 333--338 (1996).
   5 Seiten
   
  6. F. Winkler (1996)
   "Algebraic Computation in Geometry"
   Special Issue "J. Mathematics and Computers in Simulation", 42/4-6, 529--537 (1996).
   9 Seiten
   
  7. M. Mnuk, J.R. Sendra, F. Winkler (1996)
   "On the Complexity of Parametrizing  Curves"
   "Beitraege  zur Algebra und Geometrie", 37/2, 309--328 (1996).  
   20 Seiten
   
  8. M. Mnuk, F. Winkler (1996)
   "CASA - A System for Computer Aided Constructive Algebraic Geometry"
   In: "Proc. International Symposium on Design and Implementation of
   Symbolic Computation Systems (DISCO'96)", Karlsruhe, Deutschland,
   Sept. 1996, LNCS 1128, pp. 297--307, Springer-Verlag (1996)
   11 Seiten
   
  9. J.R. Sendra, F. Winkler (1997)
   "Parametrization of Algebraic Curves over Optimal Field Extensions"
   "J. of Symbolic Computation", 23/2&3, 191--207 (1997).
   17 Seiten
   
 10. Q.-N. Tran, F. Winkler (1997)
   "An Overview of CASA - A System for Computational Algebra and Constructive
   Algebraic Geometry"
   "AC Newsletter", 2, 63--72 (1997).
   10 Seiten
   
 11. Tudor Jebelean (1996)
   "Practical Integer Division with Karatsuba Complexity"
   ISSAC'97 (International Symposium on Symbolic and Algebraic Computation),
   W. Kuechlin (ed). ACM Press 1997, pages 339-341.
   3 Seiten
   
 12. Werner Krandick, Tudor Jebelean (1996)
   "Bidirectional Exact Integer Division"
   J. of Symbolic Computation (1996), Vol. 21, pp. 441-455
   15 Seiten
   
 13. Bruno Buchberger (1996)
   "Mathematica as a Rewrite Language"
   T. Ida (ed.) ``The Second Fuji International Workshop on Functional
   and Logic Programming'', Nov. 1-4, Shonan Village, Japan.Telos publishing
   9 Seiten
   
 14. Hoon Hong, Stefan Ratschan (1996)
   "Determining the Relationship among Sets"
   Proceedings of IMACS ACA, Linz - Hagenberg, 1996
    Seiten
   
 15. Bruno Buchberger (1996)
   "Symbolic Computation: Computer Algebra and Logic"
   F.  Baader, K.U.  Schulz (eds.) Frontiers of Combining Systems.
   Applied Logic Series. Kluwer Academic Publishers, 1996, pp. 193-220
   24 Seiten
   
 16. Tudor Jebelean (1996)
   "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
   12 Seiten
   
 17. Bruno Buchberger, Tudor Jebelean, Franz Kriftner,
   Mircea Marin, Elena Tomuta, Daniela Vasaru (1997)
   "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.
   8 Seiten
   
 18. Wolfgang Schreiner (1997)
   "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, pp. 287-301.
   15 Seiten
   
 19. Harald Hule, Josef Schicho (1997)
   "On two conjectures about systems of algebraic equations"
   Riv. Mat. Univ. Parma (5) 5, 1996, pp 201--204
   4 Seiten
   
 20. Tudor Jebelean (1997)
   "Auto-Configurable Array for GCD Computation"
   FPL'97 (International Workshop on Field-Programmable Logic and 
   Applications, London, Sep. 1-3 1997), W. Luk, P. Y. K. Cheung, M. Glesner (eds.),
   Springer 1997 (LNCS 1304), pp. 457-461.
   5 Seiten
   
 21. Tudor Jebelean (1997) 
   "Using the Parallel Karatsuba Algorithm for Long Integer Multiplication
   and Division"
   EuroPar'97 (European Conference on Parallel Processing, Passau,
   26-29 August 1997), C. Lengauer, M. Griebl, S. Gorlatch (eds.),
   Springer 1997 (LNCS 1300), pp. 1169--1172.
   4 Seiten
   
 22. Wolfgang Schreiner (1996)
   "A Para-Functional Programming Interface for a Parallel Computer Algebra Package"
   Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation,
   Hoon Hong (ed.), volume 21, pp. 593-614, Academic Press, 1996.
   22 Seiten
   
 23. Axel Riese (1996)
   "A Generalization of Gosper's Algorithm to Bibasic Hypergeometric Summation"
   Electronic Journal of Combinatorics, Vol 3, 1996, pp 1-16.
   16 Seiten
   
 24. Peter Paule and Axel Riese (1997)
   "A {M}athematica $q$-Analogue of {Z}eilberger's Algorithm Based on an
   Algebraically Motivated Approach to $q$-Hypergeometric Telescoping"
   in "Special Functions, $q$-Series and Related Topics",
   M. Ismail and M. Rahman (eds), Fields Institute Communications vol 14,
   Amer. Math. Soc. 1997, pp 179--210.
   31 Seiten
   
 25. Stephan Dreiseitl (1996)
   "Modeling of Discrete Dynamical Systems by Neural Networks and Genetic Algorithms"
   Proceedings of the 13th European Meeting on Cybernetics and Systems Research
   (EMCSR'96), Vienna, Austria 1996. 89--94
   6 Seiten
   
 26. Stephan Dreiseitl (1996)
   "Discrete Dynamical System Modeling by Evolved Neural Networks"
   Proceedings of the 11th International Conference on Systems Engineering (ICSE'96)
   Las Vegas, USA, 1996, 19--24.
   6 Seiten
   
 27. W. Jacak, B. Buchberger, S. Dreiseitl, T. Kubik (1996)
   "Intelligent Robotic Arm Based on Reactive Control"
   5th International Workshop on Robotics in the Alpe-Adria-Danube Region (RAAD'96)
   Budapest, Hungary 1996, 297--302
   6 Seiten
   
 28. Jacak, W. and S. Dreiseitl (1996)
   "Robotic Agent Control Combining Reactive and Learning Capabilities"
   IEEE International Conference on Neural Networks (ICNN'96)
   Washington, USA 1996,
   5 Seiten
   
 29. Jacak, W. and S. Dreiseitl and R. Muszy\'nski (1996)
   "Neural Network-Based Modeling of Robot Action Effects in
   Conceptual State Space of Real World"
   IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS'96)
   Osaka, Japan 1996, 1149--1156
   8 Seiten
   
 30. Jacak, W. and S. Dreiseitl (1996)
   "Neural Network-Based Modeling of Intelligent Robotic Agent Behavior"
   International Conference on Information Systems Analysis and Synthesis (ISAS'96)
   Orlando, USA 1996, 82-89
   8 Seiten
   
 31. Jacak, W. and B. Buchberger and S. Dreiseitl (1997)
   "Lifelong Learning Based Intelligent Robotic Agent: Novel Neural Network Approach"
   Real World Computing Symposium (RWC'97) Jan 29-31, Tokyo, Japan
   5 Seiten
   
 32. Jacak, W. and S. Dreiseitl (1997)
   "Lifelong Learning Approach to Intelligent Agents Modeling"
   Computer Aided Systems Theory---EUROCAST'97, Gran Canaria, Spain, 367--379
   13 Seiten
   
 33. Jacak, W. and S. Dreiseitl (1997)
   "Multisensor Reactive Robot Arm"
   1st Workshop on Teleoperations and Robotics Applications in Science and Arts
   Linz, Austria, 41-45
   5 Seiten
   
 34. Jacak, W. and S. Dreiseitl (1997)
   "Intelligent Robotic Agent Combining Reactive and Cognitive Capabilities"
   IEEE International Conference on Systems, Man and Cybernetics (SMC'97), Orlando, USA
   10 Seiten
   
 35. Barequet, G., Dickerson, M. and Pau, P. (1997)
   "Translating a convex polygon to contain a maximum number of points"
   Computational Geometry - Theory and Applications, Vol 8, September 1997. 167-179
   13 Seiten
   
 36. O. Caprotti (1997)
   "Symbolic Pattern Solving for Equational Reasoning"
   FTP97  Int. Workshop on ``First order Theorem Proving'', Hagenberg, October 1997.
   8 Seiten
   
 37. O. Caprotti (1997)
   "A Characterization of Indexed Mathematical Objects for the Manipulation of
   Sums and Series"
   Advances in the Design of Symbolic Computation Systems, A. Miola, M. Temperini Eds
   Springer Verlag Texts and Monographs in Symbolic Computation, 1997.   
   ISBN 3-211-82844-3, pp. 111-125.
   15 Seiten
   
 38. P. Paule, I. Nemes (1997)
   "A Canonical Form Guide to Symbolic Summation"
   Advances in the Design of Symbolic Computation Systems, A. Miola, M. Temperini Eds
   Springer Verlag Texts and Monographs in Symbolic Computation, 1997.   
   ISBN 3-211-82844-3, pp. 84-110.
   27 Seiten
   
 39. O. Caprotti (1996)
   "Soluzione di Vincoli Equazionali attraverso Patterns"
   in  "Aspetti computazionali in Algebra, Geometria e Logica", 
   Aquila, Italy October 1996.
   8 Seiten
   
 40. Pfalzgraf, J. and Sofronie, V. and Stokkermans, K. (1996)
   "On a Semantics for Cooperative Agents Scenarios"
   Cybernetics and Systems '96, Volume 1, pp 201-206
   6 Seiten
   
 41. Pfalzgraf, J. and Sofronie, V. and Stokkermans, K. (1996)
   "A Fibered Approach to Modeling Space-Time Dependent Cooperating Agents Scenarios"
   FAPR'96 (Workshop Reasoning about Actions and Planning in Complex Environments)
   7 Seiten
   
 42. Sofronie, V. (1996)
   "Towards a Sheaf Theoretic Approach to Cooperating Agents Scenarios"
   Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, Steyr
   Calmet, J. and  Campbell, J.A. and  Pfalzgraf, J. (eds) Springer LNCS 1138, 289-304
   16 Seiten
   
 43. Sofronie-Stokkermans, V. (1996)
   "Priestley representation for distributive lattices with operators and
   applications to automated theorem proving"
   Workshop on Dualities, Interpretability and Ordered Structures, Lisbon;
   Published in ``Cadernos de Algebra'', University Lisbon
   11 Seiten
   
 44. Erik Hillgarter, Franz Winkler (1997) 
   "Points on Algebraic Curves and the Parametrization Problem"
   Automated Deduction in Geometry, D. Wang (ed.), Springer Verlag Berlin Heidelberg,
   Lecture Notes in Artificial Intelligence 1360, p. 185-203.
   19 Seiten
   
 45. W. Jacak,  B. Buchberger, S.  Stifter (1996)
   "Intelligent Systems Combining Reactive and Learning Capabilities"
   13th European Meeting on Cybernetics and Systems Research (EMCSR'96), Vienna, 1996
   13 Seiten
   
 46. B. Buchberger (1996)
   "Using Mathematica for Doing Simple Mathematical Proofs"
   Invited paper, in: Proceedings of the 4th Mathematica Users' Conference,
   Tokyo, November 2, 1996, Wolfram Media Publishing, pp. 80-96.
   17 Seiten
   
 47. B. Buchberger (1997) 
   "Symbolisches Rechnen"
   In: Handbuch der Informatik (G. Pomberger, P. Rechenberg eds.),
   Birkhaeuser, Munich, 1997, pp.699-721. ISBN 3-446-18691-3
   23 Seiten
   
 48. B. Buchberger (1996)
   "Mathematische Software-Systeme: Die Zukunft"
   Informatik-Spektrum., 1996, Springer, Heidelberg,  pp. 193-220
   27 Seiten
   
 49. B. Buchberger (1997) 
   "Mathematica: A System for Doing Mathematics by Computer?"
   In: A.  Miola, M.Temperini (eds), Advances in the Design of Symbolic
   Computation Systems, Springer New York - Vienna, 1997, pp.3-23. ISBN 3-211-82844-3
   21 Seiten
   
 50. Michael Joswig (1996)
   "Translation generalized quadrangles"
   Arch. Math. (Basel) {\bf 67},3 (1996), 253-264.
   12 Seiten
   
 51. Michael Joswig (1997)
   " Towards modelling the topology of homogeneous manifolds
   by means of symbolic computation"
   Artificial Intelligence and
   Symbolic Mathematical Computation, International Conference, AISMC-3
   (J. Calmet, J.A. Campbell, J. Pfalzgraf, eds.), Steyr, September, 1996, 258-273.
   15 Seiten
   
 52. Harald Hule, Josef Schicho (1996)
   "On two conjectures about systems of algebraic equations"
   Riv. Mat. Univ. Parma (5) 5, 1996, pp 201--204 Publisher: Cambi Italia
   4 Seiten
   

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.


C) PUBLICATIONS IN MASS-MEDIA

  1. Wolfgang Schreiner (1996)
   "Alle Faeden in der Hand -- Thread Programmierung unter Linux in C und C++" (Teil 1)
   Linux-Magazin, 07/1996.
   
  2. Wolfgang Schreiner (1996)
   "Alle Faeden in der Hand -- Thread Programmierung unter Linux in C und C++" (Teil 2)
   Linux-Magazin, 08/1996.
   
   
D) PATENTS: no patents