Machine interpretation of line drawings K Sugihara The Massachusetts Institute of Technology, 1986 | 434 | 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 | 369 | 1997 |

Geometric reasoning D Kapur, JL Mundy MIT press, 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 | 215 | 1994 |

Proof by consistency D Kapur, DR Musser Artificial Intelligence 31 (2), 125-157, 1987 | 173 | 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 | 161 | 1988 |

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

An equational approach to theorem proving in first-order predicate calculus D Kapur, P Narendran ACM SIGSOFT Software Engineering Notes 10 (4), 63-66, 1985 | 157 | 1985 |

On sufficient-completeness and related properties of term rewriting systems D Kapur, P Narendran, H Zhang Acta Informatica 24 (4), 395-415, 1987 | 152 | 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 | 135 | 2007 |

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

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

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

Automatically generating loop invariants using quantifier elimination D Kapur Dagstuhl Seminar Proceedings, 2006 | 108 | 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 |

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 | 100 | 2004 |

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

Computing a Gröbner basis of a polynomial ideal over a Euclidean domain Ä Kandri-Rody, D Kapur Journal of symbolic computation 6 (1), 37-57, 1988 | 97 | 1988 |