Vass swMATH ID: 34696 Software Authors: Sakaguchi, K. Description: Vass: This repository contains following formalizations: logic/LRA.v: Linear real arithmetic and Fourier-Motzkin elimination; logic/Presburger.v: Presburger arithmetic and quantifier elimination; algebra_ext.v: Quantifier elimination principle for linear inequalities; matrix_ext.v: Farkas’ lemma; cone.v: Elementary theory of convex cones. Homepage: https://github.com/pi8027/vass Source Code: https://github.com/pi8027/vass Related Software: GitHub; z3; Coq Cited in: 1 Publication Cited by 2 Authors 1 Allamigeon, Xavier 1 Katz, Ricardo David Cited in 1 Serial 1 Journal of Automated Reasoning Cited in 3 Fields 1 Convex and discrete geometry (52-XX) 1 Computer science (68-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year