Recent News
Two from School of Engineering to receive local 40 Under 40 awards
April 18, 2024
Making waves: Undergraduate combines computer science skills, love of water for summer internship
April 9, 2024
Inaugural School of Engineering Teaching Innovation Fellows selected
February 2, 2024
UNM computer scientist wins NSF CAREER Award to optimize supercomputer performance
February 1, 2024
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.