TO
1 - 25 of 3
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Sun, Xiaojun | Word-level abstractions for sequential design verification using algebraic geometry | Algebraic geometry; Formal verification; Groebner basis; multiplier; normal basis; unsatisfiability | 2017 | dissertation |
| 2 |
 |
Urbinati, Stefano | Discrepancies of normal varieties | Algebraic geometry; Canonical; Finite generation; Klt; Non-Q-Gorenstein; Singularities | 2012-05 | dissertation |
| 3 |
 |
Martinez, Cristian | Some birational geometric aspects of moduli spaces of sheaves on surfaces via bridgeland wall-crossing | Algebraic geometry; Birational geometry; Derived categories; Stability conditions | 2015-05 | dissertation |
1 - 25 of 3