research
∙
02/13/2023
Signature Gröbner bases in free algebras over rings
We generalize signature Gröbner bases, previously studied in the free al...
share
research
∙
02/13/2023
Transcendence Certificates for D-finite Functions
Although in theory we can decide whether a given D-finite function is tr...
research
∙
02/06/2023
Short proofs of ideal membership
A cofactor representation of an ideal element, that is, a representation...
research
∙
02/15/2022
On Polynomial Ideals And Overconvergence In Tate Algebras
In this paper, we study ideals spanned by polynomials or overconvergent ...
research
∙
02/11/2022
On the computation of Gröbner bases for matrix-weighted homogeneous systems
In this paper, we examine the structure of systems that are weighted hom...
research
∙
07/30/2021
Signature Gröbner bases, bases of syzygies and cofactor reconstruction in the free algebra
Signature-based algorithms have become a standard approach for computing...
research
∙
02/10/2021
On FGLM Algorithms with Tate Algebras
Tate introduced in [Ta71] the notion of Tate algebras to serve, in the c...
research
∙
02/05/2021
On Two Signature Variants Of Buchberger's Algorithm Over Principal Ideal Domains
Signature-based algorithms have brought large improvements in the perfor...
research
∙
02/11/2020
Signature-based algorithms for Gröbner bases over Tate algebras
Introduced by Tate in [Ta71], Tate algebras play a major role in the con...
research
∙
02/07/2020
Integral P-Recursive Sequences
In an earlier paper, the notion of integrality known from algebraic numb...
research
∙
01/28/2019
Signature-based Möller's algorithm for strong Gröbner bases over PIDs
Signature-based algorithms are the latest and most efficient approach as...
research
∙
01/28/2019
Gröbner bases over Tate algebras
Tate algebras are fundamental objects in the context of analytic geometr...
research
∙
05/16/2018
On Affine Tropical F5 Algorithms
Let K be a field equipped with a valuation. Tropical varieties over K ca...
research
∙
02/05/2018
A Signature-based Algorithm for computing Computing Gröbner Bases over Principal Ideal Domains
Signature-based algorithms have become a standard approach for Gröbner b...
research
∙
02/05/2018
Signature-based Criteria for Möller's Algorithm for Computing Gröbner Bases over Principal Ideal Domains
Signature-based algorithms have become a standard approach for Gröbner b...
research
∙
05/03/2016
