Inventory rows 63
The cards of the rows of the inventory whose ids start with 63. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Combinatorial formula 6302MY9EXD
| URI | m2://inv/6302MY9EXD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jack function#AB7U, Combinatorial formula (statement)
History
- 2026-11-02: add by m2/dev
Burali-Forti 6304YA4YZ1
| URI | m2://inv/6304YA4YZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#96V9, Burali-Forti (definition)
History
- 2026-11-02: add by m2/dev
Example 6306R8QMP2
| URI | m2://inv/6306R8QMP2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mills ratio#40WX, Example (example)
History
- 2026-11-02: add by m2/dev
Dualizable abelian fibration 6308PSCWYJ
| URI | m2://inv/6308PSCWYJ |
|---|---|
| Kind | definition |
| 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 2509.05577#GG6C, Dualizable abelian fibration (definition). In EFWBREMZAP/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
630EWWV1FR 630EWWV1FR
| URI | m2://inv/630EWWV1FR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.34946#EOC2 (statement). In Y27BAB2BB4/e1, proposition 6.4
History
- 2026-10-30: add by m2/v0.4.12
Definition 630FJDEYMD
| URI | m2://inv/630FJDEYMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite-dimensional sphere#C1IN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Five hyperplanes and a quadric in the spinor tenfold 630K28E6VS
| URI | m2://inv/630K28E6VS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-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.21914#M7U7, Five hyperplanes and a quadric in the spinor tenfold (example)
History
- 2026-11-02: add by m2/v0.6.17
630MNFWT48 630MNFWT48
| URI | m2://inv/630MNFWT48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.24041#4KYF (statement)
History
- 2026-11-02: add by m2/v0.6.17
A local second-moment benchmark 630NGW8W1H
| URI | m2://inv/630NGW8W1H |
|---|---|
| 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.15202#7EQJ, A local second-moment benchmark (statement). In X1FPG0KYBM/e1, corollary V.5
History
- 2026-10-28: add by m2/v0.4.2
6310TPW7F6 6310TPW7F6
| URI | m2://inv/6310TPW7F6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-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.16606#1R01 (statement). In A798V7TX99/e1, lemma 4.5
History
- 2026-10-28: add by m2/v0.4.2
6311PWVTKD 6311PWVTKD
| URI | m2://inv/6311PWVTKD |
|---|---|
| Kind | example |
| 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 2609.21052#H4G7 (example)
History
- 2026-11-02: add by m2/v0.6.18
1-factorization conjecture 631305H4BA
| URI | m2://inv/631305H4BA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph factorization#66AY, 1-factorization conjecture (statement)
History
- 2026-11-02: add by m2/dev
Likelihood principle (L) 63190MKT2D
| URI | m2://inv/63190MKT2D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birnbaum's theorem#R48Q, Likelihood principle (L) (statement)
History
- 2026-11-02: add by m2/dev
631GPPEB77 631GPPEB77
| URI | m2://inv/631GPPEB77 |
|---|---|
| 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#7J5H (statement). In E7W2HDNEKJ/e1, lemma H.10
History
- 2026-10-30: add by m2/v0.4.12
Numerov's method 631VDKEZ1A
| URI | m2://inv/631VDKEZ1A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerov's method, Numerov's method (definition). Also Wikidata Q7069677
History
- 2026-11-02: add by m2/dev
631XYNA48R 631XYNA48R
| URI | m2://inv/631XYNA48R |
|---|---|
| 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.22074#C1A3 (statement). In F3BKXXPR3K/e1, lemma 3.22
History
- 2026-10-27: add by m2/v0.4.2
Bordered Hessian 6328FNMVXK
| URI | m2://inv/6328FNMVXK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessian matrix#C2H7, Bordered Hessian (unknown)
History
- 2026-11-02: add by m2/dev
6329N8KWJ9 6329N8KWJ9
| URI | m2://inv/6329N8KWJ9 |
|---|---|
| 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 2609.34856#792G (statement). In MRR92GQNZE/e1, proposition 4.2
History
- 2026-10-30: add by m2/v0.4.12
Locally bounded function 632GW9RRGH
| URI | m2://inv/632GW9RRGH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local boundedness#RBZP, Locally bounded function (unknown)
History
- 2026-11-02: add by m2/dev
A permutation quotient outside the unchanged semisimplicial inventory 632GX8ZYQE
| URI | m2://inv/632GX8ZYQE |
|---|---|
| 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 2609.32733#I5UP, A permutation quotient outside the unchanged semisimplicial inventory (statement). In PCAS8S14J6/e1, proposition E.5
History
- 2026-10-31: add by m2/v0.5.6
Security management 632HZPA5QZ
| URI | m2://inv/632HZPA5QZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#WLCM, Security management (unknown)
History
- 2026-11-02: add by m2/dev
Stirling formula 632ME6DV8J
| URI | m2://inv/632ME6DV8J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial interpolation#VL8W, Stirling formula (statement)
History
- 2026-11-02: add by m2/dev
6336SK1SE8 6336SK1SE8
| URI | m2://inv/6336SK1SE8 |
|---|---|
| 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.40156#17NQ (statement). In PP8BEHWK33/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
Existence of Equilibrium 6339YB5080
| URI | m2://inv/6339YB5080 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.20998#RV2E, Existence of Equilibrium (statement)
History
- 2026-11-02: add by m2/v0.6.18
The Nine Chapters on the Mathematical Art 633A0Q17Z2
| URI | m2://inv/633A0Q17Z2 |
|---|---|
| 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 Q657057, The Nine Chapters on the Mathematical Art (unknown). Also ProofWiki Book:Anonymous/Chiu_Chang_Suann_Jing
- wikipedia: Wikipedia The Nine Chapters on the Mathematical Art, The Nine Chapters on the Mathematical Art (definition). Also Wikidata Q657057
History
- 2026-10-26: add by m2/dev
Arup Bose 633JJJACNQ
| URI | m2://inv/633JJJACNQ |
|---|---|
| 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#N1OW, Arup Bose (topic)
History
- 2026-11-02: add by m2/dev
633X42NV8E 633X42NV8E
| URI | m2://inv/633X42NV8E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/top-more.tex#problem-6 (exercise). In RZP28ERRZV, problem, section 101.9
History
- 2026-11-01: add by m2/v0.6.13
Hurdle model 633XFSAAPC
| URI | m2://inv/633XFSAAPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurdle model, Hurdle model (definition). Also Wikidata Q105038168
History
- 2026-11-02: add by m2/dev
633YDRGAK9 633YDRGAK9
| URI | m2://inv/633YDRGAK9 |
|---|---|
| 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.24766#PPNM (statement)
History
- 2026-11-01: add by m2/v0.6.15
63433NRRVB 63433NRRVB
| URI | m2://inv/63433NRRVB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/dedekind.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 10.5
History
- 2026-11-01: add by m2/v0.6.13
Examples 6343SS2X97
| URI | m2://inv/6343SS2X97 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descriptive geometry#2N71, Examples (example)
History
- 2026-11-02: add by m2/dev
63487HSFAC 63487HSFAC
| URI | m2://inv/63487HSFAC |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 37-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.09912#TU4Z (problem). In 65TJENWK7X/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.10
Uncomfortable science 634MABQYBK
| URI | m2://inv/634MABQYBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IXNR, Uncomfortable science (definition)
History
- 2026-11-02: add by m2/dev
Fixation 634W8Y38WR
| URI | m2://inv/634W8Y38WR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixation (population genetics), Fixation (definition). Also Wikidata Q2914991
History
- 2026-11-02: add by m2/dev
Examples 634Z9XWAQ9
| URI | m2://inv/634Z9XWAQ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monomial order#FX8S, Examples (example)
History
- 2026-11-02: add by m2/dev
Growing-dimensional positive Clayton aggregation 635A82DQMH
| URI | m2://inv/635A82DQMH |
|---|---|
| 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 2609.29658#1482, Growing-dimensional positive Clayton aggregation (statement)
History
- 2026-11-01: add by m2/v0.6.15
635BSTH9JY 635BSTH9JY
| URI | m2://inv/635BSTH9JY |
|---|---|
| Kind | definition |
| 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 2602.07485#OWXM (definition). In 8KAC1E81JQ/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
635DXPF0XG 635DXPF0XG
| URI | m2://inv/635DXPF0XG |
|---|---|
| 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.24463#0O9W (statement)
History
- 2026-11-01: add by m2/v0.6.15
635H9WQJZ8 635H9WQJZ8
| URI | m2://inv/635H9WQJZ8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#proof-1 (proof). In E59CDZA4DP, proof, section 9.1.3
History
- 2026-11-01: add by m2/v0.6.13
635V8HNBES 635V8HNBES
| URI | m2://inv/635V8HNBES |
|---|---|
| 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.05602#K5JG (statement). In W88890HB4Z/e1, corollary 1.3
History
- 2026-10-29: add by m2/v0.4.10
Java GUI for R 635VK4NPBA
| URI | m2://inv/635VK4NPBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Java GUI for R, Java GUI for R (definition). Also Wikidata Q6164984
History
- 2026-11-02: add by m2/dev
6364DKD30Q 6364DKD30Q
| URI | m2://inv/6364DKD30Q |
|---|---|
| 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 2103.02468#KF4G (statement). In Q7C6G66CWM/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.5
Layered hidden Markov model 6369RMBGM8
| URI | m2://inv/6369RMBGM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Layered hidden Markov model, Layered hidden Markov model (definition). Also Wikidata Q6505534
History
- 2026-11-02: add by m2/dev
Example 636R3XVJC9
| URI | m2://inv/636R3XVJC9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trachtenberg system#RERI, Example (example)
History
- 2026-11-02: add by m2/dev
6377Y086M0 6377Y086M0
| URI | m2://inv/6377Y086M0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.08196#8TST (statement). In 8QVWZ23N42/e1, lemma 5.14
History
- 2026-10-29: add by m2/v0.4.10
Definition 63787BHXPN
| URI | m2://inv/63787BHXPN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center manifold#SAQI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples 637E24DW1N
| URI | m2://inv/637E24DW1N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex (curve)#RK6Z, Examples (example)
History
- 2026-11-02: add by m2/dev
637NCCXTES 637NCCXTES
| URI | m2://inv/637NCCXTES |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-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.34311#JBF0 (definition). In YYV9SHAPCZ/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Robert Griess 637T80TPBR
| URI | m2://inv/637T80TPBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Z3WZ, Robert Griess (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0P0V, Robert Griess (topic)
History
- 2026-11-02: add by m2/dev
637VQ2KHZ0 637VQ2KHZ0
| URI | m2://inv/637VQ2KHZ0 |
|---|---|
| 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.18152#04IH (statement). In AAVGAGCWTE/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
637WRPCPXQ 637WRPCPXQ
| URI | m2://inv/637WRPCPXQ |
|---|---|
| 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.23128#4FVI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Theorem 63832D7FCR
| URI | m2://inv/63832D7FCR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aliasing (factorial experiments)#GQJJ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
measure space 6383HJ94ZM
| URI | m2://inv/6383HJ94ZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#6UGP, measure space (definition)
History
- 2026-11-02: add by m2/dev
Covering system 6386THBGWP
| URI | m2://inv/6386THBGWP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#DQUT, Covering system (conjecture)
History
- 2026-11-02: add by m2/dev
6387KJYTG9 6387KJYTG9
| URI | m2://inv/6387KJYTG9 |
|---|---|
| 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.17677#15PF (statement). In 5E9G06XJKC/e1, lemma F.17
History
- 2026-10-28: add by m2/v0.4.2
ALL 638MK2Z2KW
| URI | m2://inv/638MK2Z2KW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ALL (complexity), ALL (definition). Also Wikidata Q4652392
History
- 2026-11-02: add by m2/dev
Blasco--Gregori 638NXEB89K
| URI | m2://inv/638NXEB89K |
|---|---|
| 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 2610.15504#OGYR, Blasco--Gregori (statement). In AZ8SEW6HAV/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Hele-Shaw flow 638W3VFA1T
| URI | m2://inv/638W3VFA1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hele-Shaw flow, Hele-Shaw flow (definition). Also Wikidata Q5701708
History
- 2026-11-02: add by m2/dev
Properties 638X16CSH8
| URI | m2://inv/638X16CSH8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BF-graph#5WOP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples 638YS6824G
| URI | m2://inv/638YS6824G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mereological essentialism#VFTL, Examples (example)
History
- 2026-11-02: add by m2/dev
638ZDGA71V 638ZDGA71V
| URI | m2://inv/638ZDGA71V |
|---|---|
| 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.14318#KUQU (statement). In HA4SZZJ831/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Statement 6391FN2D98
| URI | m2://inv/6391FN2D98 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Log sum inequality#4IMX, Statement (statement)
History
- 2026-11-02: add by m2/dev
Kurt Gödel Society 639C2Y5H86
| URI | m2://inv/639C2Y5H86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kurt Gödel Society, Kurt Gödel Society (definition). Also Wikidata Q6446756
History
- 2026-11-02: add by m2/dev
Jean Zinn-Justin 639CB4ZXD3
| URI | m2://inv/639CB4ZXD3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1271764, Jean Zinn-Justin (unknown). Also nLab Jean Zinn-Justin
History
- 2026-10-26: add by m2/dev
Xiaoyun Wang 639RQ1X7DV
| URI | m2://inv/639RQ1X7DV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#FRER, Xiaoyun Wang (unknown)
History
- 2026-11-02: add by m2/dev
639W59Y1JD 639W59Y1JD
| URI | m2://inv/639W59Y1JD |
|---|---|
| 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 2605.30679#W2TT (statement). In Z31GMHMG7B/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
63A2BW6HJ7 63A2BW6HJ7
| URI | m2://inv/63A2BW6HJ7 |
|---|---|
| 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 2206.05392#5PZK (statement). In 58D1ZC82DW/e1, proposition 22
History
- 2026-10-27: add by m2/v0.3.5
63A2KYM6NW 63A2KYM6NW
| URI | m2://inv/63A2KYM6NW |
|---|---|
| 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 math/9802134#M1PQ (statement). In 235B1J1ETB/e1, lemma 1.2
History
- 2026-10-27: add by m2/v0.3.5
Affine deformation 63A3RRMB6H
| URI | m2://inv/63A3RRMB6H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deformation (physics)#3V6A, Affine deformation (unknown)
History
- 2026-11-02: add by m2/dev
General theorem of Slepian–Wolf coding with syndromes for two sources 63AGJ5CSM9
| URI | m2://inv/63AGJ5CSM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributed source coding#A61N, General theorem of Slepian–Wolf coding with syndromes for two sources (statement)
History
- 2026-11-02: add by m2/dev
Categories 63AKEKNHX4
| URI | m2://inv/63AKEKNHX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Averroes#5J7C, Categories (definition)
History
- 2026-11-02: add by m2/dev
Theorem. 63AKKZGXJ1
| URI | m2://inv/63AKKZGXJ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand–Naimark–Segal construction#ASK6, Theorem. (statement)
History
- 2026-11-02: add by m2/dev
Quadratic integral 63AR3AQZZ8
| URI | m2://inv/63AR3AQZZ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic integral, Quadratic integral (definition). Also Wikidata Q7268364
History
- 2026-11-02: add by m2/dev
Θ 63ATC66HPV
| URI | m2://inv/63ATC66HPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#13T7, Θ (definition)
History
- 2026-11-02: add by m2/dev
rank 63B5W5THJD
| URI | m2://inv/63B5W5THJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#JFFM, rank (definition)
History
- 2026-11-02: add by m2/dev
Semi-reflexive space 63B7TH3HT2
| URI | m2://inv/63B7TH3HT2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semi-reflexive space, Semi-reflexive space (definition). Also Wikidata Q104841296
History
- 2026-11-02: add by m2/dev
63B8K42VAN 63B8K42VAN
| URI | m2://inv/63B8K42VAN |
|---|---|
| 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.28350#3HY0 (statement)
History
- 2026-11-01: add by m2/v0.6.15
63BAA9V5T3 63BAA9V5T3
| URI | m2://inv/63BAA9V5T3 |
|---|---|
| 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 2407.08976#9P3S (statement). In ZVNM9X4NNG/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
reciprocal 63C0DAMSYP
| URI | m2://inv/63C0DAMSYP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.16/reciprocal, reciprocal (concept). In QKM9DD2H56, index, section B.16
History
- 2026-11-01: add by m2/v0.6.13
De Morgan's laws 63C6ABFCEE
| URI | m2://inv/63C6ABFCEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjunction/disjunction duality#JVIS, De Morgan's laws (statement)
History
- 2026-11-02: add by m2/dev
Construction 63CRJNV8PV
| URI | m2://inv/63CRJNV8PV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pascal matrix#AOXO, Construction (definition)
History
- 2026-11-02: add by m2/dev
Erdős–Wintner theorem 63CTS5V2SV
| URI | m2://inv/63CTS5V2SV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Wintner theorem, Erdős–Wintner theorem (statement). Also Wikidata Q138941596
History
- 2026-11-02: add by m2/dev
connected graph 63CTSFSE7E
| URI | m2://inv/63CTSFSE7E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Connected graph 0FFAYNMAJZ |
Mentions
- wikidata: Wikidata Q230655, connected graph (unknown). Also nLab connected graph
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Karine Chemla 63CYFB7BZT
| URI | m2://inv/63CYFB7BZT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karine Chemla, Karine Chemla (topic). Also Wikidata Q1729607
History
- 2026-11-02: add by m2/dev
63DFBZ18CH 63DFBZ18CH
| URI | m2://inv/63DFBZ18CH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-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.14278#K1MM (statement). In RTE2C0PH4S/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
63DFHGBS30 63DFHGBS30
| URI | m2://inv/63DFHGBS30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.31335#SG0H (statement). In YN58PZTGFD/e1, proposition
History
- 2026-10-31: add by m2/v0.5.6
center 63DPBA3ZMK
| URI | m2://inv/63DPBA3ZMK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#7O0U, center (definition)
History
- 2026-11-02: add by m2/dev
Use 63ECGCCE86
| URI | m2://inv/63ECGCCE86 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filter quantifier#L0YG, Use (example)
History
- 2026-11-02: add by m2/dev
Quantitative control of the empirical inverse 63EDHH2VZP
| URI | m2://inv/63EDHH2VZP |
|---|---|
| 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.06875#MZKP, Quantitative control of the empirical inverse (statement). In ZDT5J9KQVQ/e1, lemma D.5
History
- 2026-10-29: add by m2/v0.4.10
Generic flatness 63EF7VQZ71
| URI | m2://inv/63EF7VQZ71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#QBI3, Generic flatness (definition)
History
- 2026-11-02: add by m2/dev
63EFH165TW 63EFH165TW
| URI | m2://inv/63EFH165TW |
|---|---|
| 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 2108.00412#KTB4 (statement). In APD8GE0E4F/e1, proposition 4.10
History
- 2026-10-27: add by m2/v0.3.5
Type-2 Gumbel distribution 63EQ8PVQVK
| URI | m2://inv/63EQ8PVQVK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#1B36, Type-2 Gumbel distribution (definition)
History
- 2026-11-02: add by m2/dev
Prime-power local bands and time windows 63ERM2PZY9
| URI | m2://inv/63ERM2PZY9 |
|---|---|
| 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 2610.16351#HJAN, Prime-power local bands and time windows (statement). In 1QSV7EQE3T/e1, corollary S72
History
- 2026-10-28: add by m2/v0.4.2
tetrastigm 63EVJEVX3D
| URI | m2://inv/63EVJEVX3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#4KYL, tetrastigm (definition)
History
- 2026-11-02: add by m2/dev
63F8CRRSZJ 63F8CRRSZJ
| URI | m2://inv/63F8CRRSZJ |
|---|---|
| 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 2504.01057#WB2H (statement). In 69QFBXJENW/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.3.5
rhizoristic 63F8W543D8
| URI | m2://inv/63F8W543D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#GE3E, rhizoristic (definition)
History
- 2026-11-02: add by m2/dev
mechanical vibrations 63FAKW8ZEV
| URI | m2://inv/63FAKW8ZEV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/6.9/mechanical-vibrations, mechanical vibrations (concept). In E9HS8K3A52, index, section 6.9
History
- 2026-11-01: add by m2/v0.6.13
Change of stationary coefficient 63FEEPD74A
| URI | m2://inv/63FEEPD74A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-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.30301#NK5Z, Change of stationary coefficient (statement). In 7NS75J7HAM/e1, lemma 7.4
History
- 2026-10-31: add by m2/v0.5.6
63FJH4AC98 63FJH4AC98
| URI | m2://inv/63FJH4AC98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.24484#9QS3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
63FPDW2KQ1 63FPDW2KQ1
| URI | m2://inv/63FPDW2KQ1 |
|---|---|
| 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.28509#M58A (statement)
History
- 2026-11-01: add by m2/v0.6.15
63FPW6SS66 63FPW6SS66
| URI | m2://inv/63FPW6SS66 |
|---|---|
| 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.04993#OU7W (statement). In JQBWZPXKAV/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
An example 63G5D81PFK
| URI | m2://inv/63G5D81PFK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stationary phase approximation#A2MQ, An example (example)
History
- 2026-11-02: add by m2/dev
63GB9S060M 63GB9S060M
| URI | m2://inv/63GB9S060M |
|---|---|
| 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.20002#EMIS (statement)
History
- 2026-11-02: add by m2/v0.6.18
63GCY1Y3NV 63GCY1Y3NV
| URI | m2://inv/63GCY1Y3NV |
|---|---|
| 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.21535#HAK4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition 63GGC6ZZ20
| URI | m2://inv/63GGC6ZZ20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exterior derivative#WOCP, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ω-logic 63GZRHWXQA
| URI | m2://inv/63GZRHWXQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ω-logic, Ω-logic (definition). Also Wikidata Q8084001
History
- 2026-11-02: add by m2/dev
63H4CNMDZ8 63H4CNMDZ8
| URI | m2://inv/63H4CNMDZ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.21960#O7N9 (statement). In QX77AN49J0/e1, corollary 6.8
History
- 2026-10-27: add by m2/v0.4.2
Surrogate model 63H8SVJF20
| URI | m2://inv/63H8SVJF20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#5GKB, Surrogate model (definition)
History
- 2026-11-02: add by m2/dev
Schur's lemma 63HB50YVTC
| URI | m2://inv/63HB50YVTC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#BAN2, Schur's lemma (statement)
- wikipedia: Wikipedia List of representation theory topics#9LAG, Schur's lemma (statement)
- wikipedia: Wikipedia List of abstract algebra topics#1H4O, Schur's lemma (statement)
- wikipedia: Wikipedia List of abstract algebra topics#R42L, Schur's lemma (statement)
History
- 2026-11-02: add by m2/dev
63HFQCVYYJ 63HFQCVYYJ
| URI | m2://inv/63HFQCVYYJ |
|---|---|
| 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.29304#K5AW (statement)
History
- 2026-11-01: add by m2/v0.6.15
The critical catenoid conjecture 63HPR6WJ78
| URI | m2://inv/63HPR6WJ78 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catenoid#9WMW, The critical catenoid conjecture (statement)
History
- 2026-11-02: add by m2/dev
P. Alexandroff 63HQ9CWCXS
| URI | m2://inv/63HQ9CWCXS |
|---|---|
| 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#1KYC, P. Alexandroff (topic)
History
- 2026-11-02: add by m2/dev
Rotation formulations in three dimensions 63HSKWRQ0A
| URI | m2://inv/63HSKWRQ0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rotation formulations in three dimensions, Rotation formulations in three dimensions (definition). Also Wikidata Q7370306
History
- 2026-11-02: add by m2/dev
63HT3P4NS8 63HT3P4NS8
| URI | m2://inv/63HT3P4NS8 |
|---|---|
| Kind | example |
| 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 2610.13734#FDA0 (example). In XB23QP7GK9/e1, example 2.3
History
- 2026-10-28: add by m2/v0.4.2
Example 63HYV1HXXX
| URI | m2://inv/63HYV1HXXX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximal lotteries#EIVJ, Example (example)
History
- 2026-11-02: add by m2/dev
Example 63J6GK48G1
| URI | m2://inv/63J6GK48G1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blum–Goldwasser cryptosystem#LAZB, Example (example)
History
- 2026-11-02: add by m2/dev
Locality of certificates 63JC5QJV9D
| URI | m2://inv/63JC5QJV9D |
|---|---|
| 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 2609.28160#UHMU, Locality of certificates (statement)
History
- 2026-11-01: add by m2/v0.6.15
Product-sum formula 63JFCT0FA8
| URI | m2://inv/63JFCT0FA8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plethystic exponential#7XQR, Product-sum formula (statement)
History
- 2026-11-02: add by m2/dev
Lodovico Ferrari 63JR2N39DJ
| URI | m2://inv/63JR2N39DJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lodovico Ferrari, Lodovico Ferrari (topic). Also Wikidata Q310783
History
- 2026-11-02: add by m2/dev
pentaquark 63JVANHXK1
| URI | m2://inv/63JVANHXK1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q277816, pentaquark (unknown). Also nLab pentaquark
History
- 2026-10-26: add by m2/dev
63KD26ZZ93 63KD26ZZ93
| URI | m2://inv/63KD26ZZ93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2403.08723#3L9M (statement). In HGE2NCQW29/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Brooks, Steve 63KKW2SS9Y
| URI | m2://inv/63KKW2SS9Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#A1C0, Brooks, Steve (unknown)
History
- 2026-11-02: add by m2/dev
External and internal hom-objects 63KR30K0RM
| URI | m2://inv/63KR30K0RM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-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.03865#C0WQ, External and internal hom-objects (definition). In G3D1YR20BJ/e1, definition A.1
History
- 2026-10-29: add by m2/v0.4.12
Example (CF1) 63KX6XBF9D
| URI | m2://inv/63KX6XBF9D |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite compositions of analytic functions#JCOK, Example (CF1) (example)
History
- 2026-11-02: add by m2/dev
63KYEZ509N 63KYEZ509N
| URI | m2://inv/63KYEZ509N |
|---|---|
| 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.06372#DMSH (statement). In G3E1P350Z6/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Statistical model 63M3GNTB2B
| URI | m2://inv/63M3GNTB2B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistical model, Statistical model (definition). Also Wikidata Q3284399
History
- 2026-11-02: add by m2/dev
Borsuk's problem 63M3HQS3FQ
| URI | m2://inv/63M3HQS3FQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#M2D9, Borsuk's problem (statement)
History
- 2026-11-02: add by m2/dev
63M4W3BDRM 63M4W3BDRM
| URI | m2://inv/63M4W3BDRM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#example-7 (example). In E9HS8K3A52, example, section 2.5.1
History
- 2026-11-01: add by m2/v0.6.13
63MBT3CWQ2 63MBT3CWQ2
| URI | m2://inv/63MBT3CWQ2 |
|---|---|
| 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 2409.20170#EA6G (statement). In QXJP79APHN/e1, corollary 3.6
History
- 2026-10-27: add by m2/v0.3.5
The fixed ring 63MBVS5YE9
| URI | m2://inv/63MBVS5YE9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 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 2610.21662#UVXH, The fixed ring (example). In 25B3WHEKH2/e1, example 7.3
History
- 2026-10-27: add by m2/v0.4.2
A. C. Grayling 63MDGNCZEJ
| URI | m2://inv/63MDGNCZEJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A. C. Grayling, A. C. Grayling (topic). Also Wikidata Q278583
History
- 2026-11-02: add by m2/dev
63MFFC84HR 63MFFC84HR
| URI | m2://inv/63MFFC84HR |
|---|---|
| Kind | definition |
| 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 2209.00108#6EA9 (definition). In V2G422ZMPW/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Definition 63MFWH2BF2
| URI | m2://inv/63MFWH2BF2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grzegorczyk hierarchy#4J0X, Definition (definition)
History
- 2026-11-02: add by m2/dev
63MHMMN7PV 63MHMMN7PV
| URI | m2://inv/63MHMMN7PV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#proof-1 (proof). In RZP28ERRZV, proof, section 12.2
History
- 2026-11-01: add by m2/v0.6.13
63MM3DH894 63MM3DH894
| URI | m2://inv/63MM3DH894 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-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.28297#33S6 (example)
History
- 2026-11-01: add by m2/v0.6.15
63MP5DX6YX 63MP5DX6YX
| URI | m2://inv/63MP5DX6YX |
|---|---|
| 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.00525#032H (statement). In JN34PDDXH8/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
63MPA3MRPD 63MPA3MRPD
| URI | m2://inv/63MPA3MRPD |
|---|---|
| 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.21358#Q3VI (statement). In XV70TXYS5A/e1, lemma 2.16
History
- 2026-10-27: add by m2/v0.4.2
2-stage least squares 63MPQJCSPK
| URI | m2://inv/63MPQJCSPK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Instrumental variables#09YA, 2-stage least squares (unknown)
History
- 2026-11-02: add by m2/dev
63MPTKAKRJ 63MPTKAKRJ
| URI | m2://inv/63MPTKAKRJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-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.30519#09BO (example). In GQQZNRYK15/e1, example 3.9
History
- 2026-10-31: add by m2/v0.5.6
63MQ8RF46V 63MQ8RF46V
| URI | m2://inv/63MQ8RF46V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 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 2610.10329#IJ6M (statement). In SCSTR1Q1BW/e1, theorem 7.2
History
- 2026-10-29: add by m2/v0.4.10
63MWM5V6Z2 63MWM5V6Z2
| URI | m2://inv/63MWM5V6Z2 |
|---|---|
| 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 2210.12291#TYKZ (statement). In PHPNFMYPPE/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
$H_\infty$ fixed-$\gamma$ design: exact gradient 63MY6MH8SC
| URI | m2://inv/63MY6MH8SC |
|---|---|
| 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 2609.36090#JPFC, $H_\infty$ fixed-$\gamma$ design: exact gradient (statement). In N025M6VQRY/e1, corollary 6.8
History
- 2026-10-27: add by m2/v0.4.0
B error 63NGJVJRJM
| URI | m2://inv/63NGJVJRJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type I and type II errors#C8J0, B error (unknown)
History
- 2026-11-02: add by m2/dev
Axioms 63NK9F8QN0
| URI | m2://inv/63NK9F8QN0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ackermann set theory#WAEA, Axioms (statement)
History
- 2026-11-02: add by m2/dev
categories of spans 63NWF4J1D8
| URI | m2://inv/63NWF4J1D8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 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 2609.37520#GH21, categories of spans (definition). In BDN507RN7J/e1, definition 3.1.5
History
- 2026-10-30: add by m2/v0.4.12
63NYM6F35E 63NYM6F35E
| URI | m2://inv/63NYM6F35E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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.12484#IPA7 (statement). In GW23NX78SB/e1, lemma 4.15
History
- 2026-10-28: add by m2/v0.4.2
63P5TND8P6 63P5TND8P6
| URI | m2://inv/63P5TND8P6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.36332#SE3A (statement). In APK7X4MFAX/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
presheaf 63PD44QM32
| URI | m2://inv/63PD44QM32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#PHRJ, presheaf (definition)
History
- 2026-11-02: add by m2/dev
List of Indian states and union territories by GDP per capita 63PEBBCAZM
| URI | m2://inv/63PEBBCAZM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian states and union territories by GDP per capita, List of Indian states and union territories by GDP per capita (topic). Also Wikidata Q24933309
History
- 2026-11-02: add by m2/dev
63PGKWHZZG 63PGKWHZZG
| URI | m2://inv/63PGKWHZZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/sylow.tex#definition-3 (definition). In RZP28ERRZV, definition, section 7.3
History
- 2026-11-01: add by m2/v0.6.13
ideal of a commutative ring 63PKYHRS0S
| URI | m2://inv/63PKYHRS0S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Ideals and quotients > ideal of a commutative ring, ideal of a commutative ring (unknown). Also Mathlib Ideal
- mathlib_undergrad: mathlib_undergrad Ring Theory > Ideals and Quotients > ideal of a commutative ring, ideal of a commutative ring (unknown). Also Mathlib Ideal
History
- 2026-10-26: add by m2/dev
63PMF3QKK6 63PMF3QKK6
| URI | m2://inv/63PMF3QKK6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.13180#EDM7 (statement). In 7TSVFYEGD8/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
NuPRL 63PPV3DXT8
| URI | m2://inv/63PPV3DXT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q22907407, NuPRL (unknown). Also nLab NuPRL
- wikipedia: Wikipedia Nuprl, Nuprl (definition). Also Wikidata Q22907407
History
- 2026-10-26: add by m2/dev
Examples 63PY7RXVBM
| URI | m2://inv/63PY7RXVBM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyapunov time#HCVD, Examples (example)
History
- 2026-11-02: add by m2/dev
Key stream 63PZTNY84E
| URI | m2://inv/63PZTNY84E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#ZS7J, Key stream (definition)
History
- 2026-11-02: add by m2/dev
Liber Abaci 63Q0A0DY0P
| URI | m2://inv/63Q0A0DY0P |
|---|---|
| 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 Q2044496, Liber Abaci (unknown). Also ProofWiki Book:Leonardo_Fibonacci/Liber_Abaci
- wikipedia: Wikipedia Liber Abaci, Liber Abaci (definition). Also Wikidata Q2044496
History
- 2026-10-26: add by m2/dev
63Q8WPWAJ3 63Q8WPWAJ3
| URI | m2://inv/63Q8WPWAJ3 |
|---|---|
| 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 2607.26169#IH7U (statement). In Q46QV3B0NF/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
topological entropy 63QE0QX4PH
| URI | m2://inv/63QE0QX4PH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Topological entropy BDZYBXBFDE |
Mentions
- wikidata: Wikidata Q3055355, topological entropy (unknown). Also MathWorld TopologicalEntropy
- wikipedia: Wikipedia Topological entropy, Topological entropy (definition). Also Wikidata Q3055355
History
- 2026-10-26: add by m2/dev
63QF4H62AR 63QF4H62AR
| URI | m2://inv/63QF4H62AR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.06719#B3JY (statement). In CBSA058Y53/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
63QMF88M9J 63QMF88M9J
| URI | m2://inv/63QMF88M9J |
|---|---|
| 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 2610.07890#6TQP (statement). In 6F3GSDT2V1/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.10
63QN3338Q7 63QN3338Q7
| URI | m2://inv/63QN3338Q7 |
|---|---|
| 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.10413#EFUT (statement). In 68MTQ59QTQ/e1, proposition A.3
History
- 2026-10-29: add by m2/v0.4.10
Uniform comparison after a restart 63QQ8CKBD3
| URI | m2://inv/63QQ8CKBD3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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 2609.28611#A4NI, Uniform comparison after a restart (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alcuin 63QXEJXVKT
| URI | m2://inv/63QXEJXVKT |
|---|---|
| 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 Q154332, Alcuin (unknown). Also ProofWiki Mathematician:Alcuin_of_York
- wikipedia: Wikipedia Alcuin, Alcuin (topic). Also Wikidata Q154332
History
- 2026-10-26: add by m2/dev
63QXNWSCV8 63QXNWSCV8
| URI | m2://inv/63QXNWSCV8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 38.15
History
- 2026-11-01: add by m2/v0.6.13
63R0C3Z6Z1 63R0C3Z6Z1
| URI | m2://inv/63R0C3Z6Z1 |
|---|---|
| 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 2610.12087#TYQF (statement). In SH8TFHRG5R/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.3
Absolute Galois group 63R3Y1ZKP0
| URI | m2://inv/63R3Y1ZKP0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of irreducible Tits indices#7JR0, Absolute Galois group (definition)
History
- 2026-11-02: add by m2/dev
Differential quadrature 63R9NMKYTY
| URI | m2://inv/63R9NMKYTY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical differentiation#P4C5, Differential quadrature (unknown)
History
- 2026-11-02: add by m2/dev
week 63RDHBFSFG
| URI | m2://inv/63RDHBFSFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q23387, week (definition). Also ProofWiki Definition:Time/Unit/Week
History
- 2026-10-26: add by m2/dev
Fixed-parameter tractability 63REDJBQHP
| URI | m2://inv/63REDJBQHP |
|---|---|
| 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 2609.37589#WXCY, Fixed-parameter tractability (statement). In 18HVB2SKW1/e1, proposition 3.8
History
- 2026-10-30: add by m2/v0.4.12
63RFX4HWBX 63RFX4HWBX
| URI | m2://inv/63RFX4HWBX |
|---|---|
| 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.28323#O0HN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 63RJS2KC06
| URI | m2://inv/63RJS2KC06 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isometry group#UFIP, Examples (example)
History
- 2026-11-02: add by m2/dev
Stronger parent dominance 63RX254TMF
| URI | m2://inv/63RX254TMF |
|---|---|
| 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.24931#W8U8, Stronger parent dominance (statement)
History
- 2026-11-01: add by m2/v0.6.15
63S1HCJZ50 63S1HCJZ50
| URI | m2://inv/63S1HCJZ50 |
|---|---|
| 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.23942#IBHX (statement)
History
- 2026-11-02: add by m2/v0.6.17
63S9BTCQGN 63S9BTCQGN
| URI | m2://inv/63S9BTCQGN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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.18803#2MDO (definition). In VG8AF124T3/e1, definition 6.10
History
- 2026-10-28: add by m2/v0.4.2
Salsa20 63SHMD8KN9
| URI | m2://inv/63SHMD8KN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Salsa20, Salsa20 (definition). Also Wikidata Q2563030
History
- 2026-11-02: add by m2/dev
63SJ89HTKF 63SJ89HTKF
| URI | m2://inv/63SJ89HTKF |
|---|---|
| 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.03555#3J3Y (statement). In 9JZJTRRVR1/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.12
Integral spectral-block decomposition 63SPVFENYM
| URI | m2://inv/63SPVFENYM |
|---|---|
| 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#OYPV, Integral spectral-block decomposition (statement). In 1KRZ5ACTKE/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
63SQW7FSXN 63SQW7FSXN
| URI | m2://inv/63SQW7FSXN |
|---|---|
| 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.22074#BEXT (statement). In F3BKXXPR3K/e1, proposition C.2
History
- 2026-10-27: add by m2/v0.4.2
63SR3CY1R5 63SR3CY1R5
| URI | m2://inv/63SR3CY1R5 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 13-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.32138#3NJW (example). In ZG0GNHTCWB/e1, example 4.7
History
- 2026-10-31: add by m2/v0.5.6
O. Schreier 63STXJJG9G
| URI | m2://inv/63STXJJG9G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#A9JR, O. Schreier (topic)
History
- 2026-11-02: add by m2/dev
étale algebra 63SYGZ3882
| URI | m2://inv/63SYGZ3882 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17097882, étale algebra (unknown). Also nLab étale algebra
- wikipedia: Wikipedia Étale algebra, Étale algebra (definition). Also Wikidata Q17097882
History
- 2026-10-26: add by m2/dev
GrabCut 63T7V2XS5Y
| URI | m2://inv/63T7V2XS5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GrabCut, GrabCut (definition). Also Wikidata Q5590545
History
- 2026-11-02: add by m2/dev
Lag windowing 63TCK5NR7K
| URI | m2://inv/63TCK5NR7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lag windowing, Lag windowing (definition). Also Wikidata Q6471814
History
- 2026-11-02: add by m2/dev
Variants 63TF1KM5J5
| URI | m2://inv/63TF1KM5J5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory's theorem (convex hull)#WWIS, Variants (statement)
History
- 2026-11-02: add by m2/dev
Uffe Haagerup 63TNYGASN2
| URI | m2://inv/63TNYGASN2 |
|---|---|
| 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#AR1G, Uffe Haagerup (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#L5N8, Uffe Haagerup (topic)
History
- 2026-11-02: add by m2/dev
Dmitri Yafaev 63TQ0P2SQ3
| URI | m2://inv/63TQ0P2SQ3 |
|---|---|
| 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#H015, Dmitri Yafaev (unknown)
History
- 2026-11-02: add by m2/dev
Trace theorem 63TW8BDJPC
| URI | m2://inv/63TW8BDJPC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev space#KM8S, Trace theorem (statement)
History
- 2026-11-02: add by m2/dev
63TWYWBABH 63TWYWBABH
| URI | m2://inv/63TWYWBABH |
|---|---|
| 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.13505#300L (statement). In 6Z1DDCYCQ8/e1, lemma 23
History
- 2026-10-28: add by m2/v0.4.2
Peter Hintz 63V0ZN4BQ4
| URI | m2://inv/63V0ZN4BQ4 |
|---|---|
| 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#ZGMC, Peter Hintz (topic)
History
- 2026-11-02: add by m2/dev
elongated pentagonal gyrobicupola 63V2YG3QEJ
| URI | m2://inv/63V2YG3QEJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2158348, elongated pentagonal gyrobicupola (object). Also MathWorld ElongatedPentagonalGyrobicupola
- wikipedia: Wikipedia Elongated pentagonal gyrobicupola, Elongated pentagonal gyrobicupola (definition). Also Wikidata Q2158348
History
- 2026-10-26: add by m2/dev
Negligible function 63VZ134N4H
| URI | m2://inv/63VZ134N4H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negligible function, Negligible function (definition). Also Wikidata Q1766279
History
- 2026-11-02: add by m2/dev
Richard Leibler 63W2E8KF1T
| URI | m2://inv/63W2E8KF1T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Leibler, Richard Leibler (topic). Also Wikidata Q2150086
History
- 2026-11-02: add by m2/dev
Effect of the decoded class 63W3C7P8VA
| URI | m2://inv/63W3C7P8VA |
|---|---|
| Kind | example |
| 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.20087#XGAJ, Effect of the decoded class (example). In ZRE2WQR5XA/e1, example V.11
History
- 2026-10-27: add by m2/v0.4.2
boundary 63W4XCJ94Q
| URI | m2://inv/63W4XCJ94Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#V3O9, boundary (definition)
History
- 2026-11-02: add by m2/dev
Simultaneously estimated activity factors 63W8SSP7M7
| URI | m2://inv/63W8SSP7M7 |
|---|---|
| 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.19207#3X94, Simultaneously estimated activity factors (statement). In BH3R0BA3PC/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.2
63WMBP8RVS 63WMBP8RVS
| URI | m2://inv/63WMBP8RVS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-61 (exercise). In E9HS8K3A52, exercise, section 2.5.5
History
- 2026-11-01: add by m2/v0.6.13
Irwin–Hall distribution 63WNJT1NHA
| URI | m2://inv/63WNJT1NHA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3258194, Irwin–Hall distribution (concept). Also MathWorld UniformSumDistribution
- wikipedia: Wikipedia Irwin–Hall distribution, Irwin–Hall distribution (definition). Also Wikidata Q3258194
History
- 2026-10-26: add by m2/dev
63XARY2HNX 63XARY2HNX
| URI | m2://inv/63XARY2HNX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.32174#RXOW (statement). In GHKR740SG3/e1, lemma 2.13
History
- 2026-10-31: add by m2/v0.5.6
Ueli Maurer 63XD4QQJSP
| URI | m2://inv/63XD4QQJSP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ueli Maurer (cryptographer), Ueli Maurer (topic). Also Wikidata Q120462
History
- 2026-11-02: add by m2/dev
Compactness 63XN01C53X
| URI | m2://inv/63XN01C53X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#prop:proves-compact, Compactness (statement). In PKGMM3P5QY, prop, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
Eigenvector centrality 63XSVM6XQT
| URI | m2://inv/63XSVM6XQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvector centrality, Eigenvector centrality (definition). Also Wikidata Q28401090
History
- 2026-11-02: add by m2/dev
William Feller 63XVRXNX6S
| URI | m2://inv/63XVRXNX6S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#U7KQ, William Feller (topic)
History
- 2026-11-02: add by m2/dev
63XWBNW63A 63XWBNW63A
| URI | m2://inv/63XWBNW63A |
|---|---|
| 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#O3XE (statement)
History
- 2026-11-01: add by m2/v0.6.15
Roger Thatcher 63Y1YWE4R9
| URI | m2://inv/63Y1YWE4R9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roger Thatcher, Roger Thatcher (topic). Also Wikidata Q21486114
History
- 2026-11-02: add by m2/dev
63YEEXWM4R 63YEEXWM4R
| URI | m2://inv/63YEEXWM4R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.10973#Q3J6 (statement). In H8NGNDP0XT/e1, lemma 10
History
- 2026-10-28: add by m2/v0.4.3
Conway's constant 63YMFKJXGC
| URI | m2://inv/63YMFKJXGC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2994911, Conway's constant (object). Also MathWorld ConwaysConstant, OEIS A014715
History
- 2026-10-26: add by m2/dev
category of representations 63YN0AFZGQ
| URI | m2://inv/63YN0AFZGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48999031, category of representations (unknown). Also nLab category of representations
- wikipedia: Wikipedia Category of representations, Category of representations (definition). Also Wikidata Q48999031
History
- 2026-10-26: add by m2/dev
Attia Ashour 63YQX93M9D
| URI | m2://inv/63YQX93M9D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Attia Ashour, Attia Ashour (topic). Also Wikidata Q72693657
History
- 2026-11-02: add by m2/dev
63YRK1D585 63YRK1D585
| URI | m2://inv/63YRK1D585 |
|---|---|
| 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.11440#7916 (statement). In KBV6TD64F1/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
GEH statistic 63YTNQN19T
| URI | m2://inv/63YTNQN19T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GEH statistic, GEH statistic (definition). Also Wikidata Q3093172
History
- 2026-11-02: add by m2/dev
Olof B. Widlund 63YY5TY80D
| URI | m2://inv/63YY5TY80D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olof B. Widlund, Olof B. Widlund (topic). Also Wikidata Q7088470
History
- 2026-11-02: add by m2/dev
en passant 63Z7WXZ1XT
| URI | m2://inv/63Z7WXZ1XT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q205730, en passant (definition). Also ProofWiki Definition:Chess/Rules/Capture/Pawn/En_Passant
History
- 2026-10-26: add by m2/dev
River-valley landscape 63ZCZG3B9M
| URI | m2://inv/63ZCZG3B9M |
|---|---|
| Kind | definition |
| 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 2609.30957#7NSV, River-valley landscape (definition). In P5YB6R0RK3/e1, definition 2.3
History
- 2026-10-31: add by m2/v0.5.6
63ZEJ8NEGX 63ZEJ8NEGX
| URI | m2://inv/63ZEJ8NEGX |
|---|---|
| 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#R1JV (statement). In EVFX1R7ZDD/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Beatrice Meini 63ZK1JWWZQ
| URI | m2://inv/63ZK1JWWZQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beatrice Meini, Beatrice Meini (topic). Also Wikidata Q57306956
History
- 2026-11-02: add by m2/dev
Special cases 63ZMV0JQ35
| URI | m2://inv/63ZMV0JQ35 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlson symmetric form#QOK1, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Definitions 63ZSTG6TZF
| URI | m2://inv/63ZSTG6TZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemicontinuity#6K2I, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Generalizations 63ZWZ1Q0F9
| URI | m2://inv/63ZWZ1Q0F9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schur polynomial#AB6G, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
63ZX1BTN7G 63ZX1BTN7G
| URI | m2://inv/63ZX1BTN7G |
|---|---|
| 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 2405.05684#ZTY6 (statement). In 1PR73ECTZB/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5