4 papers
Algebraic and Algorithmic Methods for Computing Polynomial Loop Invariants
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
Loop invariants are properties of a program loop that hold both before and after each iteration of the loop. They are often used to verify programs and ensure that algorithms consi…
Single-cell 3D genome reconstruction in the haploid setting using rigidity theory
Sean Dewar, Georg Grasegger, Kaie Kubjas +2
This article considers the problem of 3-dimensional genome reconstruction for single-cell data, and the uniqueness of such reconstructions in the setting of haploid organisms. We c…
From Affine to Polynomial: Synthesizing Loops with Branches via Algebraic Geometry
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
Ensuring software correctness remains a fundamental challenge in formal program verification. One promising approach relies on finding polynomial invariants for loops. Polynomial i…
Beyond Affine Loops: A Geometric Approach to Program Synthesis
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet
Ensuring software correctness remains a fundamental challenge in formal program verification. One promising approach relies on finding polynomial invariants for loops. Polynomial i…