From post

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.

 

Другие публикации лиц с тем же именем

Implicitization of Curves Parameterized by Generalized Trigonometric Polynomials.. AAECC, том 948 из Lecture Notes in Computer Science, стр. 285-296. Springer, (1995)Parallelization of Quantifier Elimination on a Workstation Network.. AAECC, том 673 из Lecture Notes in Computer Science, стр. 170-179. Springer, (1993)Non-linear Real Constraints in Constraint Logic Programming.. ALP, том 632 из Lecture Notes in Computer Science, стр. 201-212. Springer, (1992)Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints., , , и . SAC, стр. 94-101. ACM, (2012)A condition for multiplicity structure of univariate polynomials., и . J. Symb. Comput., (2021)Are Buchberger's criteria necessary for the chain condition?, и . J. Symb. Comput., 42 (7): 717-732 (2007)Algorithms for Trigonometric Curves (Simplification, Implicitization, Parameterization)., и . J. Symb. Comput., 26 (3): 279-300 (1998)Variant quantifier elimination., и . J. Symb. Comput., 47 (7): 883-901 (2012)Subresultants Under Composition.. J. Symb. Comput., 23 (4): 355-365 (1997)Testing Stability by Quantifier Elimination., , и . J. Symb. Comput., 24 (2): 161-187 (1997)