Franz Winkler

73 papers A* 1B 11Misc 3Journal 42Unranked 9
YearRankTypeTitle / Venue / Authors
2024 J jnl
Symbolic computation in algebra, geometry, and differential equations.
Inf. Comput.
Franz Winkler
2023 J jnl
General Solutions of First-Order Algebraic ODEs in Simple Constant Extensions.
J. Syst. Sci. Complex.
Johann Josef Mitteramskogler, Franz Winkler
2019 J jnl
The Algebro-Geometric Method for Solving Algebraic Differential Equations - A Survey.
J. Syst. Sci. Complex.
Franz Winkler
2018 J jnl
Computation of all rational solutions of first-order algebraic ODEs.
Adv. Appl. Math.
Thieu N. Vo, Georg Grasegger, Franz Winkler
2018 J jnl
Deciding the existence of rational general solutions for first-order algebraic ODEs.
J. Symb. Comput.
Thieu N. Vo, Georg Grasegger, Franz Winkler
2018 J jnl
Rational general solutions of systems of first-order algebraic partial differential equations.
J. Comput. Appl. Math.
Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler
2016 J jnl
A solution method for autonomous first-order algebraic partial differential equations.
J. Comput. Appl. Math.
Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler
2016 J jnl
Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra.
J. Symb. Comput.
Kosaku Nagasaka, Ágnes Szántó, Franz Winkler
2015 B conf
Algebraic General Solutions of First Order Algebraic ODEs.
CASC
Ngoc Thieu Vo, Franz Winkler
2015 J jnl
Birational transformations preserving rational solutions of algebraic ordinary differential equations.
J. Comput. Appl. Math.
Lam Xuan Châu Ngô, J. Rafael Sendra, Franz Winkler
2015 — ch.
Symbolic Solutions of First-Order Algebraic ODEs.
Computer Algebra and Polynomials
Georg Grasegger, Franz Winkler
2014 Misc ed.
16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014
SYNASC
Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie
2014 B ed.
International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014
ISSAC
Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler, Ágnes Szántó
2014 B conf
On Symbolic Solutions of Algebraic Partial Differential Equations.
CASC
Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler
2013 J jnl
Rational general solutions of higher order algebraic odes.
J. Syst. Sci. Complex.
Yanli Huang, Lam Xuan Châu Ngô, Franz Winkler
2012 J jnl
Rational General Solutions of Trivariate Rational Differential Systems.
Math. Comput. Sci.
Yanli Huang, Lam Xuan Châu Ngô, Franz Winkler
2011 — ed.
Algebraic Informatics - 4th International Conference, CAI 2011, Linz, Austria, June 21-24, 2011. Proceedings
CAI
Franz Winkler
2011 J jnl
Rational general solutions of planar rational systems of autonomous ODEs.
J. Symb. Comput.
Lam Xuan Châu Ngô, Franz Winkler
2011 Misc conf
What can Symbolic Computation Contribute to Mathematics?
SYNASC
Franz Winkler
2010 J jnl
Rational general solutions of first order non-autonomous parametrizable ODEs.
J. Symb. Comput.
Lam Xuan Châu Ngô, Franz Winkler
2009 — ch.
Algorithms in Symbolic Computation.
Hagenberg Research
Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler
2009 — conf
Canonical Reduction Systems in Symbolic Mathematics.
CAI
Franz Winkler
2008 J jnl
Computing difference-differential dimension polynomials by relative Gröbner bases in difference-differential modules.
J. Symb. Comput.
Meng Zhou, Franz Winkler
2007 B conf
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form.
CASC
Ekaterina Shemyakova, Franz Winkler
2007 J jnl
On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring.
Math. Comput. Sci.
Meng Zhou, Franz Winkler
2007 — conf
On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators.
ASCM
Ekaterina Shemyakova, Franz Winkler
2007 B conf
Symbolic and Algebraic Methods for Linear Partial Differential Operators.
CASC
Franz Winkler, Ekaterina Shemyakova
2006 J jnl
Approximate factorization of linear partial differential operators: full system of invariants for order three.
ACM Commun. Comput. Algebra
Ekaterina Shemyakova, Franz Winkler
2006 J jnl
Bruno Buchberger - A life devoted to symbolic computation.
J. Symb. Comput.
Hoon Hong, Deepak Kapur, Peter Paule, Franz Winkler
2006 B conf
Gröbner bases in difference-differential modules.
ISSAC
Meng Zhou, Franz Winkler
2005 A* conf
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology.
CAV
Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, Bud Mishra
2004 — ed.
Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers
Automated Deduction in Geometry
Franz Winkler
2003 — ed.
Symbolic and Numerical Scientific Computation, Second International Conference, SNSC 2001, Hagenberg, Austria, September 10-11, 2001, Revised Papers
SNSC
Franz Winkler, Ulrich Langer
2001 B conf
Computation of the degree of rational maps between curves.
ISSAC
J. Rafael Sendra, Franz Winkler
2001 J jnl
The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares.
J. Symb. Comput.
Günter Landsmann, Josef Schicho, Franz Winkler
2001 J jnl
Tracing index of rational curve parametrizations.
Comput. Aided Geom. Des.
J. Rafael Sendra, Franz Winkler
2000 — conf
On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note).
Euro-Par
Wolfgang Schreiner, Christian Mittermaier, Franz Winkler
2000 J jnl
Special Issue on Applications of Gröbner Bases - Foreword of the Guest Editors.
J. Symb. Comput.
Quoc-Nam Tran, Franz Winkler
2000 B conf
Symbolic parametrization of pipe and canal surfaces.
ISSAC
Günter Landsmann, Josef Schicho, Franz Winkler, Erik Hillgarter
1999 J jnl
Algorithms for Rational Real Algebraic Curves.
Fundam. Informaticae
J. Rafael Sendra, Franz Winkler
1998 Misc conf
Real Parametrization of Algebraic Curves.
AISC
J. Rafael Sendra, Franz Winkler
1997 J jnl
Parametrization of Algebraic Curves over Optimal Field Extensions.
J. Symb. Comput.
J. Rafael Sendra, Franz Winkler
1996 — conf
CASA - A System for Computer Aided Constructive Algebraic Geometry.
DISCO
Michal Mnuk, Franz Winkler
1996 — conf
Points on Algebraic Curves and the Parametrization Problem.
Automated Deduction in Geometry
Erik Hillgarter, Franz Winkler
1996 — book
Polynomial Algorithms in Computer Algebra.
Franz Winkler
1995 J jnl
Algorithmic Algebra (B. Mishra).
SIAM Rev.
Franz Winkler
1992 J jnl
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.
Franz Winkler
1991 B conf
CASA: A Computer Algebra Package for Constructive Algebraic Geometry.
ISSAC
R. Gebauer, Michael Kalkbrener, B. Wall, Franz Winkler
1991 J jnl
Symbolic Parametrization of Curves.
J. Symb. Comput.
J. Rafael Sendra, Franz Winkler
1990 J jnl
Report on DISCO '90.
SIGSAM Bull.
Franz Winkler
1989 — conf
Equational Theorem Proving and Rewrite Rule Systems.
ÖGAI
Franz Winkler
1989 B conf
Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis.
ISSAC
Franz Winkler
1988 B conf
A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm.
ISSAC
Franz Winkler
1988 J jnl
A p-Adic Approach to the Computation of Gröbner Bases.
J. Symb. Comput.
Franz Winkler
1988 J jnl
Abstracts from a Minisymposium on Integrated Environments for Scientific Computing held October 14, 1987 during the SIAM 35th Anniversary Meeting Denver, CO.
SIGSAM Bull.
Franz Winkler
1988 J jnl
Abstracts from the Sixth Army Conference on Applied Mathematics and Computing University of Colorado, Boulder, Colorado 31 May - 3 June 1988.
SIGSAM Bull.
Franz Winkler
1988 J jnl
Abstracts of papers in the Journal of Symbolic Computation.
SIGSAM Bull.
Franz Winkler
1988 J jnl
Seventh RIMS Conference on "Formula Manipulation and its Application to Mathematical Study".
SIGSAM Bull.
Franz Winkler
1987 J jnl
Abstracts of Technical Reports Computer Science Branch, Corporate Research and Development, General Electric Company, Schenectady, NY 12345 (GE).
SIGSAM Bull.
Franz Winkler
1987 J jnl
Abstracts of papers in the Journal of Symbolic Computation.
SIGSAM Bull.
Franz Winkler
1987 J jnl
Abstracts of papers that appeared in the Journal of Symbolic Computation.
SIGSAM Bull.
Franz Winkler
1987 J jnl
Abstracts: J-SIGSAM Japanese Special Interest Group on Symbolic and Algebraic Computation and Report of the Last Seasonal Meeting.
SIGSAM Bull.
Franz Winkler
1987 J jnl
Abstracts: Sixth RIMS Conference on Formula Manipulation and its Application to Mathematical Study.
SIGSAM Bull.
Franz Winkler
1987 J jnl
International Workshop on Computing Tools for Research and Development in Sciences and Engineering.
SIGSAM Bull.
Franz Winkler
1986 J jnl
AAECC-3 Abstracts.
SIGSAM Bull.
Franz Winkler
1986 J jnl
SYMSAC'86 Abstracts.
SIGSAM Bull.
Franz Winkler
1985 J jnl
Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals.
ACM Trans. Math. Softw.
Franz Winkler, Bruno Buchberger, Franz Lichtenberger, Heinrich Rolletschek
1985 — conf
Reducing the Complexity of the Knuth-Bendix Completion-Algorithm: A "Unification" of Different Approaches.
European Conference on Computer Algebra (2)
Franz Winkler
1984 — conf
On the Complexity of the Groebner-Bases Algorithm over K[x, y, z].
EUROSAM
Franz Winkler
1984 J jnl
The Church-Rosser property in computer algebra and special theorem proving: an investigation of critical-pair/completion algorithms (Ph.D. thesis).
SIGSAM Bull.
Franz Winkler
1984 — —
The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms.
Franz Winkler
1983 J jnl
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm.
SIGSAM Bull.
Franz Winkler, Bruno Buchberger
1983 — conf
An algorithm for constructing detaching bases in the ring of polynominals over a field.
EUROCAL
Franz Winkler