Skip to content

Pull requests: math-comp/analysis

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

Pull requests list

Bernoulli sampling lemma
#1240 opened Jun 7, 2024 by hoheinzollern • Draft
2 tasks
Lspace
#1230 opened May 27, 2024 by hoheinzollern Loading…
1
identifier for completed lebesgue measure enhancement ✨ This issue/PR is about adding new features enhancing the library
#1224 opened May 20, 2024 by affeldt-aist Loading…
2 tasks done
1.3.0
[WIP] Adapt to math-comp/math-comp#1213
#1216 opened Apr 23, 2024 by pi8027 • Draft
2 tasks
Wochoice enhancement ✨ This issue/PR is about adding new features enhancing the library
#1198 opened Mar 28, 2024 by Tragicus Loading…
2 tasks
1.3.0
6
draft: separating pointed out of topological renaming/refactoring 🔧 This is about a renaming or refactoring in the library
#1191 opened Mar 25, 2024 by zstone1 • Draft
2 tasks
11
Giry monad for probabilities
#1177 opened Feb 27, 2024 by hoheinzollern • Draft
2 tasks
2
add a version of Zorn relativized over a given point enhancement ✨ This issue/PR is about adding new features enhancing the library TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
#1117 opened Dec 12, 2023 by t6s Loading…
1 task done
Evt TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
#1107 opened Nov 17, 2023 by mkerjean • Draft
3 tasks
Splitting proofs and reshuffling code
#1041 opened Oct 3, 2023 by CohenCyril • Draft
2 tasks
1
Counterexample for real_nbhs_nbhs in a numFieldType (C)
#1040 opened Oct 3, 2023 by CohenCyril • Draft
3 tasks
convType instances experiment 🧪 This issue/PR is very experimental help 🆘 This author/reviewer of this issue/PR needs external help TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
#1010 opened Aug 11, 2023 by affeldt-aist Loading…
3 tasks done
1.3.0
5
C1 and lipschitz experiment 🧪 This issue/PR is very experimental TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
#917 opened Apr 28, 2023 by IshiguroYoshihiro • Draft
2 of 3 tasks
7
Application of s-finite kernels to program semantics experiment 🧪 This issue/PR is very experimental
#912 opened Apr 27, 2023 by affeldt-aist • Draft
3 tasks
tentative definition of Lp-spaces wontfix/merge 🚫 We wont fix this issue/merge this PR, we will close it soon
#899 opened Apr 14, 2023 by affeldt-aist • Draft
3 tasks
qbs? experiment 🧪 This issue/PR is very experimental
#774 opened Oct 14, 2022 by affeldt-aist • Draft
2 tasks
1
tentative proof of exp question ❓ There is an unanswered question here
#770 opened Oct 12, 2022 by affeldt-aist • Draft
2 tasks
Probabilistic convergence TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
#769 opened Oct 11, 2022 by hoheinzollern • Draft
3 tasks
5
Kernels wontfix/merge 🚫 We wont fix this issue/merge this PR, we will close it soon
#749 opened Sep 21, 2022 by affeldt-aist • Draft
2 tasks
Draft: Paths TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
#737 opened Sep 1, 2022 by zstone1 • Draft
2 tasks
@zstone1
trying to generalize mfun help 🆘 This author/reviewer of this issue/PR needs external help TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
#672 opened Jun 3, 2022 by affeldt-aist • Draft
2 tasks
1
Tvs and duality theory TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
#539 opened Feb 8, 2022 by mkerjean • Draft
1
change inequality in ereal_{d,}nbhs and {p,n}infty_{d,}nbhs experiment 🧪 This issue/PR is very experimental TODO: MC2 port This PR must be ported to mathcomp 2 now that the. Remove this label when the port is done.
#487 opened Dec 4, 2021 by affeldt-aist Loading… 1.3.0
2
doc generated with alectryon documentation 📝 This issue/PR is about documentation of the library / repository experiment 🧪 This issue/PR is very experimental wontfix/merge 🚫 We wont fix this issue/merge this PR, we will close it soon
#458 opened Oct 22, 2021 by affeldt-aist • Draft
11
scratch on power series experiment 🧪 This issue/PR is very experimental
#396 opened Jun 18, 2021 by t6s • Draft
2
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.