Pegasus: Sound continuous invariant generation A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer Formal Methods in System Design 58 (1-2), 5-41, 2021 | 17 | 2021 |
Pegasus: A framework for sound continuous invariant generation A Sogokon, S Mitsch, YK Tan, K Cordwell, A Platzer Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 16 | 2019 |
CAZAC Sequences and Haagerup’s Characterization of Cyclic N-roots JJ Benedetto, K Cordwell, M Magsino New Trends in Applied Harmonic Analysis, Volume 2: Harmonic Analysis …, 2019 | 11 | 2019 |
A verified decision procedure for univariate real arithmetic with the BKR algorithm K Cordwell, YK Tan, A Platzer arXiv preprint arXiv:2102.03003, 2021 | 9 | 2021 |
On algorithms to calculate integer complexity K Cordwell, A Epstein, A Hemmady, SJ Miller, EA Palsson, A Sharma, ... arXiv preprint arXiv:1706.08424, 2017 | 9 | 2017 |
On lower central series quotients of finitely generated algebras over Z K Cordwell, T Fei, K Zhou Journal of Algebra 423, 559-572, 2015 | 8 | 2015 |
Verified quadratic virtual substitution for real arithmetic M Scharager, K Cordwell, S Mitsch, A Platzer Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 7 | 2021 |
Summand minimality and asymptotic convergence of generalized Zeckendorf decompositions K Cordwell, M Hlavacek, C Huynh, SJ Miller, C Peterson, YNT Vu Research in Number Theory 4 (4), 1-27, 2018 | 6 | 2018 |
On Near Perfect Numbers P Cohen, K Cordwell, A Epstein, CH Kwan, A Lott, SJ Miller arXiv preprint arXiv:1610.04253, 2016 | 6 | 2016 |
A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL K Kosaian, YK Tan, A Platzer Proceedings of the 12th ACM SIGPLAN International Conference on Certified …, 2023 | 3 | 2023 |
Multilinear polynomials of small degree evaluated on matrices over a unital algebra K Cordwell, G Wang Linear Algebra and its Applications 496, 262-287, 2016 | 3 | 2016 |
The BKR decision procedure for univariate real arithmetic K Cordwell, YK Tan, A Platzer Archive of Formal Proofs, 2021 | 2 | 2021 |
Improving automated strategies for univariate quantifier elimination K Cordwell, CA Munoz, AM Dutle | 2 | 2021 |
Towards Physical Hybrid Systems K Cordwell, A Platzer Automated Deduction–CADE 27: 27th International Conference on Automated …, 2019 | 1 | 2019 |