Franz Winkler

Yanli Huang, L. X. Châu Ngô, Franz Winkler: Rational General Solutions of Trivariate Rational Differential Systems. Mathematics in Computer Science 6(4): 361-374 (2012)

L. X. Châu Ngô, Franz Winkler: Rational general solutions of planar rational systems of autonomous ODEs. J. Symb. Comput. 46(10): 1173-1186 (2011)

Franz Winkler: What can Symbolic Computation Contribute to Mathematics? SYNASC 2011: 19-20

Franz Winkler (Ed.): Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings. Lecture Notes in Computer Science 6742, Springer 2011, isbn 978-3-642-21492-9

L. X. Châu Ngô, Franz Winkler: Rational general solutions of first order non-autonomous parametrizable ODEs. J. Symb. Comput. 45(12): 1426-1441 (2010)

Franz Winkler: Canonical Reduction Systems in Symbolic Mathematics. CAI 2009: 123-135

Meng Zhou, Franz Winkler: Computing difference-differential dimension polynomials by relative Gröbner bases in difference-differential modules. J. Symb. Comput. 43(10): 726-745 (2008)

Meng Zhou, Franz Winkler: On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring. Mathematics in Computer Science 1(2): 211-223 (2007)

Ekaterina Shemyakova, Franz Winkler: On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators. ASCM 2007: 199-212

Ekaterina Shemyakova, Franz Winkler: A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. CASC 2007: 360-369

Franz Winkler, Ekaterina Shemyakova: Symbolic and Algebraic Methods for Linear Partial Differential Operators. CASC 2007: 423

Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler: Bruno Buchberger - A life devoted to symbolic computation. J. Symb. Comput. 41(3-4): 255-258 (2006)

Meng Zhou, Franz Winkler: Gröbner bases in difference-differential modules. ISSAC 2006: 353-360

Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra: Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. CAV 2005: 5-19

Franz Winkler (Ed.): Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers. Lecture Notes in Computer Science 2930, Springer 2004, isbn 3-540-20927-1

Franz Winkler, Ulrich Langer (Eds.): Symbolic and Numerical Scientific Computation, Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers. Lecture Notes in Computer Science 2630, Springer 2003, isbn 3-540-40554-2

J. Rafael Sendra, Franz Winkler: Tracing index of rational curve parametrizations. Computer Aided Geometric Design 18(8): 771-795 (2001)

Günter Landsmann, Josef Schicho, Franz Winkler: The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares. J. Symb. Comput. 32(1/2): 119-132 (2001)

J. Rafael Sendra, Franz Winkler: Computation of the degree of rational maps between curves. ISSAC 2001: 317-322

Quoc-Nam Tran, Franz Winkler: Special Issue on Applications of Gröbner Bases - Foreword of the Guest Editors. J. Symb. Comput. 30(4): 339-340 (2000)

Wolfgang Schreiner, Christian Mittermaier, Franz Winkler: On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note). Euro-Par 2000: 1196-1200

Günter Landsmann, Josef Schicho, Franz Winkler, Erik Hillgarter: Symbolic parametrization of pipe and canal surfaces. ISSAC 2000: 202-208

J. Rafael Sendra, Franz Winkler: Algorithms for Rational Real Algebraic Curves. Fundam. Inform. 39(1-2): 211-228 (1999)

J. Rafael Sendra, Franz Winkler: Real Parametrization of Algebraic Curves. AISC 1998: 284-295

J. Rafael Sendra, Franz Winkler: Parametrization of Algebraic Curves over Optimal Field Extensions. J. Symb. Comput. 23(2/3): 191-207 (1997)

Erik Hillgarter, Franz Winkler: Points on Algebraic Curves and the Parametrization Problem. Automated Deduction in Geometry 1996: 189-207

Michal Mnuk, Franz Winkler: CASA - A System for Computer Aided Constructive Algebraic Geometry. DISCO 1996: 297-307

J. Rafael Sendra, Franz Winkler: Symbolic Parametrization of Curves. J. Symb. Comput. 12(6): 607-632 (1991)

R. Gebauer, Michael Kalkbrener, B. Wall, Franz Winkler: CASA: A Computer Algebra Package for Constructive Algebraic Geometry. ISSAC 1991: 403-410

Franz Winkler: Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis. ISSAC 1989: 55-67

Franz Winkler: Equational Theorem Proving and Rewrite Rule Systems. ÖGAI 1989: 26-39

Franz Winkler: A p-Adic Approach to the Computation of Gröbner Bases. J. Symb. Comput. 6(2/3): 287-304 (1988)

Franz Winkler: A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm. ISSAC 1988: 356-363

Franz Winkler, Bruno Buchberger, Franz Lichtenberger, Heinrich Rolletschek: Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. ACM Trans. Math. Softw. 11(1): 66-78 (1985)

Franz Winkler: Reducing the Complexity of the Knuth-Bendix Completion-Algorithm: A "Unification" of Different Approaches. European Conference on Computer Algebra (2) 1985: 378-389

Franz Winkler: On the Complexity of the Groebner-Bases Algorithm over K[x, y, z]. EUROSAM 1984: 184-194

Franz Winkler: An algorithm for constructing detaching bases in the ring of polynominals over a field. EUROCAL 1983: 168-179