RISC Publications and Technical Reports of research area 'Computer Algebra'
2022
S. Falkensteiner, Yi Zhang, N. Thieu Vo.On Formal Power Series Solutions of Algebraic Ordinary Differential Equations.Mediterranean Journal of Mathematics19(74), pp. 1-16.March2022.ISSN 1660-5446.[doi][bib]
2021
M. Gallet, G. Grasegger, J. Legerský, J. Schicho.Combinatorics of Bricard's octahedra.Comptes Rendus. Mathématique359(1), pp. 7-38.2021.Académie des sciences, Paris,ISSN 1631-073X.[doi][bib]
M. Gallet, G. Grasegger, J. Legerský, J. Schicho.On the Existence of Paradoxical Motions of Generically Rigid Graphs on the Sphere.SIAM Journal on Discrete Mathematics35(1), pp. 325-361.2021.ISSN 0895-4801.[doi][bib]
2020
Jose Capco, Claus Scheiderer. Two remarks on sums of squares with rational coefficients.Banach Center Publications121, pp. 25-36.2020.0137-6934.[doi][bib]
Sean Dewar, Georg Grasegger, Jan Legerský.Computing Animations of Linkages with Rotational Symmetry (Media Exposition). In: 36th International Symposium on Computational Geometry (SoCG 2020), Sergio Cabello and Danny Z. Chen (ed.), Leibniz International Proceedings in Informatics (LIPIcs)164, pp. 77:1-77:4.2020.Schloss Dagstuhl-Leibniz-Zentrum für Informatik,Dagstuhl, Germany,ISBN 978-3-95977-143-6.[doi][bib]
S.Dewar, G. Grasegger, J. Legerský.Flexible placements of graphs with rotational symmetry. arXiv. Technical report, 2020.[url][bib]
M. Gallet, G. Grasegger, J. Legerský, J. Schicho.Combinatorics of Bricard’s octahedra. arXiv. Technical report, 2020.[url][bib]
G. Grasegger, J. Legerský.FlexRiLoG - A SageMath Package for Motions of Graphs. In: Mathematical Software – ICMS 2020, Bigatti A., Carette J., Davenport J., Joswig M., de Wolff T. (ed.), Proceedings of ICMS 2020, Lecture Notes in Computer Science12097, pp. 442-450.2020.Springer, Cham,ISBN 978-3-030-52199-8.[doi][bib]
G. Grasegger, J. Legerský.Bracing frameworks consisting of parallelograms. arXiv. Technical report, 2020.[url][bib]
M. Gallet, G. Grasegger, J. Legerský, J. Schicho.Zero-sum cycles in flexible polyhedra. arXiv. Technical report, 2020.[url][bib]
G. Grasegger, J. Legerský, J. Schicho.On the Classification of Motions of Paradoxically Movable Graphs.Journal of Computational Geometry11(1), pp. 548-575.2020.ISSN: 1920-180X.[doi][bib]
M. Gallet, G. Grasegger, J. Schicho.Counting realizations of {L}aman graphs on the sphere.Electronic Journal of Combinatorics27(2), pp. 1-18.2020.1077-8926 .[url][bib]
A. Jimenez-Pastor, V. Pillwein, M.F. Singer.Some structural results on D^n finite functions.Advances in Applied Mathematics117, pp. 0-0.June2020.Elsevier,0196-8858.[doi][pdf][bib]
2018
Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler.Rational General Solutions of Systems of First-Order Partial Differential Equations.Journal of Computational and Applied Mathematics331, pp. 88-103.2018.ISSN: 0377-0427.[bib]
S. McCallum, F. Winkler.Resultants: Algebraic and Differential. Technical report no. 18-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).August2018.[pdf][bib]
2017
Christoph Fuerst, Alexander Levin.Relative Reduction and Buchberger’s Algorithm in Filtered Free Modules. In: Mathematics in Computer Science, W. Koepf (ed.), pp. 1-11.2017.1661-8289.[bib]
Georg Grasegger, N. Thieu Vo.An Algebraic-Geometric Method for Computing Zolotarev Polynomials. In: Proceedings of the 2017 international symposium on symbolic and algebraic computation (ISSAC), Burr, M. (ed.), pp. 173-180.2017.ACM Press,New York,ISBN: 978-1-4503-5064-8.[bib]
Jose Capco, Georg Grasegger, Matteo Gallet, Christoph Koutschan, Niels Lubbes, Josef Schicho.The number of realizations of a Laman graph. Research Institute for Symbolic Computation (RISC/JKU). Technical report, 2017.[url][pdf][bib]
Jose Capco, Georg Grasegger, Matteo Gallet, Christoph Koutschan, Niels Lubbes, Josef Schicho.Computing the number of realizations of a Laman graph. In: Electronic Notes in Discrete Mathematics (Proceedings of Eurocomb 2017), Vadim Lozin (ed.), Proceedings of The European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'17)61, pp. 207-213.2017.ISSN 1571-0653.[url][bib]
Alexander Brunhuemer.Validating the Formalization of Theories and Algorithms of Discrete Mathematics by the Computer-Supported Checking of Finite Models. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Bachelor Thesis.September2017.[pdf][bib]
2016
Christoph Fuerst.Axiomatic Description of Gröbner Reduction. RISC, JKU Linz. PhD Thesis.December2016.[pdf][bib]
G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler.A solution method for autonomous first-order algebraic partial differential equations.Journal of Computational and Applied Mathematics300, pp. 119-133.2016.0377-0427.[doi][bib]
G. Grasegger, N.T. Vo, F. Winkler.Computation of All Rational Solutions of First-Order Algebraic ODEs. Technical report no. 16-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2016.[pdf][bib]
G. Grasegger, N.T. Vo.An Algebraic-Geometric Method for Computing Zolotarev Polynomials. Technical report no. 16-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2016.[pdf][bib]
G. Grasegger.An Algebraic-Geometric Method for Computing Zolotarev Polynomials — Additional Information. Technical report no. 16-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2016.[pdf][bib]
G. Grasegger, N.T. Vo, F. Winkler.A decision algorithm for rational general solutions of first-order algebraic ODEs. In: Proceedings XV Encuentro de Algebra Computacional y Aplicaciones (EACA 2016), Universidad de la Rioja, J. Heras and A. Romero (eds.) (ed.), pp. 101-104.2016.978-84-608-9024-9.[bib]
E.D. Ocansey, C. Schneider.Representation of hypergeometric products in difference rings.ACM Communications in Computer Algebra50(4), pp. 161-163.2016.ISSN 1932-2240 .Extended abstract of the poster presentation at ISSAC 2016.[doi][pdf][bib]
N. Thieu Vo.Rational and Algebraic Solutions of First-Order Algebraic ODEs. Technical report no. 16-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).122016.Thesis Dissertation.[pdf][bib]
N. Thieu Vo.Rational and Algebraic Solutions of First-Order Algebraic ODEs. Research Institute for Symbolic Computation. PhD Thesis.2016.[pdf][bib]
2015
Christoph Fuerst, Guenter Landsmann.Computation of Dimension in Filtered Free Modules by Gröbner Reduction. In: Proceedings of the International Symposium on Symbolic and Algebraic Computation, ACM (ed.), Proceedings of ISSAC '15, pp. 181-188.2015.978-1-4503-3435-8.[doi][bib]
Christoph Fuerst, Guenter Landsmann.Three Examples of Gröbner Reduction over Noncommutative Rings. Technical report no. 15-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October2015.[pdf][bib]
G. Grasegger, F. Winkler.Symbolic Solutions of First-Order Algebraic ODEs. In: Computer algebra and polynomials, J. Gutierrez, J. Schicho, M. Weimann (ed.), Lecture Notes in Computer Science8942, pp. 94-104.2015.Springer International Publishing,ISSN 0302-9743.[doi][bib]
G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler.A solution method for autonomous first-order algebraic partial differential equations in several variables. Technical report no. 15-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2015.[pdf][bib]
Georg Grasegger.Symbolic Solutions of First-Order Algebraic Differential Equations. Technical report no. 15-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2015.PhD Thesis.[bib]
Georg Grasegger.Symbolic solutions of first-order algebraic differential equations. Johannes Kepler University Linz. PhD Thesis.062015.[url][bib]
N.T. Vo, G. Grasegger, F. Winkler.Rational General Solutions of First-Order Algebraic ODEs. Technical report no. 15-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2015.[bib]
G. Grasegger, N.T. Vo, F. Winkler.Statistical Investigation of First-Order Algebraic ODEs and their Rational General Solutions. Technical report no. 15-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2015.[pdf][bib]
A. Maletzky.Automated Reasoning in Reduction Rings using the Theorema System. In: Computer Algebra in Scientific Computing, Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov (ed.), Proceedings of CASC 2015 (September 14-18, Aachen, Germany), LNCS9301, pp. 305-319.2015.Springer-Verlag Berlin Heidelberg,ISSN 0302-9743.The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-24021-3_23.[doi][pdf][bib]
Cristian-Silviu Radu.A note on a problem proposed by Kim and Lisonek. In: Computer Algebra and Polynomials, J. Gutierrez, J. Schicho, M. Weimann (ed.), Lecture notes in Computer Science8942, pp. 151-156.2015.Springer, Cham, 978-3-319-15080-2.[doi][bib]
A. Lastra, J.R. Sendra, L.X.C. Ngô, F. Winkler.Rational general solutions of systems of autonomous ordinary differential equations of algebro-geometric dimension one.Publ.Math.Debrecen(86/1-2), pp. 49-69.2015.0033-3883.[bib]
L.X.C. Ngô, J.R. Sendra, F. Winkler.Birational transformations preserving rational solutions of algebraic ordinary differential equations.J. Computational and Applied Mathematics(286), pp. 114-127.2015.0377-0427.[bib]
N. T. Vo, F. Winkler.Algebraic General Solutions of First Order Algebraic ODEs. In: Computer Algebra in Scientific Computing, Vladimir P. Gerdt et. al. (ed.), Lecture Notes in Computer Science9301, pp. 479-492.2015.Springer International Publishing,ISSN 0302-9743.[url][bib]
2014
Christoph Fuerst, Guenter Landsmann.The Concept of Gröbner Reduction for Dimension in filtered free modules. Technical report no. 14-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October2014.[pdf][bib]
G. Grasegger, G. Horváth, K.A. Kearnes.Polynomial Equivalence of Finite Rings.Journal of the Australian Mathematical Society96(2), pp. 244-257.2014.1446-8107.[url][bib]
G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler.A solution method for autonomous first-order algebraic partial differential equations. Technical report no. 14-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2014.[pdf][bib]
G. Grasegger.Radical Solutions of First Order Autonomous Algebraic Ordinary Differential Equations. In: ISSAC '14: Proceedings of the 39th International Symposium on International Symposium on Symbolic and Algebraic Computation, Katsusuke Nabeshima (ed.), pp. 217-223.2014.ACM,New York,ISBN 978-1-4503-2501-1.[pdf][bib]
G. Grasegger, A. Lastra, J.R. Sendra, F. Winkler.On Symbolic Solutions of Algebraic Partial Differential Equations. In: Computer Algebra in Scientific Computing, V.P. Gerdt et al. (ed.), Lecture Notes in Computer Science8660, pp. 111-120.2014.Springer International Publishing,ISSN 0302-9743.[url][bib]
2013
Christian Dönch.Characterization of relative Gröbner bases.Journal of Symbolic Computation55, pp. 19-29.2013.0747-7171.[bib]
Georg Grasegger.A procedure for solving autonomous AODEs. Technical report no. 13-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2013.[pdf][bib]
Muhammad Taimoor Khan.Translation of MiniMaple to Why3ML. Technical report no. 13-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2013.[pdf][bib]
Y. Huang, L.X.C. Ngo, F. Winkler.Rational general solutions of higher order algebraic ODEs.J. Systems Science and Complexity (JSSC)26/2, pp. 261-280.2013.1009-6124.[bib]
Y. Huang, L.X.C. Ngo, F. Winkler.Rational general solutions of trivariate rational systems of autonomous ODEs.Mathematics in Computer Science6/4, pp. 361-374.2013.1661-8270.[bib]
A. Lastra, J. R. Sendra, L. X. C. Ngo, F. Winkler.Rational General Solution of 1-Dimensional Systems of Autonomous Ordinary Differential Equations. Technical report no. 13-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2013.[pdf][pdf][bib]
2012
C. Doench, J. Middeke, F. Winkler.DEAM 2 Proceedings. Technical report no. 00-00 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
C. Dönch.Standard Bases in Finitely Generated Difference-Skew-Differential Modules and Their Application to Dimension Polynomials. Technical report no. 12-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2012.[pdf][bib]
F. Winkler, M. Hudayberdiev, G. Judakova.Computer algebra methods for pattern recognition: systems with complex order. In: Proceedings INTELS 2012 (Moscow), - (ed.), Proceedings of INTELS 2012, pp. 148-150.2012.978-5-93347-432-6.[bib]
Muhammad Taimoor Khan.Formal Semantics of MiniMaple. Technical report no. 12-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2012.[pdf][bib]
Muhammad Taimoor Khan.Formal Semantics of a Specification Language for MiniMaple. Technical report no. 12-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2012.[pdf][bib]
Muhammad Taimoor Khan.On the Formal Semantics of MiniMaple and its Specification Language. In: Proceedings of the 10th International Conference on Frontiers of Information Technology (FIT 2012), xxx (ed.), pp. 00-00.December2012.IEEE Digital Library,xxx.[bib]
L. X. C. Ngo, J. R. Sendra, F. Winkler.Birational Transformations on Algebraic Ordinary Differential Equations. Technical report no. 12-18 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2012.[pdf][bib]
L.X.C. Ngo, J.R. Sendra, F. Winkler.Classification of algebraic ODEs with respect to rational solvability.Computational Algebraic and Analytic Geometry, Contemporary Mathematics(572), pp. 193-210.2012.AMS,0271-4132.[bib]
F. Winkler.The role of Symbolic Computation in Mathematics. In: Proceedings XIII Encuentro de Algebra Computacional y Aplicaciones (EACA 2012), J.R. Sendra and C. Villarino (ed.), pp. 33-34.2012.978-84-8138-770-4.[bib]
2011
Muhammad Taimoor Khan.A Type Checker for MiniMaple. Technical report no. 11-05 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2011.[pdf][bib]
Muhammad Taimoor Khan.Towards a Behavioral Analysis of Computer Algebra Programs. Technical report no. 11-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November2011.[pdf][bib]
Johannes Middeke.A computational view on normal forms of matrices of Ore polynomials. Research Institute for Symbolic Computation (RISC). PhD Thesis.July2011.RISC Technical Report 11-10.[pdf][bib]
Felix Antritter and Johannes Middeke.A toolbox for the analysis of linear systems with delays. In: Proceedings of the 50th IEEE Conference on Decision and Control (CDC 2011), , Proceedings of 50th IEEE Conference on Decision and Control (CDC 2011), pp. -.December2011.Orlando, Florida, USA,IEEE,[bib]
L.X.C Ngo, F. Winkler.Rational general solutions of planar rational systems of autonomous ODEs.Journal of Symbolic Computation46(10), pp. 1173-1186.2011.Research Institute for Symbolic Computation,ISSN: 0747-7171.[url][bib]
L.X.C. Ngo.Rational General Solutions of First-Order Algebraic ODEs. Research Institute for Symbolic Computation (RISC). PhD Thesis.October2011.RISC Technical Report 11-12.[pdf][bib]
L.X.C. Ngo, F. Winkler.Rational general solutions of parametrizable AODEs.Publicationes Mathematicae Debrecen, pp. 573-587.2011.ISSN 0033-3883.[bib]
Y. Huang, L.X.C. Ngo, F. Winkler.Rational general solutions of trivariate rational systems of autonomous ODEs. In: Proceedings Forth Internat. Conf. on Mathematical Aspects of Computer and Information Sciences (MACIS 2011), 111 (ed.), pp. 93-100.2011.111.[bib]
F. Winkler.Algebraic Informatics. In: Proceedings of the Forth International Conference on Algebraic Informatics (CAI 2011), Springer Verlag (ed.), Proceedings of 4th International Conference on Algebraic Informatics (CAI 2011), pp. -.2011.ISSN 0302-9743, ISBN 978-3-642-21492-9.[bib]
shemyakova, winkler.Linear partial differential equations and linear partial differential operators in computer algebra. In: Numerical and Symbolic Scientific Computing - Progress and Prospects, Springer Verlag (ed.), pp. 333-358.2011.Springer Verlag,ISSN 0943-853X.[bib]
F. Winkler.What can Symbolic Computation contribute to Mathematics?. In: Proceedings SYNASC 2011,, aaa (ed.), pp. 1-14.2011.1111.[bib]
2010
Christian Aistleitner.Differential aspects of differential characteristic set computations. Technical report no. 10-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2010.[pdf][bib]
Christian Aistleitner.Differential aspects of differential characteristic set computations. Johannes Kepler University, Linz, Austria. PhD Thesis.June2010.[pdf][bib]
Christian Aistleitner.Relations between Groebner bases, differential Groebner bases, and differential characteristic sets. Technical report no. 11-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2010.[pdf][bib]
Christian Aistleitner.Relations between Groebner bases, differential Groebner bases, and differential characteristic sets. Johannes Kepler University, Linz, Austria. Diploma Thesis.December2010.[pdf][bib]
Christian Doench, Franz Winkler.Bivariate Difference-differential Dimension Polynomials and Their Computation in Maple. In: Proceedings of the 8th International Conference on Applied Informatics, Attila Egri-Nagy, EmÅ‘d Kovács, Gergely Kovásznai, Gábor Kusper, Tibor Tómács (ed.), pp. 211-218.2010.ISBN 978-963-9894-72-3.[pdf][bib]
E.Kartashova, V. Lvov, S. Nazarenko, I. Procaccia.Towards a Theory of Discrete and Mesoscopic Wave Turbulence. Submitted to the RISC Report Series. Technical report no. 10-04 in RISC Report Series,February2010.[pdf][bib]
E. Kartashova, M. Bustamante.Resonance clustering in wave turbulent regimes: Integrable dynamics.Physica A: Stat. Mech. Appl.submitted, pp. 1-31.2010.Elsevier,ISSN: 0378-4371.[pdf][bib]
Anja Korporal, Georg Regensburger, Markus Rosenkranz.A MAPLE Package for Integro-Differential Operators and Boundary Problems.ACM Commun. Comput. Algebra44(3), pp. 120-122.September2010.ISSN:1932-2240.Also presented as a poster at ISSAC '10.[bib]
Johannes Middeke. Converting between the Popov and the Hermite form of matrices of differential operators using an FGLM-like algorithm. Technical report no. 10-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2010.[pdf][bib]
Johannes Middeke.Conversion between Hermite and Popov normal forms using an FGLM-like approach.Albanian Journal of Mathematics4(4), pp. 181-193.2010.AulonaPress,1930-1235.Special Issue, Applications of Computer Algebra 2010, University of Vlora, Albania.[bib]
L.X.Chau Ngo.Finding rational solutions of rational systems of autonomous ODEs. Technical report no. 10-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).February2010.[pdf][bib]
Y. Huang, L. X. Chau Ngo.Rational General Solutions of High Order Non-autonomous ODEs. Technical report no. 10-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).June2010.[pdf][bib]
L.X.Chau Ngo, F. Winkler .Rational general solutions of first order non-autonomous parametrizable ODEs.Journal of Symbolic Computation, MEGA'2009,45(12), pp. 1426-1441.2010.Research Institut for Symbolic Computation,ISSN 0747-7171.[url][pdf][bib]
Y. Huang, L. X. Chau Ngo.Rational Solutions of a Rational System of Autonomous ODEs: Generalization to Trivariate Case and Problems. Technical report no. 10-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).November2010.[pdf][bib]
2009
Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler.Algorithms in Symbolic Computation. In: Hagenberg Research, Bruno Buchberger et al. (ed.), Chapter 1, pp. 5-62.2009.Springer,978-3-642-02126-8.[doi][pdf][bib]
B. Buchberger.Lets Solve! A Gentle Introduction to Groebner Bases for High-School Students. In: Introduction to Mathematica, C. Miyaji (ed.), pp. 206-232.2009.TDU Publishing,Tokyo,000.[bib]
Christian Doench.Bivariate difference-differential dimension polynomials and their computation in Maple. Technical report no. 09-19 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2009.[pdf][bib]
M.D. Bustamante, E. Kartashova.Dynamics of nonlinear resonances in Hamiltonian systems.Europhysics Letters 85, pp. 14004-6.2009.IOP ,0295-5075 (print) , 1286-4854 (online).[url][pdf][bib]
M.D. Bustamante, E. Kartashova.Effect of the dynamical phases on the nonlinear amplitudes' evolution.Europhysics Letters 85, pp. 34002-5.2009.IOP ,ISSN (print edition): 0295-5075 ISSN (online): 1286-4854.[url][pdf][bib]
E. Kartashova.Dynamics of Nonlinear Resonaces. In: Geophysical research Abstracts, E. Pelinovsky, C. Kharif (ed.), Proceedings of European Geosciences Union, General Assembly 2009, pp. 3232-1.2009.European Geophysical Union,issn.[url][bib]
A. Constantin, E. Kartashova.Effect of non-zero constant vorticity on the nonlinear resonances of capillary water waves.EPL86, pp. 29001-6.2009.ISSN (print edition): 0295-5075 ISSN (online): 1286-4854.[url][pdf][bib]
E. Kartashova.Nonlinear resonances of water waves.DCDS Series B12(3), pp. 607-621.2009.American Institute of Mathematical Sciences,ISSN 1531-3492 (print) ISSN 1553-524X (electronic).[url][pdf][bib]
E. Kartashova, M. Lvov.Austrian-Ukrainian Project CENREC as example of information support of activity of international scientific community.Informational technologies in education1(3), pp. 57-63.2009.Kherson State University,1998-6939.[url][bib]
E. Kartashova.Discrete Wave Turbulence.Europhysics Letters87, pp. 44001-p5.2009. 0295-5075 (print) , 1286-4854 (online).EDITOR CHOICE.[url][pdf][bib]
Johannes Middeke, Ekaterina Shemyakova, Franz Winkler.Proceedings of DEAM (Workshop for Differential Equations by Algebraic Methods). Technical report no. 09-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2009.Proceedings.[pdf][bib]
L.X. Chau Ngo.A criterion for existence of rational general solutions of planar systems of ODEs. Technical report no. 09-13 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2009.[pdf][bib]
L.X.Chau Ngo.Rational general solutions of first order non-autonomous parametric ODEs. Technical report no. 09-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2009.[pdf][bib]
Georg Regensburger, Markus Rosenkranz, Johannes Middeke.A skew polynomial approach to integro-differential operators. In: Proceedings of ISSAC 2009, Jeremy R. Johnson, Hyungju Park, Erich Kaltofen (ed.), Proceedings of Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, pp. 287-294.2009.ACM,978-1-60558-609-0.[url][pdf][bib]
2008
E. Kartashova, V. L`vov.Cluster Dynamics of Planetary Waves.Europhys. Letters83, pp. 50012-6.2008.ISSN: 0295-5075 (Print) 1286-4854 (Online).[url][pdf][bib]
Elena Kartashova.Kinematic Theory of Nonlinear Resonances.10,Geophysical Research Abstracts edition,2008. EGU (European Geophysical Union),isbn.[pdf][bib]
E. Kartashova, S. Nazarenko, O. Rudenko.Resonant interactions of nonlinear water waves in a finite basin.Physical Review E78 (016304), pp. 1-9.2008.American Physical Society,1539-3755 (print) , 1550-2376 (online).[url][pdf][bib]
Johannes Middeke.A polynomial-time algorithm for the Jacobson form for matrices of differential operators . Submitted to the RISC Report Series. Technical report no. 08-13 in RISC Report Series,July2008.[pdf][bib]
E. Kartashova, C. Raab, Ch. Feurer, G. Mayrhofer, W. Schreiner.Symbolic Computations for Nonlinear Wave Resonances. In: "Extreme Ocean Waves", E. Pelinovsky, Ch. Kharif (ed.), pp. 97-128.2008.Springer,ISBN: 978-1-4020-8313-6.[url][pdf][bib]
E. Shemyakova, F. Winkler.On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators. In: Computer Mathematics - Proc. 8th Asian Symp. on Computer Mathematics (ASCM 2007), D. Kapur (ed.), Proceedings of ASCM 2007, Singapore, Dec. 2007, LNAI 5081, pp. 199-212.2008.Springer,ISSN 0302-9743, ISBN 978-3-540-87827-8.[pdf][bib]
M. Zhou, F. Winkler.Groebner bases in difference - differential modules and difference - differential dimension polynomials.Science in China Series A: Mathematics51(9), pp. 1732-1752.2008.ISSN 1006-9283.[pdf][pdf][bib]
M. Zhou, F. Winkler.Computing difference-differential dimension polynomials by relative Groebner bases in difference-differential modules.Journal of Symbolic Computation43(10), pp. 726-745.2008.ISSN 0747-7171.[pdf][bib]
Winkler, Sendra, Perez-Diaz.Rational Algebraic Curves - A Computer Algebra Approach.Algorithms and Computation in Mathematics22,Rational Algebraic Curves edition,2008.Springer Verlag Heidelberg,RISC,978-3-540-73724-7.[bib]
2007
E. Kartashova.The role of resonance conditions in the dynamics of nonlinear waves. In: Geophysical Research Abstracts, Eds. (ed.) Vol. 9, pp. 1445-1445.2007.European Geoscience Union (EGU),issn.[url][pdf][bib]
E. Kartashova, V. L`vov.Intra-seasonal ocsillations as nonlinear planetary wave interactions. In: Geophysical Research Abstracts, Eds. (ed.) Vol.9, pp. 1449-1449.2007.European Geoscience Union (EGU),issn.[url][pdf][bib]
E. Kartashova, V. L´vov.A model of intra-seasonal oscillations in the Earth atmosphere.Physical Review Letters 98(19), pp. 198501-4.May2007.American Physical Society,ISSN: 0031-9007 (print), ISSN 1079-7114 (electronic).THIS PAPER HAS BEEN FEATURED in "Nature Physics" , Vol. 3 (6), p.368 (IMPACT FACTOR: 12.04); http://www.nature.com/nphys/journal/v3/n6/full/nphys643.html.[url][pdf][bib]
E. Kartashova, A. Kartashov.Laminated wave turbulence: generic algorithms II.CiCP (Communications in Computational Physics)2(4), pp. 783-794.2007.ISSN 1815-2406 (print), 1991-7120 (electronic).[url][pdf][bib]
E. Kartashova, S. McCallum.Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators. In: Towards Mechanized Mathematical Assistants (Proc. of MKM and Calculemus 2007), Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (ed.), Lecture Notes in Computer Science (LNCS)4573, pp. 106-115.2007.Springer, Heidelberg,ISSN 0302-9743.[url][pdf][bib]
E. Kartashova, A. Kartashov.Laminated wave turbulence: generic algorithms III.Physica A: Statistical Mechanics and Its Applications380, pp. 66-74.2007.Elsevier,0378-4371 (print).[url][pdf][bib]
E. Kartashova.Exact and quasi-resonances in discrete water-wave turbulence.Physical Review Letters98(21), pp. 214502-4.2007.American Physical Society,ISSN: 0031-9007 (print), ISSN 1079-7114 (electronic).[url][pdf][bib]
E. Kartashova.Coherent structures in wave turbulent transport - graph-theoretical approach. In: Geophysical Research Abstracts, Eds. (ed.) Vol. 9, pp. 1447-1447.2007.European Geoscience Union (EGU),issn.[url][pdf][bib]
E. Kartashova, G. Mayrhofer.Cluster formation in mesoscopic systems.Physica A: Statistical Mechanics and Its Applications385, pp. 527-542.2007.Elsevier,0378-4371 (print)..[pdf][bib]
K. Nabeshima.Comprehensive Groebner bases in various domains. RISC-Linz. PhD Thesis.April2007.[ps][pdf][bib]
K. Nabeshima.A Speed-Up Algorithm for Computing Comprehensive Groebner Systems. In: ISSAC 2007, C. W. Brown (ed.), pp. 299-306.2007.ACM-press,978-1-59593-743-8.[ps][pdf][bib]
K. Nabeshima.Reduced Groebner Bases in Polynomial Rings over a Polynomial Ring.Mathematics in Computer Science1(2), pp. ??-??.2007.Brikhauser/Springer,to appear.[pdf][ps][bib]
Katsusuke Nabeshima.Comprehensive {G}roebner {B}ases in Various Domains. Technical report no. 07-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).April2007.PhD thesis.PhD thesis.[pdf][bib]
K. Nabeshima.Comprehensive {G}roebner {B}ases in Various Domains. RISC-Linz. PhD Thesis.April2007.[pdf][bib]
J. R. Sendra, F. Winkler, S. Pérez-Díaz.Rational Algebraic Curves - A Computer Algebra Approach.Algorithms and Computation in MathematicsVol. 22,1 edition,2007.Springer-Verlag Heidelberg,ISSN 1431-1550, ISBN 978-3-540-73724-7.[bib]
E. Shemyakova, F. Winkler.A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. In: Proc. 10th Workshop on Computer Algebra in Scientific Computing (CASC-2007), V. G. Ghanza, E. W. Mayr, E. V. Vorozhtov (ed.), Proceedings of CASC-2007, Bonn, Germany, LNCS 4770, pp. 360-369.2007.Springer,ISSN 0302-9743, ISBN 3-540-75186-6.[pdf][bib]
E.Shemyakova, F.Winkler.Obstacles to the Factorization of Linear Partial Differential Operators into Several Factors.Programming and Computer Software33(2), pp. 67-73.2007.ISSN 0361-7688.Original version in Russian "Programmirovanie".[pdf][pdf][bib]
E. Shemyakova.The Parametric Factorizations of Second-, Third- and Fourth-Order Linear Partial Differential Operators on the Plane.Mathematics in Computer Science1(2), pp. 0-0.2007.1661-8270.[bib]
E. Shemyakova.Symbolic-Algebraic Methods for Linear Partial Differential Operators. Technical report no. 07-03 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).July2007.PhD thesis.[pdf][bib]
E. Shemyakova.Symbolic-Algebraic Methods for Linear Partial Differential Operators. RISC. PhD Thesis.July2007.[pdf][bib]
Shemyakova.Symbolic-Algebraic Methods for Linear Partial Differential Operators. University of Linz, Austria. PhD Thesis.July2007.[pdf][bib]
M. Zhou, F. Winkler.On Computing Groebner Bases in Rings of Differential Operators with Coefficients in a Ring.Mathematics in Computer Science1(2), pp. 211-223.2007.ISSN 1661-8270.[pdf][bib]
Meng Zhou, Franz Winkler.Computing difference-differential Groebner Bases and difference-differential dimension polynomials. Technical report no. 07-01 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).January2007.[pdf][pdf][bib]
2006
E. Kartashova.A model of laminated turbulence.Letters JETP (Letters to Journal of Experimental and Theoretical Physics)83(7), pp. 341-345.April2006.Springer,ISSN: 0021-3640 (print) 1090-6487 (electronic).[doi][pdf][bib]
E. Kartashova.A Hierarchy of Generalized Invariants for Linear Partial Differential Operators.TMPh (Journal of Theoretical and Mathematical Physics)147(3), pp. 839-846.June2006.Springer,ISSN: 0040-5779 (print), 1573-9333 (electronic).[doi][pdf][bib]
E. Kartashova.Fast Computation Algorithm for Discrete Resonances among Gravity Waves.JLTP (Journal of Low Temperature Physics)145(1), pp. 287-295.2006.Springer,ISSN: 0022-2291 (print).[url][pdf][bib]
E. Kartashova.BK-factorization as a link between symbolics and numerics. In: Book of abstracts, GAMM 2006, editor (ed.), Proceedings of GAMM 2006, pp. 413-414.2006.issn.[bib]
E. Kartashova.Theory of laminated wave turbulence: open questions. In: GIFT-2006, Proceedings, J. Calmet, W.M. Seiler, R.W. Tucker (ed.), pp. 201-224.2006.Universitätsverlag Karlsruhe,ISBN: 3-86644-035-9.[url][pdf][bib]
E. Kartashova, O. Rudenko.Invariant Form of BK-factorization and its Applications. In: GIFT-2006, Proceedings, J. Calmet, W.M. Seiler, R.W. Tucker (ed.), Proceedings of GIFT-2006, pp. 225-241.2006.Universitätsverlag Karlsruhe,ISBN: 3-86644-035-9.[url][pdf][bib]
E. Kartashova, A. Kartashov.Laminated wave turbulence: generic algorithms I.IJMPC (International Journal of Modern Physics C)17(11), pp. 1579-1596.2006.World Scientific,ISSN: 0129-1831 (print).[url][pdf][bib]
Glauco Alfredo Lopez Diaz.Symbolic Methods for Factoring Linear Differential Operators. RISC. PhD Thesis.February2006.[pdf][ps][bib]
Glauco Alfredo Lopez Diaz.Symbolic Methods for Factoring Linear Differential Operators. RISC. Technical report no. 06-02, February2006.[pdf][ps][bib]
K. Nabeshima.Reduced Groebner bases in polynomial rings over a polynomial ring. In: Internatial Conference on Mathematical Aspects of Computer and Information Sciences, Wang, D. and Zheng, Z. (ed.), pp. 15-32.2006.----.[bib]
E. Shemyakova, F. Winkler.Obstacle to Factorization of LPDOs. In: Proceedings Transgressive Computing 2006 , J. G. Dumas (ed.), Proceedings of Transgressive Computing 2006, Conference in Granada Spain, pp. 435-441.2006.Universite J. Fourier,Grenoble, France,ISBN 84-689-8391-0.[pdf][bib]
E. Shemyakova.A Full System of Invariants for Third-Order Linear Partial Differential Operators.Lecture Notes in Comput. Sci.4120, pp. 360-369.2006.0302-9743.[bib]
N. Tongsiri.Constructive Solid Geometry with Projection: An Approach to Piano Movers' Problem. RISC. Technical report, September2006.[pdf][bib]
M. Zhou, F. Winkler.Gröbner Bases in Difference-Differential Modules. In: Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC '06), J.-G. Dumas (ed.), Proceedings of ISSAC 2006, Genova, Italien, pp. 353-360.2006.ACM-Press,ISBN 1-59593-276-3.[pdf][bib]
F. Winkler.Computer Algebra and Geometry - Some Interactions. In: Proc. of Coll. on Constructive Algebra and Systems Theory (CAST), B. Hanzon and M. Hazewinkel (ed.), pp. 127-138.2006.Koninklijke Nederlandse Akademie van Wetenschappen (Königliche Niederländische Akademie der Wissenschaften),ISBN 90-6984-477-x.[pdf][bib]
M. Zhou, F. Winkler.On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring. In: Proc. First International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS), D. Wang and Z. Zheng (ed.), Proceedings of MACIS - First internat. Conf. on Mathematical Aspects of Computer and Information Sciences, pp. 45-56.2006.Beihang University, Beijing,Beihang University in Beijing,no.[pdf][bib]
2005
Christian Aistleitner.A generic implementation of differential characteristic set algorithms in Aldor. Technical report no. 05-15 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2005.[pdf][bib]
Christian Aistleitner.A generic implementation of differential characteristic set algorithms in Aldor. Johannes Kepler University, Linz, Austria. Diploma Thesis.December2005.[pdf][bib]
Rahul Athale.Symbolic Computation in Number Theory.. RISC, Johannes Kepler University Linz. PhD Thesis.2005.[bib]
MARTIN BURGER, HONG GU.Numerical-Symbolic methods for parameter-dependent geometric differential equations. J. Kepler University, SFB project. Technical report no. 1, 2005.[bib]
Hong Gu, Martin Burger.Preprocessing for Finite Element Discretizations of Geometric Problems. Technical report no. 05-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2005.accepted to be published in proceeding of SNC'05.[ps][bib]
Joachim Apel, Ralf Hemmecke.Detecting Unnecessary Reductions in an Involutive Basis Computation.Journal of Symbolic Computation40(4-5), pp. 1131-1149.2005.ISSN 0747-7171.[url][bib]
R. Beals, E. Kartashova.Constructively factoring linear partial differential operators in two variables.TMPh (Journal of Theoretical and Mathematical Physics)145(2), pp. 1510-1523.November2005.Springer,ISSN: 0040-5779 (print), 1573-9333 (electronic).[doi][dvi][bib]
E. Kartashova.Diophantine equations of nonlinear physics. Part 1. Technical report no. 05-11 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).042005.[pdf][bib]
E. Kartashova, A. Shabat.Computable Integrability. Chapter 1: General notions and ideas. Technical report no. 05-07 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).042005.[pdf][bib]
E. Kartashova.BK-factorization and Darboux-Laplace transformations. In: Proc. CSC'05 (The 2005 International Conference on Scientific Computing, June 20-23 Las Vegas), H. R. Arabnia, G.A. Gravvanis (ed.), Proceedings of The 2005 International Conference on Scientific Computing, June 20-23 Las Vegas, pp. 144-150.2005.CSREA Press, USA,ISBN: 1-932415-62-9.[dvi][bib]
E. Kartashova, A. Shabat.Computable Integrability. Chapter 2: Riccati equation. Technical report no. 05-08 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).82005.[pdf][bib]
E. Kartashova, A. Shabat.Computable Integrability. Chapter 3: Integrability of linear PDEs. Technical report no. 05-09 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).92005.[pdf][bib]
G. Landsmann, P.Mayr and J.Schicho.A topological property of polynomial functions on GL(2, R).Aequationes, pp. -.2005.0.[bib]
G. Landsmann, P.Mayr and J.Schicho.A topological criterion for polynomiality.Proc. Algorithmic Algebra and Logic, pp. 155-158.2005.Norderstedt,0.[bib]
K. Nabeshima.A Direct Products of Fields Approach to Comprehensive Gröbner Bases over Finite Fields. In: 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05), Petcu, D. (ed.), Proceedings of 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC05), pp. 10-17.2005.to appear in IEEE Press.[bib]
K. Nabeshima.A computation method for ACGB-V. In: Algorithm Algebra and Logic (A3L) 2005, Dolzmann, A., Seidl, S., and Sturm, T. (ed.), Proceedings of Algorithm Algebra and Logic 2005, Conference in Honor of the 60th Birthday of Volker Weispfenning, pp. 173-180.April2005.BOD Norderstedt,ISBN 3-8334-2669-1.[url][bib]
K. Nabeshima.A Direct Products of Fields Approach to Comprehensive Gröbner Bases over Finite Fields. In: ACA 2005, Shirayanagi, K. (ed.), Proceedings of Conference on Applications of Computer Algebra, pp. 54-55.August2005.4-903027-02-3.[url][bib]
F.Winkler and M.Zhou.On computing Groebner bases in rings of differential operators with coefficients in a ring. Technical report no. 05-04 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2005.[pdf][bib]
M. Borges-Quintana, M. A. Borges-Trenard, E. Martinez-Moro, F. Winkler.Using Groebner bases for determining the equivalence of linear codes and solving the decoding problem. Technical report no. 05-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2005.[ps][bib]
Meng Zhou and Franz Winkler.Grobner bases in difference-differential modules and their applications. Technical report no. 05-14 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October2005.[ps][pdf][bib]
C.Piazza, M.Antoniotti, V.Mysore, A.Policriti, F.Winkler, B.Mishra..Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. In: Proceedings Computer Aided Verification (CAV 2005), K. Etessami and S.K.Rajamani (ed.), LNCS3576, pp. 5-19.July2005.Springer,The Univ. of Edinburgh,ISSN 0302-9743, ISBN 3-540-27231-3.[pdf][bib]
2004
Rahul Athale.Symbolic computation in number theory. Technical report no. 04-20 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).2004.[pdf][bib]
HONG GU, STEFAN KINDERMANN.Solution analysis of denoising equations related to the Mumford-Shah functional. In: Proceedings of The 7th International Conference of Computational Structure Technology, B. H. V. Topping and C. A. Mota Soares (ed.), pp. 242-243.2004.Civil-Comp Press,Stirling, UK,0-948749-95-4.[url][bib]
Erik Hillgarter, Ralf Hemmecke, Günter Landsmann, Franz Winkler.Symbolic Differential Elimination for Symmetry Analysis.Mathematical and Computer Modelling of Dynamical Systems10(2), pp. 123-147.2004. ISSN 1387-3954.[url][pdf][bib]
A. Kondratyev, H.J. Stetter, F. Winkler.Numerical Computation of Gröbner Bases. In: Proc. 7th Workshop on Computer Algebra in Scientific Computing (CASC-2004), V.G. Ghanza, E.W. Mayr, E.V. Vorozhtov (ed.), Proceedings of CASC-2004, St. Petersburg, pp. 295-306.2004.Technische Univ. Muenchen,Techn. Univ. München,ISBN 3-9808546-2-0.[pdf][bib]
G.Landsmann.The Construction of Universal Objects in Differential Algebra. In: Proceedings of the 8th World Multi-Conference in Systemics, Cybernetics and Informatics, SCI2004, Nagib Callaos (ed.), Computer Science and Engineering5, pp. 310-317.2004.980-6560-13-2.[bib]
Giovanna Roda.Algorithms for Change of Orderings in the Theory of Gröbner Bases.. RISC, Johannes Kepler University Linz. PhD Thesis.2004.[bib]
2003
HONG GU, STEFAN KINDERMANN.Solution analysis of PDEs related to the Mumford-Shah functional with symbolic computation. J. Kepler University, SFB project. Technical report no. 17, 2003.[bib]
HONG GU.Graphical Solutions to the Plateau Problem. RISC-Linz, J. Kepler University. PhD Thesis.2003.[bib]
HONG GU.Solving Parameter-dependent Elliptic Problems by Finite Element Method and Symbolic Computation (Extend abstract). In: Proceeding of the International Conference on Numerical Analysis and Computational Mathematics, G.Psihoyois (ed.), pp. 79-82.2003.Wiley-VCH Verlag GmbH & Co. KGaA,Weinheim,3-527-40462-7.[bib]
HONG GU.Generating Minimal Surfaces Subject to the Plateau Problems by the Finite Element Method. In: Proceeding of the 5th International Conference of Numerical Methods and Applications, Ivan Dimov, Ivan Lirkov, Svetozar Margenov and Zahari Zlatev (ed.), Springer Lecture Notes in Computer Science2542, pp. 471-478.2003.0302-9743.[bib]
Ralf Hemmecke.Involutive Bases for Polynomial Ideals. Technical report no. 03-02 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).May2003.PhD Thesis.[ps][bib]
Ralf Hemmecke.Dynamical Aspects of Involutive Bases Computations. In: Symbolic and Numeric Scientific Computation, Franz Winkler and Ulrich Langer (ed.)2630, pp. 168-182.2003.Springer Verlag,ISBN 3-540-40554-2.[url][bib]
Ralf Hemmecke.Involutive Bases for Polynomial Ideals. Research Institute for Symbolic Computation. PhD Thesis.Johannes Kepler University, Linz, Austria,February2003.[url][bib]
R. Hemmecke, E. Hillgarter, G. Landsmann, F. Winkler.Symbolic Differential Elimination for Symmetry Analysis. In: Proc. 4th IMACS Symposium on Mathematical Modelling, F. Breitenecker, I. Troch (ed.), pp. 790-796.Feb.2003.Techn. Univ. Vienna,ISBN 3-901608-24-9.[pdf][bib]
R. Hemmecke, E. Hillgarter, F. Winkler.CASA. In: Handbook of Computer Algebra: Foundations, Applications, Systems, J. Grabmeier, E. Kaltofen, V. Weispfenning (ed.), pp. 356-359.2003.Springer-Verlag,ISBN 3-540-65466-6.[pdf][bib]
Erik Hillgarter, Ralf Hemmecke, Günter Landsmann, Franz Winkler.Symbolic Differential Elimination Theory for Symmetry Analysis. Technical report no. 03-12 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October2003.[ps][bib]
Erik Hillgarter.A Contribution to the Symmetry Classification Problem for 2nd Order PDEs in one Dependent and two Independent Variables. RISC, Johannes Kepler University Linz. PhD Thesis.2003.[bib]
Aleksey Kondratyev.Numerical Computation of Groebner Bases. RISC, Johannes Kepler University Linz. PhD Thesis.2003.[bib]
B. Mishra, F. Winkler, et al..A Sence of Life: Computational and Experimental Investigations with Models of Biochemical and Evolutionart Processes.OMISC - A Journal of Integrative Biology7(3), pp. 253-268.2003.ISSN 1536-2310.special issue on BioCOMP (ed. S. Kumar).[pdf][bib]
F. Winkler.Parametric Curves. In: Proc. 23th Conf. on Geometry and Computer Graphics, Hojsova Straz-Brcalnik/Plzen, M. Lavicka (ed.), Proceedings of Proc. 23th Conf. on Geometry and Computer Graphics, pp. 25-26.2003.ISBN 80-7082-943-5.[pdf][bib]
2002
HONG GU.The Finite Element Approximation to the Minimal Surfaces Subject to the Plateau Problems. In: Proceedings of The Sixth International Conference on Computational Structure Technology, B. H. V. Topping and Z. Bittnar (ed.), pp. 19-20.2002.Civil-Comp Press,Stirling, UK,0-948749-83-0.[url][bib]
Joachim Apel, Ralf Hemmecke.Detecting Unnecessary Reductions in an Involutive Basis Computation. Technical report no. 02-22 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October2002.[ps][bib]
Ralf Hemmecke.Continuously Parameterized Symmetries and Buchberger's Algorithm.Journal of Symbolic Computation33(1), pp. 43-55.January2002.0747-7171.[bib]
E. Kartashova, A. Samoilov.Online Regelung eines Kaltwalz- bzw. Dressierprozesses.Austrian Patent, pp. 1-25.2002.B21B 37/16 (37/18), A 302/2002. Issued February 27, 2002.[bib]
G.Landsmann.Implicitization of Algebraic Varieties. In: Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, SCI2002, Nagib Callaos (ed.), Computer Science 211, pp. 290-296.July2002.Orlando, Florida, USA,980-07-8150-1.[bib]
G.Landsmann.Implicitization of Algebraic Varieties. RISC-Linz. Technical report no. 02-18, 2002.[bib]
F. Winkler.Computational Ring Theory. In: The Concise Handbook of Algebra, A.V. Mikhalev, G.F. Pilz (ed.), section C54, pp. 347-350.2002.Kluwer Acad. Publishers,ISBN 0-7923-7072-4.[pdf][bib]
F. Winkler.Advances in Algebraic Geometric Computation. In: Proc. Internat. Conf. on Algebra and its Applications (ICAA 2002), Y. Kemprasit (ed.), Proceedings of ICAA 2002, Bangkok, Thailand, pp. 107-120.2002.ISBN 970-13-2182-1.[pdf][bib]
2001
M.Borges Quintana, M.A. Borges Trenard, F. Winkler.An Application of the FGLM Techniques to Linear Codes. In: 4th Italien-Latin American Conference on Applied and Industrial Mathematics (Havanna 2001), D. Martinez Morera, L. Alvarez Diaz, L. Lera Marques (ed.), Proceedings of Proc. 4th Italien-Latin American Conference on Applied and Industrial Mathematics, pp. 280-286.2001.Inst. Cybern. Math. Phys., Havanna, Cuba,ISBN 959-7056-13-5.[pdf][bib]
Ralf Hemmecke.Dynamical Aspects of Involutive Bases Computations. Technical report no. 01-28 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2001.presented at ACA'2001, Albuquerque, New Mexico, June, 2001.[ps][bib]
G. Landsmann, J. Schicho, F. Winkler.The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares.Journal of Symbolic Computation32(1&2), pp. 119-132.2001.ISSN 0747-7171.[ps][pdf][bib]
J.R. Sendra, F. Winkler.Computation of the Degree of a Rational Map between Curves. In: International Symposium on Symbolic and Algebraic Computation (ISSAC'01), B. Morrain (ed.), Proceedings of ISSAC'01, London, Ontario, Canada, pp. 317-322.2001.ACM-Press,ISBN 1-58113-417-7.[pdf][ps][bib]
J.R. Sendra, F. Winkler.Tracing Index of Rational Curve Parametrizations.Computer Aided Geometric Design 18, pp. 771-795.2001.ISSN 0167-8396.[pdf][bib]
2000
M. Borges Quintana, F. Winkler, M.A. Borges Trenard.An FGLM Method for Decoding Linear Codes. In: Encuentro de Algebra Computational y Aplicaciones (EACA-2000), A. Montes (ed.), Proceedings of EACA-2000, Barcelone, Spanien, pp. 117-128.2000.Univ. Politecnica de Catalunya,ISBN 84-699-3037-0.[pdf][bib]
Ralf Hemmecke, Franz Winkler.CASA User Manual (Version CASA 2.5). Technical report no. 00-30 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).December2000.RISC Report.[ps][bib]
G. Landsmann, J. Schicho, F. Winkler, E. Hillgarter.Symbolic Parametrization of pipe and Canal Surfaces. In: International Symposium on Symbolic and Algebraic Computation (ISSAC'00), C. Traverso (ed.), Proceedings of ISSAC'00, St. Andrews, Scotland, pp. 202-208.2000.ACM-Press,ISBN 1-58113-218-2.[pdf][ps][bib]
C. Mittermaier, W. Schreiner, F. Winkler.A Parallel Symbolic-Numerical Approach to Algebraic Curve Plotting. In: 3rd Workshop on Computer Algebra in Scientific Computing (CASC-2000), V.G. Ghanza, E.W. Mayr, E.V. Vorozhtsov (ed.), Proceedings of CASC-2000, pp. 301-314.2000.Springer-Verlag,ISBN 3-540-41040-6.[ps][pdf][bib]
W. Schreiner, C. Mittermaier, F. Winkler.Plotting Algebraic Space Curves by Cluster Computing. In: Computer Mathematics (ASCM 2000), X.-S. Gao and D. Wang (ed.), Proceedings of Proc. of ASCM 2000, pp. 49-58.2000.World Scientific Publishers, Singapore/River Edge,ISBN 9-81024-498-3.[25_paper][bib]
W. Schreiner, C. Mittermaier, F. Winkler.On Solving Problem in Algebraic Geometry by Cluster Computing. In: Proceedings EURO-PAR 2000, A. Bode, T. Ludwig, W. Karl, R. Wismueller (ed.), Proceedings of Proc. EURO-PAR 2000, München, Germany, Aug./Sept. 2000, pp. 1196-1200.2000.Springer-Verlag Berlin, Lecture Notes in Computer Science,ISBN 3-540-67956-1.[22_europar2000][bib]
W. Schreiner, C. Mittermaier, F. Winkler.Analyzing Algebraic Curves by Cluster Computing. In: Distributed and Parallel Systems - From Instruction Parallelism to Cluster Computing, P. Kacsuk and G. Kotsis (ed.), Proceedings of Proc. of DAPSYS'2000 (Austrian-Hungarian Workshop on Distributed and Parallel Systems), pp. 49-58.September2000.Kluwer Acad. Publishers, Boston,ISBN 0-79237-892-X.[24_dapsys2000][bib]
Peter Stadelmeyer.On the Computational Complexity of Resolving Curve Singularities and Related Problems. RISC, Johannes Kepler University Linz. PhD Thesis.2000.[bib]
F. Winkler.Advances and Problems in Algebraic Computation. In: Contributions to General Algebra 12, D. Dorninger (ed.), Proceedings of Proc. AAA'58, Vienna, pp. 51-70.2000.Verlag Johannes Heyn, Klagenfurt,ISBN 3-85366-951-4.[pdf][ps][bib]
1999
W.Herfort, G.Landsmann.Simultaneous Existence of Right Inverses for 1-ab and 1-ba.. RISC Linz. Technical report no. 99-26, 1999.[bib]
J.R. Sendra, F. Winkler.Algorithms for Rational Real Algebraic Curves.Symbolic Computation and Artificial Intelligence39(1-2), pp. 211-228.1999.Fundamenta Informaticae,ISSN 0169-2968.Fukndamenta Informaticae.[ps][pdf][bib]
1998
B. Buchberger, F. Winkler (ed.).Gröbner Bases and Applications - Proceedings of 33 Years of Gröbner Bases.London Mathematical Society Lecture Note Series 251,1 edition,March1998.Cambridge University Press,ISBN-10: 0521632986; ISBN-13: 978-0521632980.[bib]
E. Hillgarter, F. Winkler.Points on Algebraic Curves and the Parametrization Problem. In: Automated Deduction in Geometry, D. Wang (ed.), LNAI 1360, pp. 189-207.1998.Springer-Verlag Berlin Heidelberg,ISSN 0302-9743; ISBN 3-540-64297-8.[pdf][bib]
Ralf Hemmecke, Erik Hillgarter, Wolfgang Schreiner, Franz Winkler.An Evaluation of the State of the CASA System. Technical report no. 98-16 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. ISSN 2791-4267 (online).October1998.[ps][bib]
Elena Kartashova.Wave resonances in systems with discrete spectra. In: Nonlinear Waves and Weak Turbulence, V.E. Zakharov (ed.), AMS Translations 2182, pp. 95-130.1998.American Mathematical Society,0821841130.[url][bib]
J.R. Sendra, F. Winkler.Real Parametrization of Algebraic Curves. In: Artificial Intelligence and Symbolic Computation, J. Calmet and J. Plaza (ed.), Proceedings of Proc. Internat. Conf. AISC'98, LNAI 1476, pp. 284-295.1998.Springer-Verlag,ISBN 3-540-64960.[pdf][bib]
F. Winkler.Geometric Algorithms Based on Computer Algebra. In: Mathematical Theory of Networks and Systems, A. Beghi, L. Finesso, G. Picci (ed.), Proceedings of Proc. MTNS-98 Symposium (II. Poligrafo, Padova, italy, 1998), pp. 681-684.1998.Poligrafo, Padova, Italy,ISBN 88-7115-117-8.[pdf][bib]
1997
J.R. Sendra, F. Winkler.Parametrization of Algebraic Curves over Optimal Field Extentions.Journal of Symbolic Computation23(2&3), pp. 191-207.1997.ISSN 0747-7171.[pdf][ps][bib]
Tran Q.-N., F. Winkler.An Overview of CASA - A System for Computational Algebra and Constructive Algebraic Geometry.SAC Newletter2, pp. 63-72.1997.ISSN 1386-2634.[pdf][bib]
1996
Ziming Li.A Subresultant Theory for Linear Differential, Linear Difference and Ore Polynomials. RISC, Johannes Kepler University Linz. PhD Thesis.1996.[pdf][bib]
M. Mnuk, F. Sendra, F. Winkler.On the Complexity of parametrizing Curves.Beiträge zur Algebra und Geometrie37(2), pp. 309-328.1996.Heldermann Verlag,ISSN 0138-4821.[32_paper][bib]
M. Mnuk, F. Winkler.CASA - A System for Computer Aided Constructive Algebraic Geometry. In: International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO'96), J. Calmet, C. Limongelli (ed.), Proceedings of DISCO'96 (Karlsruhe, Germany, September 1996), LNCS 1128, pp. 297-307.October1996.Springer-Verlag,ISBN-10: 3540616977; ISBN-13: 978-3540616979.[pdf][bib]
Quoc-Nam Tran.A Hybrid Symbolic-Numerical Approach in Computer Aided Geometric Design (CAGD) and Visualization. RISC, Johannes Kepler University Linz. PhD Thesis.1996.[bib]
F. Winkler.Algebraic Computation in Geometry.J. of Mathematics and Computers in Simulation42(4-6), pp. 529-537.1996.ISSN 0378-4754.[pdf][bib]
F. Winkler.Parametrized Solutions of Algebraic Equations.J. of Mathematics and Computers in Simulation42(4-6), pp. 333-338.1996.ISSN 0378-4754.[pdf][bib]
F. Winkler.Polynomial Algorithms in Computer Algebra.Texts and Monographs in Symbolic Computation,1 edition,1996.Springer-Verlag Wien New York,ISBN 3-211-82759-5.[bib]
1995
Mark Encarnacion.Faster Algorithms for Reconstructing Rationals, Computing Polynomial GCDs, and Factoring Polynomials. RISC, Johannes Kepler University Linz. PhD Thesis.1995.[bib]
Elena Kartashova.On large-scale dynamics of weakly nonlinear wave systems. In: Advanced Series in Nonlinear Dynamics 7, Mielke A., Kirchgässner K. (ed.), pp. 282-290.1995.World Scientific,981022124X.[bib]
Elena Kartashova.Applicability of Weakly Nonlinear Theory for Planetary-Scale Flows. KNMI (Koninklijk Nederlands Meteorologisch Instituut). Technical report no. WR 95-03, KNMI, DeBilt, The Netherlands, Scientific Report, 1995.[url][bib]
Michal Mnuk.Algebraic and Geometric Approach to Parametrization of Rational Curves. RISC, Johannes Kepler University Linz. PhD Thesis.1995.[bib]
F. Winkler.Computer Algebra - Problems and Developments. In: Computer Algebra in Industry 2 (SCAFI'92), S. M. Verduyn Lunel (ed.), Proceedings of SCAFI'92, pp. 1-17.March1995.J. Wiley & Sons,ISBN-10: 0471955299; ISBN-13: 978-0471955290.[pdf][bib]
1994
R. Folk, A. Kartashov, E. Kartashova.A neural network capable of invariant recognition of recurrent patterns in data time series.J. Neural Network World6, pp. 689-698.1994.isbn.[bib]
Elena Kartashova.Towards H-mode discharge explanation?. In: Current Topics in Astrophysical and Fusion Plasma, Heyn M.F., Kernbichler W., and Biernat K. (ed.), pp. 179-184.1994.Verlag für die Technische Universität Graz,isbn.[bib]
Elena Kartashova.Weakly nonlinear theory of finite-size effects in resonators.Physical Review Letters72, pp. 2013-2016.1994.American Physical Society,ISSN 1079-7114 (online), 0031-9007 (print).[url][bib]
Elena Kartashova.Clipping - a new investigation method for PDEs in compact domains.Theoretical and Mathematical Physics99, pp. 675-680.1994.Springer,ISSN: 0040-5779 (print), 1573-9333 (electronic)..[url][bib]
F. Winkler.On Symbolic Parametrization of Algebraic Curves. In: 14th IMACS World Congress, W.F. Ames (ed.), Proceedings of 14th IMACS World Congress, Atlanta, Georgia3, pp. 1542-1544.1994.ISSN 1542-1544.[pdf][bib]
1993
G.M. Reznik, L.I.Piterbarg, E.A. Kartashova.Nonlinear interactions of spherical Rossby waves.Dynamics of Atmosphere and Oceans18, pp. 235-252.1993.Elsevier,ISSN: 0377-0265.[bib]
Bernhard Wall.Symbolic Computation with Algebraic Sets. RISC, Johannes Kepler University Linz. PhD Thesis.1993.[bib]
F. Winkler.Computer Algebra: Principles. In: Encyclopedia of Computer Science, Concise Encyclopedia of Computer Science, A. Ralston, E.D. Reilly (ed.), pp. 227-231.1993.Van Nostrand Reinhold, Wiley,ISBN-10: 0-333-77879-0, ISBN-13: 0-470-09095-2.[pdf][bib]
1992
E. A. Kartashova, G.M. Reznik.Interactions between Rossby waves in bounded regions.Oceanology31, pp. 385-389.1992.American Geophysical Union,issn.[bib]
Elena Kartashova.Resonant interactions of water waves with discrete spectra. In: Proc. NWWW, D.H. Peregrine (ed.), Proceedings of Nonlinear Water Waves Workshop (NWWW), pp. 43-53.1992.Bristol University, UK,ISBN: 0862923905.[bib]
B. Kutzler, B. Wall, F. Winkler.Mathematische Expertensysteme - Praktisches Arbeiten mit den Computer-Algebra-Systemen MACSYMA, Mathematica und DERIVE.1 edition,1992.Expert Verlag,Ehningen bei Böblingen,ISBN 3-8169-0908-6.[bib]
F. Winkler.Computer Algebra. In: Encyclopedia of Physical Science and Technology Vol. 4, R.A. Meyers (ed.), pp. 0-0.1992.Academic Press,no.[pdf][bib]
F. Winkler.Automated Theorem Proving in Nonlinear Geomatry. In: Issues in Robotics and Nolinear Geometry, C. Hoffmann (ed.), Chapter Advances in Computing Research6, pp. 183-197.December1992.JAI Press,ISBN-13: 9781559383424; ISBN: 1559383429.[pdf][bib]
1991
Elena Kartashova.On properties of weakly nonlinear wave interactions in resonators.Physica D54, pp. 125-134.1991.Elsevier,ISSN: 0167-2789.[url][bib]
E. A. Kartashova, G.M. Reznik.Rossby waves interactions in rectangular basins [in Russian].OkeanologiaXXXI(4), pp. 533-539.1991.ISSN PRINT: 0030-1574.[bib]
J.R. Sendra, F. Winkler.Symbolic Parametrization of Curves.Journal of Symbolic Computation12(6), pp. 607-631.1991.ISSN 0747-7171.[ps][pdf][bib]
F. Winkler.Representation of Algebraic Curves. In: IV International Conference on Computer Algebra in Physical Research, V.P. Gerdt (ed.), pp. 185-189.1991.World Scientific,ISBN-10: 9810206879; ISBN-13: 978-9810206871.[pdf][bib]
R. Gebauer, M. Kalkbrener, B. Wall, F. Winkler.CASA: A Computer Algebra Package for Constructive Algebraic Geometry. In: International Symposium on Symbolic and Algebraic Computation (ISSAC'91), S. M. Watt (ed.), pp. 403-410.July1991.ACM Press,ISBN:0-89791-437-6.[pdf][bib]
1990
Elena Kartashova.Partitionig of ensembles of weakly interacting dispersing waves in resonators into disjoint classes.Physica D46, pp. 43-56.1990.Elsevier,ISSN:0167-2789.[url][bib]
E. A. Kartashova, L.I. Piterbarg, G.M. Reznik.Weakly nonlineaar interactions between Rossby waves on a sphere.Oceanology29, pp. 405-411.1990.American Geophysical Union,issn.[bib]
Elena Kartashova.Resonant Interactions of Rossby waves in Bounded Domains [in Russian]. P.P.Shirshov Institute for Oceanology, USSR Academy of Sciences, Moscow. PhD Thesis.December1990.[bib]
B. Kutzler, F. Lichtenberger, F. Winkler.Softwaresysteme zur Formelmanipulation - Praktisches Arbeiten mit den Computer-Algebra-Systemen REDUCE, MACSYMA und DERIVE.1 edition,1990.Expert Verlag,Ehningen bei Böblingen,ISBN 3-8169-0445-9.[bib]
F. Winkler.Solution of Equations I: Polynomial Ideals and Groebner Bases. In: Computers and Mathematics, R.D. Jenks, D. Chudnovsky (ed.)125, pp. 383-407.1990.Marcel Dekker,ISBN-10: 0824783417; ISBN-13: 978-0824783419.[pdf][bib]
F. Winkler.Groebner Bases in Geometry Theorem Proving and Simplest Degeneracy Conditions.Mathematica Pannonica1(1), pp. 15-32.1990.no.[pdf][bib]
1989
Kartashov A.P., Kartashova E.A..Construction of netwroks of neuron-like elements with acyclic activity and exponential delay time.Automation and Remote Control2, pp. 147-157.1989.Springer,ISSN PRINT: 0005-1179, ISSN ONLINE: 1608-3032.[bib]
Kartashova E.A., Piterbarg L.I., Reznik G.I..Resonant inteeractions of spherical Rossby waves [in Russian].OkeanologiaXXIX(4), pp. 533-542.1989.USSR Academy of Sciences,ISSN PRINT: 0030-1574.[bib]
F. Winkler.A Geometrical Decision Algorithm Based on the Groebner Bases Algorithm. In: International Symposium on Symbolic and Algebraic Computation (ISSAC'88), P. Gianni (ed.)358, pp. 356-363.September1989.Springer-Verlag Lecture Notes in Computer Science,ISBN-10: 3540510842; ISBN-13: 978-3540510840.[pdf][bib]
F. Winkler.Equational Theorem Proving and Rewrite Rule Systems. In: 5. Österreichische Artificial-Intelligence-Tagung, J. Retti and K. Leidlmair (ed.), Informatik Fachberichte 208, pp. 26-39.1989.Springer-Verlag,ISBN:3-540-51039-7.[pdf][bib]
A. Kandri-Rody, D. Kapur, F. Winkler.Knuth-Bendix Procedure and Buchberger Algorithm - A Synthesis. In: International Symposium on Symbolic and Algebraic Computation (ISSAC'89), G. H. Gonnet (ed.), pp. 55-67.July1989.ACM Press,ISBN 0-89791-325-6.[pdf][bib]
1988
Kartashova E.A..Weakly nonlinear interactions of spherical Rossby waves and transition to beta-plane [in Russian]. In: Proceedings, ed (ed.), Proceedings of Conference of Young Scientists, P.P.Shirshov Institute for Oceanology, pp. 21-25.1988.Institute of Oceanology, USSR Academy of Sciences,issn.[bib]
F. Winkler.A p-adic Approach to the Computation of Gröbner Bases.Journal of Symbolic Computation6(2&3), pp. 287-304.1988.Elsevier,ISSN 0747-7171.[pdf][bib]
1987
F. Winkler.Computer Algebra.The Encyclopedia of Physical Science and Technology, pp. 0-0.1987.R. A. Meyers, Academic Press,ISBN-10: 0122274105 ; ISBN-13: 978-0122274107.Updated version in "The Encyclopedia of Physical Science and Technology Vol. 4", 1992.[bib]
1986
F. Winkler, B. Buchberger.A Criterion for Eliminating Unnecessary Reductions in the Knuth-Bendix Algorithm. In: Proceedings of Algebra and Logic in Computer Science, Gyor, Hungary, J. Demetrovics, G. Katona, A. Salomaa (ed.), Colloquia Mathematica Societatis Janos Bolyai42, pp. 849-869.September1986.North Holland,ISBN-10: 0444986952; ISBN-13: 978-0444986955.[pdf][bib]
1985
F. Winkler, B. Buchberger, F. Lichtenberger, H. Rolletschek.Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals.ACM Transactions on Mathematical Software11(1), pp. 66-78.March1985.ACM,no.[pdf][bib]
F. Winkler.Reducing the Complexity of the Knuth-Bendix Completion Algorithm: A "Unification" of Different Approaches. In: European Conference on Computer Algebra (EUROCAL'85), B. Buchberger (ed.), pp. 378-389.October1985.Springer Berlin,ISBN 978-3-540-15983-4.[pdf][bib]
1984
F. Winkler.The Church-Rosser Property in Computer Algebra and Special Theorem Proving: An Investigation of Critical-Pair/Completion Algorithms.1 edition,1984.Verband der Wissenschaftlichen Gesellschaften Österreichs,ISBN 3-85369-584-1.Ph.D. dissertation.[bib]
F. Winkler.On the Complexity of the Gröbner-Bases Algorithm over K[x, y, z]. In: International Symposium on Symbolic and Algebraic Computation (EUROSAM'84), J. Fitch (ed.), pp. 184-194.June1984.Springer-Verlag,Cambridge, England,ISBN 978-3-540-13350-6.[pdf][bib]
Franz Winkler.The Church-Rosser Property in Computer Algebra and Special Theorem Proving. RISC, Johannes Kepler University Linz. PhD Thesis.1984.[bib]
1983
F. Winkler.An Algorithm for Constructing Detaching Bases in the Ring of Polynomials over a Field. In: European Computer Algebra Conference (EUROCAL'83), J. A. van Hulzen (ed.), LNCS 162, pp. 168-179.March1983.Sringer-Verlag,ISBN-10: 3540128689; ISBN-13: 978-3540128687.[pdf][pdf][bib]
1982
G.E. Collins, M. Mignotte, F. Winkler.Arithmetic in Basic Algebraic Domains. In: Computer Algebra - Symbolic and Algebraic Computation, B. Buchberger, G.E. Collins, R. Loos (ed.), pp. 189-220.1982.Springer-Verlag,ISSN 0163-5824.[pdf][bib]
1979
B. Buchberger, F. Winkler.Miscellaneous Results on the Construction of Groebner-Bases for Polynomial Ideals. Johannes Kepler University, Technisch-Naturwissenschaftliche Fakultaet, Insitut fuer Mathematik. Technical report no. 137, June1979.[bib]