5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.CC2024
Simple Linear Loops: Algebraic Invariants and Applications
Rida Ait El Manssour, George Kenison, Mahsa Shirmohammadi +1
The automatic generation of loop invariants is a fundamental challenge in software verification. While this task is undecidable in general, it is decidable for certain restricted c…
math.AG2019★ 5 cited
Real Lines on Random Cubic Surfaces
Rida Ait El Manssour, Mara Belotti, Chiara Meroni
We give an explicit formula for the expectation of the number of real lines on a random invariant cubic surface, i.e. a surface defined by a random gaussia…