Author of the publication

Pairing Inversion via Non-degenerate Auxiliary Pairings.

, , , and . Pairing, volume 8365 of Lecture Notes in Computer Science, page 77-96. Springer, (2013)

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.

 

Other publications of authors with the same name

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