Zhifeng Guo, “Formalizing the Convergence of Real-Valued Series in Lean: Enriching the Mathlib Library”

Name: Zhifeng Guo, “Formalizing the Convergence of Real-Valued Series in Lean: Enriching the Mathlib Library”
Start: 2025-05-02T11:00:00-04:00
End: 2025-05-02T12:15:00-04:00
Location: Hylan Building

By Department of Mathematics

Friday, May 2, 2025 11:00am to 12:15pm EDT

I'm Interested

Image of Zhifeng Guo, “Formalizing the Convergence of Real-Valued Series in Lean: Enriching the Mathlib Library”

I'm Interested

About this Event

Hylan Building, 101 View map

Add to calendar

Hylan Building, Rochester, NY 14620

View map

Add to calendar

Extra comments:Talk can be livestreamed on zoom meeting ID 986 2892 7517 - send request to jonathan.pakianathan@rochester.edu at least 2 days before talk to guarantee this option. Video of the lecture will be made available after the talk also (not live).

Abstract: TBA

Event Details

See Who Is Interested

0 people are interested in this event

I'm Interested

Hide map Show map

Public transport

Car

Walking

User Activity

No recent activity

Zhifeng Guo, “Formalizing the Convergence of Real-Valued Series in Lean: Enriching the Mathlib Library”

Event Details

See Who Is Interested

Search

Quick access

Employees

Academics

Services

Resources