An algorithm for constructing detaching bases in the ring of polynominals over a field. - Franz Winkler 001 (EUROCAL, 1983)

A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. - Franz Winkler 001; Bruno Buchberger (SIGSAM Bull., 1983)

On the Complexity of the Groebner-Bases Algorithm over K[x, y, z]. - Franz Winkler 001 (EUROSAM, 1984)

The Church-Rosser property in computer algebra and special theorem proving: an investigation of critical-pair/completion algorithms (Ph.D. thesis). - Franz Winkler 001 (SIGSAM Bull., 1984)

The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms. - Franz Winkler 001 (1984)

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

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

AAECC-3 Abstracts. - Franz Winkler 001 (SIGSAM Bull., 1986)

SYMSAC'86 Abstracts. - Franz Winkler 001 (SIGSAM Bull., 1986)

Abstracts of papers that appeared in the Journal of Symbolic Computation. - Franz Winkler 001 (SIGSAM Bull., 1987)

Abstracts of Technical Reports Computer Science Branch, Corporate Research and Development, General Electric Company, Schenectady, NY 12345 (GE). - Franz Winkler 001 (SIGSAM Bull., 1987)

Abstracts: J-SIGSAM Japanese Special Interest Group on Symbolic and Algebraic Computation and Report of the Last Seasonal Meeting. - Franz Winkler 001 (SIGSAM Bull., 1987)

Abstracts: Sixth RIMS Conference on Formula Manipulation and its Application to Mathematical Study. - Franz Winkler 001 (SIGSAM Bull., 1987)

Abstracts of papers in the Journal of Symbolic Computation. - Franz Winkler 001 (SIGSAM Bull., 1987)

International Workshop on Computing Tools for Research and Development in Sciences and Engineering. - Franz Winkler 001 (SIGSAM Bull., 1987)

A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm. - Franz Winkler 001 (ISSAC, 1988)

Abstracts from a Minisymposium on Integrated Environments for Scientific Computing held October 14, 1987 during the SIAM 35th Anniversary Meeting Denver, CO. - Franz Winkler 001 (SIGSAM Bull., 1988)

Abstracts from the Sixth Army Conference on Applied Mathematics and Computing University of Colorado, Boulder, Colorado 31 May - 3 June 1988. - Franz Winkler 001 (SIGSAM Bull., 1988)

Seventh RIMS Conference on "Formula Manipulation and its Application to Mathematical Study". - Franz Winkler 001 (SIGSAM Bull., 1988)

A p-Adic Approach to the Computation of Gröbner Bases. - Franz Winkler 001 (J. Symb. Comput., 1988)

Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis. - Franz Winkler 001 (ISSAC, 1989)

Equational Theorem Proving and Rewrite Rule Systems. - Franz Winkler 001 (ÖGAI, 1989)

Report on DISCO '90. - Franz Winkler 001 (SIGSAM Bull., 1990)

CASA: A Computer Algebra Package for Constructive Algebraic Geometry. - R. Gebauer; Michael Kalkbrener; B. Wall; Franz Winkler 001 (ISSAC, 1991)

Symbolic Parametrization of Curves. - J. Rafael Sendra; Franz Winkler 001 (J. Symb. Comput., 1991)

Erratum: A. A. Reeves, "The worst order is not always the lexicographic order, " ACM SIGSAM Bulletin, Volume 25, Number 4, pp. 18-19. - Franz Winkler 001 (SIGSAM Bull., 1992)

Algorithmic Algebra (B. Mishra). - Franz Winkler 001 (SIAM Rev., 1995)

Points on Algebraic Curves and the Parametrization Problem. - Erik Hillgarter; Franz Winkler 001 (Automated Deduction in Geometry, 1996)

CASA - A System for Computer Aided Constructive Algebraic Geometry. - Michal Mnuk; Franz Winkler 001 (DISCO, 1996)

Polynomial Algorithms in Computer Algebra. - Franz Winkler 001 (Springer, 1996)

Parametrization of Algebraic Curves over Optimal Field Extensions. - J. Rafael Sendra; Franz Winkler 001 (J. Symb. Comput., 1997)

Real Parametrization of Algebraic Curves. - J. Rafael Sendra; Franz Winkler 001 (AISC, 1998)

Algorithms for Rational Real Algebraic Curves. - J. Rafael Sendra; Franz Winkler 001 (Fundam. Informaticae, 1999)

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

Symbolic parametrization of pipe and canal surfaces. - Günter Landsmann; Josef Schicho; Franz Winkler 001; Erik Hillgarter (ISSAC, 2000)

Special Issue on Applications of Gröbner Bases - Foreword of the Guest Editors. - Quoc-Nam Tran; Franz Winkler 001 (J. Symb. Comput., 2000)

Computation of the degree of rational maps between curves. - J. Rafael Sendra; Franz Winkler 001 (ISSAC, 2001)

Tracing index of rational curve parametrizations. - J. Rafael Sendra; Franz Winkler 001 (Comput. Aided Geom. Des., 2001)

The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares. - Günter Landsmann; Josef Schicho; Franz Winkler 001 (J. Symb. Comput., 2001)

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

Gröbner bases in difference-differential modules. - Meng Zhou 001; Franz Winkler 001 (ISSAC, 2006)

Approximate factorization of linear partial differential operators: full system of invariants for order three. - Ekaterina Shemyakova; Franz Winkler 001 (ACM Commun. Comput. Algebra, 2006)

Bruno Buchberger - A life devoted to symbolic computation. - Hoon Hong; Deepak Kapur; Peter Paule; Franz Winkler 001 (J. Symb. Comput., 2006)

On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators. - Ekaterina Shemyakova; Franz Winkler 001 (ASCM, 2007)

A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. - Ekaterina Shemyakova; Franz Winkler 001 (CASC, 2007)

Symbolic and Algebraic Methods for Linear Partial Differential Operators. - Franz Winkler 001; Ekaterina Shemyakova (CASC, 2007)

On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring. - Meng Zhou 001; Franz Winkler 001 (Math. Comput. Sci., 2007)

Computing difference-differential dimension polynomials by relative Gröbner bases in difference-differential modules. - Meng Zhou 001; Franz Winkler 001 (J. Symb. Comput., 2008)

Algorithms in Symbolic Computation. - Peter Paule; Bruno Buchberger; Lena Kartashova; Manuel Kauers; Carsten Schneider; Franz Winkler 001 (Hagenberg Research, 2009)

Canonical Reduction Systems in Symbolic Mathematics. - Franz Winkler 001 (CAI, 2009)

Rational general solutions of first order non-autonomous parametrizable ODEs. - Lam Xuan Châu Ngô; Franz Winkler 001 (J. Symb. Comput., 2010)

What can Symbolic Computation Contribute to Mathematics? - Franz Winkler 001 (SYNASC, 2011)

Rational general solutions of planar rational systems of autonomous ODEs. - Lam Xuan Châu Ngô; Franz Winkler 001 (J. Symb. Comput., 2011)

Rational General Solutions of Trivariate Rational Differential Systems. - Yanli Huang 001; Lam Xuan Châu Ngô; Franz Winkler 001 (Math. Comput. Sci., 2012)

Rational general solutions of higher order algebraic odes. - Yanli Huang 001; Lam Xuan Châu Ngô; Franz Winkler 001 (J. Syst. Sci. Complex., 2013)

On Symbolic Solutions of Algebraic Partial Differential Equations. - Georg Grasegger; Alberto Lastra; J. Rafael Sendra; Franz Winkler 001 (CASC, 2014)

Algebraic General Solutions of First Order Algebraic ODEs. - Ngoc Thieu Vo; Franz Winkler 001 (CASC, 2015)

Birational transformations preserving rational solutions of algebraic ordinary differential equations. - Lam Xuan Châu Ngô; J. Rafael Sendra; Franz Winkler 001 (J. Comput. Appl. Math., 2015)

Symbolic Solutions of First-Order Algebraic ODEs. - Georg Grasegger; Franz Winkler 001 (Computer Algebra and Polynomials, 2015)

A solution method for autonomous first-order algebraic partial differential equations. - Georg Grasegger; Alberto Lastra; J. Rafael Sendra; Franz Winkler 001 (J. Comput. Appl. Math., 2016)

Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra. - Kosaku Nagasaka; Ágnes Szántó; Franz Winkler 001 (J. Symb. Comput., 2016)

Computation of all rational solutions of first-order algebraic ODEs. - Thieu N. Vo; Georg Grasegger; Franz Winkler 001 (Adv. Appl. Math., 2018)

Rational general solutions of systems of first-order algebraic partial differential equations. - Georg Grasegger; Alberto Lastra; J. Rafael Sendra; Franz Winkler 001 (J. Comput. Appl. Math., 2018)

Deciding the existence of rational general solutions for first-order algebraic ODEs. - Thieu N. Vo; Georg Grasegger; Franz Winkler 001 (J. Symb. Comput., 2018)

The Algebro-Geometric Method for Solving Algebraic Differential Equations - A Survey. - Franz Winkler 001 (J. Syst. Sci. Complex., 2019)

General Solutions of First-Order Algebraic ODEs in Simple Constant Extensions. - Johann Josef Mitteramskogler; Franz Winkler 001 (J. Syst. Sci. Complex., 2023)

Symbolic computation in algebra, geometry, and differential equations. - Franz Winkler 001 (Inf. Comput., 2024)