TO
Filters: Subject: "Computer Algebra" School Or College: "College of Engineering" Collection: "ir_etd" Format: "application/pdf"
1 - 25 of 1
| Author | Title | Subject | Date | Publication Type | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Lv, Jinpeng | Scalable formal verification of finite field arithmetic circuits using computer algebra techniques | Computer Algebra; Cryptography circuits; Equivalence checking; Finite field; Grobner Bases | 2012-12 | dissertation |
1 - 25 of 1