<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2017-08-02 04:54:12Automated theorem proving Concolic testing Software testing Equations Z3 Solver Equation solving Mathematics Abstraction Software engineering |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2017-08-02 04:54:12Automated theorem proving Concolic testing Software testing Equations Z3 Solver Equation solving Mathematics Abstraction Software engineering |
Add to Reading List |
DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop![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")
