Searching for authors named Deepak Kapur – sorted by Relevance.
-
An Approach for Solving Systems of Parametric Polynomial Equations
- 1 An Approach for Solving Systems of Parametric Polynomial Equations Deepak Kapur 1 1.1 Abstract
- Cited by 5 (2 self) – Add To MetaCart
-
Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets
- Automated Geometric Reasoning: Dixon Resultants, Grobner Bases, and Characteristic Sets Deepak
- Cited by 6 (0 self) – Add To MetaCart
-
Theorem Proving Support for Hardware Verification
- Theorem Proving Support for Hardware Verication |Preliminary Draft| Deepak Kapur ? Department
- Cited by 4 (0 self) – Add To MetaCart
-
Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic
- Rewriting, Induction and Decision Procedures: A Case Study of Presburger Arithmetic Deepak Kapur
- Cited by 1 (1 self) – Add To MetaCart
-
Rewriting, decision procedures and lemma speculation for automated hardware verification
- Rewriting, Decision Procedures and Lemma Speculation for Automated Hardware Verification Deepak
- Cited by 4 (3 self) – Add To MetaCart
-
Automatically Generating Loop Invariants Using Quantifier Elimination
- – Deepak Kapur Abstract. An approach for automatically generating loop invariants using quantifier
- Cited by 13 (0 self) – Add To MetaCart
-
Constructors Can Be Partial, Too
- 8 Constructors Can Be Partial, Too Deepak Kapur 1 State University of New York at Albany 8
- Cited by 6 (1 self) – Add To MetaCart
-
Shostak's Congruence Closure as Completion
- Shostak's Congruence Closure as Completion Deepak Kapur ? Department of Computer Science State
- Cited by 28 (3 self) – Add To MetaCart
-
Lemma Discovery in Automating Induction
- Lemma Discovery in Automating Induction Deepak Kapur M. Subramaniam Computer Science Department
- Cited by 15 (1 self) – Add To MetaCart
-
Automatic Generation of Simple Lemmas from Recursive Definitions Using Decision Procedures
- ⋆ — Preliminary Report — Deepak Kapur 1 and M. Subramaniam 2 1 Department of Computer Science, University of New
- Cited by 3 (2 self) – Add To MetaCart

