Differential elimination and algebraic invariants of polynomial dynamical systems

Theoretical Computer Science 2026 Open access

Read full text

Authors: William Simmons, André Platzer

DOI: 10.1016/j.tcs.2026.115925

Cited by: 0

References: 52

Fields of Study & Subjects

Formal Methods in Verification Cryptographic Implementations and Security Security and Verification in Computing

References 52