| Publication | Date of Publication | Type |
|---|
| msolve. A library for solving polynomial systems | 2025-01-20 | Paper |
| Existence of quantum symmetries for graphs on up to seven vertices. A computer based approach | 2025-01-17 | Paper |
A Direttissimo Algorithm for Equidimensional Decomposition
Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation | 2023-11-03 | Paper |
Towards signature-based gröbner basis algorithms for computing the nondegenerate locus of a polynomial system
ACM Communications in Computer Algebra | 2023-08-02 | Paper |
A signature-based algorithm for computing the nondegenerate locus of a polynomial system
Journal of Symbolic Computation | 2023-06-29 | Paper |
| New efficient algorithms for computing Gr\"obner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon) | 2022-02-27 | Paper |
Efficient Gröbner bases computation over principal ideal rings
Journal of Symbolic Computation | 2020-11-13 | Paper |
Standard bases over Euclidean domains
Journal of Symbolic Computation | 2020-09-19 | Paper |
On signature-based Gröbner bases over Euclidean rings
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation | 2020-09-09 | Paper |
Modular techniques for noncommutative Gröbner bases
Mathematics in Computer Science | 2020-05-27 | Paper |
| Existence of quantum symmetries for graphs on up to seven vertices: a computer based approach | 2019-06-28 | Paper |
A survey on signature-based algorithms for computing Gröbner bases
Journal of Symbolic Computation | 2019-01-21 | Paper |
GBLA: Gröbner basis linear algebra package
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation | 2017-05-10 | Paper |
Signature rewriting in Gröbner basis computation
Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation | 2017-02-10 | Paper |
Predicting zero reductions in Gröbner basis computations
Proceedings of the 2014 Symposium on Symbolic-Numeric Computation | 2016-09-29 | Paper |
| New Strategies for Standard Bases over Z | 2016-09-14 | Paper |
Signature-based algorithms to compute Gröbner bases
Proceedings of the 36th international symposium on Symbolic and algebraic computation | 2015-06-09 | Paper |
Improving incremental signature-based Gröbner basis algorithms
ACM Communications in Computer Algebra | 2015-02-26 | Paper |
Modifying Faugère's F5 algorithm to ensure termination
ACM Communications in Computer Algebra | 2015-02-20 | Paper |
An analysis of inhomogeneous signature-based Gröbner basis computations
Journal of Symbolic Computation | 2014-03-03 | Paper |
F5C: A variant of Faugère's F5 algorithm with reduced Gröbner bases
Journal of Symbolic Computation | 2010-11-19 | Paper |
| The Algorithmic Behaviour of the F5 Algorithm | 2008-10-29 | Paper |
A new attempt on the \(F_5\) criterion
Computer Science Journal of Moldova | 2008-09-29 | Paper |
| On The Criteria Of The F5 Algorithm | 2008-04-12 | Paper |
