Concepedia

Deepak Kapur

DK

79

Publications

3.9K

Citations

38

H-Index

1979

Active since

Affiliations

University of New Mexico(Current)

University at Albany, State University of New York

General Electric (United States)

Albany State University

Rensselaer Polytechnic Institute

Deepak Kapur is an author at University of New Mexico specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationComputational ComplexityProgram AnalysisSoftware AnalysisVerificationComputer Engineering

Publications per year

1979–2019

79

Publications

79

Solving Polynomial Systems Using a Branch and Prune Approach

Pascal Van Hentenryck, David McAllester, Deepak Kapur · SIAM Journal on Numerical Analysis · 1997 · 278 citations

Numerical Analysis, Mathematical Programming, Branch-and-bound Algorithm +18

Algebraic and geometric reasoning using Dixon resultants

Deepak Kapur, Tushar Saxena, Lu Yang · 1994 · 151 citations · Full text

Numerical Analysis, Geometry, Extended Dixon +8

Generating all polynomial invariants in simple loops

Enric Rodríguez-Carbonell, Deepak Kapur · Journal of Symbolic Computation · 2007 · 130 citations

Algebraic Combinatorics, Polynomial Invariants, Algebraic Method +1

Proof by consistency

Deepak Kapur, David R. Musser · Artificial Intelligence · 1987 · 121 citations

Data Consistency, Engineering, Automated Reasoning +5

Using Gröbner bases to reason about geometry problems

Deepak Kapur · Journal of Symbolic Computation · 1986 · 119 citations

Geometric Modeling, Finite Geometry, Geometry +6

Rows per page

1–5 of 79