Basel Problem – Preliminaries

In the article we formalize in the Mizar system [4] preliminary facts needed to prove the Basel problem [7, 1]. Facts that are independent from the notion of structure are included here.

Bibliographic Details
Main Authors: Korniłowicz Artur, Pąk Karol
Format: Article
Language:English
Published: Sciendo 2017-07-01
Series:Formalized Mathematics
Subjects:
Online Access:https://doi.org/10.1515/forma-2017-0013