Recent News
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
Computer Science Colloquium will discuss the use of AI in cyber-physical systems
March 27, 2025
News Archives
[Colloquium] Automated Deduction and Its Application to Mathematics
August 31, 2007
- Date: Friday, August 31, 2007
- Time: 1 pm — 2:30 pm
- Place: ME 218
Robert Veroff
Department of Computer Science, UNM
Abstract: One of the objectives of automated deduction is to develop tools that use mathematical logic and deduction to solve, or help people solve, problems coming from a wide variety of application domains. Such tools are being used for research in mathematics and have led to the solution of numerous open questions. In this talk, I will give a brief introduction to the field and will describe some of the activities of our research group.
Bio: Bob Veroff is professor emeritus in the UNM Computer Science Department.
