Inventory rows 11
The cards of the rows of the inventory whose ids start with 11. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Newcomb's paradox 11000WJ5YT
| URI | m2://inv/11000WJ5YT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roko's basilisk#T2MY, Newcomb's paradox (statement)
History
- 2026-11-02: add by m2/dev
110066EWWT 110066EWWT
| URI | m2://inv/110066EWWT |
|---|---|
| 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.03292#NXTV (statement). In SN2PBM95HT/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.12
1108N9C9X5 1108N9C9X5
| URI | m2://inv/1108N9C9X5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19959#ZBNA (statement)
History
- 2026-11-02: add by m2/v0.6.18
totally imaginary number field 1109YR95BJ
| URI | m2://inv/1109YR95BJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7828256, totally imaginary number field (unknown). Also MathWorld TotallyImaginaryField
- wikipedia: Wikipedia Totally imaginary number field, Totally imaginary number field (definition). Also Wikidata Q7828256
History
- 2026-10-26: add by m2/dev
110AHY4BE3 110AHY4BE3
| URI | m2://inv/110AHY4BE3 |
|---|---|
| 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 2208.07784#7M3Q (definition). In X0GJCD9768/e1, definition
History
- 2026-10-27: add by m2/v0.4.0
Properties 110B2Q71RQ
| URI | m2://inv/110B2Q71RQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal arithmetic#AZIP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Second fundamental theorem for general linear group 110BDMSXR3
| URI | m2://inv/110BDMSXR3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First and second fundamental theorems of invariant theory#DRJ1, Second fundamental theorem for general linear group (statement)
History
- 2026-11-02: add by m2/dev
E. T. Whittaker 110ESR2KBQ
| URI | m2://inv/110ESR2KBQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E. T. Whittaker, E. T. Whittaker (topic). Also Wikidata Q909884
History
- 2026-11-02: add by m2/dev
Properties 1111JDVRDZ
| URI | m2://inv/1111JDVRDZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polynomial greatest common divisor#KQGB, Properties (statement)
History
- 2026-11-02: add by m2/dev
\textbf{Non-asymptotic error bound of randomized ULMC beyond log-concavity 1115QYSXZT
| URI | m2://inv/1115QYSXZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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 2609.20713#780G, \textbf{Non-asymptotic error bound of randomized ULMC beyond log-concavity (statement)
History
- 2026-11-02: add by m2/v0.6.18
11193H199Y 11193H199Y
| URI | m2://inv/11193H199Y |
|---|---|
| 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 2506.08233#OV3A (statement). In 2TXXQ2575Y/e1, lemma 5.16
History
- 2026-10-27: add by m2/v0.3.5
Jefimenko's equations 111B94DSG6
| URI | m2://inv/111B94DSG6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jefimenko's equations, Jefimenko's equations (definition). Also Wikidata Q1321084
History
- 2026-11-02: add by m2/dev
111E2MX4ET 111E2MX4ET
| URI | m2://inv/111E2MX4ET |
|---|---|
| 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.23994#20HM (statement)
History
- 2026-11-02: add by m2/v0.6.17
111V15K1M8 111V15K1M8
| URI | m2://inv/111V15K1M8 |
|---|---|
| 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.12736#YO9M (statement). In 5350Q52F6P/e1, proposition 8.6
History
- 2026-10-28: add by m2/v0.4.2
August Ferdinand Möbius 111VA6H4NM
| URI | m2://inv/111VA6H4NM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#U25V, August Ferdinand Möbius (topic)
- wikipedia: Wikipedia List of German mathematicians#A1P0, August Ferdinand Möbius (topic)
History
- 2026-11-02: add by m2/dev
Lao Genevra Simons 111X7RQTBS
| URI | m2://inv/111X7RQTBS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lao Genevra Simons, Lao Genevra Simons (topic). Also Wikidata Q29180882
History
- 2026-11-02: add by m2/dev
Dorfman bracket 11201SCGS3
| URI | m2://inv/11201SCGS3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant bracket#Z0BX, Dorfman bracket (unknown)
History
- 2026-11-02: add by m2/dev
graded 1128J0923J
| URI | m2://inv/1128J0923J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#RH66, graded (definition)
History
- 2026-11-02: add by m2/dev
Formal definition 1128X5NCV3
| URI | m2://inv/1128X5NCV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular expression#6OYP, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
$\sig{2k,1,1}$ is path-only 112F9F01J3
| URI | m2://inv/112F9F01J3 |
|---|---|
| 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.01240#MDT3, $\sig{2k,1,1}$ is path-only (statement). In XD5HCP8DHF/e1, proposition 5
History
- 2026-10-29: add by m2/v0.4.12
112FWES2EJ 112FWES2EJ
| URI | m2://inv/112FWES2EJ |
|---|---|
| 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 2411.05198#8Q7T (statement). In NJWY6HPFHG/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Growth estimates for the logarithmic source 112KR0R03Y
| URI | m2://inv/112KR0R03Y |
|---|---|
| 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.15528#3F3N, Growth estimates for the logarithmic source (statement). In G9GEE64N32/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
112KS12KFX 112KS12KFX
| URI | m2://inv/112KS12KFX |
|---|---|
| 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.23470#5XQJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Elizabeth A. Martin 112N7KYA6G
| URI | m2://inv/112N7KYA6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#F3LM, Elizabeth A. Martin (topic)
History
- 2026-11-02: add by m2/dev
112V69KS33 112V69KS33
| URI | m2://inv/112V69KS33 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#theorem-1 (statement). In P1C114YBXG, theorem, section D
History
- 2026-11-01: add by m2/v0.6.13
Andrea Argoli 112X4MCPHF
| URI | m2://inv/112X4MCPHF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#22OG, Andrea Argoli (unknown)
- wikipedia: Wikipedia List of Italian mathematicians#RQYJ, Andrea Argoli (unknown)
History
- 2026-11-02: add by m2/dev
Hilbert's problems 1131DX7Z66
| URI | m2://inv/1131DX7Z66 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q273167, Hilbert's problems (unknown). Also MathWorld HilbertsProblems, nLab Hilbert's problems
- wikipedia: Wikipedia Hilbert's problems, Hilbert's problems (conjecture). Also Wikidata Q273167
History
- 2026-10-26: add by m2/dev
Cayley–Dickson construction 1133Y2TD59
| URI | m2://inv/1133Y2TD59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1756828, Cayley–Dickson construction (definition). Also ProofWiki Definition:Cayley-Dickson_Construction
- wikipedia: Wikipedia Cayley–Dickson construction, Cayley–Dickson construction (definition). Also Wikidata Q1756828
History
- 2026-10-26: add by m2/dev
1139VB803P 1139VB803P
| URI | m2://inv/1139VB803P |
|---|---|
| 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 2610.19273#DGCK (definition). In T3BY4TXYT4/e1, definition 6.14
History
- 2026-10-28: add by m2/v0.4.2
Triperfect 113MG4N7M3
| URI | m2://inv/113MG4N7M3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiply perfect number#A4UB, Triperfect (unknown)
History
- 2026-11-02: add by m2/dev
Abu Zayd al-Balkhi 113PH4XDYN
| URI | m2://inv/113PH4XDYN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abu Zayd al-Balkhi, Abu Zayd al-Balkhi (topic). Also Wikidata Q335516
History
- 2026-11-02: add by m2/dev
113VFA51DF 113VFA51DF
| URI | m2://inv/113VFA51DF |
|---|---|
| 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 2401.05118#DHRB (statement). In BT0T0QS2TN/e1, theorem 4.12
History
- 2026-10-27: add by m2/v0.4.0
Direct sum of abelian groups 113W6TDWV8
| URI | m2://inv/113W6TDWV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct sum#NWAM, Direct sum of abelian groups (unknown)
History
- 2026-11-02: add by m2/dev
113Z7FZ2R9 113Z7FZ2R9
| URI | m2://inv/113Z7FZ2R9 |
|---|---|
| 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.09704#O228 (statement). In FNG4B47MRV/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.10
114BE3QYX3 114BE3QYX3
| URI | m2://inv/114BE3QYX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2411.00562#NVN2 (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
114C57QK0P 114C57QK0P
| URI | m2://inv/114C57QK0P |
|---|---|
| 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 2207.11097#Q7H1 (statement). In 13H5BTAXHF/e1, proposition 19
History
- 2026-10-27: add by m2/v0.3.5
Eduard Wirsing 114GYR6SFD
| URI | m2://inv/114GYR6SFD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eduard Wirsing, Eduard Wirsing (topic). Also Wikidata Q15444681
History
- 2026-11-02: add by m2/dev
Peter Hall 114GZ0D1DH
| URI | m2://inv/114GZ0D1DH |
|---|---|
| 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#5PL7, Peter Hall (topic)
History
- 2026-11-02: add by m2/dev
ULD restart and smoothing 114JTYNE1N
| URI | m2://inv/114JTYNE1N |
|---|---|
| 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#WLY7, ULD restart and smoothing (statement)
History
- 2026-11-01: add by m2/v0.6.15
114N8JK0V0 114N8JK0V0
| URI | m2://inv/114N8JK0V0 |
|---|---|
| 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.25104#2TJI (statement)
History
- 2026-11-01: add by m2/v0.6.15
114RS361EY 114RS361EY
| URI | m2://inv/114RS361EY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-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 math/0008020#0QVC (statement). In 8K466RA3HH/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Theorem 114RZAHZBW
| URI | m2://inv/114RZAHZBW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double centralizer theorem#RPI3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Continuous observations 114SY5CCNB
| URI | m2://inv/114SY5CCNB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20090#P1VZ, Continuous observations (statement). In 2RV3YSN1NX/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
11531SKJQD 11531SKJQD
| URI | m2://inv/11531SKJQD |
|---|---|
| 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 2011.06637#J25Z (statement). In KFCJ5CFP3G/e1, lemma 2.3
History
- 2026-10-27: add by m2/v0.3.5
Basic properties 1155TP7JE7
| URI | m2://inv/1155TP7JE7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pluriharmonic function#OLDJ, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Higher Education Statistics Agency 1156KEY2XY
| URI | m2://inv/1156KEY2XY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher Education Statistics Agency, Higher Education Statistics Agency (definition). Also Wikidata Q5758120
History
- 2026-11-02: add by m2/dev
Role of the axiom of choice 1158S9MJ76
| URI | m2://inv/1158S9MJ76 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discontinuous linear map#OKFE, Role of the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
115PNV0MNR 115PNV0MNR
| URI | m2://inv/115PNV0MNR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-26 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
Independent trajectories 115TJHB2CK
| URI | m2://inv/115TJHB2CK |
|---|---|
| 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 2610.12641#E75Z, Independent trajectories (definition). In X5BYGZZHPF/e1, definition G.8
History
- 2026-10-28: add by m2/v0.4.2
subfield 1160XYH8J8
| URI | m2://inv/1160XYH8J8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91327913, subfield (unknown). Also MathWorld Subfield
History
- 2026-10-26: add by m2/dev
Paul Schupp 1161BQ6RY2
| URI | m2://inv/1161BQ6RY2 |
|---|---|
| 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 Q35023546, Paul Schupp (unknown). Also nLab Paul E. Schupp
- wikipedia: Wikipedia Paul Schupp, Paul Schupp (topic). Also Wikidata Q35023546
History
- 2026-10-26: add by m2/dev
116DQ8E9SN 116DQ8E9SN
| URI | m2://inv/116DQ8E9SN |
|---|---|
| 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 2312.05005#NETL (statement). In SMJMAQ2S3J/e1, proposition 8
History
- 2026-10-27: add by m2/v0.4.0
Midpoint method 116GC3RW1Q
| URI | m2://inv/116GC3RW1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Midpoint method, Midpoint method (definition). Also Wikidata Q17103851
History
- 2026-11-02: add by m2/dev
sieved ultraspherical polynomials 116S2GY2E9
| URI | m2://inv/116S2GY2E9 |
|---|---|
| Kind | example |
| 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 2306.16411#I79D, sieved ultraspherical polynomials (example). In QQ222ZDZC0/e1, example 2.2
History
- 2026-10-27: add by m2/v0.3.5
737 (number) 116TEZ3E8R
| URI | m2://inv/116TEZ3E8R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#4X7U, 737 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Codimension-two GAGA injection 116TNCZ2GY
| URI | m2://inv/116TNCZ2GY |
|---|---|
| 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 2610.00490#GBBK, Codimension-two GAGA injection (statement). In PZJDV6SJ9E/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
1170B3GQAA 1170B3GQAA
| URI | m2://inv/1170B3GQAA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#problem-7 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
11725RBFZ7 11725RBFZ7
| URI | m2://inv/11725RBFZ7 |
|---|---|
| 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.22374#Q9WM (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications 1179126JH1
| URI | m2://inv/1179126JH1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kaniadakis exponential distribution#2IQ0, Applications (example)
History
- 2026-11-02: add by m2/dev
Example 2 117AWNVPDG
| URI | m2://inv/117AWNVPDG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necessity and sufficiency#31ZP, Example 2 (example)
History
- 2026-11-02: add by m2/dev
117GH5D1S9 117GH5D1S9
| URI | m2://inv/117GH5D1S9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-19 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
Length function 117Q0AN32W
| URI | m2://inv/117Q0AN32W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Length function, Length function (definition). Also Wikidata Q6522492
History
- 2026-11-02: add by m2/dev
G. I. Marchuk 117YRX1FHF
| URI | m2://inv/117YRX1FHF |
|---|---|
| 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#1O6A, G. I. Marchuk (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IDAW, G. I. Marchuk (unknown)
History
- 2026-11-02: add by m2/dev
Vasudevan Srinivas 117ZJ7DM78
| URI | m2://inv/117ZJ7DM78 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vasudevan Srinivas, Vasudevan Srinivas (topic). Also Wikidata Q14495322
History
- 2026-11-02: add by m2/dev
Definition 11842H4DX4
| URI | m2://inv/11842H4DX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conditional probability#EAET, Definition (definition)
History
- 2026-11-02: add by m2/dev
1185KR1JT0 1185KR1JT0
| URI | m2://inv/1185KR1JT0 |
|---|---|
| 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.08488#TJ41 (statement). In QH5MZXMXQH/e1, theorem 2.3
History
- 2026-10-27: add by m2/v0.3.5
1185V66RBH 1185V66RBH
| URI | m2://inv/1185V66RBH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#ZK1H (statement). In GMRT5GHBZS/e1, lemma A.4
History
- 2026-10-29: add by m2/v0.4.10
The mesh quotient 118E2454ED
| URI | m2://inv/118E2454ED |
|---|---|
| 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#HOLZ, The mesh quotient (statement). In 1KRZ5ACTKE/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Polynomial-bit implementation 118F3AS60N
| URI | m2://inv/118F3AS60N |
|---|---|
| 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.20187#MAZN, Polynomial-bit implementation (statement). In N280AVNNBY/e1, theorem B.18
History
- 2026-10-27: add by m2/v0.4.2
Example 118GMR31FQ
| URI | m2://inv/118GMR31FQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézout's identity#YII2, Example (example)
History
- 2026-11-02: add by m2/dev
118Q6SC15E 118Q6SC15E
| URI | m2://inv/118Q6SC15E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#GWKT (definition). In 37S7MNMZ2F/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
118VESYRSN 118VESYRSN
| URI | m2://inv/118VESYRSN |
|---|---|
| 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 1803.10042#WHP6 (example). In 718SP8YERQ/e1, example A6
History
- 2026-10-27: add by m2/v0.3.5
118WYFA4M4 118WYFA4M4
| URI | m2://inv/118WYFA4M4 |
|---|---|
| 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.22082#H73L (statement). In 7PACGDW3N7/e1, lemma 14.3
History
- 2026-10-27: add by m2/v0.4.0
118ZSGPNVJ 118ZSGPNVJ
| URI | m2://inv/118ZSGPNVJ |
|---|---|
| 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.32478#5N6D (statement). In 5QBSYDC2XH/e1, corollary 2.5
History
- 2026-10-31: add by m2/v0.5.6
1193MTZPAW 1193MTZPAW
| URI | m2://inv/1193MTZPAW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-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.04305#FUH1 (statement). In Y1DR0DPWD0/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
Dimension defect 119G6AXZEF
| URI | m2://inv/119G6AXZEF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-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.06739#N3O2, Dimension defect (definition). In HA9B7PD0YV/e1, definition 16
History
- 2026-10-29: add by m2/v0.4.10
Notation 119H34R18E
| URI | m2://inv/119H34R18E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cricket statistics#S44X, Notation (definition)
History
- 2026-11-02: add by m2/dev
Near-binary entropy 119H8HNPPB
| URI | m2://inv/119H8HNPPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.14085#8NDH, Near-binary entropy (statement). In T8F19ZGHF3/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.2
Theorem (differential privacy) 119SB5NK2N
| URI | m2://inv/119SB5NK2N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential mechanism#WC46, Theorem (differential privacy) (statement)
History
- 2026-11-02: add by m2/dev
An example 119YWXZ7VT
| URI | m2://inv/119YWXZ7VT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explicit algebraic stress model#4YMI, An example (example)
History
- 2026-11-02: add by m2/dev
119ZM3PT5F 119ZM3PT5F
| URI | m2://inv/119ZM3PT5F |
|---|---|
| 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 2006.12475#B52P (statement). In 8YWBGQQGA3/e1, proposition 3
History
- 2026-10-27: add by m2/v0.3.5
Jeffrey Harvey 11A1CCVD7J
| URI | m2://inv/11A1CCVD7J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#MB62, Jeffrey Harvey (unknown)
History
- 2026-11-02: add by m2/dev
Degenerate stratum 11AJTACAP9
| URI | m2://inv/11AJTACAP9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-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.04099#ND2S, Degenerate stratum (statement). In QPJ6FWG5HD/e1, theorem 2.11
History
- 2026-10-29: add by m2/v0.4.12
11AKWYF7PD 11AKWYF7PD
| URI | m2://inv/11AKWYF7PD |
|---|---|
| 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#084Y (statement). In TN93YFN45W/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.4.0
denotational semantics 11B5P6S34H
| URI | m2://inv/11B5P6S34H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1189746, denotational semantics (unknown). Also nLab denotational semantics
- wikipedia: Wikipedia Denotational semantics, Denotational semantics (topic). Also Wikidata Q1189746
History
- 2026-10-26: add by m2/dev
generator, of a group 11BEVFACN8
| URI | m2://inv/11BEVFACN8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.7.2/generator-of-a-group, generator, of a group (concept). In N54F33XE07, index, section 7.7.2
History
- 2026-11-01: add by m2/v0.6.13
Examples 11BS34NDTQ
| URI | m2://inv/11BS34NDTQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coopetition#EY5Q, Examples (example)
History
- 2026-11-02: add by m2/dev
Noga Alon 11BSK07MAH
| URI | m2://inv/11BSK07MAH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#5LF4, Noga Alon (topic)
History
- 2026-11-02: add by m2/dev
11C1YAHV2V 11C1YAHV2V
| URI | m2://inv/11C1YAHV2V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-3 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
11CA9SGGAB 11CA9SGGAB
| URI | m2://inv/11CA9SGGAB |
|---|---|
| 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 1903.07030#UWWK (definition). In 9H45HQE7AZ/e1, definition 2.27
History
- 2026-10-27: add by m2/v0.3.5
Pamela Cook 11CBFC8J46
| URI | m2://inv/11CBFC8J46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pamela Cook, Pamela Cook (topic). Also Wikidata Q31877634
History
- 2026-11-02: add by m2/dev
11CCEKHHHK 11CCEKHHHK
| URI | m2://inv/11CCEKHHHK |
|---|---|
| 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#0MTS (statement)
History
- 2026-11-01: add by m2/v0.6.15
11CFBEKC1X 11CFBEKC1X
| URI | m2://inv/11CFBEKC1X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28251#2LUA (statement)
History
- 2026-11-01: add by m2/v0.6.15
11CPYREGHB 11CPYREGHB
| URI | m2://inv/11CPYREGHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21047#SYTV (statement)
History
- 2026-11-02: add by m2/v0.6.18
11CQP6HCPZ 11CQP6HCPZ
| URI | m2://inv/11CQP6HCPZ |
|---|---|
| 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.11778#ZHAU (statement). In PPAJZ2JBCE/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
11CSGZMN38 11CSGZMN38
| URI | m2://inv/11CSGZMN38 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/relations/orders.tex#prop:partialtostrict (statement). In PKGMM3P5QY, prop, section 80.4
History
- 2026-11-01: add by m2/v0.6.13
Costas array 11CVGAJ8BW
| URI | m2://inv/11CVGAJ8BW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#75NG, Costas array (definition)
History
- 2026-11-02: add by m2/dev
11CXD8ER3C 11CXD8ER3C
| URI | m2://inv/11CXD8ER3C |
|---|---|
| Kind | definition |
| 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 2610.05320#F2JT (definition). In MVXZWHKEX8/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Minimax optimality of the projection estimator for \(\We\) on \(\mathcal P_{\text{prod}}\ 11DAXSQ2YQ
| URI | m2://inv/11DAXSQ2YQ |
|---|---|
| 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.11760#5APJ, Minimax optimality of the projection estimator for \(\We\) on \(\mathcal P_{\text{prod}}\ (statement). In NBNERWXW53/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.3
1870 United States census 11DBE1DJK8
| URI | m2://inv/11DBE1DJK8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 1870 United States census, 1870 United States census (definition). Also Wikidata Q2975555
History
- 2026-11-02: add by m2/dev
11DEFSC7QG 11DEFSC7QG
| URI | m2://inv/11DEFSC7QG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18992#FB4P (statement). In S7PNTM0GZC/e1, theorem 1.18
History
- 2026-10-28: add by m2/v0.4.2
Schneider–Lang theorem 11DQWYYD8V
| URI | m2://inv/11DQWYYD8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2862403, Schneider–Lang theorem (statement). Also Wikidata Q2862403
- thousand_plus: thousand_plus Q2862403, Bombieri's theorem (statement). Also Wikidata Q2862403, Wikipedia Schneider–Lang theorem
- wikipedia: Wikipedia Schneider–Lang theorem, Schneider–Lang theorem (statement). Also Wikidata Q2862403
History
- 2026-10-26: add by m2/dev
Hebrew calendar 11DSZJBRZC
| URI | m2://inv/11DSZJBRZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44722, Hebrew calendar (definition). Also ProofWiki Definition:Calendar/Jewish
History
- 2026-10-26: add by m2/dev
Cardano's formula 11DTXSBECS
| URI | m2://inv/11DTXSBECS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1095119, Cardano's formula (unknown). Also EoM Cardano_formula
History
- 2026-10-26: add by m2/dev
11E1H1PJ9B 11E1H1PJ9B
| URI | m2://inv/11E1H1PJ9B |
|---|---|
| Kind | definition |
| 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.12857#GDIU (definition). In XJWQ6Y83F8/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Unit measure 11EBVD3ZAS
| URI | m2://inv/11EBVD3ZAS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit measure, Unit measure (definition). Also Wikidata Q7887135
History
- 2026-11-02: add by m2/dev
11EDNKZ0A3 11EDNKZ0A3
| URI | m2://inv/11EDNKZ0A3 |
|---|---|
| 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.12329#669M (statement). In ZJQB9W60T6/e1, lemma 4.13
History
- 2026-10-28: add by m2/v0.4.2
11EG6461R3 11EG6461R3
| URI | m2://inv/11EG6461R3 |
|---|---|
| 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.15472#H6YA (statement). In 5Z3FH46YSY/e1, proposition 3.11
History
- 2026-10-28: add by m2/v0.4.2
11EHFM95J2 11EHFM95J2
| URI | m2://inv/11EHFM95J2 |
|---|---|
| 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.31489#ZER0 (statement). In ZKBG58PN1J/e1, lemma 2.6
History
- 2026-10-31: add by m2/v0.5.6
Relative index of inequality 11EKVDCPV5
| URI | m2://inv/11EKVDCPV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative index of inequality, Relative index of inequality (statement). Also Wikidata Q17077966
History
- 2026-11-02: add by m2/dev
deficient number 11EPCM4WQC
| URI | m2://inv/11EPCM4WQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Deficient number 0G01TS1RRP |
Mentions
- wikidata: Wikidata Q467511, deficient number (definition). Also MathWorld DeficientNumber, OEIS A005100, ProofWiki Definition:Deficient_Number
- wikipedia: Wikipedia Deficient number, Deficient number (definition). Also Wikidata Q467511
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
11F4K2TCZJ 11F4K2TCZJ
| URI | m2://inv/11F4K2TCZJ |
|---|---|
| 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.33552#OYV2 (statement). In SRAS2DJJQH/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
Peter J. Cameron 11FK11K2C8
| URI | m2://inv/11FK11K2C8 |
|---|---|
| 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#BDS8, Peter J. Cameron (unknown)
History
- 2026-11-02: add by m2/dev
God Created the Integers 11FN5PZCF1
| URI | m2://inv/11FN5PZCF1 |
|---|---|
| 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 Q5575842, God Created the Integers (unknown). Also ProofWiki Book:Stephen_Hawking/God_Created_the_Integers
- wikipedia: Wikipedia God Created the Integers, God Created the Integers (definition). Also Wikidata Q5575842
History
- 2026-10-26: add by m2/dev
11FP204CCS 11FP204CCS
| URI | m2://inv/11FP204CCS |
|---|---|
| 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.22502#SSYE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples 11FQQ7R8C1
| URI | m2://inv/11FQQ7R8C1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Locally convex vector lattice#1LZR, Examples (example)
History
- 2026-11-02: add by m2/dev
QR algorithm 11FX3QV17Z
| URI | m2://inv/11FX3QV17Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia QR algorithm, QR algorithm (definition). Also Wikidata Q453132
History
- 2026-11-02: add by m2/dev
Definitions 11FYBF70TS
| URI | m2://inv/11FYBF70TS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph (discrete mathematics)#XKW1, Definitions (definition)
History
- 2026-11-02: add by m2/dev
11G0M56ECW 11G0M56ECW
| URI | m2://inv/11G0M56ECW |
|---|---|
| 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 1512.06981#IK3C (statement). In X923ZEY423/e1, proposition 3.0.3
History
- 2026-10-27: add by m2/v0.3.5
11G4ECK7PN 11G4ECK7PN
| URI | m2://inv/11G4ECK7PN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#XIQU (statement). In VN084GGZGK/e1, theorem 3.12
History
- 2026-10-28: add by m2/v0.4.3
Cayley's theorem 11G9FRAR73
| URI | m2://inv/11G9FRAR73 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#7VP0, Cayley's theorem (statement)
History
- 2026-11-02: add by m2/dev
11GA7NTAHD 11GA7NTAHD
| URI | m2://inv/11GA7NTAHD |
|---|---|
| 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 2609.34522#O775 (statement). In 1HJGW3Z6Q8/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
11GAAKS9M6 11GAAKS9M6
| URI | m2://inv/11GAAKS9M6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/tableaux/soundness.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 34.6
History
- 2026-11-01: add by m2/v0.6.13
Generalizations 11GCX15RM9
| URI | m2://inv/11GCX15RM9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slide rule#ONQW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
11GJA90XEM 11GJA90XEM
| URI | m2://inv/11GJA90XEM |
|---|---|
| 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.03272#6OIL (statement). In H9ZC46G7BX/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
11GWVQWYS8 11GWVQWYS8
| URI | m2://inv/11GWVQWYS8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2309.17091#5LWK (statement). In N0JJM098W2/e1, theorem 16
History
- 2026-10-27: add by m2/v0.4.0
11GZ5G0J57 11GZ5G0J57
| URI | m2://inv/11GZ5G0J57 |
|---|---|
| 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.18335#300X (statement). In XKN1C8Y9SD/e1, lemma 11
History
- 2026-10-28: add by m2/v0.4.2
16-cell 11H0F9SMXH
| URI | m2://inv/11H0F9SMXH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2471444, 16-cell (unknown). Also MathWorld 16-Cell
- wikipedia: Wikipedia 16-cell, 16-cell (definition). Also Wikidata Q2471444
History
- 2026-10-26: add by m2/dev
Differential resolvent 11H7RVYNWW
| URI | m2://inv/11H7RVYNWW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bring radical#943R, Differential resolvent (unknown)
History
- 2026-11-02: add by m2/dev
Language, Proof and Logic 11H8TS1XMW
| URI | m2://inv/11H8TS1XMW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Language, Proof and Logic, Language, Proof and Logic (definition). Also Wikidata Q6486608
History
- 2026-11-02: add by m2/dev
Geometric hashing 11HRVT5SCP
| URI | m2://inv/11HRVT5SCP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#CL6A, Geometric hashing (unknown)
History
- 2026-11-02: add by m2/dev
Ibn Taymiyyah 11HTEHMQFN
| URI | m2://inv/11HTEHMQFN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#W3HL, Ibn Taymiyyah (unknown)
History
- 2026-11-02: add by m2/dev
11J0T2Q1BV 11J0T2Q1BV
| URI | m2://inv/11J0T2Q1BV |
|---|---|
| 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.04516#IIU5 (statement). In GZZBR0FX50/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Exceptional collection 11J1TTAP1W
| URI | m2://inv/11J1TTAP1W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiorthogonal decomposition#TFBM, Exceptional collection (unknown)
History
- 2026-11-02: add by m2/dev
Max-Albert Knus 11J8HDF9C1
| URI | m2://inv/11J8HDF9C1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max-Albert Knus, Max-Albert Knus (topic). Also Wikidata Q1686526
History
- 2026-11-02: add by m2/dev
Capillary entropy functional 11J8HQ9W9P
| URI | m2://inv/11J8HQ9W9P |
|---|---|
| Kind | definition |
| 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 2506.09840#OQF5, Capillary entropy functional (definition). In Y7TWHSF2HC/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.3.5
Scripta Mathematica 11JGSWTF77
| URI | m2://inv/11JGSWTF77 |
|---|---|
| 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 Q7439226, Scripta Mathematica (unknown). Also ProofWiki Book:Journal/Scripta_Mathematica
- wikipedia: Wikipedia Scripta Mathematica, Scripta Mathematica (definition). Also Wikidata Q7439226
History
- 2026-10-26: add by m2/dev
Negation elimination 11JJ6Q0VXD
| URI | m2://inv/11JJ6Q0VXD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Negation#KG0Y, Negation elimination (unknown)
History
- 2026-11-02: add by m2/dev
Twisted diagonal 11JJYHXD64
| URI | m2://inv/11JJYHXD64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted diagonal (category theory), Twisted diagonal (definition). Also Wikidata Q134300091
History
- 2026-11-02: add by m2/dev
vel 11JMYBXZ02
| URI | m2://inv/11JMYBXZ02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#7CTX, vel (definition)
History
- 2026-11-02: add by m2/dev
Concavity of \(g_m\ 11JRJ3XKVK
| URI | m2://inv/11JRJ3XKVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13962#6TH0, Concavity of \(g_m\ (statement). In 7NP5QKECVA/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
11JT7PJFVF 11JT7PJFVF
| URI | m2://inv/11JT7PJFVF |
|---|---|
| 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 2204.01073#JFNV (statement). In W4TYN4PGE8/e1, lemma 3.23
History
- 2026-10-27: add by m2/v0.3.5
Nathan Jacobson 11JVGRQRRC
| URI | m2://inv/11JVGRQRRC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#5E0T, Nathan Jacobson (unknown)
History
- 2026-11-02: add by m2/dev
11JYTCGH15 11JYTCGH15
| URI | m2://inv/11JYTCGH15 |
|---|---|
| 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.03837#9RD9 (statement). In TX88QS0A8M/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
11JZC20VTF 11JZC20VTF
| URI | m2://inv/11JZC20VTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#7OOA (statement). In GMRT5GHBZS/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.10
11K8HRD7HF 11K8HRD7HF
| URI | m2://inv/11K8HRD7HF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#lem:untruncated-linearity-reals-coincide (statement). In N54F33XE07, lem, section B.4
History
- 2026-11-01: add by m2/v0.6.13
Formal grammar 11KA9KXJ3M
| URI | m2://inv/11KA9KXJ3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Formal grammar, Formal grammar (definition). Also Wikidata Q373045
History
- 2026-11-02: add by m2/dev
11KQADK558 11KQADK558
| URI | m2://inv/11KQADK558 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-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.03138#MAMN (statement). In P5SY7AVP5E/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.12
Applications 11KVATMP54
| URI | m2://inv/11KVATMP54 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olog#Y5FC, Applications (example)
History
- 2026-11-02: add by m2/dev
DuBois Bowman 11KWPQG481
| URI | m2://inv/11KWPQG481 |
|---|---|
| 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#7EHF, DuBois Bowman (unknown)
History
- 2026-11-02: add by m2/dev
11KXTRBVD1 11KXTRBVD1
| URI | m2://inv/11KXTRBVD1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.38370#ZDS0 (statement). In SS645K80ZR/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
11KZP1VG7M 11KZP1VG7M
| URI | m2://inv/11KZP1VG7M |
|---|---|
| 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 2411.16655#ZU6R (statement). In EJHAXRV685/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
Inverse consequences 11KZQHMGAA
| URI | m2://inv/11KZQHMGAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse consequences, Inverse consequences (definition). Also Wikidata Q6060363
History
- 2026-11-02: add by m2/dev
11M5WPMQE4 11M5WPMQE4
| URI | m2://inv/11M5WPMQE4 |
|---|---|
| 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 2305.06030#TONL (statement). In 2Q0CNQ8DQB/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Martin A. Brumbaugh 11M6F74YJY
| URI | m2://inv/11M6F74YJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#NKO3, Martin A. Brumbaugh (topic)
History
- 2026-11-02: add by m2/dev
Zvezdelina Stankova 11MF3BPNBW
| URI | m2://inv/11MF3BPNBW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zvezdelina Stankova, Zvezdelina Stankova (topic). Also Wikidata Q22752419
History
- 2026-11-02: add by m2/dev
Symmetric means and equal entropies 11MM27KQNC
| URI | m2://inv/11MM27KQNC |
|---|---|
| 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#Y00C, Symmetric means and equal entropies (statement)
History
- 2026-11-01: add by m2/v0.6.15
Discrete Sturm oscillation on a weighted path 11MQA0K4T9
| URI | m2://inv/11MQA0K4T9 |
|---|---|
| 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.08152#LLVS, Discrete Sturm oscillation on a weighted path (statement). In T1GYQ6SCCZ/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
11MRNM8T1H 11MRNM8T1H
| URI | m2://inv/11MRNM8T1H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-7-6-2.xml#act-7-6-2 (exercise). In 907G4C4EJ1, activity, section 7.6.3
History
- 2026-11-01: add by m2/v0.6.13
11MVZ7P0PS 11MVZ7P0PS
| URI | m2://inv/11MVZ7P0PS |
|---|---|
| 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.39293#AGKQ (statement). In S26QVW5613/e1, lemma 2.4.2
History
- 2026-10-30: add by m2/v0.4.12
Properties 11MXSMAFVP
| URI | m2://inv/11MXSMAFVP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete wavelet transform#00N2, Properties (statement)
History
- 2026-11-02: add by m2/dev
11NPWPFVHH 11NPWPFVHH
| URI | m2://inv/11NPWPFVHH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.10559#K0UZ (statement). In WEP0PNJW09/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
א 11NQ7KFE1C
| URI | m2://inv/11NQ7KFE1C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16725860, א (unknown). Also ProofWiki Symbols:Hebrew/Aleph
History
- 2026-10-26: add by m2/dev
11NW2HQ066 11NW2HQ066
| URI | m2://inv/11NW2HQ066 |
|---|---|
| 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.30823#T20M (statement). In 1YHQ9YNQ68/e1, proposition 3.6
History
- 2026-10-31: add by m2/v0.5.6
Lead time bias 11NXE4KFB9
| URI | m2://inv/11NXE4KFB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lead time bias, Lead time bias (definition). Also Wikidata Q725139
History
- 2026-11-02: add by m2/dev
1 Decembrie 11NYE22RT5
| URI | m2://inv/11NYE22RT5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EIRH, 1 Decembrie (unknown)
History
- 2026-11-02: add by m2/dev
Lie algebra–valued differential form 11P4S1YVD6
| URI | m2://inv/11P4S1YVD6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra–valued differential form, Lie algebra–valued differential form (definition). Also Wikidata Q19597741
History
- 2026-11-02: add by m2/dev
Neural history compressor 11P5KB7RBX
| URI | m2://inv/11P5KB7RBX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrent neural network#2EWQ, Neural history compressor (unknown)
History
- 2026-11-02: add by m2/dev
11PE4QVAD8 11PE4QVAD8
| URI | m2://inv/11PE4QVAD8 |
|---|---|
| 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.12413#LN8E (definition). In 6EJ8J60SP8/e1, definition 17
History
- 2026-10-28: add by m2/v0.4.2
11PGSQZFSN 11PGSQZFSN
| URI | m2://inv/11PGSQZFSN |
|---|---|
| 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 0805.4273#K5MS (statement). In ZX3NV58FRX/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Biholomorphism 11PQ2WZYQD
| URI | m2://inv/11PQ2WZYQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biholomorphism, Biholomorphism (definition). Also Wikidata Q377166
History
- 2026-11-02: add by m2/dev
liar sentence 11PQKSMHC7
| URI | m2://inv/11PQKSMHC7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#YEK3, liar sentence (definition)
History
- 2026-11-02: add by m2/dev
Waiter–Client game 11QBC0DBG5
| URI | m2://inv/11QBC0DBG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Waiter–Client game, Waiter–Client game (definition). Also Wikidata Q60791324
History
- 2026-11-02: add by m2/dev
Excess recursion 11QCXRPDWW
| URI | m2://inv/11QCXRPDWW |
|---|---|
| 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#5BF7, Excess recursion (statement). In JN34PDDXH8/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
Pi\ neiro moment normalization 11QKYY03RC
| URI | m2://inv/11QKYY03RC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 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 2609.26066#DOQ5, Pi\ neiro moment normalization (statement)
History
- 2026-11-01: add by m2/v0.6.15
11QPK3AYNH 11QPK3AYNH
| URI | m2://inv/11QPK3AYNH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:impred-brck (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
11QT2GKWHT 11QT2GKWHT
| URI | m2://inv/11QT2GKWHT |
|---|---|
| Kind | definition |
| 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 2201.04174#3QKK (definition). In NVTHDNQQ4Q/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Higher-order Godbersen's conjecture 11QV5NESJT
| URI | m2://inv/11QV5NESJT |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04527#SUN8, Higher-order Godbersen's conjecture (conjecture). In Z9ZXAC6TZQ/e1, conjecture 4
History
- 2026-10-29: add by m2/v0.4.12
Consistency 11R0VEYC2T
| URI | m2://inv/11R0VEYC2T |
|---|---|
| Kind | definition |
| 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#defn-3, Consistency (definition). In PKGMM3P5QY, defn, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
11RAG6T2X9 11RAG6T2X9
| URI | m2://inv/11RAG6T2X9 |
|---|---|
| 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.11082#VXB8 (statement). In GFPFFN0BXV/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.3
Robert Hues 11RHX58EJR
| URI | m2://inv/11RHX58EJR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Hues, Robert Hues (topic). Also Wikidata Q3435427
History
- 2026-11-02: add by m2/dev
Minimum mean square error estimator 11RNDTCE8D
| URI | m2://inv/11RNDTCE8D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minimum mean square error estimator, Minimum mean square error estimator (definition). Also Wikidata Q11091747
History
- 2026-11-02: add by m2/dev
11RP8FCXBC 11RP8FCXBC
| URI | m2://inv/11RP8FCXBC |
|---|---|
| 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 2301.04933#NKLM (definition). In Q70CTMCJTP/e1, definition A.1
History
- 2026-10-27: add by m2/v0.3.5
11RQ6VTX6G 11RQ6VTX6G
| URI | m2://inv/11RQ6VTX6G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-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.33841#CZ8L (definition). In 3CVQHT206K/e1, definition 3.8
History
- 2026-10-30: add by m2/v0.4.12
Tangential radial energy 11RTT0WT9R
| URI | m2://inv/11RTT0WT9R |
|---|---|
| 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#I52H, Tangential radial energy (statement). In XKXG49TNXH/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.3.6
11RYSCWD7V 11RYSCWD7V
| URI | m2://inv/11RYSCWD7V |
|---|---|
| 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.09729#SSFS (statement). In 7CDD4HCYTV/e1, lemma B.2
History
- 2026-10-29: add by m2/v0.4.10
11S8R18T30 11S8R18T30
| URI | m2://inv/11S8R18T30 |
|---|---|
| Kind | statement |
| 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#GEKC (statement). In BDN507RN7J/e1, proposition 4.3.2
History
- 2026-10-30: add by m2/v0.4.12
Leonard H. Rome 11SARM1CFF
| URI | m2://inv/11SARM1CFF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#NT1M, Leonard H. Rome (unknown)
History
- 2026-11-02: add by m2/dev
11SCZBY087 11SCZBY087
| URI | m2://inv/11SCZBY087 |
|---|---|
| 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.26308#LKFU (statement)
History
- 2026-11-01: add by m2/v0.6.15
11SDZQ3R09 11SDZQ3R09
| URI | m2://inv/11SDZQ3R09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31273#RSIE (statement). In 6KZRZVS1V5/e1, lemma B.3
History
- 2026-10-31: add by m2/v0.5.6
Application 11STGEF4X4
| URI | m2://inv/11STGEF4X4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Racetrack principle#Y8LP, Application (example)
History
- 2026-11-02: add by m2/dev
Consensus-based assessment 11STPVT1SZ
| URI | m2://inv/11STPVT1SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#J78S, Consensus-based assessment (definition)
History
- 2026-11-02: add by m2/dev
11SYN5PR1N 11SYN5PR1N
| URI | m2://inv/11SYN5PR1N |
|---|---|
| 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.14742#BWJE (statement). In GZYZ9FQHVC/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
11T3H2Z21X 11T3H2Z21X
| URI | m2://inv/11T3H2Z21X |
|---|---|
| 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.19453#D8YS (statement). In TX82YAVS5V/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
11T9V2RP0Z 11T9V2RP0Z
| URI | m2://inv/11T9V2RP0Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-1-1-1.xml#act-1-1-1 (exercise). In 907G4C4EJ1, activity, section 1.1.2
History
- 2026-11-01: add by m2/v0.6.13
11TBVFWFDN 11TBVFWFDN
| URI | m2://inv/11TBVFWFDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32338#CYEG (statement). In HVY45JQRNK/e1, proposition 2.25
History
- 2026-10-31: add by m2/v0.5.6
11TKV3NJ2T 11TKV3NJ2T
| URI | m2://inv/11TKV3NJ2T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.23884#NVIW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Felix Klein 11TMDW2FCK
| URI | m2://inv/11TMDW2FCK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#SEZ2, Felix Klein (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#O7O7, Felix Klein (topic)
History
- 2026-11-02: add by m2/dev
11TNTK5FEP 11TNTK5FEP
| URI | m2://inv/11TNTK5FEP |
|---|---|
| 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 2605.24355#W9CO (statement). In VV3AJMWWCR/e1, theorem 3
History
- 2026-10-27: add by m2/v0.3.6
11TQM5552G 11TQM5552G
| URI | m2://inv/11TQM5552G |
|---|---|
| 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.09562#ZT4Y (statement). In 2XH87FWG8Y/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
11V8AMB3QE 11V8AMB3QE
| URI | m2://inv/11V8AMB3QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22964#QP9R (statement)
History
- 2026-11-02: add by m2/v0.6.17
Dyck language 11VDD66ESC
| URI | m2://inv/11VDD66ESC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyck language, Dyck language (definition). Also Wikidata Q1268618
History
- 2026-11-02: add by m2/dev
Three-point inequality 11VKHNK4N5
| URI | m2://inv/11VKHNK4N5 |
|---|---|
| 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.39837#2QQV, Three-point inequality (statement). In MDQXTBEK0F/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
A residue test for a twin-prime output 11VV4DX26D
| URI | m2://inv/11VV4DX26D |
|---|---|
| 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.13365#PDCL, A residue test for a twin-prime output (statement). In YMBTSX10FF/e1, proposition 2.7
History
- 2026-10-28: add by m2/v0.4.2
Sponge function 11VWW20MV4
| URI | m2://inv/11VWW20MV4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sponge function, Sponge function (topic). Also Wikidata Q3075281
History
- 2026-11-02: add by m2/dev
Exact highest-zero identity 11W5V8XYDD
| URI | m2://inv/11W5V8XYDD |
|---|---|
| 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.18214#FWLV, Exact highest-zero identity (statement). In S4NXHVGB0Q/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
module 11W6P9ZE99
| URI | m2://inv/11W6P9ZE99 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > module, module (unknown). Also Mathlib Module
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > vector space, vector space (unknown). Also Mathlib Module
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > vector space, vector space (unknown). Also Mathlib Module
History
- 2026-10-26: add by m2/dev
Euler 11WA942QK2
| URI | m2://inv/11WA942QK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#YF0K, Euler (definition)
History
- 2026-11-02: add by m2/dev
List of mathematical topics in relativity 11WCPAAKW1
| URI | m2://inv/11WCPAAKW1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#G5K6, List of mathematical topics in relativity (topic)
History
- 2026-11-02: add by m2/dev
11WDC7T88B 11WDC7T88B
| URI | m2://inv/11WDC7T88B |
|---|---|
| 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.15460#XYKJ (statement). In T2Z3D2VQ9B/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Definition 11WKN4X9V7
| URI | m2://inv/11WKN4X9V7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curl (mathematics)#XOSD, Definition (definition)
History
- 2026-11-02: add by m2/dev
11WQBDPPDD 11WQBDPPDD
| URI | m2://inv/11WQBDPPDD |
|---|---|
| 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.23994#OJCX (statement)
History
- 2026-11-02: add by m2/v0.6.17
11WRHNKGKP 11WRHNKGKP
| URI | m2://inv/11WRHNKGKP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36279#A9Y0 (statement). In HX1QA0MJYV/e1, corollary 14
History
- 2026-10-30: add by m2/v0.4.12
Local differential privacy 11WWY09XE0
| URI | m2://inv/11WWY09XE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local differential privacy, Local differential privacy (definition). Also Wikidata Q65057617
History
- 2026-11-02: add by m2/dev
Appeal to false authority 11WYJX3EJB
| URI | m2://inv/11WYJX3EJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument from authority#N74S, Appeal to false authority (unknown)
History
- 2026-11-02: add by m2/dev
High proper motion star 11X1B1CWET
| URI | m2://inv/11X1B1CWET |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper motion#AN9B, High proper motion star (unknown)
History
- 2026-11-02: add by m2/dev
11XAKN1Q8K 11XAKN1Q8K
| URI | m2://inv/11XAKN1Q8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30760#8826 (statement). In MMVNRRE7N0/e1, proposition 3.4
History
- 2026-10-31: add by m2/v0.5.6
11XBCZJHH7 11XBCZJHH7
| URI | m2://inv/11XBCZJHH7 |
|---|---|
| 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.12329#3S4V (statement). In ZJQB9W60T6/e1, theorem 8.3
History
- 2026-10-28: add by m2/v0.4.2
11XFTYMNAE 11XFTYMNAE
| URI | m2://inv/11XFTYMNAE |
|---|---|
| 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 2608.00864#MU1Y (statement). In PRF0P3D637/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Transmission security key 11XH5XTA27
| URI | m2://inv/11XH5XTA27 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#4UD8, Transmission security key (topic)
History
- 2026-11-02: add by m2/dev
11XSTBMJ62 11XSTBMJ62
| URI | m2://inv/11XSTBMJ62 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20375#GLM3 (definition)
History
- 2026-11-02: add by m2/v0.6.18
11XTSFRMPM 11XTSFRMPM
| URI | m2://inv/11XTSFRMPM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.23605#TYFP (definition)
History
- 2026-11-02: add by m2/v0.6.17
Epigroup 11Y5DGFZQ5
| URI | m2://inv/11Y5DGFZQ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epigroup, Epigroup (definition). Also Wikidata Q5382940
History
- 2026-11-02: add by m2/dev
decomposition of an orthogonal transformation as a product of reflections 11Y6B46WEW
| URI | m2://inv/11Y6B46WEW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > decomposition of an orthogonal transformation as a product of reflections, decomposition of an orthogonal transformation as a product of reflections (unknown). Also Mathlib LinearIsometryEquiv.reflections_generate
History
- 2026-10-26: add by m2/dev
Time-expanded too-long path graph 11Y8MZ41F9
| URI | m2://inv/11Y8MZ41F9 |
|---|---|
| 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.39269#T0H9, Time-expanded too-long path graph (definition). In HS4X20TX33/e1, definition 0.28
History
- 2026-10-30: add by m2/v0.4.12
Compact-open topology 11YAZS9Z7Z
| URI | m2://inv/11YAZS9Z7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#MWGC, Compact-open topology (definition)
- wikipedia: Wikipedia List of topologies#41NE, Compact-open topology (definition)
- wikipedia: Wikipedia List of examples in general topology#G3K7, Compact-open topology (definition)
History
- 2026-11-02: add by m2/dev
Examples 11YCQV6SXA
| URI | m2://inv/11YCQV6SXA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connection (vector bundle)#CT2M, Examples (example)
History
- 2026-11-02: add by m2/dev
Ruth Lawrence 11YHS26Q2K
| URI | m2://inv/11YHS26Q2K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#JDVX, Ruth Lawrence (topic)
History
- 2026-11-02: add by m2/dev
Semiregular groups 11YKDA7E8X
| URI | m2://inv/11YKDA7E8X |
|---|---|
| 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#Q8FD, Semiregular groups (statement). In H8NGNDP0XT/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.3
Posterior variance of a smooth functional 11YMTA7WZ4
| URI | m2://inv/11YMTA7WZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.29348#MD0I, Posterior variance of a smooth functional (statement)
History
- 2026-11-01: add by m2/v0.6.15
L∞-algebra 11YPXSC5ZT
| URI | m2://inv/11YPXSC5ZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q42614797, L∞-algebra (unknown). Also nLab L-infinity-algebra
- wikipedia: Wikipedia Homotopy Lie algebra, Homotopy Lie algebra (definition). Also Wikidata Q42614797
History
- 2026-10-26: add by m2/dev
Berezin integral 11YRDY0MS9
| URI | m2://inv/11YRDY0MS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Berezin integral CYWSMK47CN |
Mentions
- wikidata: Wikidata Q4891358, Berezin integral (unknown). Also nLab Berezin integral
- wikipedia: Wikipedia Berezin integral, Berezin integral (definition). Also Wikidata Q4891358
History
- 2026-10-26: add by m2/dev
Examples 11ZF6G4A1Z
| URI | m2://inv/11ZF6G4A1Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omega-categorical theory#AAXR, Examples (example)
History
- 2026-11-02: add by m2/dev
11ZJRP47A2 11ZJRP47A2
| URI | m2://inv/11ZJRP47A2 |
|---|---|
| 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 2508.17135#RYIF (statement). In 74MXJ2RX4B/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.3.5
Lindeberg, Jarl Waldemar 11ZKTGVMJP
| URI | m2://inv/11ZKTGVMJP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#A947, Lindeberg, Jarl Waldemar (topic)
History
- 2026-11-02: add by m2/dev
triangulated category 11ZM5ZKGTN
| URI | m2://inv/11ZM5ZKGTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Triangulated category T2V7GJJ2EN |
Mentions
- wikidata: Wikidata Q7840150, triangulated category (unknown). Also nLab triangulated category
- wikipedia: Wikipedia Triangulated category, Triangulated category (definition). Also Wikidata Q7840150
History
- 2026-10-26: add by m2/dev
11ZM6RDFFZ 11ZM6RDFFZ
| URI | m2://inv/11ZM6RDFFZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#2J9N (statement). In FK89DQ9J4S/e1, theorem 6.7
History
- 2026-10-30: add by m2/v0.4.12
11ZMR1G7VS 11ZMR1G7VS
| URI | m2://inv/11ZMR1G7VS |
|---|---|
| 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.07963#C5SJ (statement). In HAGJKEZ1CK/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
Examples 11ZS4NN893
| URI | m2://inv/11ZS4NN893 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural bundle#6UMV, Examples (example)
History
- 2026-11-02: add by m2/dev
I2P-Bote 11ZVNNDXQX
| URI | m2://inv/11ZVNNDXQX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia I2P#332Y, I2P-Bote (unknown)
History
- 2026-11-02: add by m2/dev
Smith normal form 11ZZTZDT87
| URI | m2://inv/11ZZTZDT87 |
|---|---|
| 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.26033#2S7H, Smith normal form (statement)
History
- 2026-11-01: add by m2/v0.6.15