Inventory rows FF
The cards of the rows of the inventory whose ids start with FF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
FF09BD9XZS FF09BD9XZS
| URI | m2://inv/FF09BD9XZS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01359#X74Q (statement). In V2RVS5VC1Y/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
Examples FF0CNNMG62
| URI | m2://inv/FF0CNNMG62 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preclosure operator#ELHL, Examples (example)
History
- 2026-11-02: add by m2/dev
FF0D0Y33QG FF0D0Y33QG
| URI | m2://inv/FF0D0Y33QG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20386#HVV5 (statement). In 4WC4V49KAC/e1, lemma 2.11
History
- 2026-10-27: add by m2/v0.4.2
Archimedean solid FF0F3BT61P
| URI | m2://inv/FF0F3BT61P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#E0IB, Archimedean solid (definition)
- wikipedia: Wikipedia List of things named after Archimedes#YGNX, Archimedean solid (definition)
History
- 2026-11-02: add by m2/dev
Main lower bound, informal FF0FT1BF17
| URI | m2://inv/FF0FT1BF17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03633#DCVK, Main lower bound, informal (statement). In X3E4D61X4V/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Bo Li FF0QYW98VJ
| URI | m2://inv/FF0QYW98VJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#X945, Bo Li (topic)
History
- 2026-11-02: add by m2/dev
Common net FF0TKY8HKC
| URI | m2://inv/FF0TKY8HKC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Common net, Common net (definition). Also Wikidata Q131319927
History
- 2026-11-02: add by m2/dev
FF0XDCRWD9 FF0XDCRWD9
| URI | m2://inv/FF0XDCRWD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#RKHK (statement)
History
- 2026-11-01: add by m2/v0.6.15
FF0XEM4JWK FF0XEM4JWK
| URI | m2://inv/FF0XEM4JWK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09945#7ESM (statement). In V7VCEA0VAA/e1, proposition 3.12
History
- 2026-10-29: add by m2/v0.4.10
Caesar cipher FF13FW8B3K
| URI | m2://inv/FF13FW8B3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q180943, Caesar cipher (definition). Also MathWorld CaesarsMethod, ProofWiki Definition:Caesar_Cipher
- wikipedia: Wikipedia Caesar cipher, Caesar cipher (definition). Also Wikidata Q180943
History
- 2026-10-26: add by m2/dev
Jakob Nielsen FF1F3GZSBY
| URI | m2://inv/FF1F3GZSBY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q710995, Jakob Nielsen (unknown). Also ProofWiki Mathematician:Jakob_Nielsen
- wikipedia: Wikipedia Jakob Nielsen (mathematician), Jakob Nielsen (topic). Also Wikidata Q710995
History
- 2026-10-26: add by m2/dev
Definition FF1JNTX77A
| URI | m2://inv/FF1JNTX77A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy-continuous function#44GD, Definition (definition)
History
- 2026-11-02: add by m2/dev
Greedy algorithm for Egyptian fractions FF1KQZ25EB
| URI | m2://inv/FF1KQZ25EB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greedy algorithm for Egyptian fractions, Greedy algorithm for Egyptian fractions (definition). Also Wikidata Q5601712
History
- 2026-11-02: add by m2/dev
Nyström method FF1QWX7FYA
| URI | m2://inv/FF1QWX7FYA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nyström method, Nyström method (definition). Also Wikidata Q7071295
History
- 2026-11-02: add by m2/dev
Definition FF1WVEXFDC
| URI | m2://inv/FF1WVEXFDC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support vertex#A43J, Definition (definition)
History
- 2026-11-02: add by m2/dev
FF1WXXM4EM FF1WXXM4EM
| URI | m2://inv/FF1WXXM4EM |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17267#0LDL (conjecture). In 5VWB4A47R5/e1, conjecture 7.2
History
- 2026-10-28: add by m2/v0.4.2
La Géométrie FF1XCSNSX4
| URI | m2://inv/FF1XCSNSX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q210113, La Géométrie (unknown). Also ProofWiki Book:René_Descartes/La_Géométrie
- wikipedia: Wikipedia La Géométrie, La Géométrie (definition). Also Wikidata Q210113
History
- 2026-10-26: add by m2/dev
nuclear FF27QYT6PK
| URI | m2://inv/FF27QYT6PK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#YLPL, nuclear (definition)
History
- 2026-11-02: add by m2/dev
FF28PFPJDJ FF28PFPJDJ
| URI | m2://inv/FF28PFPJDJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#YUW2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Carlson's theorem FF397SAWWM
| URI | m2://inv/FF397SAWWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JVJC, Carlson's theorem (statement)
History
- 2026-11-02: add by m2/dev
FF3BJ38HEX FF3BJ38HEX
| URI | m2://inv/FF3BJ38HEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28211#PHGW (statement)
History
- 2026-11-01: add by m2/v0.6.15
KIK-30 FF3D3CW9FE
| URI | m2://inv/FF3D3CW9FE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KIK-30, KIK-30 (definition). Also Wikidata Q16989043
History
- 2026-11-02: add by m2/dev
$(B, \gamma,\delta)$-Quantum Decoding Problem FF3FJ4FRC7
| URI | m2://inv/FF3FJ4FRC7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40345#FXYY, $(B, \gamma,\delta)$-Quantum Decoding Problem (definition). In WK0PT95WW1/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
FF3PCZ5862 FF3PCZ5862
| URI | m2://inv/FF3PCZ5862 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#M88W (statement). In KP0X1RKKKB/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.0
Parallel data and compact triviality FF48PK38T0
| URI | m2://inv/FF48PK38T0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00077#5PQO, Parallel data and compact triviality (statement). In C04B15GH1T/e1, corollary 4.16
History
- 2026-10-30: add by m2/v0.4.12
Charge-free EM: local well-posedness FF4AXN4K94
| URI | m2://inv/FF4AXN4K94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24481#VYLL, Charge-free EM: local well-posedness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Milman–Pettis theorem FF4FMNT8SE
| URI | m2://inv/FF4FMNT8SE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6860180, Milman–Pettis theorem (statement). Also Wikidata Q6860180
- thousand_plus: thousand_plus Q6860180, Milman–Pettis theorem (statement). Also Wikidata Q6860180, Wikipedia Milman–Pettis theorem
- wikipedia: Wikipedia Milman–Pettis theorem, Milman–Pettis theorem (statement). Also Wikidata Q6860180
History
- 2026-10-26: add by m2/dev
Bivariate normal distribution FF4H5TB77B
| URI | m2://inv/FF4H5TB77B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate normal distribution#16V2, Bivariate normal distribution (unknown)
History
- 2026-11-02: add by m2/dev
FF4HWHKXVN FF4HWHKXVN
| URI | m2://inv/FF4HWHKXVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#DMCY (statement). In XGPZ0G9E1Q/e1, lemma 7.14
History
- 2026-10-29: add by m2/v0.4.12
Archimedes' doubling method FF4J0GN6HN
| URI | m2://inv/FF4J0GN6HN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Area of a circle#FXX6, Archimedes' doubling method (unknown)
History
- 2026-11-02: add by m2/dev
FF4T4D7HB7 FF4T4D7HB7
| URI | m2://inv/FF4T4D7HB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#CJYR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Algorithms FF4WQ6WECV
| URI | m2://inv/FF4WQ6WECV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supervised learning#LYK9, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Examples FF53TGS6CG
| URI | m2://inv/FF53TGS6CG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic morphism#D2H4, Examples (example)
History
- 2026-11-02: add by m2/dev
FF56PCY7H3 FF56PCY7H3
| URI | m2://inv/FF56PCY7H3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07236#KTRK (statement). In VPMKBREFY1/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
Maria Grinberg FF58C9FA96
| URI | m2://inv/FF58C9FA96 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#8R1O, Maria Grinberg (unknown)
History
- 2026-11-02: add by m2/dev
James W. Cannon FF5JMJTZ9P
| URI | m2://inv/FF5JMJTZ9P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James W. Cannon, James W. Cannon (topic). Also Wikidata Q3828482
History
- 2026-11-02: add by m2/dev
Lie's third theorem FF5X4GHF10
| URI | m2://inv/FF5X4GHF10 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#LKB8, Lie's third theorem (statement)
History
- 2026-11-02: add by m2/dev
Dense--sparse combination FF5ZP2CQ28
| URI | m2://inv/FF5ZP2CQ28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01071#7PJW, Dense--sparse combination (statement). In X1YF62ZFB6/e1, lemma 12
History
- 2026-10-29: add by m2/v0.4.12
Weyl integration formula FF5ZQCHBY4
| URI | m2://inv/FF5ZQCHBY4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl integration formula, Weyl integration formula (statement). Also Wikidata Q96414618
History
- 2026-11-02: add by m2/dev
Otto Schreier FF612W1EET
| URI | m2://inv/FF612W1EET |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AAYT, Otto Schreier (topic)
History
- 2026-11-02: add by m2/dev
FF61TR7CGY FF61TR7CGY
| URI | m2://inv/FF61TR7CGY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17602#AO4I (example). In BH62508WHJ/e1, example 1
History
- 2026-10-28: add by m2/v0.4.2
FF68J95ZWF FF68J95ZWF
| URI | m2://inv/FF68J95ZWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25321#E4AA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gilbert tessellation FF6QKYWPNH
| URI | m2://inv/FF6QKYWPNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilbert tessellation, Gilbert tessellation (definition). Also Wikidata Q5561321
History
- 2026-11-02: add by m2/dev
Exam mode FF6WGB1D72
| URI | m2://inv/FF6WGB1D72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Calculator#42H4, Exam mode (unknown)
History
- 2026-11-02: add by m2/dev
Rosario Candela FF745E1N74
| URI | m2://inv/FF745E1N74 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#B7AK, Rosario Candela (unknown)
History
- 2026-11-02: add by m2/dev
FF7BTKF2Q3 FF7BTKF2Q3
| URI | m2://inv/FF7BTKF2Q3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#example-1 (example). In E9HS8K3A52, example, section 2.2.4
History
- 2026-11-01: add by m2/v0.6.13
FF7T6Z56XN FF7T6Z56XN
| URI | m2://inv/FF7T6Z56XN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2011.08789#4JH3 (definition). In 43AGRMP7T3/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
Properties FF7WXBCCQG
| URI | m2://inv/FF7WXBCCQG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mutual information#IVQ5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Monopresheaf FF7XR9Z2P0
| URI | m2://inv/FF7XR9Z2P0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sheaf (mathematics)#ZHXC, Monopresheaf (unknown)
History
- 2026-11-02: add by m2/dev
Arantza Urkaregi FF80QTNS2J
| URI | m2://inv/FF80QTNS2J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arantza Urkaregi, Arantza Urkaregi (topic). Also Wikidata Q12253847
History
- 2026-11-02: add by m2/dev
Examples FF842250M6
| URI | m2://inv/FF842250M6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double groupoid#SM3Y, Examples (example)
History
- 2026-11-02: add by m2/dev
FF8DVC6J2H FF8DVC6J2H
| URI | m2://inv/FF8DVC6J2H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#0M49 (statement). In PEXJPV3NP8/e1, theorem 6.11
History
- 2026-10-27: add by m2/v0.3.5
FF8V47JETH FF8V47JETH
| URI | m2://inv/FF8V47JETH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19288#6CDO (statement). In 1EA6AM9V01/e1, lemma B.3
History
- 2026-10-28: add by m2/v0.4.2
Examples FF8WW657B1
| URI | m2://inv/FF8WW657B1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manin triple#E8BH, Examples (example)
History
- 2026-11-02: add by m2/dev
Whole-domain error estimate for $Q_\gamma$ FF8YKNH6GZ
| URI | m2://inv/FF8YKNH6GZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10484#9RG8, Whole-domain error estimate for $Q_\gamma$ (statement). In 5B4AX4SF88/e1, theorem 4.6
History
- 2026-10-29: add by m2/v0.4.10
rotor FF95VYAW87
| URI | m2://inv/FF95VYAW87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#4G1J, rotor (definition)
History
- 2026-11-02: add by m2/dev
FF96QFRK5F FF96QFRK5F
| URI | m2://inv/FF96QFRK5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#PTYB (statement). In VN084GGZGK/e1, proposition 5.11
History
- 2026-10-28: add by m2/v0.4.3
Gerard Ben-Arous FF9GMA3FH6
| URI | m2://inv/FF9GMA3FH6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#R0TN, Gerard Ben-Arous (topic)
History
- 2026-11-02: add by m2/dev
FF9RKYZYQR FF9RKYZYQR
| URI | m2://inv/FF9RKYZYQR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31387#HL7D (statement). In GBD60VB1JX/e1, corollary 2
History
- 2026-10-31: add by m2/v0.5.6
Example FFA1S2YE7G
| URI | m2://inv/FFA1S2YE7G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit of a sequence#5TD5, Example (example)
History
- 2026-11-02: add by m2/dev
Finite-sample compact-mixture admissibility FFA3HZYC81
| URI | m2://inv/FFA3HZYC81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#5CLS, Finite-sample compact-mixture admissibility (statement)
History
- 2026-11-01: add by m2/v0.6.15
Joseph Sifakis FFA4QMK68V
| URI | m2://inv/FFA4QMK68V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3B3E, Joseph Sifakis (unknown)
History
- 2026-11-02: add by m2/dev
FFA52BPQ6V FFA52BPQ6V
| URI | m2://inv/FFA52BPQ6V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-97 (exercise). In VNMV985MXX, exercise, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
* FFA73685NC
| URI | m2://inv/FFA73685NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#SWFJ, * (definition)
History
- 2026-11-02: add by m2/dev
Operational sex ratio FFAKCF99J5
| URI | m2://inv/FFAKCF99J5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#E8HN, Operational sex ratio (definition)
History
- 2026-11-02: add by m2/dev
Definition FFAP2JKDGY
| URI | m2://inv/FFAP2JKDGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Index group#0DKS, Definition (definition)
History
- 2026-11-02: add by m2/dev
FFASPNVK98 FFASPNVK98
| URI | m2://inv/FFASPNVK98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22263#RKA7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
IBM Naval Ordnance Research Calculator FFAVR5ZYKA
| URI | m2://inv/FFAVR5ZYKA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific publications by John von Neumann#BHAI, IBM Naval Ordnance Research Calculator (unknown)
History
- 2026-11-02: add by m2/dev
point FFAY8HKCP0
| URI | m2://inv/FFAY8HKCP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#H323, point (definition)
History
- 2026-11-02: add by m2/dev
FFB979AZ18 FFB979AZ18
| URI | m2://inv/FFB979AZ18 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_addtops-genfun.ptx#example-2 (example). In Y91XFCEVHQ, example, section 6.1.2
History
- 2026-11-01: add by m2/v0.6.13
Homology is a functor $\catname{hTop} \to \catname{Ab}$ FFBAKR5QP6
| URI | m2://inv/FFBAKR5QP6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/singular.tex#thm:Hn_functor, Homology is a functor $\catname{hTop} \to \catname{Ab}$ (statement). In RZP28ERRZV, theorem, section 55.3
History
- 2026-11-01: add by m2/v0.6.13
The vertical boundary line FFBBX1KWCV
| URI | m2://inv/FFBBX1KWCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37479#M2DA, The vertical boundary line (statement). In P3RTT99C41/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
FFBCHY13ZC FFBCHY13ZC
| URI | m2://inv/FFBCHY13ZC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08074#7BBS (example). In ZRPYF750AV/e1, example 3.8
History
- 2026-10-29: add by m2/v0.4.10
FFBFRJX22A FFBFRJX22A
| URI | m2://inv/FFBFRJX22A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28211#7DJO (example)
History
- 2026-11-01: add by m2/v0.6.15
FFBJBKD0J3 FFBJBKD0J3
| URI | m2://inv/FFBJBKD0J3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33476#EQYZ (definition). In DAQW640R25/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
FFBMYBXY8R FFBMYBXY8R
| URI | m2://inv/FFBMYBXY8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#X6EJ (statement). In 1KSE33PVS6/e1, theorem 62
History
- 2026-10-30: add by m2/v0.4.12
FFBPHQTNCB FFBPHQTNCB
| URI | m2://inv/FFBPHQTNCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 51-XX, 52-XX, 53-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03305#F2S1 (statement). In WAJ5AZHF62/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Uses FFBR8XP340
| URI | m2://inv/FFBR8XP340 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rate of natural increase#LD42, Uses (example)
History
- 2026-11-02: add by m2/dev
Quantitative local coordinates from ordered flows FFBSCA9ASK
| URI | m2://inv/FFBSCA9ASK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#69WH, Quantitative local coordinates from ordered flows (statement)
History
- 2026-11-02: add by m2/v0.6.18
FFBT1E03ZH FFBT1E03ZH
| URI | m2://inv/FFBT1E03ZH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21494#4B03 (statement). In ZWT4C1DYPE/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
FFC0MPCMDP FFC0MPCMDP
| URI | m2://inv/FFC0MPCMDP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.07710#BFKO (definition). In NESGAWA54K/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Van Deemter equation FFCKQR0PDH
| URI | m2://inv/FFCKQR0PDH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van Deemter equation, Van Deemter equation (definition). Also Wikidata Q900511
History
- 2026-11-02: add by m2/dev
Additive disequilibrium and z statistic FFCMPEMF76
| URI | m2://inv/FFCMPEMF76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive disequilibrium and z statistic, Additive disequilibrium and z statistic (definition). Also Wikidata Q48999440
History
- 2026-11-02: add by m2/dev
Thompson effect FFCZKV70SS
| URI | m2://inv/FFCZKV70SS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermoelectric effect#R02D, Thompson effect (unknown)
History
- 2026-11-02: add by m2/dev
Coefficient of determination FFD0GVXHN6
| URI | m2://inv/FFD0GVXHN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7QWS, Coefficient of determination (definition)
History
- 2026-11-02: add by m2/dev
Alonzo Church FFD149VZHE
| URI | m2://inv/FFD149VZHE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#2AOJ, Alonzo Church (topic)
History
- 2026-11-02: add by m2/dev
Affine Grassmannian FFDBVV4KHY
| URI | m2://inv/FFDBVV4KHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine Grassmannian (manifold), Affine Grassmannian (definition). Also Wikidata Q4688933
History
- 2026-11-02: add by m2/dev
FFDDG3XC6N FFDDG3XC6N
| URI | m2://inv/FFDDG3XC6N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/orders.tex#ex-2 (example). In PKGMM3P5QY, ex, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
FFDDN05V5J FFDDN05V5J
| URI | m2://inv/FFDDN05V5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16358#MURY (statement). In RJA3YJ9NYK/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Fubini FFDNWB6PMN
| URI | m2://inv/FFDNWB6PMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#TUAB, Fubini (definition)
History
- 2026-11-02: add by m2/dev
cut, Dedekind FFDNY73M5W
| URI | m2://inv/FFDNY73M5W |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/cut-dedekind, cut, Dedekind (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
FFDREFZH6T FFDREFZH6T
| URI | m2://inv/FFDREFZH6T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/composition-representable.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 29.8
History
- 2026-11-01: add by m2/v0.6.13
Formal definition FFDSDA2SC7
| URI | m2://inv/FFDSDA2SC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient automaton#81ZU, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Minimal signed zero-sums FFE04V01GJ
| URI | m2://inv/FFE04V01GJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37754#B8N5, Minimal signed zero-sums (statement). In 3HPFAQKBEM/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
fundamental FFE0QRHKW1
| URI | m2://inv/FFE0QRHKW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#RVEE, fundamental (definition)
History
- 2026-11-02: add by m2/dev
One principal class joined to old sets FFE73D7YR0
| URI | m2://inv/FFE73D7YR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25101#GBBL, One principal class joined to old sets (statement)
History
- 2026-11-01: add by m2/v0.6.15
FFEA1Z9PWB FFEA1Z9PWB
| URI | m2://inv/FFEA1Z9PWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#SFVT (statement). In TPA3E67MKK/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
Sequence of base polynomials $\mathcal{B}_\theta$ associated with $\theta$ FFEAJSYT7A
| URI | m2://inv/FFEAJSYT7A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12691#F67U, Sequence of base polynomials $\mathcal{B}_\theta$ associated with $\theta$ (definition). In YVQKT91MYN/e1, definition 4
History
- 2026-10-28: add by m2/v0.4.2
FFEKMTZ3W6 FFEKMTZ3W6
| URI | m2://inv/FFEKMTZ3W6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/compactness.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 9.9
History
- 2026-11-01: add by m2/v0.6.13
FFEW936KK0 FFEW936KK0
| URI | m2://inv/FFEW936KK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_finite-sets.ptx#proposition-2 (statement). In QKM9DD2H56, proposition, section B.5
History
- 2026-11-01: add by m2/v0.6.13
idealwise separated FFF093H1ZX
| URI | m2://inv/FFF093H1ZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#DFC6, idealwise separated (definition)
History
- 2026-11-02: add by m2/dev
encode-decode method FFF2D09AQE
| URI | m2://inv/FFF2D09AQE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.9/encode-decode-method, encode-decode method (concept). In N54F33XE07, index, section 2.9
History
- 2026-11-01: add by m2/v0.6.13
Rigidity FFF8V59BN9
| URI | m2://inv/FFF8V59BN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigidity (mathematics), Rigidity (definition). Also Wikidata Q17127780
History
- 2026-11-02: add by m2/dev
FFFAF6GZ5X FFFAF6GZ5X
| URI | m2://inv/FFFAF6GZ5X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#ZD2S (statement). In RBQ5FNCVNZ/e1, lemma E.3
History
- 2026-10-30: add by m2/v0.4.12
FFFEXB35CY FFFEXB35CY
| URI | m2://inv/FFFEXB35CY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26401#K0JS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Method FFFFG2J3HR
| URI | m2://inv/FFFFG2J3HR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of Chester–Friedman–Ursell#56RH, Method (definition)
History
- 2026-11-02: add by m2/dev
FFFJ5VJ10R FFFJ5VJ10R
| URI | m2://inv/FFFJ5VJ10R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1009.2047#RJDH (statement). In F3MWRNBNED/e1, proposition 4.7
History
- 2026-10-27: add by m2/v0.3.5
Rózsa Péter FFFKYCP3AN
| URI | m2://inv/FFFKYCP3AN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rózsa Péter, Rózsa Péter (topic). Also Wikidata Q453518
History
- 2026-11-02: add by m2/dev
Example FFFMGNBWQA
| URI | m2://inv/FFFMGNBWQA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ackermann function#IW2Z, Example (example)
History
- 2026-11-02: add by m2/dev
FFFP5YTCNB FFFP5YTCNB
| URI | m2://inv/FFFP5YTCNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25000#IXWA (statement)
History
- 2026-11-01: add by m2/v0.6.15
FFFPVKNV0F FFFPVKNV0F
| URI | m2://inv/FFFPVKNV0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1712.02437#GH7F (statement). In GZDFK652T9/e1, theorem 6.4
History
- 2026-10-27: add by m2/v0.3.5
Emanuele Macrì FFFWQ3GMWS
| URI | m2://inv/FFFWQ3GMWS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H8VH, Emanuele Macrì (unknown)
History
- 2026-11-02: add by m2/dev
FFG0G3GMC1 FFG0G3GMC1
| URI | m2://inv/FFG0G3GMC1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09882#812E (statement). In 7XV6T4N79V/e1, lemma B.5
History
- 2026-10-29: add by m2/v0.4.10
FFG9T4SN24 FFG9T4SN24
| URI | m2://inv/FFG9T4SN24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#definition-5 (definition). In RZP28ERRZV, definition, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
conditional expectation FFGC27ZEK7
| URI | m2://inv/FFGC27ZEK7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Conditional expectation 0TTDGTEFMN |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Definitions in probability theory > conditional expectation, conditional expectation (unknown). Also Mathlib MeasureTheory.condExp
- wikidata: Wikidata Q772232, conditional expectation (unknown). Also Mathlib MeasureTheory.condExp, nLab conditional expectation
- wikipedia: Wikipedia Conditional expectation, Conditional expectation (definition). Also Wikidata Q772232
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
FFGK1SRFF6 FFGK1SRFF6
| URI | m2://inv/FFGK1SRFF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1904.09810#NAUM (statement). In T1VFA7TXPA/e1, lemma 45
History
- 2026-10-27: add by m2/v0.3.5
FFGQ5EBDNN FFGQ5EBDNN
| URI | m2://inv/FFGQ5EBDNN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04675#WPBX (statement). In RDXNFF2CZP/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.12
FFGT0ATEAQ FFGT0ATEAQ
| URI | m2://inv/FFGT0ATEAQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03497#GRVZ (statement). In RRNHC0CAC9/e1, proposition
History
- 2026-10-29: add by m2/v0.4.12
List of exceptional set concepts FFGW5JW47F
| URI | m2://inv/FFGW5JW47F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts, List of exceptional set concepts (topic). Also Wikidata Q6619101
History
- 2026-11-02: add by m2/dev
FFGWJ65JJA FFGWJ65JJA
| URI | m2://inv/FFGWJ65JJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#OKXY (statement). In S7PNTM0GZC/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
FFH08WT0TT FFH08WT0TT
| URI | m2://inv/FFH08WT0TT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.10747#LB15 (statement). In X0PS03QCG0/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
FFH1XRPEHY FFH1XRPEHY
| URI | m2://inv/FFH1XRPEHY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19812#76RL (statement). In ZS89RH18QM/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Epoch noise: martingale structure and range FFH3JBC9S9
| URI | m2://inv/FFH3JBC9S9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#YLDI, Epoch noise: martingale structure and range (statement). In B29M4E6KGC/e1, lemma H.18
History
- 2026-10-28: add by m2/v0.4.2
Lauricella hypergeometric series FFH46VYVCN
| URI | m2://inv/FFH46VYVCN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lauricella hypergeometric series 6YSVDFEM39 |
Mentions
- wikidata: Wikidata Q3754612, Lauricella hypergeometric series (concept). Also MathWorld LauricellaFunctions
- wikipedia: Wikipedia Lauricella hypergeometric series, Lauricella hypergeometric series (definition). Also Wikidata Q3754612
History
- 2026-10-26: add by m2/dev
K formulas FFH5BAYVHG
| URI | m2://inv/FFH5BAYVHG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobi elliptic functions#UZF9, K formulas (statement)
History
- 2026-11-02: add by m2/dev
Adriaan Metius FFHDWD58BN
| URI | m2://inv/FFHDWD58BN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adriaan Metius, Adriaan Metius (topic). Also Wikidata Q367638
History
- 2026-11-02: add by m2/dev
FFHHSAXJES FFHHSAXJES
| URI | m2://inv/FFHHSAXJES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1103.1038#3KUA (statement). In T9VMNNPS0H/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.6
FFHP73J12Z FFHP73J12Z
| URI | m2://inv/FFHP73J12Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises7-2.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 7.2
History
- 2026-11-01: add by m2/v0.6.13
FFHQPQ2PC3 FFHQPQ2PC3
| URI | m2://inv/FFHQPQ2PC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16060#DP9Q (statement). In X0BTF9HPGM/e1, fact 4.2
History
- 2026-10-28: add by m2/v0.4.2
Local Puiseux control FFHW4XDFMX
| URI | m2://inv/FFHW4XDFMX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15180#0OS6, Local Puiseux control (statement). In AMRWRJDNKJ/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
FFHZR6KQGV FFHZR6KQGV
| URI | m2://inv/FFHZR6KQGV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-3 (exercise). In Y91XFCEVHQ, exercise, section 5.4
History
- 2026-11-01: add by m2/v0.6.13
List of mathematical topics FFJ0VWRYWK
| URI | m2://inv/FFJ0VWRYWK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#9MWP, List of mathematical topics (topic)
History
- 2026-11-02: add by m2/dev
FFJ1Y8GBD2 FFJ1Y8GBD2
| URI | m2://inv/FFJ1Y8GBD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33679#VNYZ (statement). In 3N9E9T6AF5/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
Gyárfás–Sumner conjecture FFJ4SQJF60
| URI | m2://inv/FFJ4SQJF60 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#4RWO, Gyárfás–Sumner conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Yves Benoist FFJ9494QNA
| URI | m2://inv/FFJ9494QNA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VPZG, Yves Benoist (topic)
History
- 2026-11-02: add by m2/dev
recursion principle, for an inductive type FFJBP1R1H0
| URI | m2://inv/FFJBP1R1H0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.6/recursion-principle-for-an-inductive-type, recursion principle, for an inductive type (concept). In N54F33XE07, index, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Sarov FFJGAXWSS8
| URI | m2://inv/FFJGAXWSS8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#DI5S, Sarov (unknown)
History
- 2026-11-02: add by m2/dev
FFJX3CV45T FFJX3CV45T
| URI | m2://inv/FFJX3CV45T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#4Z4J (statement). In JWNYJVH8XG/e1, proposition 3.16
History
- 2026-10-29: add by m2/v0.4.10
Euler correction identity FFJZ95QXAR
| URI | m2://inv/FFJZ95QXAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04189#BRM7, Euler correction identity (statement). In 1KRZ5ACTKE/e1, theorem 3.5
History
- 2026-10-29: add by m2/v0.4.12
FFJZAYRYXK FFJZAYRYXK
| URI | m2://inv/FFJZAYRYXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04527#XVTO (statement). In Z9ZXAC6TZQ/e1, theorem 2
History
- 2026-10-29: add by m2/v0.4.12
FFKAD40G68 FFKAD40G68
| URI | m2://inv/FFKAD40G68 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#theorem-3 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
Numan Yunusovich Satimov FFKM5FGP7T
| URI | m2://inv/FFKM5FGP7T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#BYGZ, Numan Yunusovich Satimov (topic)
History
- 2026-11-02: add by m2/dev
Émile Picard FFKREH5CYM
| URI | m2://inv/FFKREH5CYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WTNV, Émile Picard (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XD0X, Émile Picard (topic)
History
- 2026-11-02: add by m2/dev
complete metric spaces FFKSCMGY08
| URI | m2://inv/FFKSCMGY08 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > complete metric spaces, complete metric spaces (unknown). Also Mathlib Metric.complete_of_cauchySeq_tendsto
History
- 2026-10-26: add by m2/dev
FFKXRPCTHK FFKXRPCTHK
| URI | m2://inv/FFKXRPCTHK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19333#U0I9 (statement). In 5Y3HF693YB/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
solved problem FFM3QXH5XR
| URI | m2://inv/FFM3QXH5XR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121357002, solved problem (unknown). Also MathWorld SolvedProblems
History
- 2026-10-26: add by m2/dev
FFM8TQMVFM FFM8TQMVFM
| URI | m2://inv/FFM8TQMVFM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05784#ECUW (statement). In 6NVP3YRWVA/e1, corollary 5.7
History
- 2026-10-29: add by m2/v0.4.10
augmented hexagonal prism FFMB0THCQ7
| URI | m2://inv/FFMB0THCQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q643128, augmented hexagonal prism (object). Also MathWorld AugmentedHexagonalPrism
- wikipedia: Wikipedia Augmented hexagonal prism, Augmented hexagonal prism (definition). Also Wikidata Q643128
History
- 2026-10-26: add by m2/dev
FFMH2FVYCS FFMH2FVYCS
| URI | m2://inv/FFMH2FVYCS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#ZQ65 (definition). In 8H0KHK7AMN/e1, definition 2.11
History
- 2026-10-30: add by m2/v0.4.12
Selig Brodetsky FFMWE9CPEZ
| URI | m2://inv/FFMWE9CPEZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selig Brodetsky, Selig Brodetsky (topic). Also Wikidata Q1541237
History
- 2026-11-02: add by m2/dev
Discrete Hilbert transform FFMWXDPH9P
| URI | m2://inv/FFMWXDPH9P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert transform#8AV4, Discrete Hilbert transform (unknown)
History
- 2026-11-02: add by m2/dev
Jayanta Ghosh FFN6BHP2N1
| URI | m2://inv/FFN6BHP2N1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6IBT, Jayanta Ghosh (topic)
History
- 2026-11-02: add by m2/dev
Gear graph FFN72TTB9H
| URI | m2://inv/FFN72TTB9H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphs#9G1F, Gear graph (unknown)
History
- 2026-11-02: add by m2/dev
FFNC1HVNRC FFNC1HVNRC
| URI | m2://inv/FFNC1HVNRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#VIWM (statement). In GSN5YTQS2K/e1, proposition 4.3
History
- 2026-10-31: add by m2/v0.5.6
Brocard's conjecture FFNCM04BF2
| URI | m2://inv/FFNCM04BF2 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#3FG2, Brocard's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
FFNNJPPEB7 FFNNJPPEB7
| URI | m2://inv/FFNNJPPEB7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04895#LKIX (statement). In A7M06ZVYA8/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.12
FFNSMAM1GH FFNSMAM1GH
| URI | m2://inv/FFNSMAM1GH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30033#8VP7 (definition)
History
- 2026-11-01: add by m2/v0.6.15
FFNVYVBWWA FFNVYVBWWA
| URI | m2://inv/FFNVYVBWWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.10840#TYAV (statement). In P0HKF5DY7M/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Branching random walk FFNZ8N9Z0K
| URI | m2://inv/FFNZ8N9Z0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#74SS, Branching random walk (definition)
History
- 2026-11-02: add by m2/dev
FFP7QSGH9K FFP7QSGH9K
| URI | m2://inv/FFP7QSGH9K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32077#J336 (statement). In WYXQDSQR9B/e1, proposition 3.7
History
- 2026-10-31: add by m2/v0.5.6
FFP85S6PT4 FFP85S6PT4
| URI | m2://inv/FFP85S6PT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#NVIO (statement). In E7W2HDNEKJ/e1, lemma 5.19
History
- 2026-10-30: add by m2/v0.4.12
FFPGHXZJQP FFPGHXZJQP
| URI | m2://inv/FFPGHXZJQP |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#8D9O (proof). In WJD9YPGGYH/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Kriging weights FFPTFZ7QBM
| URI | m2://inv/FFPTFZ7QBM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kriging#HC72, Kriging weights (unknown)
History
- 2026-11-02: add by m2/dev
FFQ4NVZ1R9 FFQ4NVZ1R9
| URI | m2://inv/FFQ4NVZ1R9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26269#AM6C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Augustus Edward Hough Love FFQ8Y846CH
| URI | m2://inv/FFQ8Y846CH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BW1L, Augustus Edward Hough Love (topic)
History
- 2026-11-02: add by m2/dev
FFQ94KY82Q FFQ94KY82Q
| URI | m2://inv/FFQ94KY82Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.07541#UP8L (statement). In X3RFXWN6FW/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.6
FFQBJQDNZF FFQBJQDNZF
| URI | m2://inv/FFQBJQDNZF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13241#B1C3 (statement). In DWQWQ5KTEE/e1, lemma 22
History
- 2026-10-28: add by m2/v0.4.2
FIP FFQE9RNNM3
| URI | m2://inv/FFQE9RNNM3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#4Q3Z, FIP (definition)
History
- 2026-11-02: add by m2/dev
Newmark-beta method FFQSEZDFCF
| URI | m2://inv/FFQSEZDFCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newmark-beta method, Newmark-beta method (definition). Also Wikidata Q766405
History
- 2026-11-02: add by m2/dev
FFQXQH45PD FFQXQH45PD
| URI | m2://inv/FFQXQH45PD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13852#3RD6 (statement). In SXTGSAH3WF/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
FFQY6FYBKW FFQY6FYBKW
| URI | m2://inv/FFQY6FYBKW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#1XCB (definition)
History
- 2026-11-02: add by m2/v0.6.17
Geometric rigidity theorems FFR0AK3XPB
| URI | m2://inv/FFR0AK3XPB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shing-Tung Yau#YFRT, Geometric rigidity theorems (statement)
History
- 2026-11-02: add by m2/dev
FFR1DJ663X FFR1DJ663X
| URI | m2://inv/FFR1DJ663X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/applied-modal-logic/epistemic-logic/bisimulations.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 1
History
- 2026-11-01: add by m2/v0.6.13
John Morgan FFR2YV34HV
| URI | m2://inv/FFR2YV34HV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q139214, John Morgan (unknown). Also nLab John Morgan
- wikipedia: Wikipedia John Morgan (mathematician), John Morgan (topic). Also Wikidata Q139214
History
- 2026-10-26: add by m2/dev
Bilevel optimization FFS032NPEV
| URI | m2://inv/FFS032NPEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#HIF5, Bilevel optimization (definition)
History
- 2026-11-02: add by m2/dev
FFSSTPDE0M FFSSTPDE0M
| URI | m2://inv/FFSSTPDE0M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#KNKD (statement). In C8VC86B6H8/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
List of statisticians FFT49RJXRX
| URI | m2://inv/FFT49RJXRX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians, List of statisticians (topic). Also Wikidata Q3083928
History
- 2026-11-02: add by m2/dev
Discretization of the Equilibrium Measure FFT5A26Q5P
| URI | m2://inv/FFT5A26Q5P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13222#TTG4, Discretization of the Equilibrium Measure (statement). In Z6WA2R0J50/e1, lemma 6.11
History
- 2026-10-28: add by m2/v0.4.2
Fejer theorem FFTA9T9A9T
| URI | m2://inv/FFTA9T9A9T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Fejer theorem, Fejer theorem (unknown)
History
- 2026-10-26: add by m2/dev
FFTAZHB5YC FFTAZHB5YC
| URI | m2://inv/FFTAZHB5YC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#F51S (statement)
History
- 2026-11-02: add by m2/v0.6.18
Control of $J'$ FFTEKM36XE
| URI | m2://inv/FFTEKM36XE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30220#P76T, Control of $J'$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
FFTERMFTMA FFTERMFTMA
| URI | m2://inv/FFTERMFTMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#defn-11 (definition). In E59CDZA4DP, defn, section 11.6
History
- 2026-11-01: add by m2/v0.6.13
FFTJC5PQZC FFTJC5PQZC
| URI | m2://inv/FFTJC5PQZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24902#72WQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alpha–beta pruning FFTP8VPXZM
| URI | m2://inv/FFTP8VPXZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ECBK, Alpha–beta pruning (definition)
History
- 2026-11-02: add by m2/dev
FFTPF8P5AW FFTPF8P5AW
| URI | m2://inv/FFTPF8P5AW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35740#8VQK (statement). In N7C6C0QGJM/e1, proposition A.1
History
- 2026-10-30: add by m2/v0.4.12
FFTTS4VXT4 FFTTS4VXT4
| URI | m2://inv/FFTTS4VXT4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00775#U50P (statement). In WVHA7H05QC/e1, corollary 2.20
History
- 2026-10-29: add by m2/v0.4.12
FFTWD3K1D3 FFTWD3K1D3
| URI | m2://inv/FFTWD3K1D3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15262#44T9 (statement). In C44HVXWYRF/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
FFV1XVZWYD FFV1XVZWYD
| URI | m2://inv/FFV1XVZWYD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/introduction/undecidability.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 29.2
History
- 2026-11-01: add by m2/v0.6.13
Examples FFV3VP5QAQ
| URI | m2://inv/FFV3VP5QAQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pullback (category theory)#HOEZ, Examples (example)
History
- 2026-11-02: add by m2/dev
stars and bars FFVBVPHCR4
| URI | m2://inv/FFVBVPHCR4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.5/stars-and-bars, stars and bars (concept). In Y91XFCEVHQ, index, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
FFVCXMF0F5 FFVCXMF0F5
| URI | m2://inv/FFVCXMF0F5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#lemma:ballmapder (statement). In E59CDZA4DP, lemma, section 5.3.3
History
- 2026-11-01: add by m2/v0.6.13
FFVQAEJJ8W FFVQAEJJ8W
| URI | m2://inv/FFVQAEJJ8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07190#D1Y5 (statement). In ZWS6Q4467X/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
ADHH local conjugation estimate FFVZT6Z2F3
| URI | m2://inv/FFVZT6Z2F3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27181#WIJD, ADHH local conjugation estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
FFW3PMH843 FFW3PMH843
| URI | m2://inv/FFW3PMH843 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11535#K77Q (statement). In 7TY4S2YSVN/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.3
FFWHFPVFM6 FFWHFPVFM6
| URI | m2://inv/FFWHFPVFM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20972#P3TT (statement). In 6SZE4MTXGZ/e1, theorem 4.4
History
- 2026-10-27: add by m2/v0.4.2
FFWK7DMCQ8 FFWK7DMCQ8
| URI | m2://inv/FFWK7DMCQ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27823#5N5Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition FFWMRCYMB2
| URI | m2://inv/FFWMRCYMB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifton–Pohl torus#FDJR, Definition (definition)
History
- 2026-11-02: add by m2/dev
FFWRJM4MCN FFWRJM4MCN
| URI | m2://inv/FFWRJM4MCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#5AFQ (statement). In EVFX1R7ZDD/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Arthur Cayley FFWZA3JESY
| URI | m2://inv/FFWZA3JESY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q159430, Arthur Cayley (unknown). Also nLab Arthur Cayley, ProofWiki Mathematician:Arthur_Cayley
- wikipedia: Wikipedia Arthur Cayley, Arthur Cayley (topic). Also Wikidata Q159430
History
- 2026-10-26: add by m2/dev
Tubular estimates FFX1NNYJ08
| URI | m2://inv/FFX1NNYJ08 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15511#3TP3, Tubular estimates (statement). In TZM08VJAQT/e1, lemma 2.12
History
- 2026-10-28: add by m2/v0.4.2
FFX48X6V9E FFX48X6V9E
| URI | m2://inv/FFX48X6V9E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#19TC (example). In PF5JJ9DS8Q/e1, example 2.4.8
History
- 2026-10-28: add by m2/v0.4.2
Upper Nine Mile River, Nova Scotia FFX63R26TN
| URI | m2://inv/FFX63R26TN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8TIZ, Upper Nine Mile River, Nova Scotia (unknown)
History
- 2026-11-02: add by m2/dev
Pseudometrisable space FFX7JVA0GW
| URI | m2://inv/FFX7JVA0GW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudometric space#FSBV, Pseudometrisable space (unknown)
History
- 2026-11-02: add by m2/dev
Regular conditional probability FFXZNCQEPR
| URI | m2://inv/FFXZNCQEPR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#8XWB, Regular conditional probability (definition)
History
- 2026-11-02: add by m2/dev
FFXZZ242DM FFXZZ242DM
| URI | m2://inv/FFXZZ242DM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.09294#GTVV (statement). In 2WZQC0TKVK/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
FFY0XPS1R0 FFY0XPS1R0
| URI | m2://inv/FFY0XPS1R0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35542#JR60 (statement). In ATVC0HYDKD/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Residual PID Parent List FFY28WQFZB
| URI | m2://inv/FFY28WQFZB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#HY3K, Residual PID Parent List (statement). In D7NDCWSDJE/e1, lemma 18
History
- 2026-10-30: add by m2/v0.4.12
Bootstrap hypothesis testing FFY5T8R4X4
| URI | m2://inv/FFY5T8R4X4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bootstrapping (statistics)#D5DX, Bootstrap hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
FFYK9ZSXE6 FFYK9ZSXE6
| URI | m2://inv/FFYK9ZSXE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21461#YP9R (statement). In DWQANBV7B7/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
Dioptrice FFYQQQYGYF
| URI | m2://inv/FFYQQQYGYF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes Kepler#UK5I, Dioptrice (unknown)
History
- 2026-11-02: add by m2/dev
Properties FFYVP1T30N
| URI | m2://inv/FFYVP1T30N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covariance#8MSE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Aristarchus's inequality FFYVZJVTXY
| URI | m2://inv/FFYVZJVTXY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#R20D, Aristarchus's inequality (statement)
History
- 2026-11-02: add by m2/dev
Nil geometry FFZ5JN7EMG
| URI | m2://inv/FFZ5JN7EMG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometrization conjecture#AU8C, Nil geometry (unknown)
History
- 2026-11-02: add by m2/dev
FFZ8A7G444 FFZ8A7G444
| URI | m2://inv/FFZ8A7G444 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03756#M8FW (statement). In 2381M4GBTT/e1, proposition 5.2
History
- 2026-10-29: add by m2/v0.4.12
FFZBKXMCQ1 FFZBKXMCQ1
| URI | m2://inv/FFZBKXMCQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.01237#RC0X (statement). In M9VHCG48HB/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
FFZHGC2KKR FFZHGC2KKR
| URI | m2://inv/FFZHGC2KKR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/fourier.tex#proof-3 (proof). In RZP28ERRZV, proof, section 59.5
History
- 2026-11-01: add by m2/v0.6.13
Choice of the center FFZV6AC3BJ
| URI | m2://inv/FFZV6AC3BJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20097#6M3A, Choice of the center (statement)
History
- 2026-11-02: add by m2/v0.6.18
FFZZ2DMMVG FFZZ2DMMVG
| URI | m2://inv/FFZZ2DMMVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.13734#OHGU (statement). In 7AXKHR4YB3/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.6