Mjollnir performs quantifier elimination and simplification for the theory of linear rational/real arithmetic, according to algorithms published by David Monniaux 2008-2010.
Contact |
Plan du site |
Site réalisé avec SPIP 4.4.28 +
AHUNTSIC
[CC License]
info visites 32176556
|
|
|