Inventory rows T5
The cards of the rows of the inventory whose ids start with T5. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Cubic saturation and quadratic Cayley--Bacharach T502N1KFD8
| URI | m2://inv/T502N1KFD8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2609.31689#P8M1, Cubic saturation and quadratic Cayley--Bacharach (statement). In Z7M2JSF6HA/e1, corollary 8.2
History
- 2026-10-31: add by m2/v0.5.6
Kullback's inequality T508G0V303
| URI | m2://inv/T508G0V303 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kullback's inequality, Kullback's inequality (statement). Also Wikidata Q6443113
History
- 2026-11-02: add by m2/dev
Baby monster group T50EJWR45R
| URI | m2://inv/T50EJWR45R |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baby monster group, Baby monster group (object). Also Wikidata Q797816
History
- 2026-11-02: add by m2/dev
Edward Kasner T50GRHW6T0
| URI | m2://inv/T50GRHW6T0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#CMAE, Edward Kasner (unknown)
History
- 2026-11-02: add by m2/dev
mathematics, predicative T50QSPV31A
| URI | m2://inv/T50QSPV31A |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/mathematics-predicative, mathematics, predicative (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Statement of the theorem T511V3FTP4
| URI | m2://inv/T511V3FTP4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grunwald–Wang theorem#A6BO, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
T516WZ7A8Y T516WZ7A8Y
| URI | m2://inv/T516WZ7A8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.09171#PYZP (statement). In 5ZPSZFE08Q/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.10
Generalizations T5188VPVXE
| URI | m2://inv/T5188VPVXE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev distance#W38D, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
First-order predicate T51M0B8Z2J
| URI | m2://inv/T51M0B8Z2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First-order predicate, First-order predicate (definition). Also Wikidata Q5452202
History
- 2026-11-02: add by m2/dev
Minesweeper Consistency Problem T51MFMX82Q
| URI | m2://inv/T51MFMX82Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#FT7A, Minesweeper Consistency Problem (unknown)
History
- 2026-11-02: add by m2/dev
T51QQX51B0 T51QQX51B0
| URI | m2://inv/T51QQX51B0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#example-1 (example). In E59CDZA4DP, example, section 11.9.1
History
- 2026-11-01: add by m2/v0.6.13
Classical Locally Testable Code (LTC T51VDDGQ50
| URI | m2://inv/T51VDDGQ50 |
|---|---|
| Kind | definition |
| 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#B93U, Classical Locally Testable Code (LTC (definition). In JN34PDDXH8/e1, definition 5.1
History
- 2026-10-30: add by m2/v0.4.12
T51X9MYBB3 T51X9MYBB3
| URI | m2://inv/T51X9MYBB3 |
|---|---|
| Kind | conjecture |
| 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 2306.07511#0SXG (conjecture). In 652CJVBF7C/e1, conjecture
History
- 2026-10-27: add by m2/v0.3.6
The determinant and the permanent T5205XZQJ0
| URI | m2://inv/T5205XZQJ0 |
|---|---|
| Kind | example |
| 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 2609.25353#6TLQ, The determinant and the permanent (example)
History
- 2026-11-01: add by m2/v0.6.15
Bernstein's inequality for sub-exponential random variables T520DJE1FV
| URI | m2://inv/T520DJE1FV |
|---|---|
| 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.09324#S787, Bernstein's inequality for sub-exponential random variables (statement). In SFNYZXKBNW/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
T52J856T4D T52J856T4D
| URI | m2://inv/T52J856T4D |
|---|---|
| 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 2108.03672#S7L1 (definition). In EZZSZ1F071/e1, definition 1.7
History
- 2026-10-27: add by m2/v0.4.0
T52NBV8BTC T52NBV8BTC
| URI | m2://inv/T52NBV8BTC |
|---|---|
| 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 0910.4613#IMS7 (statement). In SYPZ9055PN/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
Three-twist knot T52X43QZ52
| URI | m2://inv/T52X43QZ52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Three-twist knot, Three-twist knot (definition). Also Wikidata Q7797291
History
- 2026-11-02: add by m2/dev
T5398DPAPP T5398DPAPP
| URI | m2://inv/T5398DPAPP |
|---|---|
| Kind | statement |
| 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 1004.4564#PLDX (statement). In BZ54C9SKYS/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.3.5
James Hartle T53CB9RXMY
| URI | m2://inv/T53CB9RXMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#KWYB, James Hartle (unknown)
History
- 2026-11-02: add by m2/dev
Semantic Deduction Theorem T53D4T4FQB
| URI | m2://inv/T53D4T4FQB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#thm:sem-deduction, Semantic Deduction Theorem (statement). In PKGMM3P5QY, thm, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
Definition T53G597NJN
| URI | m2://inv/T53G597NJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eulerian number#0RFZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
T53HBP7DFA T53HBP7DFA
| URI | m2://inv/T53HBP7DFA |
|---|---|
| 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.03337#PPDB (statement). In VH7EZDGTNA/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
T53SABK7T5 T53SABK7T5
| URI | m2://inv/T53SABK7T5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.36509#83N4 (statement). In DPJ15KW23C/e1, lemma 4.8
History
- 2026-10-30: add by m2/v0.4.12
The Lagrange multiplier theorem for Banach spaces T53TMXAD2V
| URI | m2://inv/T53TMXAD2V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrange multipliers on Banach spaces#EII5, The Lagrange multiplier theorem for Banach spaces (statement)
History
- 2026-11-02: add by m2/dev
Continuity T53VD89KE2
| URI | m2://inv/T53VD89KE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonstandard calculus#YVQJ, Continuity (statement)
History
- 2026-11-02: add by m2/dev
Yorick T540EY3SNT
| URI | m2://inv/T540EY3SNT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#LWR7, Yorick (unknown)
History
- 2026-11-02: add by m2/dev
T541RYYQ1R T541RYYQ1R
| URI | m2://inv/T541RYYQ1R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#definition-2 (definition). In P1C114YBXG, definition, section J
History
- 2026-11-01: add by m2/v0.6.13
∞-groupoid T542ANZW2M
| URI | m2://inv/T542ANZW2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ∞-groupoid, ∞-groupoid (definition). Also Wikidata Q16911578
History
- 2026-11-02: add by m2/dev
Exact Arithmetic, Regularized Solutions, and Backward-Stable Solvers T544M1CQC9
| URI | m2://inv/T544M1CQC9 |
|---|---|
| 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#RBCA, Exact Arithmetic, Regularized Solutions, and Backward-Stable Solvers (statement). In Z6WA2R0J50/e1, corollary 2.17
History
- 2026-10-28: add by m2/v0.4.2
T547DSAW84 T547DSAW84
| URI | m2://inv/T547DSAW84 |
|---|---|
| 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 2206.05392#C7RS (example). In 58D1ZC82DW/e1, example 38
History
- 2026-10-27: add by m2/v0.3.5
General formula and special cases T54F6KVCEH
| URI | m2://inv/T54F6KVCEH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doléans-Dade exponential#X8SI, General formula and special cases (statement)
History
- 2026-11-02: add by m2/dev
T54G0BDPHG T54G0BDPHG
| URI | m2://inv/T54G0BDPHG |
|---|---|
| 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.33771#QT59 (statement). In ZXQA7QH0H0/e1, lemma 3.18
History
- 2026-10-30: add by m2/v0.4.12
T54H98YHG4 T54H98YHG4
| URI | m2://inv/T54H98YHG4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.29399#SF86 (statement)
History
- 2026-11-01: add by m2/v0.6.15
T54HQQHGS1 T54HQQHGS1
| URI | m2://inv/T54HQQHGS1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.24739#76TZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
T54JQ80GWC T54JQ80GWC
| URI | m2://inv/T54JQ80GWC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-3 (exercise). In E9HS8K3A52, exercise, section 10.1.6
History
- 2026-11-01: add by m2/v0.6.13
T54TMZVN80 T54TMZVN80
| URI | m2://inv/T54TMZVN80 |
|---|---|
| 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 2510.12502#G3HZ (statement). In 3A4K47Y9F2/e1, lemma 5.25
History
- 2026-10-27: add by m2/v0.4.0
T54XERF29V T54XERF29V
| URI | m2://inv/T54XERF29V |
|---|---|
| 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.23595#3N1O (statement)
History
- 2026-11-02: add by m2/v0.6.17
T556EG9KMW T556EG9KMW
| URI | m2://inv/T556EG9KMW |
|---|---|
| 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.13295#PHC7 (conjecture). In 8Q7QXTWD0S/e1, conjecture 6.9
History
- 2026-10-28: add by m2/v0.4.2
Jones, Edward T55BNJ39AH
| URI | m2://inv/T55BNJ39AH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#99EJ, Jones, Edward (topic)
History
- 2026-11-02: add by m2/dev
Mathematical methods of classical mechanics T55FJMWD2A
| URI | m2://inv/T55FJMWD2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48988157, Mathematical methods of classical mechanics (unknown). Also nLab Mathematical methods of classical mechanics
- wikipedia: Wikipedia Mathematical Methods of Classical Mechanics, Mathematical Methods of Classical Mechanics (definition). Also Wikidata Q48988157
History
- 2026-10-26: add by m2/dev
Fenchel's duality theorem T55FTH4CGJ
| URI | m2://inv/T55FTH4CGJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#3SHB, Fenchel's duality theorem (statement)
History
- 2026-11-02: add by m2/dev
T55RXCZHQY T55RXCZHQY
| URI | m2://inv/T55RXCZHQY |
|---|---|
| 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 2609.22394#3GDW (statement)
History
- 2026-11-02: add by m2/v0.6.17
T55V96T0DT T55V96T0DT
| URI | m2://inv/T55V96T0DT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#proof-5 (proof). In Y91XFCEVHQ, proof, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
Definition of heavy-tailed distribution T55YCSRYSB
| URI | m2://inv/T55YCSRYSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heavy-tailed distribution#JEIZ, Definition of heavy-tailed distribution (definition)
History
- 2026-11-02: add by m2/dev
image T560Q70Q45
| URI | m2://inv/T560Q70Q45 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q860623, image (concept). Also MathWorld Image
- wikipedia: Wikipedia Image (mathematics), Image (definition). Also Wikidata Q860623
History
- 2026-10-26: add by m2/dev
Immigration and crime in France T560WTVTA2
| URI | m2://inv/T560WTVTA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immigration and crime#W3AK, Immigration and crime in France (unknown)
History
- 2026-11-02: add by m2/dev
T567WYDEKD T567WYDEKD
| URI | m2://inv/T567WYDEKD |
|---|---|
| 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 2503.08018#E7LZ (statement). In TN93YFN45W/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.4.0
Examples T56GPBDACP
| URI | m2://inv/T56GPBDACP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Class of groups#WKR3, Examples (example)
History
- 2026-11-02: add by m2/dev
T5772GPN5H T5772GPN5H
| URI | m2://inv/T5772GPN5H |
|---|---|
| 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.03851#K8K2 (statement). In HNV63B8Y1A/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.12
T57C50QYFQ T57C50QYFQ
| URI | m2://inv/T57C50QYFQ |
|---|---|
| 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 2610.20891#YOUM (statement). In WH55XAE8E2/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Laurent C. Siebenmann T57Y5FYB2N
| URI | m2://inv/T57Y5FYB2N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MY9J, Laurent C. Siebenmann (topic)
History
- 2026-11-02: add by m2/dev
space T5839D9AB2
| URI | m2://inv/T5839D9AB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#BYIV, space (definition)
History
- 2026-11-02: add by m2/dev
Eric Allender T58644ZPHC
| URI | m2://inv/T58644ZPHC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#I1T8, Eric Allender (unknown)
History
- 2026-11-02: add by m2/dev
Felix Bernstein T586F3SBBV
| URI | m2://inv/T586F3SBBV |
|---|---|
| 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#O86K, Felix Bernstein (topic)
- wikipedia: Wikipedia List of German mathematicians#L6UE, Felix Bernstein (topic)
History
- 2026-11-02: add by m2/dev
Stojan Radenović T586XSVB98
| URI | m2://inv/T586XSVB98 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stojan Radenović, Stojan Radenović (topic). Also Wikidata Q60777025
History
- 2026-11-02: add by m2/dev
Littlemann T5886S6M7V
| URI | m2://inv/T5886S6M7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#Y4O4, Littlemann (definition)
History
- 2026-11-02: add by m2/dev
Construction T58CX25EA1
| URI | m2://inv/T58CX25EA1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Casson handle#TDB0, Construction (definition)
History
- 2026-11-02: add by m2/dev
lattice of subgroups T58M9JMY87
| URI | m2://inv/T58M9JMY87 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 3983172) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#W2TM, lattice of subgroups (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Known NPMLE properties T58NDTNYMV
| URI | m2://inv/T58NDTNYMV |
|---|---|
| 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.23903#G4WD, Known NPMLE properties (statement)
History
- 2026-11-02: add by m2/v0.6.17
List of things named after Peter Gustav Lejeune Dirichlet T58XD8H1AZ
| URI | m2://inv/T58XD8H1AZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet, List of things named after Peter Gustav Lejeune Dirichlet (topic). Also Wikidata Q6643286
History
- 2026-11-02: add by m2/dev
Basic principles T58Y6BPDXC
| URI | m2://inv/T58Y6BPDXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Acoustic metamaterial#Y5SA, Basic principles (statement)
History
- 2026-11-02: add by m2/dev
T5905QWFSR T5905QWFSR
| URI | m2://inv/T5905QWFSR |
|---|---|
| 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 2610.14783#I3VN (statement). In Y3X5XY2J65/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
Miklós Rédei T595JCB800
| URI | m2://inv/T595JCB800 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miklós Rédei, Miklós Rédei (topic). Also Wikidata Q98971168
History
- 2026-11-02: add by m2/dev
T59B7648H2 T59B7648H2
| URI | m2://inv/T59B7648H2 |
|---|---|
| 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.35766#VORV (statement). In 6638EFW1NG/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
T59DFMMFT8 T59DFMMFT8
| URI | m2://inv/T59DFMMFT8 |
|---|---|
| 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 2610.20207#0J4T (statement). In 1MPH7GCFJ2/e1, theorem D
History
- 2026-10-27: add by m2/v0.4.2
Joseph Raphson T5A03ASKKN
| URI | m2://inv/T5A03ASKKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Raphson, Joseph Raphson (topic). Also Wikidata Q569955
History
- 2026-11-02: add by m2/dev
Pseudorandom function family T5A4JHHGNT
| URI | m2://inv/T5A4JHHGNT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudorandom function family, Pseudorandom function family (definition). Also Wikidata Q734896
History
- 2026-11-02: add by m2/dev
MacMahon's master theorem T5A9RTT512
| URI | m2://inv/T5A9RTT512 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LFZE, MacMahon's master theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizations T5AA2RGAPM
| URI | m2://inv/T5AA2RGAPM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descartes number#DOWL, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
MSE input-to-logit Gaussian classification T5AF6MX6X7
| URI | m2://inv/T5AF6MX6X7 |
|---|---|
| Kind | statement |
| 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.39190#4JK4, MSE input-to-logit Gaussian classification (statement). In J144J3ANFZ/e1, theorem 4.15
History
- 2026-10-30: add by m2/v0.4.12
T5AGN3EPW9 T5AGN3EPW9
| URI | m2://inv/T5AGN3EPW9 |
|---|---|
| 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.09084#HCGP (statement). In F5VT2K2QYX/e1, lemma 32
History
- 2026-10-29: add by m2/v0.4.10
T5ARJE0M2F T5ARJE0M2F
| URI | m2://inv/T5ARJE0M2F |
|---|---|
| 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.10248#KTMP (statement). In TMV74X2725/e1, proposition 6.2
History
- 2026-10-29: add by m2/v0.4.10
Applications T5AZGR9ZQT
| URI | m2://inv/T5AZGR9ZQT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's tenth problem#2BWA, Applications (example)
History
- 2026-11-02: add by m2/dev
derived category T5B1BHFKR6
| URI | m2://inv/T5B1BHFKR6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Derived category 5ST7NVJFSM |
Mentions
- wikidata: Wikidata Q5262626, derived category (unknown). Also EoM Derived_category, nLab derived category
- wikipedia: Wikipedia Derived category, Derived category (definition). Also Wikidata Q5262626
History
- 2026-10-26: add by m2/dev
Riemann theta function T5BGT6MTMS
| URI | m2://inv/T5BGT6MTMS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q120377815, Riemann theta function (concept). Also EoM Riemann_theta-function, MathWorld RiemannThetaFunction
History
- 2026-10-26: add by m2/dev
T5BP5WV2PE T5BP5WV2PE
| URI | m2://inv/T5BP5WV2PE |
|---|---|
| Kind | definition |
| 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 2609.22394#WYF8 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Counting process T5BYF0X5DT
| URI | m2://inv/T5BYF0X5DT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5AJE, Counting process (definition)
History
- 2026-11-02: add by m2/dev
T5C12NN97J T5C12NN97J
| URI | m2://inv/T5C12NN97J |
|---|---|
| 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.08664#VAG7 (statement). In 1YY0P4ZS0T/e1, proposition 55
History
- 2026-10-29: add by m2/v0.4.10
T5C5JGYZ88 T5C5JGYZ88
| URI | m2://inv/T5C5JGYZ88 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#JQ5L (statement). In PA6JQDSKQT/e1, lemma 3.28
History
- 2026-10-28: add by m2/v0.4.2
Heun's method T5C601Z5Z4
| URI | m2://inv/T5C601Z5Z4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heun's method, Heun's method (definition). Also Wikidata Q1531998
History
- 2026-11-02: add by m2/dev
Eigenvalue algorithm T5C78TAFB4
| URI | m2://inv/T5C78TAFB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#RU9K, Eigenvalue algorithm (definition)
History
- 2026-11-02: add by m2/dev
Weyl tensor T5CBZZXDC5
| URI | m2://inv/T5CBZZXDC5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#CGEK, Weyl tensor (definition)
History
- 2026-11-02: add by m2/dev
443 symmetry T5CFM2JBMV
| URI | m2://inv/T5CFM2JBMV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#WNIA, 443 symmetry (definition)
History
- 2026-11-02: add by m2/dev
Moment slopes T5CJVSNJVR
| URI | m2://inv/T5CJVSNJVR |
|---|---|
| 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.02531#WM6Z, Moment slopes (statement). In 44EQ0MZE8G/e1, lemma 7.5
History
- 2026-10-29: add by m2/v0.4.12
Moments of Rademacher sums T5CM9K4N3J
| URI | m2://inv/T5CM9K4N3J |
|---|---|
| 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.16705#G7ED, Moments of Rademacher sums (statement). In B48YQVGAF5/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
T5CSYNKVRG T5CSYNKVRG
| URI | m2://inv/T5CSYNKVRG |
|---|---|
| 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#Z6GB (statement). In SCSTR1Q1BW/e1, theorem 7.10
History
- 2026-10-29: add by m2/v0.4.10
William G. McCallum T5D37AFYNA
| URI | m2://inv/T5D37AFYNA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Y2KX, William G. McCallum (topic)
History
- 2026-11-02: add by m2/dev
T5D5B1MZK1 T5D5B1MZK1
| URI | m2://inv/T5D5B1MZK1 |
|---|---|
| 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.07049#BMDT (statement). In GMF552ESG6/e1, proposition A.8
History
- 2026-10-29: add by m2/v0.4.10
T5DEZS0NCS T5DEZS0NCS
| URI | m2://inv/T5DEZS0NCS |
|---|---|
| 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#ZU9R (statement)
History
- 2026-11-01: add by m2/v0.6.15
T5DGAMHGJW T5DGAMHGJW
| URI | m2://inv/T5DGAMHGJW |
|---|---|
| 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 2108.10246#IGGK (statement). In XD0YT3XCW2/e1, lemma 2.26
History
- 2026-10-27: add by m2/v0.3.5
Robert Grosseteste T5DJQ5K4PE
| URI | m2://inv/T5DJQ5K4PE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Grosseteste, Robert Grosseteste (topic). Also Wikidata Q256541
History
- 2026-11-02: add by m2/dev
T5DJYET189 T5DJYET189
| URI | m2://inv/T5DJYET189 |
|---|---|
| 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 2609.33469#AUR1 (statement). In TC5QA4AB4Z/e1, proposition 4.8
History
- 2026-10-30: add by m2/v0.4.12
T5DJYYC7E4 T5DJYYC7E4
| URI | m2://inv/T5DJYYC7E4 |
|---|---|
| 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.19311#5156 (statement). In 3MFD6RSV41/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
T5DNS75S4J T5DNS75S4J
| URI | m2://inv/T5DNS75S4J |
|---|---|
| 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.01731#MVNM (statement). In 3TJ2FWXQ0D/e1, corollary 7.10
History
- 2026-10-29: add by m2/v0.4.12
Geometric problems of antiquity T5DPT8EWD7
| URI | m2://inv/T5DPT8EWD7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straightedge and compass construction#P09X, Geometric problems of antiquity (unknown)
History
- 2026-11-02: add by m2/dev
Annals of Mathematical Statistics T5EDTJENVE
| URI | m2://inv/T5EDTJENVE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annals of Mathematical Statistics, Annals of Mathematical Statistics (definition). Also Wikidata Q564411
History
- 2026-11-02: add by m2/dev
T5ESC6J5ED T5ESC6J5ED
| URI | m2://inv/T5ESC6J5ED |
|---|---|
| Kind | definition |
| 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 0804.3628#MJVU (definition). In E2WHVW5VSD/e1, definition 3
History
- 2026-10-27: add by m2/v0.3.5
Hasty Pudding cipher T5F0P5K98P
| URI | m2://inv/T5F0P5K98P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasty Pudding cipher, Hasty Pudding cipher (definition). Also Wikidata Q4040285
History
- 2026-11-02: add by m2/dev
Abelian groups are $\ZZ$-modules T5F5SB105S
| URI | m2://inv/T5F5SB105S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/vector-space.tex#example-4, Abelian groups are $\ZZ$-modules (example). In RZP28ERRZV, example, section 62.2
History
- 2026-11-01: add by m2/v0.6.13
T5FBAEBARA T5FBAEBARA
| URI | m2://inv/T5FBAEBARA |
|---|---|
| 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 2610.12480#9F1S (statement). In 585QYGX4X6/e1, theorem 11
History
- 2026-10-28: add by m2/v0.4.2
Definition T5FJ9S9F9R
| URI | m2://inv/T5FJ9S9F9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial differential algebraic equation#OSGE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Andrej Pazman T5FQS3J7Q0
| URI | m2://inv/T5FQS3J7Q0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrej Pazman, Andrej Pazman (topic). Also Wikidata Q26704586
History
- 2026-11-02: add by m2/dev
T5FS28NHF9 T5FS28NHF9
| URI | m2://inv/T5FS28NHF9 |
|---|---|
| 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 2609.35858#WA7A (statement). In R2K4HZN8RW/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
A theorem T5FT884P96
| URI | m2://inv/T5FT884P96 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Khinchin integral#S6I1, A theorem (statement)
History
- 2026-11-02: add by m2/dev
Central state Edwards-Anderson parameter T5G3KXRM0S
| URI | m2://inv/T5G3KXRM0S |
|---|---|
| Kind | definition |
| 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 2310.11101#1B54, Central state Edwards-Anderson parameter (definition). In YBBKTP4E70/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
T5G6FWT58V T5G6FWT58V
| URI | m2://inv/T5G6FWT58V |
|---|---|
| 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.18632#US12 (statement). In PTM5MVD4M0/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
T5G8R1TSX2 T5G8R1TSX2
| URI | m2://inv/T5G8R1TSX2 |
|---|---|
| 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.01324#13HS (statement). In XKXG49TNXH/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.6
T5GDJZGSA6 T5GDJZGSA6
| URI | m2://inv/T5GDJZGSA6 |
|---|---|
| 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.16877#UJPV (statement). In YY4KFNMPC0/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
T5GHZSGKMZ T5GHZSGKMZ
| URI | m2://inv/T5GHZSGKMZ |
|---|---|
| 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.03255#X80J (statement). In DCC0Y18670/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
representation T5GNFFB631
| URI | m2://inv/T5GNFFB631 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Representation theory > representation, representation (unknown). Also Mathlib Representation
History
- 2026-10-26: add by m2/dev
T5GSMZWQDT T5GSMZWQDT
| URI | m2://inv/T5GSMZWQDT |
|---|---|
| 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.27414#1KTR (statement)
History
- 2026-11-01: add by m2/v0.6.15
T5H21XAG0Y T5H21XAG0Y
| URI | m2://inv/T5H21XAG0Y |
|---|---|
| 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.25843#QQ26 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Affine closure and separation T5H58BA69Q
| URI | m2://inv/T5H58BA69Q |
|---|---|
| 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#DQQN, Affine closure and separation (statement). In E7W2HDNEKJ/e1, lemma 2.18
History
- 2026-10-30: add by m2/v0.4.12
T5H66S7F7D T5H66S7F7D
| URI | m2://inv/T5H66S7F7D |
|---|---|
| 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.31373#542K (statement). In H4XKQM67NA/e1, lemma 3.1
History
- 2026-10-31: add by m2/v0.5.6
CrySyS Lab T5H67MFK0A
| URI | m2://inv/T5H67MFK0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CrySyS Lab, CrySyS Lab (definition). Also Wikidata Q870022
History
- 2026-11-02: add by m2/dev
fish graph T5H6M0WZ3P
| URI | m2://inv/T5H6M0WZ3P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115603, fish graph (unknown). Also House of Graphs 884, MathWorld FishGraph
History
- 2026-10-26: add by m2/dev
Exact whitening isomorphism T5H6NZ3722
| URI | m2://inv/T5H6NZ3722 |
|---|---|
| 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#GI1Y, Exact whitening isomorphism (statement)
History
- 2026-11-01: add by m2/v0.6.15
T5H97ZX9VJ T5H97ZX9VJ
| URI | m2://inv/T5H97ZX9VJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2401.07983#E9R5 (statement). In 4WJ9HYVSZY/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.3.6
commutative algebra T5HADXRQYX
| URI | m2://inv/T5HADXRQYX |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q727659, commutative algebra (topic). Also MathWorld CommutativeAlgebra, ProofWiki Definition:Commutative_Algebra_(Mathematical_Branch)
- wikipedia: Wikipedia Commutative algebra, Commutative algebra (topic). Also Wikidata Q727659
History
- 2026-10-26: add by m2/dev
Construction T5HBXKKAB3
| URI | m2://inv/T5HBXKKAB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Koszul–Tate resolution#NFRK, Construction (definition)
History
- 2026-11-02: add by m2/dev
Invariant tensors T5HHY8F0GE
| URI | m2://inv/T5HHY8F0GE |
|---|---|
| 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.20994#SM8S, Invariant tensors (statement). In E90KYMVZMR/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
T5HMZDDK0P T5HMZDDK0P
| URI | m2://inv/T5HMZDDK0P |
|---|---|
| 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.26769#UPTO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sleetbow T5HNBFG18Q
| URI | m2://inv/T5HNBFG18Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rainbow#PT1I, Sleetbow (unknown)
History
- 2026-11-02: add by m2/dev
Synchronization of chaos T5HYNH0FHQ
| URI | m2://inv/T5HYNH0FHQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synchronization of chaos, Synchronization of chaos (definition). Also Wikidata Q7662148
History
- 2026-11-02: add by m2/dev
Fermi coupling constant T5J2RG1BAX
| URI | m2://inv/T5J2RG1BAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#74RQ, Fermi coupling constant (unknown)
History
- 2026-11-02: add by m2/dev
Definition and examples T5J7MRBKFJ
| URI | m2://inv/T5J7MRBKFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carving width#7E4P, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
G. E. Silov T5JHKZDRND
| URI | m2://inv/T5JHKZDRND |
|---|---|
| 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#GZJV, G. E. Silov (unknown)
History
- 2026-11-02: add by m2/dev
Definition T5JJ4NFE22
| URI | m2://inv/T5JJ4NFE22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D-space#70CG, Definition (definition)
History
- 2026-11-02: add by m2/dev
Conway's Game of Life T5JTB8T547
| URI | m2://inv/T5JTB8T547 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of undecidable problems#KW88, Conway's Game of Life (definition)
History
- 2026-11-02: add by m2/dev
directed angle T5K6X3HNWA
| URI | m2://inv/T5K6X3HNWA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11751963, directed angle (definition). Also MathWorld DirectedAngle, ProofWiki Definition:Directed_Angle
History
- 2026-10-26: add by m2/dev
Quantitative analytic Liouville coordinates T5KFVYDKSV
| URI | m2://inv/T5KFVYDKSV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 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.16094#1AII, Quantitative analytic Liouville coordinates (statement). In RHBS9QDHC3/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
Cyparissos Stephanos T5KK61Q5GA
| URI | m2://inv/T5KK61Q5GA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#NKZ1, Cyparissos Stephanos (unknown)
History
- 2026-11-02: add by m2/dev
stretch T5KMNHVK8N
| URI | m2://inv/T5KMNHVK8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#BAIH, stretch (definition)
History
- 2026-11-02: add by m2/dev
T5KQSQ8F4Q T5KQSQ8F4Q
| URI | m2://inv/T5KQSQ8F4Q |
|---|---|
| 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.24363#FL9H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Orbit theorem (Nagano–Sussmann) T5KSEFS94Q
| URI | m2://inv/T5KSEFS94Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NFMB, Orbit theorem (Nagano–Sussmann) (unknown)
History
- 2026-11-02: add by m2/dev
T5KTB629KN T5KTB629KN
| URI | m2://inv/T5KTB629KN |
|---|---|
| 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.06810#LKFK (statement). In 1NY2SA03XF/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.10
mutual inductive type T5KXXMNT54
| URI | m2://inv/T5KXXMNT54 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.7/mutual-inductive-type, mutual inductive type (concept). In N54F33XE07, index, section 8.7
History
- 2026-11-01: add by m2/v0.6.13
Euclid's Phaenomena T5KZBY7RG5
| URI | m2://inv/T5KZBY7RG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid's Phaenomena, Euclid's Phaenomena (definition). Also Wikidata Q42194188
History
- 2026-11-02: add by m2/dev
T5M8YSQC5T T5M8YSQC5T
| URI | m2://inv/T5M8YSQC5T |
|---|---|
| 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.09390#XK32 (statement). In 7SSKW778T8/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.10
Jacket T5MACH467E
| URI | m2://inv/T5MACH467E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#OK5X, Jacket (unknown)
History
- 2026-11-02: add by m2/dev
Variational autoencoder T5MTSRDM18
| URI | m2://inv/T5MTSRDM18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unsupervised learning#0HCB, Variational autoencoder (definition)
History
- 2026-11-02: add by m2/dev
Gokigen Naname T5MWKTVAW6
| URI | m2://inv/T5MWKTVAW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gokigen Naname, Gokigen Naname (definition). Also Wikidata Q5578074
History
- 2026-11-02: add by m2/dev
Running example continued T5MZ5ZYQSE
| URI | m2://inv/T5MZ5ZYQSE |
|---|---|
| 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 2609.20656#5MSE, Running example continued (example)
History
- 2026-11-02: add by m2/v0.6.18
T5N0KEVBX9 T5N0KEVBX9
| URI | m2://inv/T5N0KEVBX9 |
|---|---|
| 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 2303.00676#20SJ (statement). In 5351H04TJY/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.0
Algorithms T5N3SJBVJX
| URI | m2://inv/T5N3SJBVJX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fast Fourier transform#CX72, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Notation T5NGZFHR8J
| URI | m2://inv/T5NGZFHR8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schauder estimates#IG2M, Notation (definition)
History
- 2026-11-02: add by m2/dev
Applications T5NM52EMAQ
| URI | m2://inv/T5NM52EMAQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia D-module#2TLL, Applications (example)
History
- 2026-11-02: add by m2/dev
Survey sampling T5NM8MTMB4
| URI | m2://inv/T5NM8MTMB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Survey sampling, Survey sampling (definition). Also Wikidata Q10744315
History
- 2026-11-02: add by m2/dev
Algebraic curve T5NQ3RW88N
| URI | m2://inv/T5NQ3RW88N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#RJ7R, Algebraic curve (definition)
History
- 2026-11-02: add by m2/dev
Richard Hepworth T5NT75FQC1
| URI | m2://inv/T5NT75FQC1 |
|---|---|
| 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 Q30140375, Richard Hepworth (unknown). Also nLab Richard Hepworth
History
- 2026-10-26: add by m2/dev
T5NV82SSTD T5NV82SSTD
| URI | m2://inv/T5NV82SSTD |
|---|---|
| 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.07631#3ZRV (statement). In 6JVJ5GCQ1E/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
Intuitionistic type theory T5NWWH99JN
| URI | m2://inv/T5NWWH99JN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intuitionistic type theory, Intuitionistic type theory (definition). Also Wikidata Q6059147
History
- 2026-11-02: add by m2/dev
Half-normal distribution T5NZWZQ7M5
| URI | m2://inv/T5NZWZQ7M5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#B2IL, Half-normal distribution (definition)
History
- 2026-11-02: add by m2/dev
Nonanalyticity of the finite-set Parusi\'nski-Rainer extension T5P39GAXZ4
| URI | m2://inv/T5P39GAXZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12239#G04P, Nonanalyticity of the finite-set Parusi\'nski-Rainer extension (statement). In CW9MNA6K58/e1, proposition B.2
History
- 2026-10-28: add by m2/v0.4.2
simplex category T5P3T7AVK4
| URI | m2://inv/T5P3T7AVK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Simplex category FRFYHJGAN3 |
Mentions
- wikidata: Wikidata Q10906333, simplex category (unknown). Also nLab simplex category
- wikipedia: Wikipedia Simplex category, Simplex category (definition). Also Wikidata Q10906333
History
- 2026-10-26: add by m2/dev
Qubitizing the smallest quartrit code T5P59R1W36
| URI | m2://inv/T5P59R1W36 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-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.04834#WTA5, Qubitizing the smallest quartrit code (example). In YZNK67K060/e1, example 6.4
History
- 2026-10-29: add by m2/v0.4.12
T5PAE56ADY T5PAE56ADY
| URI | m2://inv/T5PAE56ADY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2609.37606#VBUR (statement). In WNFW6GY38C/e1, lemma 8.2
History
- 2026-10-30: add by m2/v0.4.12
Expander code T5PB1EKHNV
| URI | m2://inv/T5PB1EKHNV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expander code, Expander code (definition). Also Wikidata Q5420758
History
- 2026-11-02: add by m2/dev
T5Q6WNTRS3 T5Q6WNTRS3
| URI | m2://inv/T5Q6WNTRS3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/CH.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 88.2
History
- 2026-11-01: add by m2/v0.6.13
Chaïm Perelman T5QEK5GEEJ
| URI | m2://inv/T5QEK5GEEJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#73AD, Chaïm Perelman (topic)
History
- 2026-11-02: add by m2/dev
The frontier with arbitrary shared content T5QFJ2V9D7
| URI | m2://inv/T5QFJ2V9D7 |
|---|---|
| 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.08069#3YES, The frontier with arbitrary shared content (statement). In TVW9BTWJ3D/e1, corollary 9
History
- 2026-10-29: add by m2/v0.4.10
H-space T5QKJF24K1
| URI | m2://inv/T5QKJF24K1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | H-space EASHTX8EG5 |
Mentions
- wikidata: Wikidata Q1562471, H-space (unknown). Also EoM H-space, MathWorld H-Space, nLab H-space
- wikipedia: Wikipedia H-space, H-space (definition). Also Wikidata Q1562471
History
- 2026-10-26: add by m2/dev
Simple point T5QM1SH1BE
| URI | m2://inv/T5QM1SH1BE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#7JT5, Simple point (unknown)
History
- 2026-11-02: add by m2/dev
T5QRCM793P T5QRCM793P
| URI | m2://inv/T5QRCM793P |
|---|---|
| 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 2208.05288#CHQV (statement). In RTW3GDYPND/e1, lemma 3.20
History
- 2026-10-27: add by m2/v0.4.0
Jacobi identity T5QZBSSVGT
| URI | m2://inv/T5QZBSSVGT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#WK0J, Jacobi identity (definition)
History
- 2026-11-02: add by m2/dev
Examples T5R189R3DD
| URI | m2://inv/T5R189R3DD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semilinear set#CCG1, Examples (example)
History
- 2026-11-02: add by m2/dev
T5R4QZDKVZ T5R4QZDKVZ
| URI | m2://inv/T5R4QZDKVZ |
|---|---|
| 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 2609.39505#RXVB (statement). In WAXS6FS388/e1, lemma 2.17
History
- 2026-10-30: add by m2/v0.4.12
T5RG63H2R0 T5RG63H2R0
| URI | m2://inv/T5RG63H2R0 |
|---|---|
| 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.28507#AA7V (statement)
History
- 2026-11-01: add by m2/v0.6.15
T5RHF9TCNH T5RHF9TCNH
| URI | m2://inv/T5RHF9TCNH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-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.13213#0TYY (statement). In V97F4YZ8B0/e1, theorem 8.9
History
- 2026-10-28: add by m2/v0.4.2
Generalized star height T5RTRJ8JET
| URI | m2://inv/T5RTRJ8JET |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star height#YLUN, Generalized star height (unknown)
History
- 2026-11-02: add by m2/dev
Von Koch curve T5RVR066HM
| URI | m2://inv/T5RVR066HM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#7PA7, Von Koch curve (definition)
History
- 2026-11-02: add by m2/dev
T5RY6NPBZZ T5RY6NPBZZ
| URI | m2://inv/T5RY6NPBZZ |
|---|---|
| Kind | definition |
| 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.39218#JTK7 (definition). In VPZSCE8HFP/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
T5RYPSSXX6 T5RYPSSXX6
| URI | m2://inv/T5RYPSSXX6 |
|---|---|
| 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 2602.14912#72AK (statement). In A87BVH5DCM/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
T5S68WF0KW T5S68WF0KW
| URI | m2://inv/T5S68WF0KW |
|---|---|
| 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.06544#WDP2 (statement). In VCRB27RMN6/e1, proposition 17.2
History
- 2026-10-29: add by m2/v0.4.10
Hans Peter Jørgen Julius Thomsen T5SBN51W5G
| URI | m2://inv/T5SBN51W5G |
|---|---|
| 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 Q555993, Hans Peter Jørgen Julius Thomsen (unknown). Also ProofWiki Mathematician:Hans_Peter_Jørgen_Julius_Thomsen
History
- 2026-10-26: add by m2/dev
T5SGE8GJ52 T5SGE8GJ52
| URI | m2://inv/T5SGE8GJ52 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-1 (exercise). In E59CDZA4DP, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
empty graph T5SNV33G62
| URI | m2://inv/T5SNV33G62 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#435U, empty graph (definition)
History
- 2026-11-02: add by m2/dev
T5TJ22888H T5TJ22888H
| URI | m2://inv/T5TJ22888H |
|---|---|
| Kind | definition |
| 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.27800#4A86 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Terminal recovery away from shared component closures T5TQYWVCW5
| URI | m2://inv/T5TQYWVCW5 |
|---|---|
| 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.38228#0TJG, Terminal recovery away from shared component closures (statement). In 9YAE8FNQST/e1, corollary 11.7
History
- 2026-10-30: add by m2/v0.4.12
Exportation in logic T5TR2YQX51
| URI | m2://inv/T5TR2YQX51 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional logic#PSAV, Exportation in logic (unknown)
History
- 2026-11-02: add by m2/dev
Lieb's square ice constant T5TXW0TTRV
| URI | m2://inv/T5TXW0TTRV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17097221, Lieb's square ice constant (object). Also MathWorld LiebsSquareIceConstant, OEIS A118273
- wikipedia: Wikipedia Lieb's square ice constant, Lieb's square ice constant (object). Also Wikidata Q17097221
History
- 2026-10-26: add by m2/dev
Homotopy hypothesis T5TYD5XY7D
| URI | m2://inv/T5TYD5XY7D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy hypothesis#5MHX, Homotopy hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Saito–Kurokawa lift T5V4GM1RNH
| URI | m2://inv/T5V4GM1RNH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20749256, Saito–Kurokawa lift (unknown). Also LMFDB knowl mf.siegel.lift.saito_kurokawa
- wikipedia: Wikipedia Saito–Kurokawa lift, Saito–Kurokawa lift (definition). Also Wikidata Q20749256
History
- 2026-10-26: add by m2/dev
Radó's theorem T5VBFPP2W8
| URI | m2://inv/T5VBFPP2W8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radó's theorem (Riemann surfaces), Radó's theorem (statement). Also Wikidata Q3527149
History
- 2026-11-02: add by m2/dev
Statement T5VMQ0JCNG
| URI | m2://inv/T5VMQ0JCNG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solovay model#L9KY, Statement (statement)
History
- 2026-11-02: add by m2/dev
T5VMSPPQN3 T5VMSPPQN3
| URI | m2://inv/T5VMSPPQN3 |
|---|---|
| Kind | definition |
| 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 1002.0879#90HB (definition). In M0SQY5EZN5/e1, definition 1.2.1
History
- 2026-10-27: add by m2/v0.3.5
T5W0JSQVSJ T5W0JSQVSJ
| URI | m2://inv/T5W0JSQVSJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#thm:contr-forall (statement). In N54F33XE07, lem, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Walter Pitts T5W7R228SM
| URI | m2://inv/T5W7R228SM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#9LAX, Walter Pitts (topic)
History
- 2026-11-02: add by m2/dev
T5WHQH9T64 T5WHQH9T64
| URI | m2://inv/T5WHQH9T64 |
|---|---|
| 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.27641#961S (statement)
History
- 2026-11-01: add by m2/v0.6.15
T5WS53AVHN T5WS53AVHN
| URI | m2://inv/T5WS53AVHN |
|---|---|
| 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.36016#0YP0 (statement). In NAM9ZMPHZ9/e1, lemma D.4
History
- 2026-10-30: add by m2/v0.4.12
T5WYNVB9XF T5WYNVB9XF
| URI | m2://inv/T5WYNVB9XF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.07280#H0BR (statement). In 1FJKW4WGEN/e1, proposition 1.5
History
- 2026-10-29: add by m2/v0.4.10
Opinion polling for the 2026 Portuguese presidential election T5X03A3EBH
| URI | m2://inv/T5X03A3EBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion polling for the 2026 Portuguese presidential election, Opinion polling for the 2026 Portuguese presidential election (definition). Also Wikidata Q133696253
History
- 2026-11-02: add by m2/dev
T5X4AKDV19 T5X4AKDV19
| URI | m2://inv/T5X4AKDV19 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.36884#OKNK (definition). In Z7E16PFFCP/e1, definition 3.15
History
- 2026-10-30: add by m2/v0.4.12
algebraic topology T5X5XT9JRW
| URI | m2://inv/T5X5XT9JRW |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 55-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q212803, algebraic topology (topic). Also EoM Algebraic_topology, MathWorld AlgebraicTopology, nLab algebraic topology, ProofWiki Definition:Algebraic_Topology
- wikipedia: Wikipedia Algebraic topology, Algebraic topology (topic). Also Wikidata Q212803
History
- 2026-10-26: add by m2/dev
Properties T5XVKJ0R7H
| URI | m2://inv/T5XVKJ0R7H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Verbal subgroup#3KBS, Properties (statement)
History
- 2026-11-02: add by m2/dev
T5XYZPWCBX T5XYZPWCBX
| URI | m2://inv/T5XYZPWCBX |
|---|---|
| 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 2510.12502#32YO (statement). In 3A4K47Y9F2/e1, theorem 3.16
History
- 2026-10-27: add by m2/v0.4.0
T5Y0D5B2R1 T5Y0D5B2R1
| URI | m2://inv/T5Y0D5B2R1 |
|---|---|
| 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.22344#AWQJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
perfect obstruction theory T5Y6PWF5YT
| URI | m2://inv/T5Y6PWF5YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q42400416, perfect obstruction theory (topic). Also nLab perfect obstruction theory
- wikipedia: Wikipedia Perfect obstruction theory, Perfect obstruction theory (definition). Also Wikidata Q42400416
History
- 2026-10-26: add by m2/dev
Jinbo Chen T5Y73YGPPT
| URI | m2://inv/T5Y73YGPPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#A9O1, Jinbo Chen (unknown)
History
- 2026-11-02: add by m2/dev
Proth's theorem T5Y9VQJ2GA
| URI | m2://inv/T5Y9VQJ2GA |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3771212, Proth's theorem (statement). Also Wikidata Q3771212
- thousand_plus: thousand_plus Q3771212, Proth's theorem (statement). Also Wikidata Q3771212, Wikipedia Proth's theorem
- wikidata: Wikidata Q3771212, Proth's theorem (statement). Also MathWorld ProthsTheorem
- wikipedia: Wikipedia Proth's theorem, Proth's theorem (statement). Also Wikidata Q3771212
History
- 2026-10-26: add by m2/dev
Jennifer Rogers T5YHMDV3MZ
| URI | m2://inv/T5YHMDV3MZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennifer Rogers, Jennifer Rogers (topic). Also Wikidata Q62081053
History
- 2026-11-02: add by m2/dev
Ram Kishore Saxena T5YQPFTJ0F
| URI | m2://inv/T5YQPFTJ0F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ram Kishore Saxena, Ram Kishore Saxena (topic). Also Wikidata Q102346175
History
- 2026-11-02: add by m2/dev
T5YT71MCDH T5YT71MCDH
| URI | m2://inv/T5YT71MCDH |
|---|---|
| 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 2212.11038#0RJ6 (statement). In M3E3ARMJXK/e1, corollary 4.8
History
- 2026-10-27: add by m2/v0.3.5
Examples T5YX93X61M
| URI | m2://inv/T5YX93X61M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circulant graph#EKRB, Examples (example)
History
- 2026-11-02: add by m2/dev
T5YY5RYE2T T5YY5RYE2T
| URI | m2://inv/T5YY5RYE2T |
|---|---|
| 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.07673#U75M (example). In 37B1MPV8GX/e1, example 5.4
History
- 2026-10-29: add by m2/v0.4.10
Elias M. Stein T5Z36FZ7JY
| URI | m2://inv/T5Z36FZ7JY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W1F1, Elias M. Stein (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1Z9O, Elias M. Stein (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4915, Elias M. Stein (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5868, Elias M. Stein (topic)
History
- 2026-11-02: add by m2/dev
T5Z9NATDVG T5Z9NATDVG
| URI | m2://inv/T5Z9NATDVG |
|---|---|
| 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.29894#XINT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Turnbull's identity for permanents of antisymmetric matrices T5ZEDD8YZ5
| URI | m2://inv/T5ZEDD8YZ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Capelli's identity#YU5A, Turnbull's identity for permanents of antisymmetric matrices (statement)
History
- 2026-11-02: add by m2/dev
Construction T5ZF2MXWCH
| URI | m2://inv/T5ZF2MXWCH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golomb graph#4ESR, Construction (definition)
History
- 2026-11-02: add by m2/dev
Bernd Wegner T5ZW2X9A46
| URI | m2://inv/T5ZW2X9A46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernd Wegner (mathematician), Bernd Wegner (topic). Also Wikidata Q95239552
History
- 2026-11-02: add by m2/dev