News Archives

RSS Feed

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.