Recent News
Computer science student chosen for Churchill Scholarship
January 11, 2023
Leaving a legacy: Computer science professor’s research honored with Test of Time Award
December 9, 2022
Virtual workshop on climate-driven extreme events planned Nov. 10
October 25, 2022
MathWorks gives $2 million to UNM to create endowed chair for Department of Computer Science
October 18, 2022
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.