default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFranz Winkler 0001
Person information
- affiliation: Johannes Kepler University, Linz, Austria
Other persons with the same name
- Franz Winkler 0002 — BMW Group, Munich, Germany
- Franz Winkler 0003 — Technische Universität Ilmenau, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1996
[b2]Franz Winkler:
Polynomial Algorithms in Computer Algebra. Texts & Monographs in Symbolic Computation, Springer 1996, ISBN 978-3-211-82759-8, pp. i-viii, 1-279- 1984
- [b1]Franz Winkler:
The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms. Johannes Kepler University Linz, Austria, 1984, ISBN 978-3-85369-584-5, pp. 1-193
Journal Articles
- 2024
- [j42]Franz Winkler:
Symbolic computation in algebra, geometry, and differential equations. Inf. Comput. 301: 105200 (2024) - 2023
- [j41]Johann Josef Mitteramskogler, Franz Winkler:
General Solutions of First-Order Algebraic ODEs in Simple Constant Extensions. J. Syst. Sci. Complex. 36(4): 1769-1788 (2023) - 2019
- [j40]Franz Winkler:
The Algebro-Geometric Method for Solving Algebraic Differential Equations - A Survey. J. Syst. Sci. Complex. 32(1): 256-270 (2019) - 2018
- [j39]Thieu N. Vo
, Georg Grasegger, Franz Winkler:
Computation of all rational solutions of first-order algebraic ODEs. Adv. Appl. Math. 98: 1-24 (2018) - [j38]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: 88-103 (2018) - [j37]Thieu N. Vo, Georg Grasegger, Franz Winkler:
Deciding the existence of rational general solutions for first-order algebraic ODEs. J. Symb. Comput. 87: 127-139 (2018) - 2016
- [j36]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: 119-133 (2016) - [j35]Kosaku Nagasaka, Ágnes Szántó, Franz Winkler:
Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra. J. Symb. Comput. 75: 1-3 (2016) - 2015
- [j34]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: 114-127 (2015) - 2013
- [j33]Yanli Huang, Lam Xuan Châu Ngô, Franz Winkler:
Rational general solutions of higher order algebraic odes. J. Syst. Sci. Complex. 26(2): 261-280 (2013) - 2012
- [j32]Yanli Huang, Lam Xuan Châu Ngô, Franz Winkler:
Rational General Solutions of Trivariate Rational Differential Systems. Math. Comput. Sci. 6(4): 361-374 (2012) - 2011
- [j31]Lam Xuan Châu Ngô, Franz Winkler:
Rational general solutions of planar rational systems of autonomous ODEs. J. Symb. Comput. 46(10): 1173-1186 (2011) - 2010
- [j30]Lam Xuan Châu Ngô, Franz Winkler:
Rational general solutions of first order non-autonomous parametrizable ODEs. J. Symb. Comput. 45(12): 1426-1441 (2010) - 2008
- [j29]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) - 2007
- [j28]Meng Zhou, Franz Winkler:
On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring. Math. Comput. Sci. 1(2): 211-223 (2007) - 2006
- [j27]Ekaterina Shemyakova, Franz Winkler:
Approximate factorization of linear partial differential operators: full system of invariants for order three. ACM Commun. Comput. Algebra 40(2): 34-35 (2006) - [j26]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) - 2001
- [j25]J. Rafael Sendra, Franz Winkler:
Tracing index of rational curve parametrizations. Comput. Aided Geom. Des. 18(8): 771-795 (2001) - [j24]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) - 2000
- [j23]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) - 1999
- [j22]J. Rafael Sendra, Franz Winkler:
Algorithms for Rational Real Algebraic Curves. Fundam. Informaticae 39(1-2): 211-228 (1999) - 1997
- [j21]J. Rafael Sendra, Franz Winkler:
Parametrization of Algebraic Curves over Optimal Field Extensions. J. Symb. Comput. 23(2/3): 191-207 (1997) - 1995
- [j20]Franz Winkler:
Algorithmic Algebra (B. Mishra). SIAM Rev. 37(3): 479 (1995) - 1992
- [j19]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): 13 (1992) - 1991
- [j18]J. Rafael Sendra, Franz Winkler:
Symbolic Parametrization of Curves. J. Symb. Comput. 12(6): 607-632 (1991) - 1990
- [j17]Franz Winkler:
Report on DISCO '90. SIGSAM Bull. 24(3): 27 (1990) - 1988
- [j16]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): 63 (1988) - [j15]Franz Winkler:
Abstracts of papers in the Journal of Symbolic Computation. SIGSAM Bull. 22(3): 29-31 (1988) - [j14]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): 19-26 (1988) - [j13]Franz Winkler:
Seventh RIMS Conference on "Formula Manipulation and its Application to Mathematical Study". SIGSAM Bull. 22(4): 45-48 (1988) - [j12]Franz Winkler:
A p-Adic Approach to the Computation of Gröbner Bases. J. Symb. Comput. 6(2/3): 287-304 (1988) - 1987
- [j11]Franz Winkler:
Abstracts of papers that appeared in the Journal of Symbolic Computation. SIGSAM Bull. 21(1): 18-48 (1987) - [j10]Franz Winkler:
Abstracts of Technical Reports Computer Science Branch, Corporate Research and Development, General Electric Company, Schenectady, NY 12345 (GE). SIGSAM Bull. 21(2): 25-26 (1987) - [j9]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): 27-28 (1987) - [j8]Franz Winkler:
Abstracts: Sixth RIMS Conference on Formula Manipulation and its Application to Mathematical Study. SIGSAM Bull. 21(2): 29-31 (1987) - [j7]Franz Winkler:
Abstracts of papers in the Journal of Symbolic Computation. SIGSAM Bull. 21(4): 25-28 (1987) - [j6]Franz Winkler:
International Workshop on Computing Tools for Research and Development in Sciences and Engineering. SIGSAM Bull. 21(4): 29-39 (1987) - 1986
- [j5]Franz Winkler:
AAECC-3 Abstracts. SIGSAM Bull. 20(3): 20-32 (1986) - [j4]Franz Winkler:
SYMSAC'86 Abstracts. SIGSAM Bull. 20(4): 14-21 (1986) - 1985
- [j3]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) - 1984
- [j2]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): 22 (1984) - 1983
- [j1]Franz Winkler, Bruno Buchberger:
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm. SIGSAM Bull. 17(3-4): 20 (1983)
Conference and Workshop Papers
- 2015
- [c22]Ngoc Thieu Vo, Franz Winkler:
Algebraic General Solutions of First Order Algebraic ODEs. CASC 2015: 479-492 - 2014
- [c21]Georg Grasegger, Alberto Lastra, J. Rafael Sendra, Franz Winkler:
On Symbolic Solutions of Algebraic Partial Differential Equations. CASC 2014: 111-120 - 2011
- [c20]Franz Winkler:
What can Symbolic Computation Contribute to Mathematics? SYNASC 2011: 19-20 - 2009
- [c19]Franz Winkler:
Canonical Reduction Systems in Symbolic Mathematics. CAI 2009: 123-135 - 2007
- [c18]Ekaterina Shemyakova, Franz Winkler:
On the Invariant Properties of Hyperbolic Bivariate Third-Order Linear Partial Differential Operators. ASCM 2007: 199-212 - [c17]Ekaterina Shemyakova, Franz Winkler:
A Full System of Invariants for Third-Order Linear Partial Differential Operators in General Form. CASC 2007: 360-369 - [c16]Franz Winkler, Ekaterina Shemyakova:
Symbolic and Algebraic Methods for Linear Partial Differential Operators. CASC 2007: 423 - 2006
- [c15]Meng Zhou, Franz Winkler:
Gröbner bases in difference-differential modules. ISSAC 2006: 353-360 - 2005
- [c14]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 - 2001
- [c13]J. Rafael Sendra, Franz Winkler:
Computation of the degree of rational maps between curves. ISSAC 2001: 317-322 - 2000
- [c12]Wolfgang Schreiner, Christian Mittermaier, Franz Winkler:
On Solving a Problem in Algebraic Geometry by Cluster Computing (Research Note). Euro-Par 2000: 1196-1200 - [c11]Günter Landsmann, Josef Schicho, Franz Winkler, Erik Hillgarter:
Symbolic parametrization of pipe and canal surfaces. ISSAC 2000: 202-208 - 1998
- [c10]J. Rafael Sendra, Franz Winkler:
Real Parametrization of Algebraic Curves. AISC 1998: 284-295 - 1996
- [c9]Erik Hillgarter, Franz Winkler:
Points on Algebraic Curves and the Parametrization Problem. Automated Deduction in Geometry 1996: 189-207 - [c8]Michal Mnuk, Franz Winkler:
CASA - A System for Computer Aided Constructive Algebraic Geometry. DISCO 1996: 297-307 - 1991
- [c7]R. Gebauer, Michael Kalkbrener, B. Wall, Franz Winkler:
CASA: A Computer Algebra Package for Constructive Algebraic Geometry. ISSAC 1991: 403-410 - 1989
- [c6]Franz Winkler:
Knuth-Bendix Procedure and Buchberger Algorithm: A Synthesis. ISSAC 1989: 55-67 - [c5]Franz Winkler:
Equational Theorem Proving and Rewrite Rule Systems. ÖGAI 1989: 26-39 - 1988
- [c4]Franz Winkler:
A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm. ISSAC 1988: 356-363 - 1985
- [c3]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 - 1984
- [c2]Franz Winkler:
On the Complexity of the Groebner-Bases Algorithm over K[x, y, z]. EUROSAM 1984: 184-194 - 1983
- [c1]Franz Winkler:
An algorithm for constructing detaching bases in the ring of polynominals over a field. EUROCAL 1983: 168-179
Parts in Books or Collections
- 2015
- [p2]Georg Grasegger, Franz Winkler:
Symbolic Solutions of First-Order Algebraic ODEs. Computer Algebra and Polynomials 2015: 94-104 - 2009
- [p1]Peter Paule, Bruno Buchberger, Lena Kartashova, Manuel Kauers, Carsten Schneider, Franz Winkler:
Algorithms in Symbolic Computation. Hagenberg Research 2009: 5-62
Editorship
- 2014
- [e5]Katsusuke Nabeshima, Kosaku Nagasaka, Franz Winkler, Ágnes Szántó:
International Symposium on Symbolic and Algebraic Computation, ISSAC '14, Kobe, Japan, July 23-25, 2014. ACM 2014, ISBN 978-1-4503-2501-1 [contents] - [e4]Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-8447-3 [contents] - 2011
- [e3]Franz Winkler:
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 [contents] - 2004
- [e2]Franz Winkler:
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 [contents] - 2003
- [e1]Franz Winkler, Ulrich Langer:
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 [contents]
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-18 00:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
