Inventory rows 46
The cards of the rows of the inventory whose ids start with 46. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Ukraine 460DA37J2A
| URI | m2://inv/460DA37J2A |
|---|---|
| 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 Q212, Ukraine (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Ukraine
History
- 2026-10-26: add by m2/dev
Bad events 460WBDBJ19
| URI | m2://inv/460WBDBJ19 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.11101#2IW1, Bad events (definition). In YBBKTP4E70/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.3.5
460XMRGBK1 460XMRGBK1
| URI | m2://inv/460XMRGBK1 |
|---|---|
| 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.22306#JUGH (statement)
History
- 2026-11-02: add by m2/v0.6.17
Artin's conjecture 460Y4WGYVT
| URI | m2://inv/460Y4WGYVT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-algebraically closed field#QCP0, Artin's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Examples 4610F03FNJ
| URI | m2://inv/4610F03FNJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to advantage#XCCR, Examples (example)
History
- 2026-11-02: add by m2/dev
Elementary properties 4610N0GKR0
| URI | m2://inv/4610N0GKR0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pre-abelian category#6PFH, Elementary properties (statement)
History
- 2026-11-02: add by m2/dev
46129TX2WC 46129TX2WC
| URI | m2://inv/46129TX2WC |
|---|---|
| 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#UGGE (statement). In SBZNH932ZV/e1, theorem 7.7
History
- 2026-10-30: add by m2/v0.4.12
461FGDZZ1K 461FGDZZ1K
| URI | m2://inv/461FGDZZ1K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#U2NC (definition). In M0SQY5EZN5/e1, definition 4.4.1
History
- 2026-10-27: add by m2/v0.3.5
Definition 461G0A0NC9
| URI | m2://inv/461G0A0NC9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic set#ME5N, Definition (definition)
History
- 2026-11-02: add by m2/dev
CIPHERUNICORN-A 461H94TW0R
| URI | m2://inv/461H94TW0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CIPHERUNICORN-A, CIPHERUNICORN-A (definition). Also Wikidata Q3648747
History
- 2026-11-02: add by m2/dev
461KNDQWQB 461KNDQWQB
| URI | m2://inv/461KNDQWQB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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 2403.16388#0RPX (definition). In HH4ADHZ8XD/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.4.0
Lévy C curve 461M1BF1HD
| URI | m2://inv/461M1BF1HD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#W3CA, Lévy C curve (definition)
- wikipedia: Wikipedia List of curves#3NOV, Lévy C curve (definition)
History
- 2026-11-02: add by m2/dev
461M94TAF9 461M94TAF9
| URI | m2://inv/461M94TAF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#W8S6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of Banach spaces 461PMXH8DF
| URI | m2://inv/461PMXH8DF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces, List of Banach spaces (topic). Also Wikidata Q6563343
History
- 2026-11-02: add by m2/dev
Generalized hydrodynamics 461RTEK616
| URI | m2://inv/461RTEK616 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized hydrodynamics, Generalized hydrodynamics (topic). Also Wikidata Q139962634
History
- 2026-11-02: add by m2/dev
Examples 461XZD62HP
| URI | m2://inv/461XZD62HP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order topology (functional analysis)#E68N, Examples (example)
History
- 2026-11-02: add by m2/dev
4620WTZGSS 4620WTZGSS
| URI | m2://inv/4620WTZGSS |
|---|---|
| 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#0S5Q (definition). In 3A4K47Y9F2/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.4.0
Loschmidt's paradox 4621TE8ZQC
| URI | m2://inv/4621TE8ZQC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loschmidt's paradox, Loschmidt's paradox (statement). Also Wikidata Q3895095
History
- 2026-11-02: add by m2/dev
Variants 4622Y2TQD7
| URI | m2://inv/4622Y2TQD7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Criss-cross algorithm#Q7I2, Variants (statement)
History
- 2026-11-02: add by m2/dev
Loop group 4625PPJ12W
| URI | m2://inv/4625PPJ12W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#8K6Q, Loop group (definition)
History
- 2026-11-02: add by m2/dev
A unique equilibrium by rotation 46267J7Q03
| URI | m2://inv/46267J7Q03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.22058#IV5E, A unique equilibrium by rotation (statement)
History
- 2026-11-02: add by m2/v0.6.17
4628JQN4C3 4628JQN4C3
| URI | m2://inv/4628JQN4C3 |
|---|---|
| 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 2401.14162#GM4W (statement). In JC1XF1JE6J/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.3.5
merely 462G6XDGZC
| URI | m2://inv/462G6XDGZC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/merely, merely (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Biases in academia 462SR4Y8MJ
| URI | m2://inv/462SR4Y8MJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bias#1UQQ, Biases in academia (unknown)
History
- 2026-11-02: add by m2/dev
462V8MSPF8 462V8MSPF8
| URI | m2://inv/462V8MSPF8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29489#N70J (statement)
History
- 2026-11-01: add by m2/v0.6.15
arithmetic progression 463A9904JY
| URI | m2://inv/463A9904JY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.6/arithmetic-progression, arithmetic progression (concept). In QKM9DD2H56, index, section 16.6
History
- 2026-11-01: add by m2/v0.6.13
standard score 463XW356E7
| URI | m2://inv/463XW356E7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#OHUA, standard score (definition)
History
- 2026-11-02: add by m2/dev
4640KQW5BR 4640KQW5BR
| URI | m2://inv/4640KQW5BR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16514#9R2L (statement). In 7RSA1AZ4XK/e1, theorem 3.8
History
- 2026-10-28: add by m2/v0.4.2
$\beta$-normal 4648B2R93A
| URI | m2://inv/4648B2R93A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/syntax/beta.tex#defn-1, $\beta$-normal (definition). In PKGMM3P5QY, defn, section 38.10
History
- 2026-11-01: add by m2/v0.6.13
46499R8D3M 46499R8D3M
| URI | m2://inv/46499R8D3M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2303.09207#4PY0 (definition). In 9DQKY7KGE8/e1, definition 4.23
History
- 2026-10-27: add by m2/v0.3.5
Compatibility 464FY1W6NK
| URI | m2://inv/464FY1W6NK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26201#UF19, Compatibility (statement)
History
- 2026-11-01: add by m2/v0.6.15
Geospatial Predictive Modeling 464PQ4PBH6
| URI | m2://inv/464PQ4PBH6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spatial analysis#43MR, Geospatial Predictive Modeling (unknown)
History
- 2026-11-02: add by m2/dev
Directional symmetry 464SKMDWNN
| URI | m2://inv/464SKMDWNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directional symmetry (time series), Directional symmetry (definition). Also Wikidata Q5280452
History
- 2026-11-02: add by m2/dev
Rule of three (medicine) 464SSCATX9
| URI | m2://inv/464SSCATX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of analyses of categorical data#UTSB, Rule of three (medicine) (definition)
- wikipedia: Wikipedia List of statistics articles#SZPW, Rule of three (medicine) (definition)
History
- 2026-11-02: add by m2/dev
Jane Cullum 464VJR4Q4B
| URI | m2://inv/464VJR4Q4B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jane Cullum, Jane Cullum (topic). Also Wikidata Q97801351
History
- 2026-11-02: add by m2/dev
46534YFDWV 46534YFDWV
| URI | m2://inv/46534YFDWV |
|---|---|
| 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 2208.06310#KTER (statement). In 9YR0E0T9XA/e1, proposition 3.19
History
- 2026-10-27: add by m2/v0.3.5
An exact non-Gaussian convolution model 465C8WK65S
| URI | m2://inv/465C8WK65S |
|---|---|
| Kind | example |
| 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#PC12, An exact non-Gaussian convolution model (example). In 9YAE8FNQST/e1, example 17.27
History
- 2026-10-30: add by m2/v0.4.12
465FQHGXEZ 465FQHGXEZ
| URI | m2://inv/465FQHGXEZ |
|---|---|
| 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.13618#FSM0 (statement). In XDQAEGH345/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Helmut Hasse 465GCP6Y6M
| URI | m2://inv/465GCP6Y6M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VYYZ, Helmut Hasse (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#3Y06, Helmut Hasse (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DT6O, Helmut Hasse (topic)
- wikipedia: Wikipedia List of German mathematicians#P84E, Helmut Hasse (topic)
History
- 2026-11-02: add by m2/dev
Simple rational approximation 465HVK3BT7
| URI | m2://inv/465HVK3BT7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#F1M0, Simple rational approximation (unknown)
History
- 2026-11-02: add by m2/dev
465JWMVQNG 465JWMVQNG
| URI | m2://inv/465JWMVQNG |
|---|---|
| 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.08383#WI9R (statement). In 5F8S516DT5/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
466023AGW2 466023AGW2
| URI | m2://inv/466023AGW2 |
|---|---|
| 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.13852#OMDB (example). In SXTGSAH3WF/e1, example 7.1
History
- 2026-10-28: add by m2/v0.4.2
Second law inequality 4665H85VAX
| URI | m2://inv/4665H85VAX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluctuation theorem#J099, Second law inequality (statement)
History
- 2026-11-02: add by m2/dev
466BF183ED 466BF183ED
| URI | m2://inv/466BF183ED |
|---|---|
| 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.03449#JQEG (statement). In 3XM05SYQ8D/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Examples 466C1J8WD0
| URI | m2://inv/466C1J8WD0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Büchi–Elgot–Trakhtenbrot theorem#8VKX, Examples (example)
History
- 2026-11-02: add by m2/dev
Hamiltonian optics 466CK9B951
| URI | m2://inv/466CK9B951 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamiltonian optics, Hamiltonian optics (definition). Also Wikidata Q5645298
History
- 2026-11-02: add by m2/dev
Definition 466CQT1RJJ
| URI | m2://inv/466CQT1RJJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Recurrence relation#S0Q0, Definition (definition)
History
- 2026-11-02: add by m2/dev
subterminal object 466PT5SHWS
| URI | m2://inv/466PT5SHWS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25103668, subterminal object (unknown). Also nLab subterminal object
- wikipedia: Wikipedia Subterminal object, Subterminal object (definition). Also Wikidata Q25103668
History
- 2026-10-26: add by m2/dev
Residual comparison and alternative stability 466RSMR7RY
| URI | m2://inv/466RSMR7RY |
|---|---|
| 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 2609.31555#PN8J, Residual comparison and alternative stability (statement). In 2GC6K487FE/e1, lemma
History
- 2026-10-31: add by m2/v0.5.6
Operation Rubicon 466TBR6C14
| URI | m2://inv/466TBR6C14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operation Rubicon, Operation Rubicon (definition). Also Wikidata Q84987398
History
- 2026-11-02: add by m2/dev
Properties 4676BXX7YC
| URI | m2://inv/4676BXX7YC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia U-rank#5XAR, Properties (statement)
History
- 2026-11-02: add by m2/dev
4679DS8ZV2 4679DS8ZV2
| URI | m2://inv/4679DS8ZV2 |
|---|---|
| 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.08424#BEKX (definition). In BVD2HAAKD5/e1, definition 1.12
History
- 2026-10-29: add by m2/v0.4.10
4679E75SFQ 4679E75SFQ
| URI | m2://inv/4679E75SFQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26357#O7EW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Direct buffered regularised heat-bath inequality 467FEZHZA4
| URI | m2://inv/467FEZHZA4 |
|---|---|
| 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.03683#ZMOR, Direct buffered regularised heat-bath inequality (statement). In 14AMXF6X2V/e1, corollary A.2
History
- 2026-10-29: add by m2/v0.4.12
Euler's equation of inviscid flow 467SM7XC4C
| URI | m2://inv/467SM7XC4C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inviscid flow#3SZU, Euler's equation of inviscid flow (unknown)
History
- 2026-11-02: add by m2/dev
Gauss–Lucas theorem 4681MBNAYV
| URI | m2://inv/4681MBNAYV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WTZ5, Gauss–Lucas theorem (statement)
History
- 2026-11-02: add by m2/dev
4685B65D26 4685B65D26
| URI | m2://inv/4685B65D26 |
|---|---|
| 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.35398#942F (statement). In NAJCCHYXR6/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
4686QS88A8 4686QS88A8
| URI | m2://inv/4686QS88A8 |
|---|---|
| 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.23617#V9OQ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Numerical error 468BKA9BG8
| URI | m2://inv/468BKA9BG8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical error, Numerical error (definition). Also Wikidata Q7069656
History
- 2026-11-02: add by m2/dev
ZF 468E4DAH6E
| URI | m2://inv/468E4DAH6E |
|---|---|
| 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.25291#31FN, ZF (statement)
History
- 2026-11-01: add by m2/v0.6.15
468ERW3P6Z 468ERW3P6Z
| URI | m2://inv/468ERW3P6Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#prob:inclusion_preserving (exercise). In RZP28ERRZV, sproblem, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
$(z^2+i)$-gluing data 468F185G9X
| URI | m2://inv/468F185G9X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#3XDM, $(z^2+i)$-gluing data (example). In XK6H7F2F13/e1, example 3.12
History
- 2026-10-30: add by m2/v0.4.12
Recovering a form with modular fibres 468FVYFC84
| URI | m2://inv/468FVYFC84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33469#3I73, Recovering a form with modular fibres (statement). In TC5QA4AB4Z/e1, proposition 3.16
History
- 2026-10-30: add by m2/v0.4.12
Roy, S. N. 468MZ3DR98
| URI | m2://inv/468MZ3DR98 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#R47M, Roy, S. N. (topic)
History
- 2026-11-02: add by m2/dev
power of power proof 468V4F0F1Z
| URI | m2://inv/468V4F0F1Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135208017, power of power proof (statement). Also ProofWiki Exponent_Combination_Laws/Power_of_Power
History
- 2026-10-26: add by m2/dev
multiplicity of a zero 468XG6SYTR
| URI | m2://inv/468XG6SYTR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/multiplicity-of-a-zero, multiplicity of a zero (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
Denying the correlative 468Y5S2E1D
| URI | m2://inv/468Y5S2E1D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Denying the correlative, Denying the correlative (definition). Also Wikidata Q2918196
History
- 2026-11-02: add by m2/dev
468ZQH7SZX 468ZQH7SZX
| URI | m2://inv/468ZQH7SZX |
|---|---|
| Kind | definition |
| 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.04172#PR8X (definition). In 9Q1D1NMTTS/e1, definition 4
History
- 2026-10-29: add by m2/v0.4.12
4690CRF5YG 4690CRF5YG
| URI | m2://inv/4690CRF5YG |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#J8PS (problem). In X765ZXXVC3/e1, problem 4.31
History
- 2026-10-29: add by m2/v0.4.12
Tata Subba Rao 46999BXMPY
| URI | m2://inv/46999BXMPY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tata Subba Rao, Tata Subba Rao (topic). Also Wikidata Q7687830
History
- 2026-11-02: add by m2/dev
Eugenio Elia Levi 469D6248JG
| URI | m2://inv/469D6248JG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eugenio Elia Levi, Eugenio Elia Levi (topic). Also Wikidata Q982362
History
- 2026-11-02: add by m2/dev
List of graphical methods 46A1N2Q897
| URI | m2://inv/46A1N2Q897 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#J3FS, List of graphical methods (definition)
History
- 2026-11-02: add by m2/dev
46A2FZ154G 46A2FZ154G
| URI | m2://inv/46A2FZ154G |
|---|---|
| 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 2606.20229#YGFQ (definition). In 1B85G2QJC2/e1, definition 6.3
History
- 2026-10-27: add by m2/v0.3.6
polyhedral complex 46A3DJ9RRM
| URI | m2://inv/46A3DJ9RRM |
|---|---|
| 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#2OE9, polyhedral complex (definition). In XJVZSGCX5V/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
exponent inequalities 46AB8QNFCT
| URI | m2://inv/46AB8QNFCT |
|---|---|
| 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.02743#W9DZ, exponent inequalities (statement). In GQH4ZPDWET/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.12
Identity monad 46AFY5NQ19
| URI | m2://inv/46AFY5NQ19 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monad (functional programming)#L9ZP, Identity monad (statement)
History
- 2026-11-02: add by m2/dev
46B7PH0R5N 46B7PH0R5N
| URI | m2://inv/46B7PH0R5N |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29877#90Z4 (example)
History
- 2026-11-01: add by m2/v0.6.15
46BA54XSWQ 46BA54XSWQ
| URI | m2://inv/46BA54XSWQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31274#MHTM (example). In RK0ZMDJ23T/e1, example 2.4.2
History
- 2026-10-31: add by m2/v0.5.6
Zoia Ceaușescu 46BB0963ZT
| URI | m2://inv/46BB0963ZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KSCJ, Zoia Ceaușescu (unknown)
History
- 2026-11-02: add by m2/dev
Karen E. Smith 46BDEZA6MH
| URI | m2://inv/46BDEZA6MH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karen E. Smith, Karen E. Smith (topic). Also Wikidata Q1729277
History
- 2026-11-02: add by m2/dev
46BDTG4BZR 46BDTG4BZR
| URI | m2://inv/46BDTG4BZR |
|---|---|
| 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.11487#AXXD (statement). In 8S0K3Y25HM/e1, theorem 11.1
History
- 2026-10-28: add by m2/v0.4.3
46BMMEXD09 46BMMEXD09
| URI | m2://inv/46BMMEXD09 |
|---|---|
| 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.38138#DVF0 (statement). In G97FA99ZEF/e1, theorem A.5
History
- 2026-10-30: add by m2/v0.4.12
Sewall Wright 46BTBSPCMH
| URI | m2://inv/46BTBSPCMH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sewall Wright, Sewall Wright (topic). Also Wikidata Q221061
History
- 2026-11-02: add by m2/dev
46C3NWMSAT 46C3NWMSAT
| URI | m2://inv/46C3NWMSAT |
|---|---|
| Kind | definition |
| 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 2407.08004#M6E6 (definition). In TYS65EG479/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
prime 46CB6M2CV8
| URI | m2://inv/46CB6M2CV8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q914681, prime (unknown). Also MathWorld Prime, ProofWiki Symbols:General/Prime
History
- 2026-10-26: add by m2/dev
An interval of nonfinitely based varieties 46CCHW45RH
| URI | m2://inv/46CCHW45RH |
|---|---|
| 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.12014#LB9T, An interval of nonfinitely based varieties (statement). In DR7BK4CQ0V/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.3
pseudodifferential 46CH62RPS1
| URI | m2://inv/46CH62RPS1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of real and complex analysis#XENK, pseudodifferential (definition)
History
- 2026-11-02: add by m2/dev
46CNKS78AV 46CNKS78AV
| URI | m2://inv/46CNKS78AV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16875#CAVL (definition). In KS30K5JXGB/e1, definition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Peak normalisation 46CSQSE5MF
| URI | m2://inv/46CSQSE5MF |
|---|---|
| Kind | definition |
| 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 2609.26537#WQJH, Peak normalisation (definition)
History
- 2026-11-01: add by m2/v0.6.15
46CVJ30ZV1 46CVJ30ZV1
| URI | m2://inv/46CVJ30ZV1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36279#M25F (statement). In HX1QA0MJYV/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
46CXN9MXPP 46CXN9MXPP
| URI | m2://inv/46CXN9MXPP |
|---|---|
| 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.22218#V58X (statement). In 338GKREFVP/e1, lemma 48
History
- 2026-10-27: add by m2/v0.4.0
Definition 46D1GN9QKH
| URI | m2://inv/46D1GN9QKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Satake diagram#E0UL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorems 46DA4RTZC2
| URI | m2://inv/46DA4RTZC2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circle#SV1S, Theorems (statement)
History
- 2026-11-02: add by m2/dev
46DHXBS2CM 46DHXBS2CM
| URI | m2://inv/46DHXBS2CM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05193#G2PC (definition). In XDMM0KNNZ9/e1, definition 50
History
- 2026-10-29: add by m2/v0.4.10
46DJEH25AW 46DJEH25AW
| URI | m2://inv/46DJEH25AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/normalization/segments.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 59.3
History
- 2026-11-01: add by m2/v0.6.13
curves and Picard schemes 46DYYJV4BT
| URI | m2://inv/46DYYJV4BT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09298#WEKR, curves and Picard schemes (statement). In 1SPQ4J3AWY/e1, fact 4.1
History
- 2026-10-29: add by m2/v0.4.10
46DZ5BPHG5 46DZ5BPHG5
| URI | m2://inv/46DZ5BPHG5 |
|---|---|
| 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.30203#GWM5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bruck–Ryser–Chowla theorem 46E0QXK4PJ
| URI | m2://inv/46E0QXK4PJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | Bruck–Ryser–Chowla theorem R43K0GTTDS |
Mentions
- mathlib_1000: mathlib_1000 Q2226624, Bruck–Chowla–Ryser theorem (statement). Also Wikidata Q2226624
- thousand_plus: thousand_plus Q2226624, Bruck–Chowla–Ryser theorem (statement). Also Wikidata Q2226624, Wikipedia Bruck–Chowla–Ryser theorem
- wikidata: Wikidata Q2226624, Bruck–Ryser–Chowla theorem (statement). Also MathWorld Bruck-Ryser-ChowlaTheorem
- wikipedia: Wikipedia Bruck–Ryser–Chowla theorem, Bruck–Ryser–Chowla theorem (statement). Also Wikidata Q2226624
History
- 2026-10-26: add by m2/dev
Matching-complement saturation 46E1XK47ND
| URI | m2://inv/46E1XK47ND |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#NJA8, Matching-complement saturation (statement). In BBE69ZPVTF/e1, theorem 5.12
History
- 2026-10-30: add by m2/v0.4.12
Thomas Bayes 46EN2WW48M
| URI | m2://inv/46EN2WW48M |
|---|---|
| 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 Q208452, Thomas Bayes (unknown). Also EoM Bayes,_Thomas, EoM Bayesian_approach_to_statistical_problems
- wikipedia: Wikipedia Thomas Bayes, Thomas Bayes (topic). Also Wikidata Q208452
History
- 2026-10-26: add by m2/dev
Formula 46ER31T3KR
| URI | m2://inv/46ER31T3KR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arc elasticity#ACX1, Formula (statement)
History
- 2026-11-02: add by m2/dev
46ET0B5YNY 46ET0B5YNY
| URI | m2://inv/46ET0B5YNY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#ex:well-pointed (exercise). In N54F33XE07, ex, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Abraham ibn Ezra 46ETQB7ZR4
| URI | m2://inv/46ETQB7ZR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#B09B, Abraham ibn Ezra (unknown)
History
- 2026-11-02: add by m2/dev
46EZD2F9XS 46EZD2F9XS
| URI | m2://inv/46EZD2F9XS |
|---|---|
| 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.06521#TKWK (statement). In NVXWD513NM/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
46F6VJRMPK 46F6VJRMPK
| URI | m2://inv/46F6VJRMPK |
|---|---|
| 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 2610.20386#B9L4 (definition). In 4WC4V49KAC/e1, definition 1.7
History
- 2026-10-27: add by m2/v0.4.2
David Albert 46FF1XDWSX
| URI | m2://inv/46FF1XDWSX |
|---|---|
| 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 Q5230671, David Albert (unknown). Also nLab David Albert
History
- 2026-10-26: add by m2/dev
46FF3SY5PQ 46FF3SY5PQ
| URI | m2://inv/46FF3SY5PQ |
|---|---|
| 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#MW49 (statement). In KZ71GXT2B0/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
Flat map 46FFFKYA29
| URI | m2://inv/46FFFKYA29 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#GXBS, Flat map (definition)
History
- 2026-11-02: add by m2/dev
Inductive reasoning 46FGEG4E8J
| URI | m2://inv/46FGEG4E8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inductive reasoning, Inductive reasoning (definition). Also Wikidata Q484511
History
- 2026-11-02: add by m2/dev
46FNDYF0XE 46FNDYF0XE
| URI | m2://inv/46FNDYF0XE |
|---|---|
| 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 2305.10921#MP74 (statement). In PD5PJ0EYG6/e1, proposition 1.5
History
- 2026-10-27: add by m2/v0.3.5
46FPWWT761 46FPWWT761
| URI | m2://inv/46FPWWT761 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01694#G3I4 (statement). In EBMHYN0XK9/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Witt's theorem 46G0E1TBER
| URI | m2://inv/46G0E1TBER |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q8028529, Witt's theorem (statement). Also Wikidata Q8028529
- thousand_plus: thousand_plus Q8028529, Witt's theorem (statement). Also Wikidata Q8028529, Wikipedia Witt's theorem
- wikipedia: Wikipedia Witt's theorem, Witt's theorem (statement). Also Wikidata Q8028529
History
- 2026-10-26: add by m2/dev
46G2EXMA4V 46G2EXMA4V
| URI | m2://inv/46G2EXMA4V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/soundness-completeness/completeness-thm.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 33.3
History
- 2026-11-01: add by m2/v0.6.13
Bob Meyer 46G7SE8AGE
| URI | m2://inv/46G7SE8AGE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#X7LZ, Bob Meyer (unknown)
History
- 2026-11-02: add by m2/dev
Moments and corruption of the symmetric estimate 46GSY2ZRRH
| URI | m2://inv/46GSY2ZRRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#G6MX, Moments and corruption of the symmetric estimate (statement). In X1FPG0KYBM/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.2
Example 46H2ZFMD17
| URI | m2://inv/46H2ZFMD17 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maass wave form#4042, Example (example)
History
- 2026-11-02: add by m2/dev
Opinion polls in Venezuela 46H3SGCGF3
| URI | m2://inv/46H3SGCGF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Opinion polls in Venezuela, Opinion polls in Venezuela (definition). Also Wikidata Q129164898
History
- 2026-11-02: add by m2/dev
Examples 46H6MBY7VT
| URI | m2://inv/46H6MBY7VT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Initial topology#UQVI, Examples (example)
History
- 2026-11-02: add by m2/dev
46HC2PFFE0 46HC2PFFE0
| URI | m2://inv/46HC2PFFE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#BY66 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hans Schneider Prize in Linear Algebra 46HCS5JYCG
| URI | m2://inv/46HCS5JYCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hans Schneider Prize in Linear Algebra, Hans Schneider Prize in Linear Algebra (definition). Also Wikidata Q25381119
History
- 2026-11-02: add by m2/dev
Which channels an advantage pattern moves 46HDME7WY4
| URI | m2://inv/46HDME7WY4 |
|---|---|
| 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.25039#9AUX, Which channels an advantage pattern moves (statement)
History
- 2026-11-01: add by m2/v0.6.15
H. Weber 46HK81AT6H
| URI | m2://inv/46HK81AT6H |
|---|---|
| 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#8MQT, H. Weber (topic)
History
- 2026-11-02: add by m2/dev
Trilinear coordinates 46HSWJHHHM
| URI | m2://inv/46HSWJHHHM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#Y1X5, Trilinear coordinates (definition)
History
- 2026-11-02: add by m2/dev
46J4YNF0B3 46J4YNF0B3
| URI | m2://inv/46J4YNF0B3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-37 (exercise). In E59CDZA4DP, exercise, section 8.4.3
History
- 2026-11-01: add by m2/v0.6.13
Fixed moments of the calibrated field 46JJ0DF2EJ
| URI | m2://inv/46JJ0DF2EJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06875#LXZI, Fixed moments of the calibrated field (statement). In ZDT5J9KQVQ/e1, lemma E.1
History
- 2026-10-29: add by m2/v0.4.10
Victor Snaith 46JJKXFX0W
| URI | m2://inv/46JJKXFX0W |
|---|---|
| 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 Q15455462, Victor Snaith (unknown). Also nLab Victor Snaith
History
- 2026-10-26: add by m2/dev
KHAZAD 46JR1DA3SW
| URI | m2://inv/46JR1DA3SW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia KHAZAD, KHAZAD (definition). Also Wikidata Q1110200
History
- 2026-11-02: add by m2/dev
46K4CAMYPH 46K4CAMYPH
| URI | m2://inv/46K4CAMYPH |
|---|---|
| Kind | definition |
| 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.22657#X5GZ (definition)
History
- 2026-11-02: add by m2/v0.6.17
46KADNRAZR 46KADNRAZR
| URI | m2://inv/46KADNRAZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18239#MLF0 (statement). In C60WZ6WQSY/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
46KBHQV4TP 46KBHQV4TP
| URI | m2://inv/46KBHQV4TP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03661#IT0O (statement). In ESDKTYDHC8/e1, lemma 18
History
- 2026-10-29: add by m2/v0.4.12
46KBRN0RW9 46KBRN0RW9
| URI | m2://inv/46KBRN0RW9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06739#45H1 (example). In HA9B7PD0YV/e1, example 4
History
- 2026-10-29: add by m2/v0.4.10
46KPEX9DRC 46KPEX9DRC
| URI | m2://inv/46KPEX9DRC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21255#EXCS (statement). In FB4DAYJJ5F/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.4.2
History of algebra 46KRZMCAQF
| URI | m2://inv/46KRZMCAQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of algebra, History of algebra (definition). Also Wikidata Q5018842
History
- 2026-11-02: add by m2/dev
Linear (mathematics) 46KWKA0XD7
| URI | m2://inv/46KWKA0XD7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linearity#4H59, Linear (mathematics) (unknown)
History
- 2026-11-02: add by m2/dev
Nancy Gordon 46MFAN0XS1
| URI | m2://inv/46MFAN0XS1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nancy Gordon, Nancy Gordon (topic). Also Wikidata Q60059440
History
- 2026-11-02: add by m2/dev
46MJHR0W7J 46MJHR0W7J
| URI | m2://inv/46MJHR0W7J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-zariski.tex#example-7 (example). In RZP28ERRZV, example, section 28.3
History
- 2026-11-01: add by m2/v0.6.13
Orthogonal projection onto compact, convex set does not increase branched transport cost 46NFZHJB0R
| URI | m2://inv/46NFZHJB0R |
|---|---|
| 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.24451#981F, Orthogonal projection onto compact, convex set does not increase branched transport cost (statement)
History
- 2026-11-01: add by m2/v0.6.15
Paradigm 46NHRCFMSM
| URI | m2://inv/46NHRCFMSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradigm, Paradigm (definition). Also Wikidata Q28643
History
- 2026-11-02: add by m2/dev
Construction 46NMQCYEEH
| URI | m2://inv/46NMQCYEEH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Games graph#UN1U, Construction (definition)
History
- 2026-11-02: add by m2/dev
46NMXA11GA 46NMXA11GA
| URI | m2://inv/46NMXA11GA |
|---|---|
| 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 2610.22074#Z719 (definition). In F3BKXXPR3K/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.4.2
busy beaver problem 46NRJQCXJS
| URI | m2://inv/46NRJQCXJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#W7VH, busy beaver problem (definition)
History
- 2026-11-02: add by m2/dev
46NXXJ041Q 46NXXJ041Q
| URI | m2://inv/46NXXJ041Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2610.13100#8FA9 (statement). In CC6S1HVK0T/e1, proposition 8.7
History
- 2026-10-28: add by m2/v0.4.2
Posterior Bayes action 46P0TE6G8P
| URI | m2://inv/46P0TE6G8P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29348#I3S3, Posterior Bayes action (definition)
History
- 2026-11-01: add by m2/v0.6.15
Relevance 46P3HWGNZE
| URI | m2://inv/46P3HWGNZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relevance, Relevance (definition). Also Wikidata Q1074648
History
- 2026-11-02: add by m2/dev
46P6S1AVPF 46P6S1AVPF
| URI | m2://inv/46P6S1AVPF |
|---|---|
| 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 2610.02216#LAAE (statement). In 34JGRZ2M5F/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.12
Examples 46PCBT14KW
| URI | m2://inv/46PCBT14KW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mixed tensor#6JI1, Examples (example)
History
- 2026-11-02: add by m2/dev
Babai's problem 46PCSS0F8E
| URI | m2://inv/46PCSS0F8E |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Babai's problem, Babai's problem (conjecture). Also Wikidata Q85744714
History
- 2026-11-02: add by m2/dev
Example 46PQ96K5NZ
| URI | m2://inv/46PQ96K5NZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherence (signal processing)#31LS, Example (example)
History
- 2026-11-02: add by m2/dev
46PVM1XN1E 46PVM1XN1E
| URI | m2://inv/46PVM1XN1E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09086#DSRD (statement). In JPC86V77CH/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Exact local I-projection 46PXY9HCJE
| URI | m2://inv/46PXY9HCJE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11038#WZ3L, Exact local I-projection (statement). In RY8QBYR4SE/e1, proposition B.1
History
- 2026-10-28: add by m2/v0.4.3
46QACPG4SK 46QACPG4SK
| URI | m2://inv/46QACPG4SK |
|---|---|
| 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.20008#3G5L (statement)
History
- 2026-11-02: add by m2/v0.6.18
Variations 46QER3Y07P
| URI | m2://inv/46QER3Y07P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal hexecontahedron#JEWM, Variations (statement)
History
- 2026-11-02: add by m2/dev
46QH6CQBX5 46QH6CQBX5
| URI | m2://inv/46QH6CQBX5 |
|---|---|
| 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 2610.11157#48TV (definition). In G30YTST9ZK/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
Dynamic lot-size model 46QJNMT0C5
| URI | m2://inv/46QJNMT0C5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic lot-size model, Dynamic lot-size model (definition). Also Wikidata Q2539221
History
- 2026-11-02: add by m2/dev
\theoremcite{Open Problem 1}{aliprantis1974 46QSWKKRMP
| URI | m2://inv/46QSWKKRMP |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29498#ZUPD, \theoremcite{Open Problem 1}{aliprantis1974 (problem)
History
- 2026-11-01: add by m2/v0.6.15
Christian Moser 46QXVGZRAM
| URI | m2://inv/46QXVGZRAM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O2TB, Christian Moser (unknown)
History
- 2026-11-02: add by m2/dev
46QZWJ65YB 46QZWJ65YB
| URI | m2://inv/46QZWJ65YB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/soundness.tex#cor:entailment-soundness (statement). In PKGMM3P5QY, cor, section 22.15
History
- 2026-11-01: add by m2/v0.6.13
46RABNNTK0 46RABNNTK0
| URI | m2://inv/46RABNNTK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12329#EL9N (statement). In ZJQB9W60T6/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.2
46RD6XCG5S 46RD6XCG5S
| URI | m2://inv/46RD6XCG5S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#VEP6 (statement). In Q6HRJP4AWA/e1, lemma 9.3
History
- 2026-10-29: add by m2/v0.4.12
46RGESAA9C 46RGESAA9C
| URI | m2://inv/46RGESAA9C |
|---|---|
| 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 2609.23522#0L4I (definition)
History
- 2026-11-02: add by m2/v0.6.17
Integration by parts operator 46RVZT0H9A
| URI | m2://inv/46RVZT0H9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration by parts operator, Integration by parts operator (definition). Also Wikidata Q6043219
History
- 2026-11-02: add by m2/dev
46RXTBQ9RV 46RXTBQ9RV
| URI | m2://inv/46RXTBQ9RV |
|---|---|
| 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.10937#PYNK (statement). In 6VVK3YTABP/e1, theorem 6.1
History
- 2026-10-28: add by m2/v0.4.3
Statement 46S0RZWERQ
| URI | m2://inv/46S0RZWERQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F. Riesz's theorem#PN8F, Statement (statement)
History
- 2026-11-02: add by m2/dev
pluralism 46S5YG20VJ
| URI | m2://inv/46S5YG20VJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3G94, pluralism (definition)
History
- 2026-11-02: add by m2/dev
Arthur W. Conway 46SCCGS658
| URI | m2://inv/46SCCGS658 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur W. Conway, Arthur W. Conway (topic). Also Wikidata Q4800555
History
- 2026-11-02: add by m2/dev
affine logics 46SEPVAV98
| URI | m2://inv/46SEPVAV98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#DJVM, affine logics (definition)
History
- 2026-11-02: add by m2/dev
46SR630HZ8 46SR630HZ8
| URI | m2://inv/46SR630HZ8 |
|---|---|
| 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#CHBT (statement). In GAZRH97SXG/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.10
Substitution 46T5B35SQD
| URI | m2://inv/46T5B35SQD |
|---|---|
| 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.20817#Y7E2, Substitution (statement). In M1YRBSZT4H/e1, proposition 18
History
- 2026-10-27: add by m2/v0.4.2
David George Kendall 46T6KAQT0X
| URI | m2://inv/46T6KAQT0X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#G30S, David George Kendall (topic)
History
- 2026-11-02: add by m2/dev
46TE6NXBWF 46TE6NXBWF
| URI | m2://inv/46TE6NXBWF |
|---|---|
| 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.02097#0TDY (statement). In DQSRCCAG6G/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.12
Santa Clara University 46TEQZ6HDA
| URI | m2://inv/46TEQZ6HDA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of United States regional mathematics competitions#UHRZ, Santa Clara University (unknown)
History
- 2026-11-02: add by m2/dev
46TF48XPXJ 46TF48XPXJ
| URI | m2://inv/46TF48XPXJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06372#WCHJ (statement). In G3E1P350Z6/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
primes 46THFNJCNX
| URI | m2://inv/46THFNJCNX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#DOKG, primes (definition)
History
- 2026-11-02: add by m2/dev
46TJ3XH5QH 46TJ3XH5QH
| URI | m2://inv/46TJ3XH5QH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-42 (exercise). In E59CDZA4DP, exercise, section 2.3.3
History
- 2026-11-01: add by m2/v0.6.13
Great triambic icosahedron 46TJK8A8PK
| URI | m2://inv/46TJK8A8PK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#W2SZ, Great triambic icosahedron (definition)
History
- 2026-11-02: add by m2/dev
Hidden Markov random field 46TT49GQ5G
| URI | m2://inv/46TT49GQ5G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden Markov random field, Hidden Markov random field (definition). Also Wikidata Q8479172
History
- 2026-11-02: add by m2/dev
Nikhil Bansal 46TTDQ6KTY
| URI | m2://inv/46TTDQ6KTY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#B7ND, Nikhil Bansal (unknown)
History
- 2026-11-02: add by m2/dev
Neighbor joining 46TXHXTV9Y
| URI | m2://inv/46TXHXTV9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neighbor joining, Neighbor joining (definition). Also Wikidata Q1935806
History
- 2026-11-02: add by m2/dev
Ricerche di Matematica 46VBPVEGGV
| URI | m2://inv/46VBPVEGGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ricerche di Matematica, Ricerche di Matematica (definition). Also Wikidata Q15754646
History
- 2026-11-02: add by m2/dev
46VMY0J83Q 46VMY0J83Q
| URI | m2://inv/46VMY0J83Q |
|---|---|
| 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.11210#TO0E (statement). In CRFDGFZHBF/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.3
46VQZ12J38 46VQZ12J38
| URI | m2://inv/46VQZ12J38 |
|---|---|
| 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 2508.02432#VVV8 (statement). In B366ACYB37/e1, lemma 3.14
History
- 2026-10-27: add by m2/v0.3.5
Nash bargaining game 46VY8VJA4V
| URI | m2://inv/46VY8VJA4V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cooperative bargaining#23GB, Nash bargaining game (unknown)
History
- 2026-11-02: add by m2/dev
46W8QN89DT 46W8QN89DT
| URI | m2://inv/46W8QN89DT |
|---|---|
| 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.39317#AF1D (statement). In QM1T8JDK4A/e1, proposition 5.8
History
- 2026-10-30: add by m2/v0.4.12
46WE8QPGJ2 46WE8QPGJ2
| URI | m2://inv/46WE8QPGJ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#Y4VW (statement)
History
- 2026-11-02: add by m2/v0.6.17
Jaggies 46WWA3CSGM
| URI | m2://inv/46WWA3CSGM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#DIZ2, Jaggies (unknown)
History
- 2026-11-02: add by m2/dev
46X7YSM0AX 46X7YSM0AX
| URI | m2://inv/46X7YSM0AX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19132#VJUF (statement). In 3CQJND929F/e1, corollary 1.3
History
- 2026-10-28: add by m2/v0.4.2
Vicky Neale 46X9QP1HR5
| URI | m2://inv/46X9QP1HR5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vicky Neale, Vicky Neale (topic). Also Wikidata Q56063308
History
- 2026-11-02: add by m2/dev
reference 46XD98089P
| URI | m2://inv/46XD98089P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AZB6, reference (definition)
History
- 2026-11-02: add by m2/dev
Example 46XK617NCW
| URI | m2://inv/46XK617NCW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantile normalization#E78F, Example (example)
History
- 2026-11-02: add by m2/dev
46YF6Q3MFB 46YF6Q3MFB
| URI | m2://inv/46YF6Q3MFB |
|---|---|
| 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#L7A6 (statement). In 1QSV7EQE3T/e1, proposition S9
History
- 2026-10-28: add by m2/v0.4.2
Boolean subspace geometry 46YHDZ6N34
| URI | m2://inv/46YHDZ6N34 |
|---|---|
| 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.20270#IWWU, Boolean subspace geometry (statement). In GV0QGZH67P/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
Sliding mode control 46YNPN9GS9
| URI | m2://inv/46YNPN9GS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sliding mode control, Sliding mode control (definition). Also Wikidata Q6008560
History
- 2026-11-02: add by m2/dev
Definition 46YP6P06ME
| URI | m2://inv/46YP6P06ME |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weak derivative#WZJX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Reheating 46Z0Y965A8
| URI | m2://inv/46Z0Y965A8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cosmic inflation#DBBF, Reheating (unknown)
History
- 2026-11-02: add by m2/dev
Definition 46Z7F4VA09
| URI | m2://inv/46Z7F4VA09 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plumbing (mathematics)#OKL9, Definition (definition)
History
- 2026-11-02: add by m2/dev
46Z7TZSHCW 46Z7TZSHCW
| URI | m2://inv/46Z7TZSHCW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#9G70 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Luke's variational principle 46ZA9Y2M6N
| URI | m2://inv/46ZA9Y2M6N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of variational topics#RGUG, Luke's variational principle (statement)
History
- 2026-11-02: add by m2/dev
Markov partition 46ZBE21WAR
| URI | m2://inv/46ZBE21WAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#GP6J, Markov partition (definition)
History
- 2026-11-02: add by m2/dev
Examples 46ZCX8R8EF
| URI | m2://inv/46ZCX8R8EF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ciphertext-only attack#IZHC, Examples (example)
History
- 2026-11-02: add by m2/dev
Bernoulli umbra 46ZDCJ7P6C
| URI | m2://inv/46ZDCJ7P6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli umbra, Bernoulli umbra (definition). Also Wikidata Q111945516
History
- 2026-11-02: add by m2/dev
46ZHE882CM 46ZHE882CM
| URI | m2://inv/46ZHE882CM |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26701#VBM9 (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Alexander Ramm 46ZKFDGCFA
| URI | m2://inv/46ZKFDGCFA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Ramm, Alexander Ramm (topic). Also Wikidata Q21834517
History
- 2026-11-02: add by m2/dev
MKS system of units 46ZP39EM5M
| URI | m2://inv/46ZP39EM5M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q512417, MKS system of units (definition). Also ProofWiki Definition:MKS
History
- 2026-10-26: add by m2/dev
Formal definitions 46ZYQ8F2PH
| URI | m2://inv/46ZYQ8F2PH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural number#JF8B, Formal definitions (definition)
History
- 2026-11-02: add by m2/dev