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

Formal Proofs of the Pythagorean Theorem: Style and Choices

  • Start Date: February 8, 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
  • Presentation Type: Stand Alone Presentation
  • Abstract:

    This will be a workshop-style seminar. We will discuss choices relevant to formalizing proofs of the Pythagorean theorem, such as what extent to use synthetic geometry. We will also discuss how to parallelize a research effort into formalizing the theorems of Euclidean geometry that lead up the Pythagorean theorem.