13 citations · 36 across the 19 of their papers we have counts for
Showing 2023 · cs.SCShow all
2 papers · 2 filters
cs.SC2023
Transcendence Certificates for D-finite Functions
Manuel Kauers, Christoph Koutschan, Thibaut Verron
Although in theory we can decide whether a given D-finite function is transcendental, transcendence proofs remain a challenge in practice. Typically, transcendence is certified by…
cs.SC2023
Short proofs of ideal membership
Clemens Hofstadler, Thibaut Verron
A cofactor representation of an ideal element, that is, a representation in terms of the generators, can be considered as a certificate for ideal membership. Such a representation…