Pith. sign in

REVIEW 1 cited by

Bounds for D-Algebraic Closure Properties

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2505.07304 v1 pith:ZIIWPX5B submitted 2025-05-12 cs.SC

classification cs.SC
keywords boundsequationsclosured-algebraicdifferentialpropertiessomeapply
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We provide bounds on the size of polynomial differential equations obtained by executing closure properties for D-algebraic functions. While it is easy to obtain bounds on the order of these equations, it requires some more work to derive bounds on their degree. Here we give bounds that apply under some technical condition about the defining differential equations.

Discussion (0). Sign in to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Support bound for differential elimination in polynomial dynamical systems

    cs.SC 2025-06 conditional novelty 6.0 of 10

    A support bound for the minimal differential equation of a polynomial observation of a polynomial dynamical system, generalized to arbitrary polynomial outputs and symbolic parameters.

Pith tools