Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2024/01/05
-
Indian UGC (journal)
-
Refrences40
-
John Cyphert University of Wisconsin-Madison, Madison, USA ORCID (unauthenticated)
-
Zachary Kincaid Princeton University, Princeton, USA ORCID (unauthenticated)
Abstract
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| FLINT: Fast Library for Number Theory. Version 2.9.0, https://flintlib.org | 2023 | |||
| Mathematical Software – ICMS | 2010 | |||
| Summer meeting of the American Mathematical Society. | 1947 | |||
| Algorithms Related to Multiplicative Representations of Algebraic Numbers. Ph. D. Dissertation. Mathematics Department | ||||
| 10.5281/zenodo.10069757 |