Carsten Schneider, Mircea Marin, Viorel Negru, Daniela Zaharie (ed.). 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2021). Proceedings of 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2021), 2021.IEEE Computer Society,ISBN-13: 978-1-6654-0650-5.[doi][bib]
2015
Adel Bouhoula, Bruno Buchberger, Laura Kovacs, Temur Kutsia (ed.).Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science.ISSN 0747-7171. [doi][bib]
2014
W. Windsteiger.Mathematical Assistant Systems for Theory Exploration and Mathematics Education. March2014.Johannes Kepler University Linz (JKU Linz),Habilitation Thesis.[pdf][bib]
2012
Laura Kovacs, Temur Kutsia (ed.).Special issue on Automated Specification and Verification of Web Systems.ISSN 1570-8683. [doi][bib]
Katsuhisa Horimoto, Masahiko Nakatsui, and Nikolaj Popov (ed.). Algebraic and Numeric Biology. Proceedings of 4th International Conference ANB 2010, Hagenberg, Austria, LNCS, 6479, 2012.Springer,ISBN 978-3-642-28066-5.Revised Selected Papers.[bib]
2011
Demis Ballis and Temur Kutsia (ed.).Special Issue of the Journal of Symbolic Computation on Automated Specification and Verification of Web Systems .ISSN 0747-7171. [doi][bib]
2010
Temur Kutsia (ed.).Special issue of the Journal of Symbolic Computation on Symbolic Computation in Software Science..ISSN 0747-7171. [doi][bib]
2009
B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E.P. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (ed.). Hagenberg Research. 2009.Springer Dordrecht Heidelberg London New York,ISBN 978-3-642-02126-8.[url][bib]
2007
T. Jebelean, V. Negru (ed.). SYNASC'07. Proceedings of International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, September2007.Mirton,Timisoara, Romania,[bib]
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (ed.). Towards Mechanized Mathematical Assistants. Proceedings of Calculemus 2007 and MKM 2007, Lecture Notes in Computer Science, 4573, 2007.Springer,Heidelberg,ISSN 0302-9743.[url][bib]
Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia (ed.). Algebraic Biology. Proceedings of The 2nd International Conference on Algebraic Biology, AB2007, Lecture Notes in Computer Science, 4545, 2007.Springer,ISBN 978-3-540-73432-1.[bib]
2006
T. Jebelean, V. Negru (ed.). SYNASC'06. Proceedings of International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, September2006.Mirton,Timisoara, Romania,ISBN: 0-7695-2740-X.[bib]
2005
B. Buchberger.Ein Dank an meine Schule. June2005.Akademisches Gymnasium Innsbruck.,A6020 Innsbruck, Angerzellgasse 14, Austria.,Akademisches Gymnasium Innsbruck,[doc][pdf][bib]
T. Jebelean, V. Negru (ed.). SYNASC'05. Proceedings of International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, 2005.Mirton,Timisoara, Romania,ISBN: 0-7695-2453-2.[bib]
2004
B. Buchberger, J. Campbell (ed.). Artificial Intelligence and Symbolic Computation. Proceedings of AISC 2004 (7 th International Conference on Artificial Intelligence and Symbolic Computation, RISC, Johannes Kepler University, Austria), Lecture Notes in Artificial Intelligence, 3249, September2004.Springer Berlin-Heidelberg,ISSN 0302-9743, ISBN 3-540-232.[bib]
T. Jebelean, V. Negru (ed.). SYNASC'04. Proceedings of International Workshop on Symbolic and Numeric Scientific Computing, September2004.Mirton,Timisoara, Romania,ISBN: 973-661-441-4.[bib]
Christoph Benzmüller, Wolfgang Windsteiger (ed.). Computer-Supported Mathematical Theory Development. Proceedings of Workshop on Computer-Supported Mathematical Theory Development, July2004.University College Cork, Ireland,ISBN 3-902276-04-5.In the frame of IJCAR'04.[url][bib]
2003
A. Asperti, B. Buchberger, J. H. Davenport (ed.). Mathematical Knowledge Management. Proceedings of Second International Conference on Mathematical Knowledge Management (MKM 2003), Bertinoro, Italy, Lecture Notes in Computer Science, 2594, 2003.Springer - Verlag Berlin - Heidelberg - New York,ISSN 0302-9743, ISBN 3-540-005.[bib]
B. Buchberger (member of the editorial board) (ed.).Journal of Algebra and its Applications.World Scientific Publishing Company Pte. Ltd., Singapore,ISSN 0219-4988. [bib]
B. Buchberger, G. Gonnet, M. Hazewinkel (ed.). Mathematical Knowledge Management. Special Issue of Annals of Mathematics and Artificial Intelligence, 38/1-3, May2003.Kluwer Academic Publishers, Dordrecht, The Netherlands,ISSN 1012-2443.2003-05-01-A.[bib]
T. Jebelean, V. Negru (ed.). SYNASC'03. Proceedings of International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, October2003.Mirton,Timisoara, Romania,ISSN: 973-661-104-3.[bib]
Nikolaj Popov.Verification Using Weakest Precndition Strategy. February2003.Contributed talk at Computer Aided Verification of Information Systems (CAVIS-04), Timisoara, Romania.,[ps][pdf][bib]
2002
T. Jebelean, V. Negru (ed.). SYNASC'02. Proceedings of International Workshop on Symbolic and Numeric Scientific Computing, October2002.Mirton,Timisoara, Romania,ISBN: 973-585-785-5.[bib]
2001
B. Buchberger, O. Caprotti (ed.). First International Workshop on Mathematical Knowledge Management (MKM 2001). Proceedings of First International Workshop on Mathematical Knowledge Management (MKM 2001), RISC-Linz, Austria, September2001.[url][bib]
R. Moreno-Diaz, B. Buchberger, J.L. Freire (ed.). Computer Aided Systems Theory – EUROCAST 2001. Proceedings of EUROCAST 2001, 2001.Springer-Verlag Berlin Heidelberg,ISSN 0302-9743, ISBN 3-540-429.[bib]
B. Buchberger (member of the editorial board) (ed.).Analele Universitatii din Timisoara, Seria Matematica - Informatica.University of Timisoara, Mathematical Institute,ISSN 1224-970X. [bib]
Armando and Jebelean (ed.). Calculemus: Integrating Computation and Deduction. Proceedings of Calculemus: Integrating Computation and Deduction, 32/4, November2001.Special Issue of Journal of Symbolic Computation.[bib]
T. Jebelean and V. Negru (ed.). SYNASC'01. Proceedings of International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, September2001.Mirton,Timisoara, Romania,ISSN: 973-661-441-7.[bib]
1998
Second International Theorema Workshop (ed.). Second International Theorema Workshop. Proceedings of Second International Theorema Workshop, 1998.[bib]
1994
B. Buchberger, J. Volkert (ed.). Parallel Processing: CONPAR 94 – VAPP VI. Proceedings of 3rd Joint International Conference on Vector and Parallel Processing, Linz, Austria, Lecture Notes in Computer Science, 854, September1994.Springer-Verlag Berlin - Heidelberg - New York,ISBN 3-540-58430-7.[bib]
1993
B. Buchberger (member of editorial board) (ed.).Annals of Mathematics and Artificial Intelligence.J.C.Baltzer AG Science Publishers,Basel, Switzerland,ISSN 1012-2443. [bib]
1986
B. Buchberger, B. Kutzler, M. Feilmeier, M. Kratz, U. Kulisch, S. Rump (ed.). Rechnerorientierte Verfahren (Computer Oriented Methods). 1986. Teubner Verlag, Stuttgart, ISBN 3-519-02617-1.[bib]
1985
B. Buchberger (founding editor-in-chief 1985-1995) (ed.).Journal of Symbolic Computation.Journal of Symbolic Computation, Academic Press Inc., Harcourt Brace Jovanovich Publishers, London,[bib]
B. Buchberger (ed.). EUROCAL '85. Proceedings of European Conference on Computer Algebra (EUROCal '85), Linz, Austria, Lecture Notes in Computer Science, 203/I (Invited Lectures), April1985.Springer-Verlag Berlin-Heidelberg-New York-Tokyo, ISBN 3-540-15983-5, ISBN 0-397-15983-5.[bib]
1982
B. Buchberger, G.E. Collins, R. Loos (ed.). Computer Algebra - Symbolic and Algebraic Computation. Computing (Archiv for Informatics and Numerical Computation), Supplement Nr. 4 (1st ed.), 1982.Springer Verlag Wien,ISSN 0344-8029, ISBN 3-211-81684-4, ISBN 0-387-81684-4, ISBN 3-211-81776-X, ISBN 0-387-81776-X, ISBN 7-5062-0253-0, BBK 22.14+22.16.(2nd edition: Springer-Verlag Wien-New York, 1982, 1983; Reprinted: World Publishing Coorporation, Beijing, 1988; Russian translation: translated by V.P. Gerdt, D.Yu.Grigoryev, V.A. Rostovtsev, S.Yu. Slavyanov, Mir Publishing Company, Moscow, 1986).[bib]
