Skip to content

Pull requests: math-comp/analysis

New pull request New
47 Open 1,028 Closed
47 Open 1,028 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Doc: The definitions are expressed as a table.
#1452 opened Jan 10, 2025 by yoshihiro503 Loading…
2 tasks
5
nondecreasing functions have a countable number of discontinuities enhancement ✨ This issue/PR is about adding new features enhancing the library
#1451 opened Jan 8, 2025 by affeldt-aist Loading…
2 tasks done
1.9.0
4
tentative gen of int. by subst
#1450 opened Jan 8, 2025 by affeldt-aist • Draft
2 tasks
tentative generalization of FTC2 enhancement ✨ This issue/PR is about adding new features enhancing the library
#1446 opened Jan 7, 2025 by affeldt-aist Loading…
1 task done
1.9.0
2
finite transition kernels enhancement ✨ This issue/PR is about adding new features enhancing the library
#1444 opened Dec 29, 2024 by affeldt-aist Loading…
2 tasks
1.9.0
[CI] Add ssprove
#1436 opened Dec 17, 2024 by 4ever2 Loading…
2 tasks
differentiation under integral enhancement ✨ This issue/PR is about adding new features enhancing the library
#1435 opened Dec 16, 2024 by affeldt-aist Loading…
1 task done
1.9.0
14
replace some `|Num.floor _|%N with Num.trunc _
#1432 opened Dec 7, 2024 by pi8027 • Draft
2 tasks
2
CI: Automatically Generating Html Documentation for each Pull Requests
#1414 opened Nov 29, 2024 by yoshihiro503 Loading…
2 tasks
5
Replace signed by itv
#1410 opened Nov 24, 2024 by proux01 Loading…
2 tasks done
10
modifying exp.v for a different definition of poweR
#1404 opened Nov 21, 2024 by jmmarulang • Draft
2 tasks
path concat
#1403 opened Nov 21, 2024 by zstone1 Loading…
2 tasks
1
Weighted distribution
#1399 opened Nov 16, 2024 by hoheinzollern Loading…
2 tasks done
expectation of product enhancement ✨ This issue/PR is about adding new features enhancing the library
#1391 opened Nov 13, 2024 by affeldt-aist • Draft
2 tasks done
1.10.0
13
Instances for dependent function types
#1383 opened Nov 5, 2024 by Tragicus Loading…
2 tasks
14
Lemmas fiberwise_{finite,countable}_preimage
#1382 opened Nov 5, 2024 by t6s Loading…
1 of 2 tasks
adapt to mc#1256
#1379 opened Nov 4, 2024 by Tragicus Loading…
2 tasks
3
proof of L'Hopital rule
#1371 opened Oct 29, 2024 by ndslusarz Loading…
2 tasks done
14
Adding essential supremum for extended reals
#1361 opened Oct 22, 2024 by hoheinzollern Loading…
2 tasks done
2
fundamental groupoid for homotopy theory
#1350 opened Oct 12, 2024 by zstone1 • Draft
2 tasks
Bernoulli sampling lemma
#1240 opened Jun 7, 2024 by hoheinzollern • Draft
2 tasks
2
Lspace
#1230 opened May 27, 2024 by hoheinzollern Loading…
2
[WIP] Adapt to math-comp/math-comp#1213
#1216 opened Apr 23, 2024 by pi8027 • Draft
2 tasks
Giry monad for probabilities
#1177 opened Feb 27, 2024 by hoheinzollern Loading…
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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.