| Publication | Date of Publication | Type |
|---|
Solving the constructive Deuring correspondence via the Kohel-Lauter-Petit-Tignol algorithm
Mathematical Cryptology | 2026-04-22 | Paper |
| Effective Hilbert's irreducibility theorem for primary ideals | 2026-02-27 | Paper |
Computing endomorphism rings of supersingular elliptic curves by finding cycles in concatenated supersingular isogeny graphs
Commentarii Mathematici Universitatis Sancti Pauli | 2024-11-13 | Paper |
On factorization of parametric polynomials
Commentarii Mathematici Universitatis Sancti Pauli | 2024-11-13 | Paper |
On the feasibility of computing constructive Deuring correspondence
Banach Center Publications | 2024-03-15 | Paper |
| scientific article; zbMATH DE number 7623648 (Why is no real title available?) | 2022-11-25 | Paper |
| Implementation report of the Kohel-Lauter-Petit-Tignol algorithm for the constructive Deuring correspondence | 2022-10-07 | Paper |
| Symbolic computation of isogenies of elliptic curves by Vélu's formula | 2021-08-03 | Paper |
Algebraic approaches for solving isogeny problems of prime power degrees
Journal of Mathematical Cryptology | 2021-05-25 | Paper |
Complexity bounds on Semaev's naive index calculus method for ECDLP
Journal of Mathematical Cryptology | 2021-05-12 | Paper |
On FGLM algorithms with tropical Gröbner bases
Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation | 2021-01-22 | Paper |
On affine tropical F5 algorithms
Journal of Symbolic Computation | 2020-09-19 | Paper |
A tropical F5 algorithm
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
A tropical F5 algorithm
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
On Affine Tropical F5 Algorithms
Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
On FGLM Algorithms with Tropical Gr\"obner bases
(available as arXiv preprint) | 2020-09-04 | Paper |
Usage of modular techniques for efficient computation of ideal operations
Mathematics in Computer Science | 2018-11-05 | Paper |
Effective localization using double ideal quotient and its implementation
(available as arXiv preprint) | 2018-10-23 | Paper |
Analysis of decreasing squared-sum of Gram-Schmidt lengths for short lattice vectors
Journal of Mathematical Cryptology | 2017-03-16 | Paper |
An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
Proceedings of the 2009 conference on Symbolic numeric computation | 2017-02-03 | Paper |
Secure statistical analysis using RLWE-based homomorphic encryption
Information Security and Privacy | 2015-10-20 | Paper |
Practical packing method in somewhat homomorphic encryption
Data Privacy Management and Autonomous Spontaneous Security | 2015-10-01 | Paper |
Sum of roots with positive real parts
Proceedings of the 2005 international symposium on Symbolic and algebraic computation | 2015-07-16 | Paper |
Packed homomorphic encryption based on ideal lattices and its application to biometrics
Security Engineering and Intelligence Informatics | 2014-09-30 | Paper |
On the exact decryption range for Gentry-Halevi's implementation of fully homomorphic encryption
Journal of Mathematical Cryptology | 2014-09-17 | Paper |
Verification of Gröbner basis candidates
Mathematical Software – ICMS 2014 | 2014-09-08 | Paper |
Privacy-Preserving Wildcards Pattern Matching Using Symmetric Somewhat Homomorphic Encryption
Information Security and Privacy | 2014-07-24 | Paper |
An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
Theoretical Computer Science | 2013-11-29 | Paper |
Efficient arithmetic in successive algebraic extension fields using symmetries
Mathematics in Computer Science | 2013-04-24 | Paper |
Computation schemes for splitting fields of polynomials
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
Solution of algebraic Riccati equations using the sum of roots
Proceedings of the 2009 international symposium on Symbolic and algebraic computation | 2012-05-13 | Paper |
| scientific article; zbMATH DE number 5990116 (Why is no real title available?) | 2011-12-19 | Paper |
| Algebraic approach to discrete-time polynomial spectral factorization | 2010-09-14 | Paper |
Stability of parametric decomposition
Lecture Notes in Computer Science | 2010-09-14 | Paper |
QUINTIC POLYNOMIALS OF HASHIMOTO–TSUNOGAI, BRUMER AND KUMMER
International Journal of Number Theory | 2009-07-06 | Paper |
Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem
Journal of Symbolic Computation | 2009-06-18 | Paper |
| Parametric optimization in control using the sum of roots for parametric polynomial spectral factorization | 2009-01-20 | Paper |
Symbolic optimization of algebraic functions
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
Multi-modular algorithm for computing the splitting field of a polynomial
Proceedings of the twenty-first international symposium on Symbolic and algebraic computation | 2009-01-20 | Paper |
On systems of algebraic equations with parametric exponents. II
Applicable Algebra in Engineering, Communication and Computing | 2008-09-10 | Paper |
On the Relationship Between the Sum of Roots with Positive Real Parts and Polynomial Spectral Factorization
Numerical Methods and Applications | 2007-09-03 | Paper |
Implementation of prime decomposition of polynomial ideals over small finite fields
Journal of Symbolic Computation | 2007-08-24 | Paper |
Algorithmic Number Theory
Lecture Notes in Computer Science | 2007-05-02 | Paper |
On polynomial curves in the affine plane
Osaka Journal of Mathematics | 2006-12-05 | Paper |
| scientific article; zbMATH DE number 2151236 (Why is no real title available?) | 2005-04-04 | Paper |
On systems of algebraic equations with parametric exponents
Proceedings of the 2004 international symposium on Symbolic and algebraic computation | 2005-03-14 | Paper |
Z₃ symmetry and W₃ algebra in lattice vertex operator algebras.
Pacific Journal of Mathematics | 2004-09-17 | Paper |
| scientific article; zbMATH DE number 2089316 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1860723 (Why is no real title available?) | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1440059 (Why is no real title available?) | 2001-10-02 | Paper |
A modular method to compute the rational univariate representation of zero-dimensional ideals
Journal of Symbolic Computation | 2000-10-04 | Paper |
| scientific article; zbMATH DE number 1302785 (Why is no real title available?) | 2000-09-19 | Paper |
| scientific article; zbMATH DE number 1398130 (Why is no real title available?) | 2000-02-03 | Paper |
| scientific article; zbMATH DE number 1380841 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1380883 (Why is no real title available?) | 1999-12-20 | Paper |
| scientific article; zbMATH DE number 1379082 (Why is no real title available?) | 1999-12-15 | Paper |
| scientific article; zbMATH DE number 1263323 (Why is no real title available?) | 1999-09-19 | Paper |
| scientific article; zbMATH DE number 1254237 (Why is no real title available?) | 1999-07-22 | Paper |
A modular method for computing the Galois groups of polynomials
Journal of Pure and Applied Algebra | 1998-05-10 | Paper |
| scientific article; zbMATH DE number 1186884 (Why is no real title available?) | 1998-01-01 | Paper |
| scientific article; zbMATH DE number 939804 (Why is no real title available?) | 1997-08-04 | Paper |
Localization and primary decomposition of polynomial ideals
Journal of Symbolic Computation | 1997-03-06 | Paper |
Multi-modular approach to polynomial-time factorization of bivariate integral polynomials
Journal of Symbolic Computation | 1995-09-14 | Paper |
On distance transitive graphs whose automorphism groups are affine
Journal of Combinatorial Theory. Series B | 1993-03-10 | Paper |
Solutions of systems of algebraic equations and linear maps on residue class rings
Journal of Symbolic Computation | 1993-01-17 | Paper |
Computing primitive elements of extension fields
Journal of Symbolic Computation | 1989-01-01 | Paper |
On distance transitive graphs in which the stabilizer of a point contains an alternating group
European Journal of Combinatorics | 1988-01-01 | Paper |
Distance Transitive Graphs and Finite Simple Groups
Proceedings of the London Mathematical Society | 1987-01-01 | Paper |
"Learning to Compute Gr\""obner Bases"
(available as arXiv preprint) | N/A | Paper |
"On Hilbert-Poincar\'{e} series of affine semi-regular polynomial sequences and related Gr\""{o}bner bases"
(available as arXiv preprint) | N/A | Paper |
"The solving degrees for computing Gr\""{o}bner bases of affine semi-regular polynomial sequences"
(available as arXiv preprint) | N/A | Paper |
