Inventory rows 4Z
The cards of the rows of the inventory whose ids start with 4Z. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Incomplete Bessel K function/generalized incomplete gamma function 4Z018FMC04
| URI | m2://inv/4Z018FMC04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incomplete Bessel K function/generalized incomplete gamma function, Incomplete Bessel K function/generalized incomplete gamma function (definition). Also Wikidata Q85769218
History
- 2026-11-02: add by m2/dev
N-flake 4Z09VWR73Z
| URI | m2://inv/4Z09VWR73Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-flake, N-flake (definition). Also Wikidata Q6951479
History
- 2026-11-02: add by m2/dev
4Z0D0172C3 4Z0D0172C3
| URI | m2://inv/4Z0D0172C3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#SVOW (statement). In SN6F0MPPVF/e1, corollary 9.3
History
- 2026-10-28: add by m2/v0.4.2
non-deterministic Turing machine 4Z0F289903
| URI | m2://inv/4Z0F289903 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1190223, non-deterministic Turing machine (concept). Also ProofWiki Definition:Nondeterministic_Turing_Machine
- wikipedia: Wikipedia Nondeterministic Turing machine, Nondeterministic Turing machine (definition). Also Wikidata Q1190223
History
- 2026-10-26: add by m2/dev
Robert J. Marks II 4Z0F9CR1V3
| URI | m2://inv/4Z0F9CR1V3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#Q2FO, Robert J. Marks II (unknown)
History
- 2026-11-02: add by m2/dev
Betrothed numbers 4Z0J1971P0
| URI | m2://inv/4Z0J1971P0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#04AR, Betrothed numbers (definition)
History
- 2026-11-02: add by m2/dev
MV-algebra 4Z0KZ1N677
| URI | m2://inv/4Z0KZ1N677 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#WW7Q, MV-algebra (definition)
History
- 2026-11-02: add by m2/dev
polykite 4Z0PD7S6SP
| URI | m2://inv/4Z0PD7S6SP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12405820, polykite (unknown). Also MathWorld Polykite
History
- 2026-10-26: add by m2/dev
4Z0W7V7SCN 4Z0W7V7SCN
| URI | m2://inv/4Z0W7V7SCN |
|---|---|
| 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 2106.01660#VP2B (statement). In DY520CF58X/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
4Z0WTXW8BM 4Z0WTXW8BM
| URI | m2://inv/4Z0WTXW8BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24007#UFFS (statement)
History
- 2026-11-02: add by m2/v0.6.17
$\Irr(G)=\Irr(P_1)\otimes\cdots\otimes\Irr(P_r)$ 4Z166G4FMN
| URI | m2://inv/4Z166G4FMN |
|---|---|
| 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.13429#9JBQ, $\Irr(G)=\Irr(P_1)\otimes\cdots\otimes\Irr(P_r)$ (statement). In B2VB5T5WQD/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
Beth Definability Theorem 4Z19WCSR8E
| URI | m2://inv/4Z19WCSR8E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/interpolation/definability.tex#thm-1, Beth Definability Theorem (statement). In PKGMM3P5QY, thm, section 46.9
History
- 2026-11-01: add by m2/v0.6.13
4Z1BCC0GQ9 4Z1BCC0GQ9
| URI | m2://inv/4Z1BCC0GQ9 |
|---|---|
| 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.08370#EKS6 (statement). In EQN3EZRZYQ/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.10
4Z1E1QPD2J 4Z1E1QPD2J
| URI | m2://inv/4Z1E1QPD2J |
|---|---|
| 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.22458#6VQQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
4Z1EZ4DDB9 4Z1EZ4DDB9
| URI | m2://inv/4Z1EZ4DDB9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.20128#4AJS (statement)
History
- 2026-11-02: add by m2/v0.6.18
4Z1G9T21S3 4Z1G9T21S3
| URI | m2://inv/4Z1G9T21S3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23526#4ECF (statement)
History
- 2026-11-02: add by m2/v0.6.17
4Z1GT17W6V 4Z1GT17W6V
| URI | m2://inv/4Z1GT17W6V |
|---|---|
| Kind | example |
| 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.15535#ITUN (example). In 73A9KWZJRD/e1, example 7.1
History
- 2026-10-28: add by m2/v0.4.2
Prime number 4Z1QP2EJ03
| URI | m2://inv/4Z1QP2EJ03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#0KAB, Prime number (definition)
History
- 2026-11-02: add by m2/dev
Examples 4Z1T5Z5FEZ
| URI | m2://inv/4Z1T5Z5FEZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Center manifold#7VKO, Examples (example)
History
- 2026-11-02: add by m2/dev
4Z21WNTEMT 4Z21WNTEMT
| URI | m2://inv/4Z21WNTEMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#PXXA (statement). In RZWJ0AT8W5/e1, theorem A.2
History
- 2026-10-31: add by m2/v0.5.6
∈, =, ⊆, ⊇, ⊃, ⊂, ∪, ∩, ∅ 4Z25XTRBSC
| URI | m2://inv/4Z25XTRBSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#QGA0, ∈, =, ⊆, ⊇, ⊃, ⊂, ∪, ∩, ∅ (definition)
History
- 2026-11-02: add by m2/dev
Rheonomous 4Z275PCZDX
| URI | m2://inv/4Z275PCZDX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rheonomous, Rheonomous (definition). Also Wikidata Q118875876
History
- 2026-11-02: add by m2/dev
Mixed-precision arithmetic 4Z2AWMG51P
| URI | m2://inv/4Z2AWMG51P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed-precision arithmetic, Mixed-precision arithmetic (definition). Also Wikidata Q104882655
History
- 2026-11-02: add by m2/dev
4Z2K73TG36 4Z2K73TG36
| URI | m2://inv/4Z2K73TG36 |
|---|---|
| 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.35095#MCX2 (statement). In MM3XTWS35F/e1, fact 3.2
History
- 2026-10-30: add by m2/v0.4.12
4Z2QSXHP77 4Z2QSXHP77
| URI | m2://inv/4Z2QSXHP77 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.0962#VB7N (definition). In 80YMRN5KS9/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
Boolean prime ideal theorem 4Z2QZ0N4GF
| URI | m2://inv/4Z2QZ0N4GF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#3UK7, Boolean prime ideal theorem (statement)
- wikipedia: Wikipedia List of axioms#KQ45, Boolean prime ideal theorem (statement)
- wikipedia: Wikipedia List of Boolean algebra topics#X6KC, Boolean prime ideal theorem (statement)
History
- 2026-11-02: add by m2/dev
MacTutor History of Mathematics Archive 4Z2RBAFVDA
| URI | m2://inv/4Z2RBAFVDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MacTutor History of Mathematics Archive, MacTutor History of Mathematics Archive (definition). Also Wikidata Q547473
History
- 2026-11-02: add by m2/dev
4Z2RK212RZ 4Z2RK212RZ
| URI | m2://inv/4Z2RK212RZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25457#9C8Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
classical, analysis 4Z2RK93KZN
| URI | m2://inv/4Z2RK93KZN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/classical-analysis, classical, analysis (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
4Z2VSB38EJ 4Z2VSB38EJ
| URI | m2://inv/4Z2VSB38EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-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.24131#ICO4 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Gaussian mixture model 4Z2WKYT02V
| URI | m2://inv/4Z2WKYT02V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixture model#EQOB, Gaussian mixture model (unknown)
History
- 2026-11-02: add by m2/dev
Example 4Z2WX4R34Y
| URI | m2://inv/4Z2WX4R34Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interpretation (logic)#2Q2D, Example (example)
History
- 2026-11-02: add by m2/dev
Irreducible polynomial 4Z34YVEBYK
| URI | m2://inv/4Z34YVEBYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#LB6T, Irreducible polynomial (definition)
History
- 2026-11-02: add by m2/dev
Category theory 4Z3M2F8VTC
| URI | m2://inv/4Z3M2F8VTC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#6Y7U, Category theory (definition)
- wikipedia: Wikipedia List of abstract algebra topics#HPEG, Category theory (definition)
History
- 2026-11-02: add by m2/dev
Discovery order given the stopped forest 4Z3SHDAQ6K
| URI | m2://inv/4Z3SHDAQ6K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.13063#9PU9, Discovery order given the stopped forest (statement). In R5AFFWBMAF/e1, corollary 6.6
History
- 2026-10-28: add by m2/v0.4.2
Graph morphism (algebraic geometry) 4Z3YA7CVVG
| URI | m2://inv/4Z3YA7CVVG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphism of schemes#V191, Graph morphism (algebraic geometry) (unknown)
History
- 2026-11-02: add by m2/dev
4Z42ZD7Y1N 4Z42ZD7Y1N
| URI | m2://inv/4Z42ZD7Y1N |
|---|---|
| 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.39531#XSY0 (statement). In SN9RSTHQ07/e1, lemma H.1
History
- 2026-10-30: add by m2/v0.4.12
Peter Benner 4Z4658Q3Z8
| URI | m2://inv/4Z4658Q3Z8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Benner, Peter Benner (topic). Also Wikidata Q26838423
History
- 2026-11-02: add by m2/dev
4Z4GK7HZ57 4Z4GK7HZ57
| URI | m2://inv/4Z4GK7HZ57 |
|---|---|
| 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.11517#SL7R (statement). In 87NF85QAKT/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
Yo-yo 4Z4JGA2CDA
| URI | m2://inv/4Z4JGA2CDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yo-yo (algorithm), Yo-yo (definition). Also Wikidata Q30689522
History
- 2026-11-02: add by m2/dev
Finite support kernel 4Z4R9EH2VX
| URI | m2://inv/4Z4R9EH2VX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32078#7CQE, Finite support kernel (definition). In 5PN85N6EJF/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Richard Borcherds 4Z4RD5Y1PF
| URI | m2://inv/4Z4RD5Y1PF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KGV6, Richard Borcherds (topic)
History
- 2026-11-02: add by m2/dev
Examples 4Z4VYSDXSP
| URI | m2://inv/4Z4VYSDXSP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Optimal control#USKH, Examples (example)
History
- 2026-11-02: add by m2/dev
4Z4XF2DDQY 4Z4XF2DDQY
| URI | m2://inv/4Z4XF2DDQY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_combinations.ptx#example-1 (example). In QKM9DD2H56, example, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
4Z4YH8P2C1 4Z4YH8P2C1
| URI | m2://inv/4Z4YH8P2C1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36904#GH3E (statement). In R9E569AVRG/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
4Z4ZWS9TKD 4Z4ZWS9TKD
| URI | m2://inv/4Z4ZWS9TKD |
|---|---|
| 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.07855#FK1A (statement). In 1VT8CVVCM7/e1, proposition 3.11
History
- 2026-10-29: add by m2/v0.4.10
Exponential discounting 4Z52B7CE50
| URI | m2://inv/4Z52B7CE50 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#YGKA, Exponential discounting (unknown)
History
- 2026-11-02: add by m2/dev
4Z55NME3EG 4Z55NME3EG
| URI | m2://inv/4Z55NME3EG |
|---|---|
| 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 2609.35691#82YW (definition). In G7R61RPWE2/e1, definition 4.5
History
- 2026-10-30: add by m2/v0.4.12
4Z57RDWYGJ 4Z57RDWYGJ
| URI | m2://inv/4Z57RDWYGJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02244#SGRT (statement). In 3REM2EXQK7/e1, theorem 3.6
History
- 2026-10-29: add by m2/v0.4.12
Hui Zou 4Z58EMEKWF
| URI | m2://inv/4Z58EMEKWF |
|---|---|
| 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#Z3WR, Hui Zou (unknown)
History
- 2026-11-02: add by m2/dev
4Z59GSNN36 4Z59GSNN36
| URI | m2://inv/4Z59GSNN36 |
|---|---|
| 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 2601.15010#FCIR (statement). In K3WJ6ZN184/e1, lemma A.13
History
- 2026-10-27: add by m2/v0.3.5
Relation to the axiom of choice 4Z5AKMNF9Y
| URI | m2://inv/4Z5AKMNF9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dedekind-infinite set#DDV2, Relation to the axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
4Z5HP3376N 4Z5HP3376N
| URI | m2://inv/4Z5HP3376N |
|---|---|
| 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.03264#Q485 (statement). In 5TXRSPPTHP/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
Projective approximation lemma 4Z5KVY31HX
| URI | m2://inv/4Z5KVY31HX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#VL47, Projective approximation lemma (statement). In SBZNH932ZV/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
4Z5R6MPV0F 4Z5R6MPV0F
| URI | m2://inv/4Z5R6MPV0F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#YKA2 (statement). In HH35K7S17H/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.10
4Z5RVV1NJ9 4Z5RVV1NJ9
| URI | m2://inv/4Z5RVV1NJ9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/multivar.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 45.3
History
- 2026-11-01: add by m2/v0.6.13
Unit root 4Z5S6V6B2M
| URI | m2://inv/4Z5S6V6B2M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unit root, Unit root (definition). Also Wikidata Q1307899
History
- 2026-11-02: add by m2/dev
Gibbs phenomenon 4Z5Z56A45Y
| URI | m2://inv/4Z5Z56A45Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Gibbs phenomenon VMF169AT67 |
Mentions
- wikidata: Wikidata Q5374, Gibbs phenomenon (statement). Also MathWorld GibbsPhenomenon, ProofWiki Gibbs_Phenomenon
- wikipedia: Wikipedia Gibbs phenomenon, Gibbs phenomenon (definition). Also Wikidata Q5374
History
- 2026-10-26: add by m2/dev
Geodetic refraction 4Z5ZE9FHA8
| URI | m2://inv/4Z5ZE9FHA8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atmospheric refraction#QU6K, Geodetic refraction (unknown)
History
- 2026-11-02: add by m2/dev
Halo mass function 4Z5ZT88NYH
| URI | m2://inv/4Z5ZT88NYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Halo mass function, Halo mass function (definition). Also Wikidata Q16885409
History
- 2026-11-02: add by m2/dev
4Z61GK7MET 4Z61GK7MET
| URI | m2://inv/4Z61GK7MET |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13852#G5G2 (statement). In SXTGSAH3WF/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
4Z63H4TSXT 4Z63H4TSXT
| URI | m2://inv/4Z63H4TSXT |
|---|---|
| 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 2203.07710#BRWP (statement). In NESGAWA54K/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.3.5
4Z68WYBVZY 4Z68WYBVZY
| URI | m2://inv/4Z68WYBVZY |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#0KM2 (example). In 1KSE33PVS6/e1, example 58
History
- 2026-10-30: add by m2/v0.4.12
Convexity 4Z69N3ZDXF
| URI | m2://inv/4Z69N3ZDXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00039#ULYX, Convexity (statement). In 2YQ3WX6VSW/e1, proposition 2.6
History
- 2026-10-30: add by m2/v0.4.12
4Z69P10CCJ 4Z69P10CCJ
| URI | m2://inv/4Z69P10CCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#XTIY (statement). In CY1FE8W1ZW/e1, theorem 0.7
History
- 2026-10-27: add by m2/v0.3.5
4Z6AZJB199 4Z6AZJB199
| URI | m2://inv/4Z6AZJB199 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Derivation of formula 4Z6CD6KCZF
| URI | m2://inv/4Z6CD6KCZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stieltjes transformation#UMO0, Derivation of formula (statement)
History
- 2026-11-02: add by m2/dev
4Z6GAG8T63 4Z6GAG8T63
| URI | m2://inv/4Z6GAG8T63 |
|---|---|
| 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 2603.26376#5286 (statement). In PJAT9YDX7Y/e1, proposition 3.9
History
- 2026-10-27: add by m2/v0.4.0
4Z6M1CB374 4Z6M1CB374
| URI | m2://inv/4Z6M1CB374 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#MK42 (definition). In BDN507RN7J/e1, definition 2.4.1
History
- 2026-10-30: add by m2/v0.4.12
ordered tree 4Z6THC6VT8
| URI | m2://inv/4Z6THC6VT8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q10396021, ordered tree (unknown). Also MathWorld OrderedTree
History
- 2026-10-26: add by m2/dev
Projective special unitary group 4Z6TXD6F56
| URI | m2://inv/4Z6TXD6F56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#QDXF, Projective special unitary group (definition)
History
- 2026-11-02: add by m2/dev
Birkhoff's axioms 4Z6WCBG98M
| URI | m2://inv/4Z6WCBG98M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#F196, Birkhoff's axioms (statement)
History
- 2026-11-02: add by m2/dev
real-analytic hypersurface 4Z6XBKBGMR
| URI | m2://inv/4Z6XBKBGMR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/3.1/real-analytic-hypersurface, real-analytic hypersurface (concept). In VNMV985MXX, index, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
faithful 4Z7DDHJMYX
| URI | m2://inv/4Z7DDHJMYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#HG89, faithful (definition)
History
- 2026-11-02: add by m2/dev
Hausdorff–Young inequality 4Z7PMWJ7X9
| URI | m2://inv/4Z7PMWJ7X9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#YWB8, Hausdorff–Young inequality (statement)
- wikipedia: Wikipedia List of things named after Felix Hausdorff#3888, Hausdorff–Young inequality (statement)
History
- 2026-11-02: add by m2/dev
compact Lie group 4Z88E0DCJT
| URI | m2://inv/4Z88E0DCJT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3117689, compact Lie group (unknown). Also nLab compact Lie group
History
- 2026-10-26: add by m2/dev
Harry Schmidt 4Z8AAG11Q9
| URI | m2://inv/4Z8AAG11Q9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harry Schmidt (mathematician), Harry Schmidt (topic). Also Wikidata Q1586769
History
- 2026-11-02: add by m2/dev
Ecological stability 4Z8F93S4AT
| URI | m2://inv/4Z8F93S4AT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ecological stability, Ecological stability (definition). Also Wikidata Q5333257
History
- 2026-11-02: add by m2/dev
Foreign affiliate trade statistics 4Z8JN6DNB1
| URI | m2://inv/4Z8JN6DNB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foreign affiliate trade statistics, Foreign affiliate trade statistics (definition). Also Wikidata Q17014436
History
- 2026-11-02: add by m2/dev
Gottfried Wilhelm Leibniz 4Z8NE0WRJ2
| URI | m2://inv/4Z8NE0WRJ2 |
|---|---|
| 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 Q9047, Gottfried Wilhelm Leibniz (unknown). Also nLab Gottfried Leibniz, ProofWiki Mathematician:Gottfried_Wilhelm_von_Leibniz
- wikipedia: Wikipedia Gottfried Wilhelm Leibniz, Gottfried Wilhelm Leibniz (topic). Also Wikidata Q9047
History
- 2026-10-26: add by m2/dev
4Z8W1VH4SP 4Z8W1VH4SP
| URI | m2://inv/4Z8W1VH4SP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28674#M3G1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Lifting interface 4Z8XQX8P98
| URI | m2://inv/4Z8XQX8P98 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#CKRP, Lifting interface (statement)
History
- 2026-11-02: add by m2/v0.6.18
Radon–Nikodym theorem 4Z93BJVMKA
| URI | m2://inv/4Z93BJVMKA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radon–Nikodym theorem#0BSI, Radon–Nikodym theorem (statement)
History
- 2026-11-02: add by m2/dev
4Z943W6BYD 4Z943W6BYD
| URI | m2://inv/4Z943W6BYD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2101.07846#4CDC (statement). In 9XTXH6H1N7/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
yocto 4Z94FCNH3Q
| URI | m2://inv/4Z94FCNH3Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110823, yocto (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/yocto-
History
- 2026-10-26: add by m2/dev
Insertion ratio 4Z97QJ778T
| URI | m2://inv/4Z97QJ778T |
|---|---|
| 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.26873#VUJR, Insertion ratio (statement)
History
- 2026-11-01: add by m2/v0.6.15
4Z9J52J0F6 4Z9J52J0F6
| URI | m2://inv/4Z9J52J0F6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#ILZ9 (definition). In 3A4K47Y9F2/e1, definition 6.8
History
- 2026-10-27: add by m2/v0.4.0
4Z9Z3X2KVQ 4Z9Z3X2KVQ
| URI | m2://inv/4Z9Z3X2KVQ |
|---|---|
| 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.20422#RTRA (statement). In HCH89W5Y2C/e1, lemma 14
History
- 2026-10-27: add by m2/v0.4.2
Forbidding $H_6$ 4ZA1MEJPP5
| URI | m2://inv/4ZA1MEJPP5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31331#UHM3, Forbidding $H_6$ (statement). In TWB64HRHWZ/e1, lemma 6
History
- 2026-10-31: add by m2/v0.5.6
Applications 4ZA6S0REYG
| URI | m2://inv/4ZA6S0REYG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Omega and agemo subgroup#FD0F, Applications (example)
History
- 2026-11-02: add by m2/dev
Annals of Probability 4ZAJ0P4RB7
| URI | m2://inv/4ZAJ0P4RB7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annals of Probability, Annals of Probability (definition). Also Wikidata Q4767861
History
- 2026-11-02: add by m2/dev
4ZASHQ3PFR 4ZASHQ3PFR
| URI | m2://inv/4ZASHQ3PFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12484#88ZK (statement). In GW23NX78SB/e1, corollary 4.41
History
- 2026-10-28: add by m2/v0.4.2
Regular paperfolding sequence 4ZAT328075
| URI | m2://inv/4ZAT328075 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular paperfolding sequence, Regular paperfolding sequence (definition). Also Wikidata Q768247
History
- 2026-11-02: add by m2/dev
Bulletin of the Iranian Mathematical Society 4ZAV00TK02
| URI | m2://inv/4ZAV00TK02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bulletin of the Iranian Mathematical Society, Bulletin of the Iranian Mathematical Society (definition). Also Wikidata Q15758989
History
- 2026-11-02: add by m2/dev
Anatoly Styopin 4ZAX064S8H
| URI | m2://inv/4ZAX064S8H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anatoly Styopin, Anatoly Styopin (topic). Also Wikidata Q23087474
History
- 2026-11-02: add by m2/dev
The Strand Magazine 4ZAYN7V5A5
| URI | m2://inv/4ZAYN7V5A5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1126800, The Strand Magazine (unknown). Also ProofWiki Book:Journal/The_Strand_Magazine
History
- 2026-10-26: add by m2/dev
Idempotent analysis 4ZAYX9SBXA
| URI | m2://inv/4ZAYX9SBXA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idempotent analysis, Idempotent analysis (topic). Also Wikidata Q60791880
History
- 2026-11-02: add by m2/dev
4ZB2ME0WP1 4ZB2ME0WP1
| URI | m2://inv/4ZB2ME0WP1 |
|---|---|
| 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.28518#A9WR (statement)
History
- 2026-11-01: add by m2/v0.6.15
4ZB2SXQC94 4ZB2SXQC94
| URI | m2://inv/4ZB2SXQC94 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12612#LP66 (statement). In 8A0VZV8PBN/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
4ZB4SNVXQM 4ZB4SNVXQM
| URI | m2://inv/4ZB4SNVXQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.21931#5QSF (statement)
History
- 2026-11-02: add by m2/v0.6.17
4ZB7CVXPYV 4ZB7CVXPYV
| URI | m2://inv/4ZB7CVXPYV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#NA9R (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hom-set adjunction. 4ZBB3DMGBP
| URI | m2://inv/4ZBB3DMGBP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint functors#Z2HV, Hom-set adjunction. (definition)
History
- 2026-11-02: add by m2/dev
4ZBB6FCY07 4ZBB6FCY07
| URI | m2://inv/4ZBB6FCY07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#2IQN (statement). In Z7E16PFFCP/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
Algorithm 4ZBKHWRAET
| URI | m2://inv/4ZBKHWRAET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quine–McCluskey algorithm#MI8K, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Example 4ZBKQP3P2B
| URI | m2://inv/4ZBKQP3P2B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Desmic system#X53A, Example (example)
History
- 2026-11-02: add by m2/dev
M/M/c queue 4ZBMPD1PHT
| URI | m2://inv/4ZBMPD1PHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M/M/c queue, M/M/c queue (definition). Also Wikidata Q2896016
History
- 2026-11-02: add by m2/dev
Application 4ZBV4M8B0H
| URI | m2://inv/4ZBV4M8B0H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kodaira dimension#JSZF, Application (example)
History
- 2026-11-02: add by m2/dev
Associated prime 4ZBY6TPS97
| URI | m2://inv/4ZBY6TPS97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associated prime, Associated prime (definition). Also Wikidata Q4809264
History
- 2026-11-02: add by m2/dev
Green identities 4ZC5AV0FE2
| URI | m2://inv/4ZC5AV0FE2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#GJ8P, Green identities (statement)
History
- 2026-11-01: add by m2/v0.6.15
4ZC7JHJW03 4ZC7JHJW03
| URI | m2://inv/4ZC7JHJW03 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#F89D (definition). In Z7E16PFFCP/e1, definition 5.11
History
- 2026-10-30: add by m2/v0.4.12
4ZCDBGMYEB 4ZCDBGMYEB
| URI | m2://inv/4ZCDBGMYEB |
|---|---|
| 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 1709.01658#UJ8I (statement). In 90A5Q9HRQK/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
separable algebra 4ZCDR99131
| URI | m2://inv/4ZCDR99131 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Separable algebra X8H7A98Q55 |
Mentions
- wikidata: Wikidata Q2836018, separable algebra (unknown). Also LMFDB knowl nf.separable_algebra
- wikipedia: Wikipedia Separable algebra, Separable algebra (definition). Also Wikidata Q2836018
History
- 2026-10-26: add by m2/dev
Fourier estimate for bounded regular energy densities 4ZCHQBYWMM
| URI | m2://inv/4ZCHQBYWMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#6DEV, Fourier estimate for bounded regular energy densities (statement). In 1QSV7EQE3T/e1, lemma S87
History
- 2026-10-28: add by m2/v0.4.2
4ZCJ0BWNMD 4ZCJ0BWNMD
| URI | m2://inv/4ZCJ0BWNMD |
|---|---|
| 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 2308.09645#GKKD (statement). In HVDSC1GQRD/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.3.5
Christoffel transformation associated with a lower cyclic factor 4ZCJBCFCZ4
| URI | m2://inv/4ZCJBCFCZ4 |
|---|---|
| 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#RE96, Christoffel transformation associated with a lower cyclic factor (statement)
History
- 2026-11-01: add by m2/v0.6.15
4ZCMP5W51V 4ZCMP5W51V
| URI | m2://inv/4ZCMP5W51V |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/syntax-and-semantics/sublogics.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 41.7
History
- 2026-11-01: add by m2/v0.6.13
Sir Michael Atiyah 4ZD02S3C3A
| URI | m2://inv/4ZD02S3C3A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#4G0Y, Sir Michael Atiyah (topic)
History
- 2026-11-02: add by m2/dev
Henk Broer 4ZD48JXN17
| URI | m2://inv/4ZD48JXN17 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MGPM, Henk Broer (topic)
History
- 2026-11-02: add by m2/dev
Example 4ZD8WNGK2H
| URI | m2://inv/4ZD8WNGK2H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Control variates#GLXD, Example (example)
History
- 2026-11-02: add by m2/dev
4ZDCBS2N8V 4ZDCBS2N8V
| URI | m2://inv/4ZDCBS2N8V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35229#FFEW (statement). In XBAXW1YBAK/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Sparse Fourier transform 4ZDCQGHWYR
| URI | m2://inv/4ZDCQGHWYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Fourier analysis topics#CUHU, Sparse Fourier transform (definition)
History
- 2026-11-02: add by m2/dev
Polyak's tuning and gradient descent 4ZDH45P4DP
| URI | m2://inv/4ZDH45P4DP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#IDHW, Polyak's tuning and gradient descent (statement). In 65TJENWK7X/e1, corollary 20
History
- 2026-10-29: add by m2/v0.4.10
4ZDM87SA5D 4ZDM87SA5D
| URI | m2://inv/4ZDM87SA5D |
|---|---|
| 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.07828#42PO (statement). In TWGMVT1N1G/e1, theorem 5.7
History
- 2026-10-29: add by m2/v0.4.10
point charge 4ZDNN787Z2
| URI | m2://inv/4ZDNN787Z2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q439029, point charge (definition). Also ProofWiki Definition:Point_Charge
History
- 2026-10-26: add by m2/dev
4ZDQGVYF4R 4ZDQGVYF4R
| URI | m2://inv/4ZDQGVYF4R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 63.2
History
- 2026-11-01: add by m2/v0.6.13
Examples 4ZDSH8PYP3
| URI | m2://inv/4ZDSH8PYP3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M-estimator#9USY, Examples (example)
History
- 2026-11-02: add by m2/dev
convergence in distribution 4ZDWH5CW23
| URI | m2://inv/4ZDWH5CW23 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Convergence in distribution 0JDAQHWA9N |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Convergence of a sequence of random variables > convergence in distribution, convergence in distribution (unknown). Also Mathlib MeasureTheory.ProbabilityMeasure.tendsto_iff_forall_integral_tendsto
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Seriation 4ZDWMWCD97
| URI | m2://inv/4ZDWMWCD97 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seriation (statistics), Seriation (definition). Also Wikidata Q48968948
History
- 2026-11-02: add by m2/dev
Applications 4ZDYQM302M
| URI | m2://inv/4ZDYQM302M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feature Importance#ETAJ, Applications (example)
History
- 2026-11-02: add by m2/dev
4ZE3EAKX56 4ZE3EAKX56
| URI | m2://inv/4ZE3EAKX56 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33313#EIVZ (definition). In HRCEFY172P/e1, definition A.3
History
- 2026-10-30: add by m2/v0.4.12
George Gallup 4ZE62K45Q4
| URI | m2://inv/4ZE62K45Q4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Gallup, George Gallup (topic). Also Wikidata Q315542
History
- 2026-11-02: add by m2/dev
Relation to Rado's theorem and Schur's theorem 4ZEFXJ94DH
| URI | m2://inv/4ZEFXJ94DH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Folkman's theorem#5TKI, Relation to Rado's theorem and Schur's theorem (statement)
History
- 2026-11-02: add by m2/dev
Occurence time 4ZEKQS3NXC
| URI | m2://inv/4ZEKQS3NXC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ergodic theory#60D2, Occurence time (unknown)
History
- 2026-11-02: add by m2/dev
Riemann–Hurwitz formula 4ZF7KT1YR2
| URI | m2://inv/4ZF7KT1YR2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#57EJ, Riemann–Hurwitz formula (unknown)
History
- 2026-11-02: add by m2/dev
4ZFGB5Y5WN 4ZFGB5Y5WN
| URI | m2://inv/4ZFGB5Y5WN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.09162#B95N (statement). In TAPS8P2VYS/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
4ZFGCVVKQZ 4ZFGCVVKQZ
| URI | m2://inv/4ZFGCVVKQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18033#4X3H (statement). In 59VRB6Y27N/e1, proposition 4.2
History
- 2026-10-28: add by m2/v0.4.2
4ZFHKPMA1R 4ZFHKPMA1R
| URI | m2://inv/4ZFHKPMA1R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35229#8JIO (statement). In XBAXW1YBAK/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
4ZFK9CQW0Z 4ZFK9CQW0Z
| URI | m2://inv/4ZFK9CQW0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33771#FLO4 (statement). In ZXQA7QH0H0/e1, proposition 2.11
History
- 2026-10-30: add by m2/v0.4.12
Stability of direction-switched deconvolution 4ZFKPHKD6A
| URI | m2://inv/4ZFKPHKD6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06028#89JH, Stability of direction-switched deconvolution (statement). In GAZRH97SXG/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Monochromatic triangle 4ZFS4RY33W
| URI | m2://inv/4ZFS4RY33W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#BNB3, Monochromatic triangle (definition)
History
- 2026-11-02: add by m2/dev
4ZFWAT2N0R 4ZFWAT2N0R
| URI | m2://inv/4ZFWAT2N0R |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39409#39H6 (unknown). In CQ0Z7QA0A5/e1, unknown 2.3
History
- 2026-10-30: add by m2/v0.4.12
Predictive validity 4ZFXWNGGJT
| URI | m2://inv/4ZFXWNGGJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8MZN, Predictive validity (definition)
History
- 2026-11-02: add by m2/dev
Properties 4ZFZCF6T55
| URI | m2://inv/4ZFZCF6T55 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia (B, N) pair#121G, Properties (statement)
History
- 2026-11-02: add by m2/dev
T. S. Broderick 4ZG3JWXESR
| URI | m2://inv/4ZG3JWXESR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T. S. Broderick, T. S. Broderick (topic). Also Wikidata Q75041449
History
- 2026-11-02: add by m2/dev
Examples 4ZGPS8T248
| URI | m2://inv/4ZGPS8T248 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia FOIL method#4PPH, Examples (example)
History
- 2026-11-02: add by m2/dev
List of graphs by edges and vertices 4ZGQH6C8C0
| URI | m2://inv/4ZGQH6C8C0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphs by edges and vertices, List of graphs by edges and vertices (topic). Also Wikidata Q56291809
History
- 2026-11-02: add by m2/dev
4ZH06EHPF5 4ZH06EHPF5
| URI | m2://inv/4ZH06EHPF5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20097#Q7D4 (statement)
History
- 2026-11-02: add by m2/v0.6.18
TI-84 Plus CE series 4ZH0W2YX01
| URI | m2://inv/4ZH0W2YX01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TI-84 Plus CE series, TI-84 Plus CE series (definition). Also Wikidata Q136675442
History
- 2026-11-02: add by m2/dev
Yehuda Farissol 4ZH6CP6WB4
| URI | m2://inv/4ZH6CP6WB4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#UBG9, Yehuda Farissol (unknown)
History
- 2026-11-02: add by m2/dev
Her work on Fermat's Last Theorem 4ZH9NZPW4J
| URI | m2://inv/4ZH9NZPW4J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sophie Germain#RHOS, Her work on Fermat's Last Theorem (statement)
History
- 2026-11-02: add by m2/dev
Exposed point 4ZHJSNRFHS
| URI | m2://inv/4ZHJSNRFHS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exposed point, Exposed point (definition). Also Wikidata Q21072692
History
- 2026-11-02: add by m2/dev
Persistence and identity 4ZHN7CYKWY
| URI | m2://inv/4ZHN7CYKWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roderick Chisholm#5JTF, Persistence and identity (statement)
History
- 2026-11-02: add by m2/dev
4ZHP15QXJ8 4ZHP15QXJ8
| URI | m2://inv/4ZHP15QXJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#LM41 (statement). In HH35K7S17H/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Properties 4ZHPSFD7HT
| URI | m2://inv/4ZHPSFD7HT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective linear group#YCSD, Properties (statement)
History
- 2026-11-02: add by m2/dev
4ZHRFJJ0BK 4ZHRFJJ0BK
| URI | m2://inv/4ZHRFJJ0BK |
|---|---|
| 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.15405#7MQ8 (statement). In 9QCYCXVF5W/e1, lemma 4.9
History
- 2026-10-28: add by m2/v0.4.2
Method 4ZHYYCVYGS
| URI | m2://inv/4ZHYYCVYGS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jury stability criterion#8W4A, Method (definition)
History
- 2026-11-02: add by m2/dev
4ZHZX5KJB8 4ZHZX5KJB8
| URI | m2://inv/4ZHZX5KJB8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/turing-machines/undecidability/unsolvability-decision-problem.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 87.2
History
- 2026-11-01: add by m2/v0.6.13
4ZJ1DQ524E 4ZJ1DQ524E
| URI | m2://inv/4ZJ1DQ524E |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#B3U5 (example). In CY1FE8W1ZW/e1, example 0.230
History
- 2026-10-27: add by m2/v0.4.0
4ZJ2211GHR 4ZJ2211GHR
| URI | m2://inv/4ZJ2211GHR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14838#ZF2W (statement). In J7ZX3WWRQP/e1, theorem 2.30
History
- 2026-10-28: add by m2/v0.4.2
Classical phase space anomaly 4ZJ6G6661K
| URI | m2://inv/4ZJ6G6661K |
|---|---|
| Kind | definition |
| 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.36548#GRL0, Classical phase space anomaly (definition). In TEGEX298ZR/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Hankel matrix associated with $\theta$ 4ZJEPHK71R
| URI | m2://inv/4ZJEPHK71R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12691#YESV, Hankel matrix associated with $\theta$ (definition). In YVQKT91MYN/e1, definition 2
History
- 2026-10-28: add by m2/v0.4.2
4ZJHQDF73W 4ZJHQDF73W
| URI | m2://inv/4ZJHQDF73W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28141#H5TR (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of finite-dimensional Nichols algebras 4ZJMQDWP2H
| URI | m2://inv/4ZJMQDWP2H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of finite-dimensional Nichols algebras, List of finite-dimensional Nichols algebras (topic). Also Wikidata Q21067957
History
- 2026-11-02: add by m2/dev
Finger-counting 4ZJQCGH6M3
| URI | m2://inv/4ZJQCGH6M3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finger-counting, Finger-counting (definition). Also Wikidata Q1417141
History
- 2026-11-02: add by m2/dev
Claiborne Latimer 4ZJR1YG1QB
| URI | m2://inv/4ZJR1YG1QB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claiborne Latimer, Claiborne Latimer (topic). Also Wikidata Q5125064
History
- 2026-11-02: add by m2/dev
Examples 4ZJVSEGRE3
| URI | m2://inv/4ZJVSEGRE3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integer-valued function#T771, Examples (example)
History
- 2026-11-02: add by m2/dev
4ZJWMWZ4M7 4ZJWMWZ4M7
| URI | m2://inv/4ZJWMWZ4M7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26340#T5K1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
4ZJX2NG2MJ 4ZJX2NG2MJ
| URI | m2://inv/4ZJX2NG2MJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21365#KJMO (statement). In FCMMB2EVAP/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.4.2
Condensers for affine sources 4ZK833ZDJG
| URI | m2://inv/4ZK833ZDJG |
|---|---|
| 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.32834#82KM, Condensers for affine sources (statement). In N4M6B8EMCW/e1, corollary 4.14
History
- 2026-10-31: add by m2/v0.5.6
4ZK8FKY3EX 4ZK8FKY3EX
| URI | m2://inv/4ZK8FKY3EX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0902.4479#YFET (statement). In Q6HKX2FCFG/e1, corollary 1.2.1
History
- 2026-10-27: add by m2/v0.3.5
Spatial localization 4ZKDC8B2CN
| URI | m2://inv/4ZKDC8B2CN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39699#VSBV, Spatial localization (statement). In 6M4TMC8G6X/e1, proposition 7
History
- 2026-10-30: add by m2/v0.4.12
4ZKFWATN2J 4ZKFWATN2J
| URI | m2://inv/4ZKFWATN2J |
|---|---|
| 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.32078#FJZM (statement). In 5PN85N6EJF/e1, lemma D.1
History
- 2026-10-31: add by m2/v0.5.6
4ZKNPCT7BJ 4ZKNPCT7BJ
| URI | m2://inv/4ZKNPCT7BJ |
|---|---|
| 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.36877#0DEO (statement). In FYS6VV5M99/e1, theorem 1.11
History
- 2026-10-30: add by m2/v0.4.12
4ZKP3X7XSV 4ZKP3X7XSV
| URI | m2://inv/4ZKP3X7XSV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26600#MUND (definition)
History
- 2026-11-01: add by m2/v0.6.15
Parameter and arithmetic complexity 4ZKRK9SAAS
| URI | m2://inv/4ZKRK9SAAS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03303#NUP9, Parameter and arithmetic complexity (statement). In VS9KKQWEMX/e1, theorem B.9
History
- 2026-10-29: add by m2/v0.4.12
type theory, intensional 4ZKWHJFEKE
| URI | m2://inv/4ZKWHJFEKE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/type-theory-intensional, type theory, intensional (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Properties 4ZM0F662W5
| URI | m2://inv/4ZM0F662W5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Positive element#15C7, Properties (statement)
History
- 2026-11-02: add by m2/dev
Construction 4ZM1JP2SYT
| URI | m2://inv/4ZM1JP2SYT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated tetrakis cube#WXFA, Construction (definition)
History
- 2026-11-02: add by m2/dev
Analytics 4ZM2VQKMZ6
| URI | m2://inv/4ZM2VQKMZ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analytics, Analytics (definition). Also Wikidata Q485396
History
- 2026-11-02: add by m2/dev
4ZM3RMJAPC 4ZM3RMJAPC
| URI | m2://inv/4ZM3RMJAPC |
|---|---|
| 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 2610.20050#J6L3 (definition). In T41GD0Y0GX/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
Deterministic Equivalent Law 4ZM549WA79
| URI | m2://inv/4ZM549WA79 |
|---|---|
| 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.21140#KA2S, Deterministic Equivalent Law (statement)
History
- 2026-11-02: add by m2/v0.6.18
level set complex 4ZM68QV97N
| URI | m2://inv/4ZM68QV97N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03461#697D, level set complex (definition). In XJVZSGCX5V/e1, definition 5
History
- 2026-10-27: add by m2/v0.3.5
Projective module 4ZMFRG3BP2
| URI | m2://inv/4ZMFRG3BP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of homological algebra topics#8CLS, Projective module (definition)
- wikipedia: Wikipedia List of commutative algebra topics#CPG9, Projective module (definition)
History
- 2026-11-02: add by m2/dev
Abraham–Minkowski controversy 4ZMGMDEN3K
| URI | m2://inv/4ZMGMDEN3K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abraham–Minkowski controversy, Abraham–Minkowski controversy (definition). Also Wikidata Q4669317
History
- 2026-11-02: add by m2/dev
Takurō Mochizuki 4ZMH18498M
| URI | m2://inv/4ZMH18498M |
|---|---|
| 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#38VR, Takurō Mochizuki (topic)
History
- 2026-11-02: add by m2/dev
Monomial equivalence 4ZMV2GRPEY
| URI | m2://inv/4ZMV2GRPEY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15535#K0AN, Monomial equivalence (definition). In 73A9KWZJRD/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.2
4ZMVE995ZT 4ZMVE995ZT
| URI | m2://inv/4ZMVE995ZT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14217#K2HU (example). In K0DHYQC5B7/e1, example 4.6
History
- 2026-10-28: add by m2/v0.4.2
4ZMVPRBZX0 4ZMVPRBZX0
| URI | m2://inv/4ZMVPRBZX0 |
|---|---|
| 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.14217#O7NJ (statement). In K0DHYQC5B7/e1, theorem 2.11
History
- 2026-10-28: add by m2/v0.4.2
Edward Tufte 4ZNCKEPK9V
| URI | m2://inv/4ZNCKEPK9V |
|---|---|
| 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#RP2U, Edward Tufte (topic)
History
- 2026-11-02: add by m2/dev
4ZNJACC7ZY 4ZNJACC7ZY
| URI | m2://inv/4ZNJACC7ZY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#F3VQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Krull's Principal Ideal Theorem for $Z$-Noetherian Rings 4ZNJPSMTYP
| URI | m2://inv/4ZNJPSMTYP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16178#BKSM, Krull's Principal Ideal Theorem for $Z$-Noetherian Rings (statement). In 698X5RE1AB/e1, theorem 2.16
History
- 2026-10-28: add by m2/v0.4.2
SSL 3.1 4ZNM86G9T5
| URI | m2://inv/4ZNM86G9T5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport Layer Security#WNWZ, SSL 3.1 (unknown)
History
- 2026-11-02: add by m2/dev
4ZNPP341F1 4ZNPP341F1
| URI | m2://inv/4ZNPP341F1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14803#IM27 (example). In VAEVDTBD3B/e1, example 4.14
History
- 2026-10-28: add by m2/v0.4.2
Giovanni Battista Amici 4ZNSW18QHH
| URI | m2://inv/4ZNSW18QHH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#6JVN, Giovanni Battista Amici (unknown)
- wikipedia: Wikipedia List of Italian mathematicians#QGU1, Giovanni Battista Amici (unknown)
History
- 2026-11-02: add by m2/dev
APOS Theory 4ZNT4Q3TBZ
| URI | m2://inv/4ZNT4Q3TBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia APOS Theory, APOS Theory (definition). Also Wikidata Q129164702
History
- 2026-11-02: add by m2/dev
Von Koch curve 4ZNTJVP53W
| URI | m2://inv/4ZNTJVP53W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#1C1S, Von Koch curve (definition)
History
- 2026-11-02: add by m2/dev
Merger is an equivalence relation 4ZNX414PG9
| URI | m2://inv/4ZNX414PG9 |
|---|---|
| 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.37375#V8ZL, Merger is an equivalence relation (statement). In PV4Z2FRXRZ/e1, lemma 4.6
History
- 2026-10-30: add by m2/v0.4.12
Statistics New Zealand 4ZNYG05J3D
| URI | m2://inv/4ZNYG05J3D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Statistics New Zealand, Statistics New Zealand (definition). Also Wikidata Q1819197
History
- 2026-11-02: add by m2/dev
Erdős–Szekeres theorem 4ZP4QBDR8C
| URI | m2://inv/4ZP4QBDR8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#ETBG, Erdős–Szekeres theorem (statement)
History
- 2026-11-02: add by m2/dev
Frederic W. Shultz 4ZP51E89HV
| URI | m2://inv/4ZP51E89HV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q64141149, Frederic W. Shultz (unknown). Also nLab Frederic Shultz
History
- 2026-10-26: add by m2/dev
existence 4ZPF86068H
| URI | m2://inv/4ZPF86068H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#C9G0, existence (statement). In PF5JJ9DS8Q/e1, theorem 5.3.4
History
- 2026-10-28: add by m2/v0.4.2
4ZPHS9QAY9 4ZPHS9QAY9
| URI | m2://inv/4ZPHS9QAY9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#EFQD (statement). In KZ71GXT2B0/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.2
Palais–Smale compactness condition 4ZPHVBX8ET
| URI | m2://inv/4ZPHVBX8ET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Palais–Smale compactness condition, Palais–Smale compactness condition (definition). Also Wikidata Q3686430
History
- 2026-11-02: add by m2/dev
4ZPQP52BJF 4ZPQP52BJF
| URI | m2://inv/4ZPQP52BJF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23128#32GM (statement)
History
- 2026-11-02: add by m2/v0.6.17
4ZPSCZY9A2 4ZPSCZY9A2
| URI | m2://inv/4ZPSCZY9A2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#example-3 (example). In RZP28ERRZV, example, section 89.6
History
- 2026-11-01: add by m2/v0.6.13
4ZPZABVFWF 4ZPZABVFWF
| URI | m2://inv/4ZPZABVFWF |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07445#J02E (conjecture). In F1BM3Q8125/e1, conjecture 1.5
History
- 2026-10-29: add by m2/v0.4.10
List of numbers 4ZQ26PHDT1
| URI | m2://inv/4ZQ26PHDT1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics reference tables#P21Q, List of numbers (topic)
- wikipedia: Wikipedia List of mathematical examples#09PU, List of numbers (topic)
- wikipedia: Wikipedia Lists of mathematics topics#CEHA, List of numbers (topic)
History
- 2026-11-02: add by m2/dev
4ZQC2XHQD9 4ZQC2XHQD9
| URI | m2://inv/4ZQC2XHQD9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09390#WN7B (statement). In 7SSKW778T8/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
algebraic geometry 4ZQGN5JJFN
| URI | m2://inv/4ZQGN5JJFN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#R4VU, algebraic geometry (definition)
History
- 2026-11-02: add by m2/dev
Definition 4ZQK138BFS
| URI | m2://inv/4ZQK138BFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Little q-Jacobi polynomials#I57Q, Definition (definition)
History
- 2026-11-02: add by m2/dev
Bessel's inequality and Parseval's formula 4ZQQ7YQF09
| URI | m2://inv/4ZQQ7YQF09 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert space#KJK9, Bessel's inequality and Parseval's formula (statement)
History
- 2026-11-02: add by m2/dev
4ZQQB04YZR 4ZQQB04YZR
| URI | m2://inv/4ZQQB04YZR |
|---|---|
| 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.28669#07SM (statement)
History
- 2026-11-01: add by m2/v0.6.15
4ZQTB3Q0EC 4ZQTB3Q0EC
| URI | m2://inv/4ZQTB3Q0EC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05820#LM4F (statement). In S8EGCJQ0JV/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
4ZR3MG2K77 4ZR3MG2K77
| URI | m2://inv/4ZR3MG2K77 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#HUXI (statement). In C8JAGP8VCQ/e1, lemma 10.4
History
- 2026-10-27: add by m2/v0.3.5
4ZRC9YFR2J 4ZRC9YFR2J
| URI | m2://inv/4ZRC9YFR2J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00247#9J5R (statement). In ZAM4S2XS9F/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
4ZRDWDH0P5 4ZRDWDH0P5
| URI | m2://inv/4ZRDWDH0P5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.03461#NAQ1 (statement). In XJVZSGCX5V/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Basic property 4ZRK03A9CX
| URI | m2://inv/4ZRK03A9CX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological data analysis#PDOB, Basic property (statement)
History
- 2026-11-02: add by m2/dev
4ZRXZW5K3D 4ZRXZW5K3D
| URI | m2://inv/4ZRXZW5K3D |
|---|---|
| Kind | definition |
| 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.30363#RE5D (definition). In QHBBP180QJ/e1, definition 5
History
- 2026-10-31: add by m2/v0.5.6
Classical Discrepancy 4ZSDP1K0X9
| URI | m2://inv/4ZSDP1K0X9 |
|---|---|
| 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.21017#F9F6, Classical Discrepancy (statement)
History
- 2026-11-02: add by m2/v0.6.18
4ZT1JSBNW1 4ZT1JSBNW1
| URI | m2://inv/4ZT1JSBNW1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
The bounded joint reference 4ZT8SZ9DEF
| URI | m2://inv/4ZT8SZ9DEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#KCZS, The bounded joint reference (statement). In 9YAE8FNQST/e1, theorem 2.6
History
- 2026-10-30: add by m2/v0.4.12
point estimation 4ZTD7C7R0Q
| URI | m2://inv/4ZTD7C7R0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#VEVH, point estimation (definition)
History
- 2026-11-02: add by m2/dev
The loop closed 4ZTDDYYKYJ
| URI | m2://inv/4ZTDDYYKYJ |
|---|---|
| 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.04671#QWNI, The loop closed (statement). In BYP65TRGDT/e1, theorem 5.17
History
- 2026-10-29: add by m2/v0.4.12
Ljubisa D.R. Kocinac 4ZTGXDNPN0
| URI | m2://inv/4ZTGXDNPN0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ljubisa D.R. Kocinac, Ljubisa D.R. Kocinac (topic). Also Wikidata Q28114141
History
- 2026-11-02: add by m2/dev
4ZTHTVR39X 4ZTHTVR39X
| URI | m2://inv/4ZTHTVR39X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-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.17626#HL1H (statement). In 54ATJS74DT/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
4ZV1BAQJJV 4ZV1BAQJJV
| URI | m2://inv/4ZV1BAQJJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#KK3C (statement)
History
- 2026-11-02: add by m2/v0.6.18
Galois group of a polynomial 4ZV6E2Z18E
| URI | m2://inv/4ZV6E2Z18E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#M5H8, Galois group of a polynomial (definition)
History
- 2026-11-02: add by m2/dev
John Brillhart 4ZV72V6CZ5
| URI | m2://inv/4ZV72V6CZ5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#5J37, John Brillhart (topic)
History
- 2026-11-02: add by m2/dev
4ZV7FPPK4Z 4ZV7FPPK4Z
| URI | m2://inv/4ZV7FPPK4Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#5S7P (statement)
History
- 2026-11-01: add by m2/v0.6.15
symmetry 4ZV7XC26PX
| URI | m2://inv/4ZV7XC26PX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#56SO, symmetry (definition)
History
- 2026-11-02: add by m2/dev
4ZVD9Y654C 4ZVD9Y654C
| URI | m2://inv/4ZVD9Y654C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-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 1503.05744#Q3U7 (statement). In 5XKHZKEGAF/e1, corollary 3.9
History
- 2026-10-27: add by m2/v0.3.5
Formulation 4ZVFMCKK12
| URI | m2://inv/4ZVFMCKK12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's equations (rigid body dynamics)#SFUH, Formulation (definition)
History
- 2026-11-02: add by m2/dev
4ZVG7A0YGV 4ZVG7A0YGV
| URI | m2://inv/4ZVG7A0YGV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#theorem-9 (statement). In E9HS8K3A52, theorem, section 6.5.1
History
- 2026-11-01: add by m2/v0.6.13
4ZVK8C1ZAY 4ZVK8C1ZAY
| URI | m2://inv/4ZVK8C1ZAY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20599#GXYO (statement)
History
- 2026-11-02: add by m2/v0.6.18
filter 4ZVSPDR1MM
| URI | m2://inv/4ZVSPDR1MM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > General topology > filter, filter (unknown). Also Mathlib Filter
History
- 2026-10-26: add by m2/dev
4ZVTVD8VQA 4ZVTVD8VQA
| URI | m2://inv/4ZVTVD8VQA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#6A2A (definition). In 4WPYBTARS2/e1, definition 3.10
History
- 2026-10-29: add by m2/v0.4.12
Prandtl–Meyer expansion fan 4ZVW4NRXD1
| URI | m2://inv/4ZVW4NRXD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prandtl–Meyer expansion fan, Prandtl–Meyer expansion fan (definition). Also Wikidata Q4456943
History
- 2026-11-02: add by m2/dev
Examples 4ZW1TJVKGD
| URI | m2://inv/4ZW1TJVKGD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal matrix#E8GO, Examples (example)
History
- 2026-11-02: add by m2/dev
Closed testing procedure 4ZWEF2XWKM
| URI | m2://inv/4ZWEF2XWKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#79BO, Closed testing procedure (definition)
History
- 2026-11-02: add by m2/dev
Lelong number 4ZWEHC7W6D
| URI | m2://inv/4ZWEHC7W6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lelong number, Lelong number (definition). Also Wikidata Q6520938
History
- 2026-11-02: add by m2/dev
Definition 4ZWM29SACA
| URI | m2://inv/4ZWM29SACA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid category#GX31, Definition (definition)
History
- 2026-11-02: add by m2/dev
symplectic Lie algebra 4ZWS0JQYCG
| URI | m2://inv/4ZWS0JQYCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q52241637, symplectic Lie algebra (unknown). Also MathWorld SymplecticLieAlgebra, nLab symplectic Lie algebra
History
- 2026-10-26: add by m2/dev
4ZWSP902N4 4ZWSP902N4
| URI | m2://inv/4ZWSP902N4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36313#9OFZ (definition). In Z5SP3NW41S/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
4ZWY78XMZY 4ZWY78XMZY
| URI | m2://inv/4ZWY78XMZY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/limits.tex#definition-2 (definition). In RZP28ERRZV, definition, section 32.1
History
- 2026-11-01: add by m2/v0.6.13
Cheng's eigenvalue comparison theorem 4ZWZP89B47
| URI | m2://inv/4ZWZP89B47 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5091194, Cheng's eigenvalue comparison theorem (statement). Also Wikidata Q5091194
- thousand_plus: thousand_plus Q5091194, Cheng's eigenvalue comparison theorem (statement). Also Wikidata Q5091194, Wikipedia Cheng's eigenvalue comparison theorem
- wikipedia: Wikipedia Cheng's eigenvalue comparison theorem, Cheng's eigenvalue comparison theorem (statement). Also Wikidata Q5091194
History
- 2026-10-26: add by m2/dev
Lotka's integral equation 4ZX3AF1XKJ
| URI | m2://inv/4ZX3AF1XKJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler–Lotka equation#53JA, Lotka's integral equation (unknown)
History
- 2026-11-02: add by m2/dev
Nikolai Ivanovich Lobachevsky 4ZX3HF2AW2
| URI | m2://inv/4ZX3HF2AW2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#P793, Nikolai Ivanovich Lobachevsky (topic)
History
- 2026-11-02: add by m2/dev
Quadratic phase and fixed point 4ZX939A462
| URI | m2://inv/4ZX939A462 |
|---|---|
| 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.21880#5G3D, Quadratic phase and fixed point (statement)
History
- 2026-11-02: add by m2/v0.6.18
Classical solvability in the interior, [\S 6.3.1, Theorem 3]{evans-2010-par-dif-equ 4ZXG3DXHK8
| URI | m2://inv/4ZXG3DXHK8 |
|---|---|
| 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.32561#JGHQ, Classical solvability in the interior, [\S 6.3.1, Theorem 3]{evans-2010-par-dif-equ (statement). In NBT0ZCHBB6/e1, corollary 3
History
- 2026-10-31: add by m2/v0.5.6
Faithfully flat descent 4ZXP9Z2SV3
| URI | m2://inv/4ZXP9Z2SV3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faithfully flat descent, Faithfully flat descent (definition). Also Wikidata Q104841007
History
- 2026-11-02: add by m2/dev
Silk Road 3 4ZXR6734TM
| URI | m2://inv/4ZXR6734TM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silk Road (marketplace)#059P, Silk Road 3 (unknown)
History
- 2026-11-02: add by m2/dev
4ZXVGAVCES 4ZXVGAVCES
| URI | m2://inv/4ZXVGAVCES |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09567#EASE (definition). In 7RV6BDZAFK/e1, definition 6.3
History
- 2026-10-29: add by m2/v0.4.10
4ZY4BC7E1R 4ZY4BC7E1R
| URI | m2://inv/4ZY4BC7E1R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-8 (example). In VNMV985MXX, example, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Helga Baum 4ZY4YZAFC1
| URI | m2://inv/4ZY4YZAFC1 |
|---|---|
| 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 Q1602142, Helga Baum (unknown). Also nLab Helga Baum
- wikipedia: Wikipedia Helga Baum, Helga Baum (topic). Also Wikidata Q1602142
History
- 2026-10-26: add by m2/dev
4ZY4ZF0EYZ 4ZY4ZF0EYZ
| URI | m2://inv/4ZY4ZF0EYZ |
|---|---|
| Kind | statement |
| 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 2503.12486#2KN3 (statement). In 3343AEAXB3/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
4ZY6RQZJKP 4ZY6RQZJKP
| URI | m2://inv/4ZY6RQZJKP |
|---|---|
| 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 2506.09840#LCRA (statement). In Y7TWHSF2HC/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Anti-de Sitter space 4ZYBTG1Q1H
| URI | m2://inv/4ZYBTG1Q1H |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anti-de Sitter space, Anti-de Sitter space (object). Also Wikidata Q574780
History
- 2026-11-02: add by m2/dev
4ZYE78EPVF 4ZYE78EPVF
| URI | m2://inv/4ZYE78EPVF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/structure.tex#example-4 (example). In RZP28ERRZV, example, section 6.6
History
- 2026-11-01: add by m2/v0.6.13
4ZYEPW9V1P 4ZYEPW9V1P
| URI | m2://inv/4ZYEPW9V1P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30274#7YFO (definition). In 6ASPPVJP5M/e1, definition 4
History
- 2026-10-31: add by m2/v0.5.6
John Moffat 4ZYK8BDGF6
| URI | m2://inv/4ZYK8BDGF6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#FS6G, John Moffat (unknown)
History
- 2026-11-02: add by m2/dev
4ZYQNZDX4W 4ZYQNZDX4W
| URI | m2://inv/4ZYQNZDX4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.00323#IJLT (statement). In BPRFEQY7W4/e1, theorem 3.16
History
- 2026-10-27: add by m2/v0.3.6
4ZYSSHB1TK 4ZYSSHB1TK
| URI | m2://inv/4ZYSSHB1TK |
|---|---|
| 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.32997#7PW3 (definition). In N380GY9A9N/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
Applications 4ZZ690XH3G
| URI | m2://inv/4ZZ690XH3G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine Lie algebra#JZYQ, Applications (example)
History
- 2026-11-02: add by m2/dev
Slope number 4ZZ7TM3WTK
| URI | m2://inv/4ZZ7TM3WTK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#7474, Slope number (definition)
History
- 2026-11-02: add by m2/dev
Universal upper bound 4ZZC2ZGP84
| URI | m2://inv/4ZZC2ZGP84 |
|---|---|
| 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.40054#6I3O, Universal upper bound (statement). In CA4C9PFM1E/e1, proposition 5.2.2
History
- 2026-10-30: add by m2/v0.4.12
4ZZFN73BSN 4ZZFN73BSN
| URI | m2://inv/4ZZFN73BSN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27788#7A1D (statement)
History
- 2026-11-01: add by m2/v0.6.15
4ZZMFFMFW8 4ZZMFFMFW8
| URI | m2://inv/4ZZMFFMFW8 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#0B7S (example). In HX63A1PH1W/e1, example 7.31
History
- 2026-10-28: add by m2/v0.4.3
The underlying diffeological space 4ZZZ71KBGS
| URI | m2://inv/4ZZZ71KBGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-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.26270#WBKG, The underlying diffeological space (statement)
History
- 2026-11-01: add by m2/v0.6.15