Skip to content

Pull requests: math-comp/analysis

New pull request New
36 Open 1,154 Closed
36 Open 1,154 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

normal_prob cont./reproductive property enhancement ✨ This issue/PR is about adding new features enhancing the library
#1955 opened Apr 27, 2026 by affeldt-aist Member Loading…
2 tasks done
1.17.0
Add missing lemmas for distr
#1954 opened Apr 26, 2026 by lyonel2017 • Draft
2 tasks
mv charge to measure and lebesgue_integral renaming/refactoring 🔧 This is about a renaming or refactoring in the library
#1953 opened Apr 26, 2026 by affeldt-aist Member Loading…
2 tasks done
1.17.0
redefine distr using esum and lebesgue experiment 🧪 This issue/PR is very experimental
#1952 opened Apr 25, 2026 by affeldt-aist Member • Draft
2 tasks
measurable types are not pointed by default any more enhancement ✨ This issue/PR is about adding new features enhancing the library
#1949 opened Apr 24, 2026 by affeldt-aist Member Loading…
2 tasks done
1.17.0
1
9
tentative removal of Rint experiment 🧪 This issue/PR is very experimental
#1937 opened Apr 16, 2026 by affeldt-aist Member • Draft
2 tasks
1.17.0
5
Discrete and continuous abel transforms
#1934 opened Apr 12, 2026 by Tragicus Collaborator Loading…
1 task done
2
test subNormedZmodType experiment 🧪 This issue/PR is very experimental
#1928 opened Apr 3, 2026 by affeldt-aist Member • Draft
2 tasks
1
[WIP] fixes #1821
#1918 opened Mar 25, 2026 by affeldt-aist Member • Draft
2 tasks
is_derive/is_diff for matrices enhancement ✨ This issue/PR is about adding new features enhancing the library
#1891 opened Mar 9, 2026 by affeldt-aist Member • Draft
2 tasks
1.17.0
Hahn banach 2026 enhancement ✨ This issue/PR is about adding new features enhancing the library
#1889 opened Mar 6, 2026 by mkerjean Collaborator • Draft
2 tasks
1.17.0
added within_continuous_patch enhancement ✨ This issue/PR is about adding new features enhancing the library
#1883 opened Mar 5, 2026 by holgerthies Collaborator Loading…
1 of 2 tasks
1.17.0
within continuity row vector enhancement ✨ This issue/PR is about adding new features enhancing the library
#1882 opened Mar 5, 2026 by affeldt-aist Member • Draft
1 of 2 tasks
1.17.0
derive row_mx
#1866 opened Mar 2, 2026 by affeldt-aist Member Loading…
1 of 2 tasks
1.17.0
1
giry monad is symmetric monoidal (wip) enhancement ✨ This issue/PR is about adding new features enhancing the library
#1861 opened Feb 26, 2026 by affeldt-aist Member • Draft
2 tasks
1.17.0
add itv_closureE, itv_interiorE, and helper lemmas
#1848 opened Feb 16, 2026 by t6s Member • Draft
1 of 2 tasks
15
Experiment : Tvs
#1846 opened Feb 13, 2026 by mkerjean Collaborator • Draft
2 tasks
Heine cantor
#1809 opened Dec 23, 2025 by affeldt-aist Member • Draft
2 tasks
1
CPOs (wip) experiment 🧪 This issue/PR is very experimental
#1807 opened Dec 22, 2025 by affeldt-aist Member • Draft
2 tasks
1.17.0
the Gamma function
#1762 opened Nov 18, 2025 by IshiguroYoshihiro Collaborator Loading…
2 tasks done
Differential calculus
#1758 opened Nov 17, 2025 by Tragicus Collaborator • Draft
2 tasks
Mertens theorems
#1720 opened Sep 18, 2025 by Tragicus Collaborator • Draft
2 tasks
2
[Paper Artifact] Equational Reasoning for Probabilistic Programming
#1712 opened Sep 1, 2025 by affeldt-aist Member Loading…
2 tasks
1
hoeffding's inequality lemma definition
#1698 opened Aug 14, 2025 by hoheinzollern Member • Draft
2 tasks
Divergence of the Sum of the Reciprocals of Prime Numbers and the Second Mertens Theorem
#1690 opened Jul 22, 2025 by LucasMalaizier • Draft
ProTip! Updated in the last three days: updated:>2026-04-26.