RISC Forum
Robert Vajda: Supporting Exploration in Elementary Analysis by Computational, Graphical and Reasoning Tools (PhD Thesis Summary, Internal Defence)
| When |
Jun 22, 2009
from 01:30 PM to 01:50 PM |
|---|---|
| Where | RISC seminar room |
| Attendees |
all@risc |
| Add event to calendar |
vCal
iCal
|
In the first part of my talk I consider the requirements for a computer supported learning environment for elementary analysis. The environment should provide computer support for computation, visualization and reasoning, too. However, reasoning is rarely covered yet by present mathematical assistant systems.
In the second part I report about the reasoning tools I developed for elementary analysis. The reasoning tools are PCS-type provers and implemented in the frame of the Theorema system. They apply methods for real quantifier elimination in order to obtain witness terms in the deduction of standard elementary analysis theorems.