Franz Winkler
Affiliations:- Johannes Kepler University, Linz, Austria
According to our database1,
Franz Winkler
authored at least 66 papers
between 1983 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on risc.jku.at
-
on id.loc.gov
-
on d-nb.info
On csauthors.net:
Bibliography
2023
J. Syst. Sci. Complex., August, 2023
2019
The Algebro-Geometric Method for Solving Algebraic Differential Equations - A Survey.
J. Syst. Sci. Complex., 2019
2018
J. Symb. Comput., 2018
Rational general solutions of systems of first-order algebraic partial differential equations.
J. Comput. Appl. Math., 2018
Adv. Appl. Math., 2018
2016
Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra.
J. Symb. Comput., 2016
A solution method for autonomous first-order algebraic partial differential equations.
J. Comput. Appl. Math., 2016
2015
Proceedings of the Computer Algebra and Polynomials, 2015
Birational transformations preserving rational solutions of algebraic ordinary differential equations.
J. Comput. Appl. Math., 2015
Proceedings of the Computer Algebra in Scientific Computing - 17th International Workshop, 2015
2014
Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014
2013
J. Syst. Sci. Complex., 2013
2012
Math. Comput. Sci., 2012
2011
J. Symb. Comput., 2011
Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011
2010
J. Symb. Comput., 2010
2009
Proceedings of the Algebraic Informatics, Third International Conference, 2009
2008
Computing difference-differential dimension polynomials by relative Gröbner bases in difference-differential modules.
J. Symb. Comput., 2008
2007
On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring.
Math. Comput. Sci., 2007
Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form.
Proceedings of the Computer Algebra in Scientific Computing, 10th International Workshop, 2007
On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators.
Proceedings of the Computer Mathematics, 8th Asian Symposium, 2007
2006
Approximate factorization of linear partial differential operators: full system of invariants for order three.
ACM Commun. Comput. Algebra, 2006
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2006
2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2001
The Parametrization of Canal Surfaces and the Decomposition of Polynomials into a Sum of Two Squares.
J. Symb. Comput., 2001
Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001
2000
J. Symb. Comput., 2000
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, 2000
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000
1999
1998
Proceedings of the Artificial Intelligence and Symbolic Computation, 1998
1997
J. Symb. Comput., 1997
1996
Texts & Monographs in Symbolic Computation, Springer, ISBN: 978-3-7091-6571-3, 1996
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996
Proceedings of the Automated Deduction in Geometry, 1996
1995
1992
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., 1992
1991
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, 1991
1990
1989
Proceedings of the 5. Österreichische Artificial Intelligence-Tagung, 1989
Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, 1989
1988
Seventh RIMS Conference on "Formula Manipulation and its Application to Mathematical Study".
SIGSAM Bull., 1988
Abstracts from the Sixth Army Conference on Applied Mathematics and Computing University of Colorado, Boulder, Colorado 31 May - 3 June 1988.
SIGSAM Bull., 1988
Abstracts from a Minisymposium on Integrated Environments for Scientific Computing held October 14, 1987 during the SIAM 35th Anniversary Meeting Denver, CO.
SIGSAM Bull., 1988
Proceedings of the Symbolic and Algebraic Computation, 1988
1987
International Workshop on Computing Tools for Research and Development in Sciences and Engineering.
SIGSAM Bull., 1987
Abstracts: Sixth RIMS Conference on Formula Manipulation and its Application to Mathematical Study.
SIGSAM Bull., 1987
Abstracts: J-SIGSAM Japanese Special Interest Group on Symbolic and Algebraic Computation and Report of the Last Seasonal Meeting.
SIGSAM Bull., 1987
Abstracts of Technical Reports Computer Science Branch, Corporate Research and Development, General Electric Company, Schenectady, NY 12345 (GE).
SIGSAM Bull., 1987
SIGSAM Bull., 1987
1986
1985
ACM Trans. Math. Softw., 1985
Reducing the Complexity of the Knuth-Bendix Completion-Algorithm: A "Unification" of Different Approaches.
Proceedings of the EUROCAL '85, 1985
1984
The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms.
PhD thesis, 1984
The Church-Rosser property in computer algebra and special theorem proving: an investigation of critical-pair/completion algorithms (Ph.D. thesis).
SIGSAM Bull., 1984
Proceedings of the EUROSAM 84, 1984
1983
SIGSAM Bull., 1983
An algorithm for constructing detaching bases in the ring of polynominals over a field.
Proceedings of the Computer Algebra, 1983