Mechanized quantifier elimination for linear real-arithmetic in Isabelle/HOL

Cached

Download Links

by Amine Chaieb
Citations:1 - 0 self