Skip to content

Pull requests: math-comp/analysis

New pull request New
54 Open 1,279 Closed
54 Open 1,279 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

a few small generalizations enhancement ✨ This issue/PR is about adding new features enhancing the library
#1817 opened Jan 2, 2026 by affeldt-aist Loading…
1 task done
1.15.0
fixes #1133
#1816 opened Jan 1, 2026 by affeldt-aist Loading…
2 tasks done
1
avoid name clash "bug" 🐛 This issue (resp. PR) describes (resp. fixes) a "bug"
#1814 opened Jan 1, 2026 by affeldt-aist Loading…
1 task done
1.15.0
1
2
Heine cantor
#1809 opened Dec 23, 2025 by affeldt-aist • Draft
2 tasks
1
CPOs (wip) experiment 🧪 This issue/PR is very experimental
#1807 opened Dec 22, 2025 by affeldt-aist • Draft
2 tasks
1.16.0
fixes #1804
#1806 opened Dec 22, 2025 by affeldt-aist Loading…
1 task done
1.15.0
1
2
EVT for rV
#1802 opened Dec 20, 2025 by yosakaon Loading…
2 tasks
differentiable rsubmx/lsubmx lemmas + derive_sqrt
#1801 opened Dec 20, 2025 by yosakaon Loading…
1 of 2 tasks
1
Bolzano weierstrass enhancement ✨ This issue/PR is about adding new features enhancing the library
#1787 opened Dec 4, 2025 by affeldt-aist Loading…
2 tasks done
1.15.0
5
the Gamma function
#1762 opened Nov 18, 2025 by IshiguroYoshihiro Loading…
2 tasks done
Differential calculus
#1758 opened Nov 17, 2025 by Tragicus • Draft
2 tasks
PoweR with extended real exponents
#1753 opened Nov 10, 2025 by jmmarulang • Draft
2 tasks
4
Mertens theorems
#1720 opened Sep 18, 2025 by Tragicus • Draft
2 tasks
Normed vector types, infinite norm, norm equivalence thm, continuity …
#1718 opened Sep 16, 2025 by Tragicus Loading…
2 tasks
1.15.0
7
[Paper Artifact] Equational Reasoning for Probabilistic Programming
#1712 opened Sep 1, 2025 by affeldt-aist Loading…
2 tasks
1
hoeffding's inequality lemma definition
#1698 opened Aug 14, 2025 by hoheinzollern • Draft
2 tasks
realType structure over fourcolor's reals
#1692 opened Aug 1, 2025 by lweqx • Draft
1
Divergence of the Sum of the Reciprocals of Prime Numbers and the Second Mertens Theorem
#1690 opened Jul 22, 2025 by LucasMalaizier • Draft
Generalize integration_by_parts enhancement ✨ This issue/PR is about adding new features enhancing the library
#1674 opened Jul 4, 2025 by IshiguroYoshihiro Loading…
1 of 2 tasks
1.15.0
34
Alternative Proof of Gauss Integral with improper integral
#1646 opened Jun 20, 2025 by IshiguroYoshihiro Loading…
1 of 2 tasks
8
[Paper Artifact] Bernoulli sampling theorem
#1645 opened Jun 19, 2025 by hoheinzollern Loading…
1
Holomorphy
#1629 opened May 22, 2025 by Tragicus Loading…
2 tasks done
1
metric structure enhancement ✨ This issue/PR is about adding new features enhancing the library
#1589 opened Apr 24, 2025 by affeldt-aist Loading…
2 tasks done
1.15.0
1
6
Sorgenfrey line and properties
#1585 opened Apr 23, 2025 by motikaku • Draft
2 tasks
1
1
Exp coeff properties 20250325
#1537 opened Mar 25, 2025 by IshiguroYoshihiro • Draft
1 of 2 tasks
ProTip! Follow long discussions with comments:>50.