dimacs logo color

Events

Event Calendar

« Previous Month

August 2026

Next Month »
Sun Mon Tue Wed Thu Fri Sat
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

Seminar Details

Towards Formalizing the Pythagorean Theorem

  • Start Date: February 22, 2023
  • Event Start Time: 12:30 PM
  • Event End Time: 2:00 PM
  • Seminar Series: Rutgers LEAN (Mathematics) Seminar
  • Presenter(s): Alex Kontorovich - Rutgers University
  • Event Location: Hill Center, Room 005
  • Event Additional Info: <p>A Zoom option to attend is available. Please contact one of the organizers for the link.</p> <p>&nbsp;</p>
  • Presentation Type: Stand Alone Presentation
  • Abstract:

    We will discuss progress on formalizing the dependencies of one proof of the Pythagorean Theorem from Euclid's elements. The focus of the seminar will be putting these statements together, each of which have been formalized by seminar participants over the past two weeks.