Franz Winkler

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 8

Top Venues

J. Comput. Appl. Math.

J. Syst. Sci. Complex.

CASC

J. Symb. Comput.

Johannes Kepler University Linz, Austria (PHD)

Education History

Johannes Kepler University Linz, Austria

PHD

Publications

Franz Winkler
Symbolic computation in algebra, geometry, and differential equations. Inf. Comput. 301 (2024)
Johann Josef Mitteramskogler, Franz Winkler
General Solutions of First-Order Algebraic ODEs in Simple Constant Extensions. J. Syst. Sci. Complex. 36 (4) (2023)
Franz Winkler
The Algebro-Geometric Method for Solving Algebraic Differential Equations - A Survey. J. Syst. Sci. Complex. 32 (1) (2019)
Ngoc Thieu Vo, Georg Grasegger, Franz Winkler
Deciding the existence of rational general solutions for first-order algebraic ODEs. J. Symb. Comput. 87 (2018)
Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler
Rational general solutions of systems of first-order algebraic partial differential equations. J. Comput. Appl. Math. 331 (2018)
Ngoc Thieu Vo, Georg Grasegger, Franz Winkler
Computation of all rational solutions of first-order algebraic ODEs. Adv. Appl. Math. 98 (2018)
Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler
A solution method for autonomous first-order algebraic partial differential equations. J. Comput. Appl. Math. 300 (2016)
Kosaku Nagasaka, Ágnes Szántó, Franz Winkler
Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra. J. Symb. Comput. 75 (2016)
Lam Xuan Châu Ngô, J. Rafael Sendra, Franz Winkler
Birational transformations preserving rational solutions of algebraic ordinary differential equations. J. Comput. Appl. Math. 286 (2015)
Ngoc Thieu Vo, Franz Winkler
Algebraic General Solutions of First Order Algebraic ODEs. CASC (2015)
Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler
On Symbolic Solutions of Algebraic Partial Differential Equations. CASC (2014)
Yanli Huang, Lam Xuan Châu Ngô, Franz Winkler
Rational general solutions of higher order algebraic odes. J. Syst. Sci. Complex. 26 (2) (2013)
Yanli Huang, Lam Xuan Châu Ngô, Franz Winkler
Rational General Solutions of Trivariate Rational Differential Systems. Math. Comput. Sci. 6 (4) (2012)
Franz Winkler
What can Symbolic Computation Contribute to Mathematics? SYNASC (2011)
Lam Xuan Châu Ngô, Franz Winkler
Rational general solutions of planar rational systems of autonomous ODEs. J. Symb. Comput. 46 (10) (2011)
Lam Xuan Châu Ngô, Franz Winkler
Rational general solutions of first order non-autonomous parametrizable ODEs. J. Symb. Comput. 45 (12) (2010)
Franz Winkler
Canonical Reduction Systems in Symbolic Mathematics. CAI (2009)
Meng Zhou, Franz Winkler
Computing difference-differential dimension polynomials by relative Gröbner bases in difference-differential modules. J. Symb. Comput. 43 (10) (2008)
Ekaterina Shemyakova, Franz Winkler
On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators. ASCM (2007)
Meng Zhou, Franz Winkler
On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring. Math. Comput. Sci. 1 (2) (2007)
Franz Winkler, Ekaterina Shemyakova
Symbolic and Algebraic Methods for Linear Partial Differential Operators. CASC (2007)
Ekaterina Shemyakova, Franz Winkler
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. CASC (2007)
Meng Zhou, Franz Winkler
Gröbner bases in difference-differential modules. ISSAC (2006)
Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler
Bruno Buchberger - A life devoted to symbolic computation. J. Symb. Comput. 41 (3-4) (2006)
Ekaterina Shemyakova, Franz Winkler
Approximate factorization of linear partial differential operators: full system of invariants for order three. ACM Commun. Comput. Algebra 40 (2) (2006)
Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. CAV (2005)
J. Rafael Sendra, Franz Winkler
Computation of the degree of rational maps between curves. ISSAC (2001)
J. Rafael Sendra, Franz Winkler
Tracing index of rational curve parametrizations. Comput. Aided Geom. Des. 18 (8) (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) (2001)
Quoc-Nam Tran, Franz Winkler
Special Issue on Applications of Gröbner Bases - Foreword of the Guest Editors. J. Symb. Comput. 30 (4) (2000)
Günter Landsmann, Josef Schicho, Franz Winkler, Erik Hillgarter
Symbolic parametrization of pipe and canal surfaces. ISSAC (2000)
Wolfgang Schreiner, Christian Mittermaier, Franz Winkler
On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note). Euro-Par (2000)
J. Rafael Sendra, Franz Winkler
Algorithms for Rational Real Algebraic Curves. Fundam. Informaticae 39 (1-2) (1999)
J. Rafael Sendra, Franz Winkler
Real Parametrization of Algebraic Curves. AISC (1998)
J. Rafael Sendra, Franz Winkler
Parametrization of Algebraic Curves over Optimal Field Extensions. J. Symb. Comput. 23 (2/3) (1997)
Michal Mnuk, Franz Winkler
CASA - A System for Computer Aided Constructive Algebraic Geometry. DISCO (1996)
Erik Hillgarter, Franz Winkler
Points on Algebraic Curves and the Parametrization Problem. Automated Deduction in Geometry (1996)
Franz Winkler
Algorithmic Algebra (B. Mishra). SIAM Rev. 37 (3) (1995)
Franz Winkler
Erratum: A. A. Reeves, "The worst order is not always the lexicographic order, " ACM SIGSAM Bulletin, Volume 25, Number 4, pp. 18-19. SIGSAM Bull. 26 (1) (1992)
J. Rafael Sendra, Franz Winkler
Symbolic Parametrization of Curves. J. Symb. Comput. 12 (6) (1991)
R. Gebauer, Michael Kalkbrener, B. Wall, Franz Winkler
CASA: A Computer Algebra Package for Constructive Algebraic Geometry. ISSAC (1991)
Franz Winkler
Report on DISCO '90. SIGSAM Bull. 24 (3) (1990)
Franz Winkler
Equational Theorem Proving and Rewrite Rule Systems. ÖGAI (1989)
Franz Winkler
Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis. ISSAC (1989)
Franz Winkler
Abstracts of papers in the Journal of Symbolic Computation. SIGSAM Bull. 22 (3) (1988)
Franz Winkler
Seventh RIMS Conference on "Formula Manipulation and its Application to Mathematical Study". SIGSAM Bull. 22 (4) (1988)
Franz Winkler
A p-Adic Approach to the Computation of Gröbner Bases. J. Symb. Comput. 6 (2/3) (1988)
Franz Winkler
Abstracts from a Minisymposium on Integrated Environments for Scientific Computing held October 14, 1987 during the SIAM 35th Anniversary Meeting Denver, CO. SIGSAM Bull. 22 (2) (1988)
Franz Winkler
Abstracts from the Sixth Army Conference on Applied Mathematics and Computing University of Colorado, Boulder, Colorado 31 May - 3 June 1988. SIGSAM Bull. 22 (4) (1988)
Franz Winkler
A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm. ISSAC (1988)
Franz Winkler
Abstracts of papers in the Journal of Symbolic Computation. SIGSAM Bull. 21 (4) (1987)
Franz Winkler
Abstracts of papers that appeared in the Journal of Symbolic Computation. SIGSAM Bull. 21 (1) (1987)
Franz Winkler
International Workshop on Computing Tools for Research and Development in Sciences and Engineering. SIGSAM Bull. 21 (4) (1987)
Franz Winkler
Abstracts of Technical Reports Computer Science Branch, Corporate Research and Development, General Electric Company, Schenectady, NY 12345 (GE). SIGSAM Bull. 21 (2) (1987)
Franz Winkler
Abstracts: J-SIGSAM Japanese Special Interest Group on Symbolic and Algebraic Computation and Report of the Last Seasonal Meeting. SIGSAM Bull. 21 (2) (1987)
Franz Winkler
Abstracts: Sixth RIMS Conference on Formula Manipulation and its Application to Mathematical Study. SIGSAM Bull. 21 (2) (1987)
Franz Winkler
AAECC-3 Abstracts. SIGSAM Bull. 20 (3) (1986)
Franz Winkler
SYMSAC'86 Abstracts. SIGSAM Bull. 20 (4) (1986)
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) (1985)
Franz Winkler
Reducing the Complexity of the Knuth-Bendix Completion-Algorithm: A "Unification" of Different Approaches. European Conference on Computer Algebra (2) (1985)
Franz Winkler
On the Complexity of the Groebner-Bases Algorithm over K[x, y, z]. EUROSAM (Computation) (1984)
Franz Winkler
The Church-Rosser property in computer algebra and special theorem proving: an investigation of critical-pair/completion algorithms (Ph.D. thesis). SIGSAM Bull. 18 (3) (1984)
Franz Winkler, Bruno Buchberger
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. SIGSAM Bull. 17 (3-4) (1983)
Franz Winkler
An algorithm for constructing detaching bases in the ring of polynominals over a field. EUROCAL (1983)

Franz Winkler.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Franz Winkler