Deepak Kapur
University of New Mexico
H-index: 56
North America-United States
Top articles of Deepak Kapur
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Existence and Construction of a Gr\" obner Basis for a Polynomial Ideal | arXiv preprint arXiv:2306.09602 | Deepak Kapur Paliath Narendran | 2023/6/16 |
Interpolation Results for Arrays with Length and MaxDiff | ACM Transactions on Computational Logic | Silvio Ghilardi Alessandro Gianola Deepak Kapur Chiara Naso | 2023/6/9 |
Verifying Quantum Phase Estimation (QPE) using Prove-It | arXiv preprint arXiv:2304.02183 | Wayne M Witzel Warren D Craft Robert Carr Deepak Kapur | 2023/4/5 |
Modularity and Combination of Associative Commutative Congruence Closure Algorithms enriched with Semantic Properties | Logical Methods in Computer Science | Deepak Kapur | 2023/3/14 |
Verifying quantum phase estimation using an expressive theorem-proving assistant | Physical Review A | Wayne M Witzel Warren D Craft Robert Carr Deepak Kapur | 2023/11/20 |
Invariant Generation as Semantic Unification: A New Perspective | Deepak Kapur | 2023/7/2 | |
Deciding the Word Problem for Ground and Strongly Shallow Identities wrt Extensional Symbols | Journal of Automated Reasoning | Franz Baader Deepak Kapur | 2022/8 |
Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals | Weifeng Shang Chenqi Mou Deepak Kapur | 2022/7/4 | |
General interpolation and strong amalgamation for contiguous arrays | arXiv preprint arXiv:2204.11771 | Silvio Ghilardi Alessandro Gianola Deepak Kapur Chiara Naso | 2022/4/25 |
Uniform Interpolants in EUF: Algorithms using DAG-representations | Logical Methods in Computer Science | Silvio Ghilardi Alessandro Gianola Deepak Kapur | 2022/4/14 |
Verifying Quantum Phase Estimation using Prove-It. | Wayne Witzel Warren Craft Robert Carr Joaquín Madrid Larrañaga Deepak Kapur | 2022/2/1 | |
Larry Wos: Visions of automated reasoning | Journal of automated reasoning | Michael Beeson Maria Paola Bonacina Michael Kinyon Geoff Sutcliffe | 2022/11 |
A modular associative commutative (AC) congruence closure algorithm | Deepak Kapur | 2021 | |
Interpolation and Amalgamation for Arrays with MaxDiff. | Silvio Ghilardi Alessandro Gianola Deepak Kapur | 2021/3/23 | |
Algorithms for computing greatest common divisors of parametric multivariate polynomials | Journal of Symbolic Computation | Deepak Kapur Dong Lu Michael Monagan Yao Sun Dingkang Wang | 2021/1/1 |
Deduction (Dagstuhl Seminar 99091) | Ulrich Furbach Harald Ganzinger Ryuzo Hasegawa Deepak Kapur | 2021 | |
Deduction (Dagstuhl Seminar 01101) | Ulrich Furbach Harald Ganzinger Ryuzo Hasegawa Deepak Kapur | 2021 | |
Deduction and Infinite-state Model Checking (Dagstuhl Seminar 03171) | Deepak Kapur Andreas Podelski Andrei Voronkov | 2021 | |
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDif | CEUR WORKSHOP PROCEEDINGS | J Castellanos Joo Silvio Ghilardi Alessandro Gianola Deepak Kapur | 2021 |
Compactly representing uniform interpolants for EUF using (conditional) DAGS | Silvio Ghilardi Alessandro Gianola Deepak Kapur | 2020 |