( en | de | ru )

 

Disambiguation of "Winkler, Franz"

Author of the publication

copydeleteadd this publication to your clipboard
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm.

, and . SIGSAM Bull., 17 (3-4): 20 (1983)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Franz Winkler

Franz Winkler

Franz Winkler

Franz Winkler

Franz Winkler

 

Other publications of authors with the same name

Gröbner bases in difference-differential modules., and . ISSAC, page 353-360. ACM, (2006)Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals., , , and . ACM Trans. Math. Softw., 11 (1): 66-78 (1985)Real Parametrization of Algebraic Curves., and . AISC, volume 1476 of Lecture Notes in Computer Science, page 284-295. Springer, (1998)Tracing index of rational curve parametrizations., and . Comput. Aided Geom. Des., 18 (8): 771-795 (2001)Approximate factorization of linear partial differential operators: full system of invariants for order three., and . ACM Commun. Comput. Algebra, 40 (2): 34-35 (2006)Abstracts of papers that appeared in the Journal of Symbolic Computation.. SIGSAM Bull., 21 (1): 18-48 (1987)Symbolic Differential Elimination for Symmetry Analysis, , , and . Mathematical and Computer Modelling of Dynamical Systems, 10 (2): 123--147 (2004)A Geometrical Decision Algorithm Based on the Gröbner Bases Algorithm.. ISSAC, volume 358 of Lecture Notes in Computer Science, page 356-363. Springer, (1988)On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring., and . Math. Comput. Sci., 1 (2): 211-223 (2007)Special issue on the conference ISSAC 2014: Symbolic computation and computer algebra., , and . J. Symb. Comput., (2016)