Campus Event Calendar
Event Entry
New for: D1, D2, D3, D4, D5
What and Who
Formal representation of mathematics in the mathematical assistant system Scunak
Feryal Fulya Horozal
IMPRS
Masters Seminar
AG 1, AG 2, AG 3, AG 4, AG 5, SWS
MPI Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Wednesday, 17 May 2006
13:05
60 Minutes
E1 4
024
Saarbrücken
Abstract
The talk will present the basic characteristics of the formalizations I
have done in the mathematical assistant system Scunak [Brown06] from the
field of Real Analysis, particularly concerning the notions of "Real
numbers and their properties" and "Sequences" as the first phase of my
master's thesis. A particular focus will be on the user interaction with
the system to prove mathematical statements. I will give an overview of
the future phases of the thesis to motivate a possible contribution of the
final work regarding the formal representation of mathematics in theorem
provers.
have done in the mathematical assistant system Scunak [Brown06] from the
field of Real Analysis, particularly concerning the notions of "Real
numbers and their properties" and "Sequences" as the first phase of my
master's thesis. A particular focus will be on the user interaction with
the system to prove mathematical statements. I will give an overview of
the future phases of the thesis to motivate a possible contribution of the
final work regarding the formal representation of mathematics in theorem
provers.
Contact
Kerstin Kathy Meyer-Ross
226
--email hidden
passcode not visible
logged in users only
Jennifer Gerling, 05/17/2006 09:49 -- Created document.