Torrent details for "Affeldt R. An Introduction to MathComp-Analysis 2025" Log in to bookmark
Controls:
×
Report Torrent
Please select a reason for reporting this torrent:
Your report will be reviewed by our moderation team.
×
Report Information
Loading report information...
This torrent has been reported 0 times.
Report Summary:
| User | Reason | Date |
|---|
Failed to load report information.
×
Success
Your report has been submitted successfully.
Checked by:
Category:
Language:
None
Total Size:
1.7 MB
Info Hash:
08E81A40D35AF2A020539DB989BB7E20884D5EDE
Added By:
Added:
Sept. 14, 2025, 11:59 a.m.
Stats:
|
(Last updated: Sept. 14, 2025, 12:01 p.m.)
| File | Size |
|---|---|
| Affeldt R. An Introduction to MathComp-Analysis 2025.pdf | 1.7 MB |
Name
DL
Uploader
Size
S/L
Added
NOTE
SOURCE: Affeldt R. An Introduction to MathComp-Analysis 2025
-----------------------------------------------------------------------------------
COVER
-----------------------------------------------------------------------------------
MEDIAINFO
Textbook in PDF format This document is a memo written for a class of about ten hours held at the Graduate School of Mathematics at Nagoya University from [2022-12-19] to [2022-12-23]. The intent is to provide the necessary background about the Coq proof assistant and the MathComp library (for students who already had an exposition to these pieces of software) to be able to understand and get started with the MathComp-Analysis library. This document is meant to be selfcontained. Since Coq and MathComp are already explained elsewhere, the parts about them are rather cursory, relying on pointers to the appropriate literature such as the Coq reference manual [The Coq Development Team, 2024], the original SSReflect manual [Gonthier et al., 2016], and the Mathematical Components book [Mahboubi and Tassi, 2021]. And for Japanese readers: [Affeldt, 2017], [Hagiwara and Affeldt, 2018]
×