Recent News
Dissertation defense, April 9: Abir Islam
April 3, 2025
UNM student creates game-changing in-seat food delivery service
April 1, 2025
Dissertation defense, April 7: Ala Jararweh
March 31, 2025
Dissertation defense, April 4: John Ringer
March 31, 2025
News Archives
Automated Reasoning and Symbolic Computation
November 20, 2003 - I will discuss my current research in automated reasoning and symbolic computation.
Date: Thursday, November 20th
Time: 11am-12:15pm
Location: Woodward 149
Deepak Kapur, (email) Department of Computer Science, UNM
Abstract: I will discuss my current research in automated reasoning and symbolic computation. I will talk about two topics: (i) the use of decision procedures for quantifier-free theories to help mechanize induction, and (ii) Dixon resultants for solving polynomial equations. Time permitting, new research on a method for computing invariants of loop programs inspired by Colon, Sankaranarayanan and Sipma (CAV 2003) will be presented.