Machine interpretation of line drawings K Sugihara MIT press, 1986 | 433 | 1986 |

Solving polynomial systems using a branch and prune approach P Van Hentenryck, D McAllester, D Kapur SIAM Journal on Numerical Analysis 34 (2), 797-827, 1997 | 364 | 1997 |

Geometric reasoning D Kapur, JL Mundy Applied Optics 28, 5383, 1989 | 289* | 1989 |

Algebraic and geometric reasoning using Dixon resultants D Kapur, T Saxena, L Yang Proceedings of the international symposium on Symbolic and algebraic …, 1994 | 210 | 1994 |

Proof by consistency D Kapur, DR Musser Artificial Intelligence 31 (2), 125-157, 1987 | 172 | 1987 |

NP-completeness of the set unification and matching problems D Kapur, P Narendran International Conference on Automated Deduction, 489-495, 1986 | 169 | 1986 |

A mechanizable induction principle for equational specifications H Zhang, D Kapur, MS Krishnamoorthy International Conference on Automated Deduction, 162-181, 1988 | 162 | 1988 |

An equational approach to theorem proving in first-order predicate calculus D Kapur, P Narendran IJCAI 1985, 1146-1153, 1985 | 158 | 1985 |

Using Gröbner bases to reason about geometry problems D Kapur Journal of Symbolic Computation 2 (4), 399-408, 1986 | 155 | 1986 |

On sufficient-completeness and related properties of term rewriting systems D Kapur, P Narendran, H Zhang Acta Informatica 24 (4), 395-415, 1987 | 151 | 1987 |

An overview of rewrite rule laboratory (RRL) D Kapur, H Zhang Computers & Mathematics with Applications 29 (2), 91-114, 1995 | 146 | 1995 |

Generating all polynomial invariants in simple loops E Rodríguez-Carbonell, D Kapur Journal of Symbolic Computation 42 (4), 443-476, 2007 | 129 | 2007 |

Geometry theorem proving using Hilbert's Nullstellensatz D Kapur Proceedings of the fifth ACM symposium on Symbolic and algebraic computation …, 1986 | 122 | 1986 |

Complexity of unification problems with associative-commutative operators D Kapur, P Narendran Journal of Automated Reasoning 9 (2), 261-288, 1992 | 114 | 1992 |

Complexity of matching problems D Benanav, D Kapur, P Narendran Journal of symbolic computation 3 (1-2), 203-216, 1987 | 112 | 1987 |

Automatically generating loop invariants using quantifier elimination D Kapur Dagstuhl Seminar Proceedings, 2006 | 102 | 2006 |

A finite Thue system with decidable word problem and without equivalent finite canonical system D Kapur, P Narendran Theoretical Computer Science 35, 337-344, 1985 | 102 | 1985 |

Elimination methods: An introduction D Kapur, YN Lakshman State University of New York at Albany, Department of Computer Science, 1991 | 101 | 1991 |

Automatic generation of polynomial loop invariants: Algebraic foundations E Rodríguez-Carbonell, D Kapur Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004 | 99 | 2004 |

Automatic generation of polynomial invariants of bounded degree using abstract interpretation E Rodríguez-Carbonell, D Kapur Science of Computer Programming 64 (1), 54-75, 2007 | 95 | 2007 |