#. 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

#. 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

#. 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

#. 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

#. F. Winkler (1996)
"Parametrized Solutions of Algebraic Equations"
Special Issue "J. Mathematics and Computers in Simulation", 42/4-6, 333--338 (1996).
5 Seiten

#. F. Winkler (1996)
"Algebraic Computation in Geometry"
Special Issue "J. Mathematics and Computers in Simulation", 42/4-6, 529--537 (1996).
9 Seiten

#. 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

#. 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

#. 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

#. 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

#. 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

#. Werner Krandick, Tudor Jebelean (1996)
"Bidirectional Exact Integer Division"
J. of Symbolic Computation (1996), Vol. 21, pp. 441-455
15 Seiten

#. 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

#. Hoon Hong, Stefan Ratschan (1996)
"Determining the Relationship among Sets"
Proceedings of IMACS ACA, Linz - Hagenberg, 1996
 Seiten

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. O. Caprotti (1997)
"Symbolic Pattern Solving for Equational Reasoning"
FTP97  Int. Workshop on ``First order Theorem Proving'', Hagenberg, October 1997.
8 Seiten

#. 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

#. 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

#. O. Caprotti (1996)
"Soluzione di Vincoli Equazionali attraverso Patterns"
in  "Aspetti computazionali in Algebra, Geometria e Logica", 
Aquila, Italy October 1996.
8 Seiten

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. 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

#. B. Buchberger (1996)
"Mathematische Software-Systeme: Die Zukunft"
Informatik-Spektrum., 1996, Springer, Heidelberg,  pp. 193-220
27 Seiten

#. 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

#. Michael Joswig (1996)
"Translation generalized quadrangles"
Arch. Math. (Basel) {\bf 67},3 (1996), 253-264.
12 Seiten

#. 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

#. 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