<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2016-10-06 05:17:59Theoretical computer science Logic Mathematical logic Logic in computer science Artificial intelligence Automated reasoning Automated theorem proving Predicate logic Quantifier Andrei Voronkov Z3 Alt-Ergo |
Add to Reading List |
AVATAR Modulo Theories Nikolaj Bjøner1 Giles Reger2 Martin Suda3 Andrei Voronkov2,4,5 1 Microsoft Research, Redmond, USA University of Manchester, Manchester, UK![PRIMITIVE VECTORS AND SLn KEITH CONRAD An n-tuple [a1 , . . . , an ] ∈ Zn is called primitive when its coordinates are relatively prime as an n-tuple. For instance, [6, 10, 15] is a primitive vector in Z3 : even though](https://www.pdfsearch.io/img/c317d3d64762073eab13f07c2ff5a1c9.jpg "PRIMITIVE VECTORS AND SLn KEITH CONRAD An n-tuple [a1 , . . . , an ] ∈ Zn is called primitive when its coordinates are relatively prime as an n-tuple. For instance, [6, 10, 15] is a primitive vector in Z3 : even though")
