Inventory rows 53
The cards of the rows of the inventory whose ids start with 53. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
CDMA2000 5301VNF4PQ
| URI | m2://inv/5301VNF4PQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CDMA2000, CDMA2000 (definition). Also Wikidata Q1023122
History
- 2026-11-02: add by m2/dev
5302RK387H 5302RK387H
| URI | m2://inv/5302RK387H |
|---|---|
| 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 2609.30519#FN1D (statement). In GQQZNRYK15/e1, lemma 2.7
History
- 2026-10-31: add by m2/v0.5.6
530472NH5S 530472NH5S
| URI | m2://inv/530472NH5S |
|---|---|
| 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.14841#BIKL (statement). In 6V5HP8W1ZG/e1, proposition 13
History
- 2026-10-28: add by m2/v0.4.2
magnetic flux 5304P74CSM
| URI | m2://inv/5304P74CSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q177831, magnetic flux (definition). Also ProofWiki Definition:Magnetic_Flux
History
- 2026-10-26: add by m2/dev
Izabella Łaba 5306AHACFA
| URI | m2://inv/5306AHACFA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CGAL, Izabella Łaba (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LDW6, Izabella Łaba (topic)
History
- 2026-11-02: add by m2/dev
530945GG1A 530945GG1A
| URI | m2://inv/530945GG1A |
|---|---|
| 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.00078#I5WB (statement). In KXYGWSGP9M/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
530C63K5GB 530C63K5GB
| URI | m2://inv/530C63K5GB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21535#RZOC (statement)
History
- 2026-11-02: add by m2/v0.6.18
530H88CM5M 530H88CM5M
| URI | m2://inv/530H88CM5M |
|---|---|
| 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.34876#SUQ7 (statement). In XXQAW3ZBDF/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
Galaxy Research 530K1QY7TE
| URI | m2://inv/530K1QY7TE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#MKG3, Galaxy Research (unknown)
History
- 2026-11-02: add by m2/dev
Vladimir Arnold 530NGMA1A0
| URI | m2://inv/530NGMA1A0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7CPL, Vladimir Arnold (topic)
- wikipedia: Wikipedia List of Ukrainian Jews#ZVEF, Vladimir Arnold (topic)
History
- 2026-11-02: add by m2/dev
BV rigidity for all exterior pairs 530PFV25FX
| URI | m2://inv/530PFV25FX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.04164#MB7S, BV rigidity for all exterior pairs (statement). In KR7WXN4EWR/e1, theorem 9.2
History
- 2026-10-29: add by m2/v0.4.12
530S5GAF9B 530S5GAF9B
| URI | m2://inv/530S5GAF9B |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 17-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 2609.37524#2928 (example). In 4GTJAPF7Q3/e1, example 7.6
History
- 2026-10-30: add by m2/v0.4.12
Corollary 53144S9AYK
| URI | m2://inv/53144S9AYK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiclass classification#GSBM, Corollary (statement)
History
- 2026-11-02: add by m2/dev
5316X57NTK 5316X57NTK
| URI | m2://inv/5316X57NTK |
|---|---|
| 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.15700#FCDG (statement). In S95MSZ7MDR/e1, theorem 1.7
History
- 2026-10-28: add by m2/v0.4.2
5317AC4XNT 5317AC4XNT
| URI | m2://inv/5317AC4XNT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.14383#7O3N (statement). In QD0X3XJS6T/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
equilibrium solution, unstable 5318HXJ3HY
| URI | m2://inv/5318HXJ3HY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.2.3/equilibrium-solution-unstable, equilibrium solution, unstable (concept). In 907G4C4EJ1, index, section 7.2.3
History
- 2026-11-01: add by m2/v0.6.13
531E3ST2XJ 531E3ST2XJ
| URI | m2://inv/531E3ST2XJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#Q51R (definition). In 9H45HQE7AZ/e1, definition 2.15
History
- 2026-10-27: add by m2/v0.3.5
Judy L. Walker 531F7Y20XQ
| URI | m2://inv/531F7Y20XQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8NKK, Judy L. Walker (topic)
History
- 2026-11-02: add by m2/dev
Length time bias 531J6D3PH7
| URI | m2://inv/531J6D3PH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Length time bias, Length time bias (definition). Also Wikidata Q6522499
History
- 2026-11-02: add by m2/dev
531K2XJVRC 531K2XJVRC
| URI | m2://inv/531K2XJVRC |
|---|---|
| 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 2406.07116#MFP7 (statement). In 5B030CB2RK/e1, proposition 8.8
History
- 2026-10-27: add by m2/v0.3.6
531Q6SA31W 531Q6SA31W
| URI | m2://inv/531Q6SA31W |
|---|---|
| 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.25190#FF6G (statement)
History
- 2026-11-01: add by m2/v0.6.15
531S9N6XK1 531S9N6XK1
| URI | m2://inv/531S9N6XK1 |
|---|---|
| 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#6X9C (statement)
History
- 2026-11-01: add by m2/v0.6.15
William Elwood Byerly 531SNF70CR
| URI | m2://inv/531SNF70CR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Elwood Byerly, William Elwood Byerly (topic). Also Wikidata Q22017374
History
- 2026-11-02: add by m2/dev
James K. Freericks 5321PC8GA1
| URI | m2://inv/5321PC8GA1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James K. Freericks, James K. Freericks (topic). Also Wikidata Q63109102
History
- 2026-11-02: add by m2/dev
Applications 5326B6K3Z4
| URI | m2://inv/5326B6K3Z4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Half-normal distribution#Y343, Applications (example)
History
- 2026-11-02: add by m2/dev
Love wave 5326ZZM13V
| URI | m2://inv/5326ZZM13V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Love wave, Love wave (definition). Also Wikidata Q2307937
History
- 2026-11-02: add by m2/dev
Gram–Schmidt process 532EPVJ60E
| URI | m2://inv/532EPVJ60E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#3H6O, Gram–Schmidt process (definition)
History
- 2026-11-02: add by m2/dev
532RGG9E7R 532RGG9E7R
| URI | m2://inv/532RGG9E7R |
|---|---|
| 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.37897#BEG0 (statement). In RBQ5FNCVNZ/e1, lemma 9.12
History
- 2026-10-30: add by m2/v0.4.12
532STTNBP4 532STTNBP4
| URI | m2://inv/532STTNBP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15744#V7QN (statement). In NV3PBZGBB7/e1, theorem 5.8
History
- 2026-10-28: add by m2/v0.4.2
Richard Crandall 532ZRYT6H3
| URI | m2://inv/532ZRYT6H3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Crandall, Richard Crandall (topic). Also Wikidata Q92693
History
- 2026-11-02: add by m2/dev
Product-state energy benchmark 5330REFVR4
| URI | m2://inv/5330REFVR4 |
|---|---|
| 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.02166#4OW5, Product-state energy benchmark (statement). In R6RF3P6D5A/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
5332VT30ZN 5332VT30ZN
| URI | m2://inv/5332VT30ZN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise:absconv (exercise). In E59CDZA4DP, exercise, section 10.1.4
History
- 2026-11-01: add by m2/v0.6.13
5333EQRSM4 5333EQRSM4
| URI | m2://inv/5333EQRSM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27752#G88V (statement)
History
- 2026-11-01: add by m2/v0.6.15
truncation, set 5336H5M98X
| URI | m2://inv/5336H5M98X |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.9/truncation-set, truncation, set (concept). In N54F33XE07, index, section 5.9
History
- 2026-11-01: add by m2/v0.6.13
533A28XJ7W 533A28XJ7W
| URI | m2://inv/533A28XJ7W |
|---|---|
| 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.01273#J9V3 (statement). In RAT41DDR51/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.12
533C1JFAPR 533C1JFAPR
| URI | m2://inv/533C1JFAPR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_combinations.ptx#prop_strings_binomraw (statement). In QKM9DD2H56, proposition, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
533H8VJMGQ 533H8VJMGQ
| URI | m2://inv/533H8VJMGQ |
|---|---|
| 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.27823#YW0H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 533KNQWJGC
| URI | m2://inv/533KNQWJGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjugate transpose#YGET, Definition (definition)
History
- 2026-11-02: add by m2/dev
Microscale and macroscale models 533QAT20E8
| URI | m2://inv/533QAT20E8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Microscale and macroscale models, Microscale and macroscale models (definition). Also Wikidata Q17103730
History
- 2026-11-02: add by m2/dev
Related results 533ZRB8RCJ
| URI | m2://inv/533ZRB8RCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Star of David theorem#Z2H6, Related results (statement)
History
- 2026-11-02: add by m2/dev
stochastic calculus 534115V74X
| URI | m2://inv/534115V74X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1308570, stochastic calculus (topic). Also MathWorld StochasticCalculus
- wikipedia: Wikipedia Stochastic calculus, Stochastic calculus (definition). Also Wikidata Q1308570
History
- 2026-10-26: add by m2/dev
Dual problem 5342NG4NHE
| URI | m2://inv/5342NG4NHE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#UX3C, Dual problem (definition)
History
- 2026-11-02: add by m2/dev
53445PNQ6S 53445PNQ6S
| URI | m2://inv/53445PNQ6S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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.28742#AURT (definition)
History
- 2026-11-01: add by m2/v0.6.15
Non-comparability neighbourhood 53454TEHZR
| URI | m2://inv/53454TEHZR |
|---|---|
| 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 2609.20881#CPLJ, Non-comparability neighbourhood (definition)
History
- 2026-11-02: add by m2/v0.6.18
5347QD2QCN 5347QD2QCN
| URI | m2://inv/5347QD2QCN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#JDBS (example). In 9ZSNSJRJ5N/e1, example 24
History
- 2026-10-27: add by m2/v0.4.2
Magnetic monopole 534FBVN2ZZ
| URI | m2://inv/534FBVN2ZZ |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#90GD, Magnetic monopole (conjecture)
History
- 2026-11-02: add by m2/dev
GOE, supercritical 534FKYF0T4
| URI | m2://inv/534FKYF0T4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#7L6H, GOE, supercritical (statement)
History
- 2026-11-01: add by m2/v0.6.15
534HEPJWPT 534HEPJWPT
| URI | m2://inv/534HEPJWPT |
|---|---|
| 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 0907.5545#LC3N (statement). In K3GWCTV5YE/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Log-log plot 534M9TQ3R8
| URI | m2://inv/534M9TQ3R8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UZIL, Log-log plot (definition)
History
- 2026-11-02: add by m2/dev
Principles of faceted SSA: A summary 534ZSDX7DG
| URI | m2://inv/534ZSDX7DG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Facet theory#H7WS, Principles of faceted SSA: A summary (statement)
History
- 2026-11-02: add by m2/dev
Consistency 535113HYQK
| URI | m2://inv/535113HYQK |
|---|---|
| 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.01504#J2XW, Consistency (statement). In JAVB10Q2YZ/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
53519X8FFW 53519X8FFW
| URI | m2://inv/53519X8FFW |
|---|---|
| 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 2412.14956#UZMS (statement). In T8BQ6HHZYT/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.3.5
Causal Markov condition 535883V0NC
| URI | m2://inv/535883V0NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZGJD, Causal Markov condition (definition)
History
- 2026-11-02: add by m2/dev
5359QGWTP1 5359QGWTP1
| URI | m2://inv/5359QGWTP1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15460#YAGW (statement). In T2Z3D2VQ9B/e1, theorem 8.1
History
- 2026-10-28: add by m2/v0.4.2
Generalized inversive congruential pseudorandom numbers 535K5BZ83M
| URI | m2://inv/535K5BZ83M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized inversive congruential pseudorandom numbers, Generalized inversive congruential pseudorandom numbers (definition). Also Wikidata Q5532485
History
- 2026-11-02: add by m2/dev
535VDR9BSC 535VDR9BSC
| URI | m2://inv/535VDR9BSC |
|---|---|
| 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.10338#1SPT (statement). In WZ3GXRAB00/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
535XFM7EGX 535XFM7EGX
| URI | m2://inv/535XFM7EGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#1FSD (statement). In V6EPE8XHAD/e1, proposition 7.6
History
- 2026-10-29: add by m2/v0.4.10
Cells suffice 53610JQ9T7
| URI | m2://inv/53610JQ9T7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40290#HYHD, Cells suffice (statement). In 4K1CNBYJHF/e1, corollary 4.3
History
- 2026-10-30: add by m2/v0.4.12
Examples of applications of the Švarc–Milnor lemma 5362X0TJKW
| URI | m2://inv/5362X0TJKW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Švarc–Milnor lemma#1FIA, Examples of applications of the Švarc–Milnor lemma (statement)
History
- 2026-11-02: add by m2/dev
5362X2HKJD 5362X2HKJD
| URI | m2://inv/5362X2HKJD |
|---|---|
| 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 2601.01000#OYI7 (definition). In RYFV9HGWWZ/e1, definition 1
History
- 2026-10-27: add by m2/v0.3.5
Stable comparison in the tame case 5364EJ6G5F
| URI | m2://inv/5364EJ6G5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30301#8THA, Stable comparison in the tame case (statement). In 7NS75J7HAM/e1, proposition 6.6
History
- 2026-10-31: add by m2/v0.5.6
Hardy–Littlewood zeta function conjectures 5366FQD6SS
| URI | m2://inv/5366FQD6SS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#M3YT, Hardy–Littlewood zeta function conjectures (statement)
History
- 2026-11-02: add by m2/dev
Definition 5366P7SJH5
| URI | m2://inv/5366P7SJH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pyramid (geometry)#ER83, Definition (definition)
History
- 2026-11-02: add by m2/dev
536AETM6FT 536AETM6FT
| URI | m2://inv/536AETM6FT |
|---|---|
| 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.29949#YQ1N (statement)
History
- 2026-11-01: add by m2/v0.6.15
536BN51VZG 536BN51VZG
| URI | m2://inv/536BN51VZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32058#7XUW (statement). In N0G73NM4WC/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
536D3KV4KZ 536D3KV4KZ
| URI | m2://inv/536D3KV4KZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-4-1-3.xml#act-4-1-3 (exercise). In 907G4C4EJ1, activity, section 4.1.4
History
- 2026-11-01: add by m2/v0.6.13
536SFHJKBH 536SFHJKBH
| URI | m2://inv/536SFHJKBH |
|---|---|
| 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#9GTV (example). In CY1FE8W1ZW/e1, example 0.127
History
- 2026-10-27: add by m2/v0.4.0
List of unsolved problems in computer science 53713G1B1Z
| URI | m2://inv/53713G1B1Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science, List of unsolved problems in computer science (topic). Also Wikidata Q1190519
History
- 2026-11-02: add by m2/dev
Gradimir Milovanović 5373ARVFSX
| URI | m2://inv/5373ARVFSX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradimir Milovanović, Gradimir Milovanović (topic). Also Wikidata Q5591922
History
- 2026-11-02: add by m2/dev
Theta correspondence 537649TC53
| URI | m2://inv/537649TC53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta correspondence, Theta correspondence (definition). Also Wikidata Q7783546
History
- 2026-11-02: add by m2/dev
Nikolai Chebotaryov 537HPK36K1
| URI | m2://inv/537HPK36K1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#62QE, Nikolai Chebotaryov (topic)
History
- 2026-11-02: add by m2/dev
Implementation 537J2V759F
| URI | m2://inv/537J2V759F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbs sampling#WPAU, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Beth two 537SSA094Y
| URI | m2://inv/537SSA094Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beth number#8FF8, Beth two (unknown)
History
- 2026-11-02: add by m2/dev
Gravitational redshift 537T80FPSM
| URI | m2://inv/537T80FPSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gravitational redshift, Gravitational redshift (definition). Also Wikidata Q656181
History
- 2026-11-02: add by m2/dev
De Moivre–Laplace theorem 537V325AAT
| URI | m2://inv/537V325AAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#21XZ, De Moivre–Laplace theorem (statement)
History
- 2026-11-02: add by m2/dev
Bartlett's method 538EDAC3ZQ
| URI | m2://inv/538EDAC3ZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bartlett's method, Bartlett's method (definition). Also Wikidata Q4865378
History
- 2026-11-02: add by m2/dev
Ravi Agarwal 538H079QJX
| URI | m2://inv/538H079QJX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ravi Agarwal, Ravi Agarwal (topic). Also Wikidata Q16002050
History
- 2026-11-02: add by m2/dev
{ } 538M237DJ8
| URI | m2://inv/538M237DJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#HUWY, { } (definition)
History
- 2026-11-02: add by m2/dev
Dynamic logic 538RE7GHYS
| URI | m2://inv/538RE7GHYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dynamic logic (modal logic), Dynamic logic (definition). Also Wikidata Q3836453
History
- 2026-11-02: add by m2/dev
Hilbert 538RK8EWSH
| URI | m2://inv/538RK8EWSH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#F4K6, Hilbert (definition)
History
- 2026-11-02: add by m2/dev
Informal 538SNHMW9Q
| URI | m2://inv/538SNHMW9Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16705#EJC0, Informal (statement). In B48YQVGAF5/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Applications 53993JYDHK
| URI | m2://inv/53993JYDHK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-distribution#E50Q, Applications (example)
History
- 2026-11-02: add by m2/dev
Justin Gimelstob 5399R7208C
| URI | m2://inv/5399R7208C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#VDCT, Justin Gimelstob (unknown)
History
- 2026-11-02: add by m2/dev
5399VW0V9R 5399VW0V9R
| URI | m2://inv/5399VW0V9R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#ASP4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
539E1ZM9NN 539E1ZM9NN
| URI | m2://inv/539E1ZM9NN |
|---|---|
| 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.22551#AL6H (statement)
History
- 2026-11-02: add by m2/v0.6.17
monoidal transformation 539ED81XJD
| URI | m2://inv/539ED81XJD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#RMY3, monoidal transformation (definition)
History
- 2026-11-02: add by m2/dev
539G0ZQ7B6 539G0ZQ7B6
| URI | m2://inv/539G0ZQ7B6 |
|---|---|
| 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.33019#7H46 (statement). In R4V2A3Z5GP/e1, corollary 3.6
History
- 2026-10-31: add by m2/v0.5.6
Aleph 0 539HD2YCVM
| URI | m2://inv/539HD2YCVM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleph number#G6KG, Aleph 0 (unknown)
History
- 2026-11-02: add by m2/dev
539NDBF1FA 539NDBF1FA
| URI | m2://inv/539NDBF1FA |
|---|---|
| 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 1907.01440#8X7Q (statement). In QDRYC6WJJ7/e1, theorem 9
History
- 2026-10-27: add by m2/v0.3.5
539RZA1PAM 539RZA1PAM
| URI | m2://inv/539RZA1PAM |
|---|---|
| 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.03520#QHP0 (statement). In CSRZ9CWK69/e1, lemma 3.4
History
- 2026-10-29: add by m2/v0.4.12
Albert Einstein 539T00Y8JX
| URI | m2://inv/539T00Y8JX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HTJA, Albert Einstein (topic)
History
- 2026-11-02: add by m2/dev
539YBDNX6C 539YBDNX6C
| URI | m2://inv/539YBDNX6C |
|---|---|
| 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.28824#1CUE (definition)
History
- 2026-11-01: add by m2/v0.6.15
53A3YTZ07R 53A3YTZ07R
| URI | m2://inv/53A3YTZ07R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#HH9B (definition). In 99CQPHSSYF/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.5
53A4M92JVW 53A4M92JVW
| URI | m2://inv/53A4M92JVW |
|---|---|
| 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.21034#AP2D (definition)
History
- 2026-11-02: add by m2/v0.6.18
narcissistic number 53A4Y7DYD5
| URI | m2://inv/53A4Y7DYD5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q777616, narcissistic number (unknown). Also MathWorld NarcissisticNumber, OEIS A005188
History
- 2026-10-26: add by m2/dev
53APZVMS61 53APZVMS61
| URI | m2://inv/53APZVMS61 |
|---|---|
| Kind | definition |
| 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.31365#861P (definition). In 19GENJ3NCP/e1, definition 6.6
History
- 2026-10-31: add by m2/v0.5.6
logic, truncated 53ARRF1TBN
| URI | m2://inv/53ARRF1TBN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.10/logic-truncated, logic, truncated (concept). In N54F33XE07, index, section 9.10
History
- 2026-11-01: add by m2/v0.6.13
Cleomedes 53AXV5GSM3
| URI | m2://inv/53AXV5GSM3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#O5GK, Cleomedes (unknown)
History
- 2026-11-02: add by m2/dev
Journal of Logic, Language and Information 53B4TJM6VC
| URI | m2://inv/53B4TJM6VC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#P306, Journal of Logic, Language and Information (definition)
History
- 2026-11-02: add by m2/dev
Boolean Pythagorean triples problem 53B7EENJBS
| URI | m2://inv/53B7EENJBS |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#2UJC, Boolean Pythagorean triples problem (problem)
History
- 2026-11-02: add by m2/dev
53BB9ETPZ8 53BB9ETPZ8
| URI | m2://inv/53BB9ETPZ8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 81.5
History
- 2026-11-01: add by m2/v0.6.13
53BGBTFW4V 53BGBTFW4V
| URI | m2://inv/53BGBTFW4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20170#5L67 (statement)
History
- 2026-11-02: add by m2/v0.6.18
53BKSKN0JM 53BKSKN0JM
| URI | m2://inv/53BKSKN0JM |
|---|---|
| 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.07190#BR9X (statement). In ZWS6Q4467X/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.10
53BMK5X3HW 53BMK5X3HW
| URI | m2://inv/53BMK5X3HW |
|---|---|
| Kind | statement |
| 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 2610.03719#HA5J (statement). In 8MDK189ZMB/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.12
53BSDZC20H 53BSDZC20H
| URI | m2://inv/53BSDZC20H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21231#VNXX (statement). In 4RH9PS7MN1/e1, corollary 1
History
- 2026-10-27: add by m2/v0.4.2
53BVVQDKWE 53BVVQDKWE
| URI | m2://inv/53BVVQDKWE |
|---|---|
| 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.07190#VN9I (statement). In ZWS6Q4467X/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
53BWTCHBGH 53BWTCHBGH
| URI | m2://inv/53BWTCHBGH |
|---|---|
| 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.20758#2NUR (statement). In PG0B4PH9YH/e1, lemma 3.15
History
- 2026-10-27: add by m2/v0.4.2
European Mathematical Society 53BZJYKVGR
| URI | m2://inv/53BZJYKVGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia European Mathematical Society, European Mathematical Society (definition). Also Wikidata Q1376788
History
- 2026-11-02: add by m2/dev
53C0YAMAX6 53C0YAMAX6
| URI | m2://inv/53C0YAMAX6 |
|---|---|
| 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.37124#DBWC (statement). In 2QF1YG9DD0/e1, corollary 3.27
History
- 2026-10-30: add by m2/v0.4.12
Intersection form 53C4XZEBFR
| URI | m2://inv/53C4XZEBFR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection theory#2BU5, Intersection form (unknown)
History
- 2026-11-02: add by m2/dev
53CDMTE95W 53CDMTE95W
| URI | m2://inv/53CDMTE95W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 53-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 hep-th/9409063#36RJ (statement). In 145ETYF9CG/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
771 (number) 53CY4BAZEV
| URI | m2://inv/53CY4BAZEV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#45F2, 771 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Stevedore knot (mathematics) 53CZJRV032
| URI | m2://inv/53CZJRV032 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#7EB9, Stevedore knot (mathematics) (definition)
History
- 2026-11-02: add by m2/dev
53D0WNP94D 53D0WNP94D
| URI | m2://inv/53D0WNP94D |
|---|---|
| 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.08042#F6FX (statement). In SSEDAYK3CQ/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
hyperbolic sine 53D1STF7CE
| URI | m2://inv/53D1STF7CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Hyperbolic sine 0GWD21EWRW |
Mentions
- wikidata: Wikidata Q1292101, hyperbolic sine (definition). Also MathWorld HyperbolicSine, nLab hyperbolic sine, ProofWiki Definition:Hyperbolic_Sine
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Axiom 8 53D4J1ZV0N
| URI | m2://inv/53D4J1ZV0N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Construction of the real numbers#59VS, Axiom 8 (statement)
History
- 2026-11-02: add by m2/dev
ECMNET 53DDJ0VKKP
| URI | m2://inv/53DDJ0VKKP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lenstra elliptic-curve factorization#YH2J, ECMNET (unknown)
History
- 2026-11-02: add by m2/dev
Enneacontagon 53DGXCHGYJ
| URI | m2://inv/53DGXCHGYJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#UXMG, Enneacontagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#WOZV, Enneacontagon (definition)
History
- 2026-11-02: add by m2/dev
Bianchi identity 53DQMN6HPT
| URI | m2://inv/53DQMN6HPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl tensor#E2PY, Bianchi identity (statement)
History
- 2026-11-02: add by m2/dev
53DSN3FA26 53DSN3FA26
| URI | m2://inv/53DSN3FA26 |
|---|---|
| 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.28540#P60Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
53DT4Q44A0 53DT4Q44A0
| URI | m2://inv/53DT4Q44A0 |
|---|---|
| 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.15340#F0EV (statement). In 9NVKKW8HDH/e1, corollary 2.82
History
- 2026-10-28: add by m2/v0.4.2
Generalizations 53E5A62YR5
| URI | m2://inv/53E5A62YR5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff polytope#5PMF, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
53E8WKQBJ4 53E8WKQBJ4
| URI | m2://inv/53E8WKQBJ4 |
|---|---|
| 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.36423#XOUQ (statement). In Q5Z178SAHP/e1, lemma 4.13
History
- 2026-10-30: add by m2/v0.4.12
Reynolds operator 53ECMGAV6Q
| URI | m2://inv/53ECMGAV6Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reynolds operator, Reynolds operator (definition). Also Wikidata Q7319684
History
- 2026-11-02: add by m2/dev
53EEKXX8MS 53EEKXX8MS
| URI | m2://inv/53EEKXX8MS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#definition-4 (definition). In P1C114YBXG, definition, section K
History
- 2026-11-01: add by m2/v0.6.13
Lanfranco Mignoti 53EENJ6AT1
| URI | m2://inv/53EENJ6AT1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lanfranco Mignoti, Lanfranco Mignoti (topic). Also Wikidata Q18945586
History
- 2026-11-02: add by m2/dev
53EF6TDBE1 53EF6TDBE1
| URI | m2://inv/53EF6TDBE1 |
|---|---|
| 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 1810.06028#RLKI (statement). In ZPFHH6YJG3/e1, lemma 2.17
History
- 2026-10-27: add by m2/v0.3.5
CRAN (R programming language) 53ETAJT82P
| URI | m2://inv/53ETAJT82P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R package#VAU7, CRAN (R programming language) (unknown)
History
- 2026-11-02: add by m2/dev
53F4EZV01X 53F4EZV01X
| URI | m2://inv/53F4EZV01X |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/introduction/composition.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 36.6
History
- 2026-11-01: add by m2/v0.6.13
People v. Collins 53F5BQJQNW
| URI | m2://inv/53F5BQJQNW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7DBK, People v. Collins (definition)
History
- 2026-11-02: add by m2/dev
Dimensional equivalence 53F8XFM1ZT
| URI | m2://inv/53F8XFM1ZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimensional analysis#F0QJ, Dimensional equivalence (unknown)
History
- 2026-11-02: add by m2/dev
53FFGRR1QC 53FFGRR1QC
| URI | m2://inv/53FFGRR1QC |
|---|---|
| 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.06381#KR90 (statement). In X9JKBDHACW/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
53FRF72K7K 53FRF72K7K
| URI | m2://inv/53FRF72K7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17400#9HYA (statement). In 8VDXGR4SVD/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Cointerpretability 53FT8BDA9A
| URI | m2://inv/53FT8BDA9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cointerpretability, Cointerpretability (definition). Also Wikidata Q5141644
History
- 2026-11-02: add by m2/dev
53FV9WMZCC 53FV9WMZCC
| URI | m2://inv/53FV9WMZCC |
|---|---|
| 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 2609.25656#MCYK (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition 53FZV21EGC
| URI | m2://inv/53FZV21EGC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smooth number#N70O, Definition (definition)
History
- 2026-11-02: add by m2/dev
Applications 53G1GB99J5
| URI | m2://inv/53G1GB99J5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barker code#4OCH, Applications (example)
History
- 2026-11-02: add by m2/dev
Tanguy Rivoal 53G4JD9SWR
| URI | m2://inv/53G4JD9SWR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tanguy Rivoal, Tanguy Rivoal (topic). Also Wikidata Q102239794
History
- 2026-11-02: add by m2/dev
Inverse relationship 53G8TJ5NAG
| URI | m2://inv/53G8TJ5NAG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XFQY, Inverse relationship (definition)
History
- 2026-11-02: add by m2/dev
Levy 53GDDE1V7J
| URI | m2://inv/53GDDE1V7J |
|---|---|
| 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.19283#EBQZ, Levy (statement). In 28BAGZRCKG/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
53GMRNP2PW 53GMRNP2PW
| URI | m2://inv/53GMRNP2PW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24314#MR7K (statement)
History
- 2026-11-01: add by m2/v0.6.15
53GN5BNK7W 53GN5BNK7W
| URI | m2://inv/53GN5BNK7W |
|---|---|
| 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.11395#XGXI (example). In T3W7SMWQ73/e1, example 5
History
- 2026-10-28: add by m2/v0.4.3
Definitions 53GRBAWDDT
| URI | m2://inv/53GRBAWDDT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleinian group#LGEU, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Robert Ghrist 53GSHSAFHQ
| URI | m2://inv/53GSHSAFHQ |
|---|---|
| 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#4C94, Robert Ghrist (topic)
History
- 2026-11-02: add by m2/dev
Hermitian form 53GVPJ9VZC
| URI | m2://inv/53GVPJ9VZC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3058204, Hermitian form (unknown). Also MathWorld HermitianForm, nLab Hermitian form
History
- 2026-10-26: add by m2/dev
E-decimated discrete wavelet transform 53GWTJX58Z
| URI | m2://inv/53GWTJX58Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of wavelet-related transforms#WA7S, E-decimated discrete wavelet transform (unknown)
History
- 2026-11-02: add by m2/dev
CLEFIA 53H6VJ92HA
| URI | m2://inv/53H6VJ92HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CLEFIA, CLEFIA (definition). Also Wikidata Q978814
History
- 2026-11-02: add by m2/dev
implicit function 53H7FXA6JF
| URI | m2://inv/53H7FXA6JF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/2.7.1/implicit-function, implicit function (concept). In 907G4C4EJ1, index, section 2.7.1
History
- 2026-11-01: add by m2/v0.6.13
53H7PZVCS7 53H7PZVCS7
| URI | m2://inv/53H7PZVCS7 |
|---|---|
| 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.13505#FYVV (definition). In 6Z1DDCYCQ8/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
53HCM4GA9T 53HCM4GA9T
| URI | m2://inv/53HCM4GA9T |
|---|---|
| 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#9ZHJ (statement). In CA4C9PFM1E/e1, lemma 5.3.4
History
- 2026-10-30: add by m2/v0.4.12
Definition 53HMD9RMN9
| URI | m2://inv/53HMD9RMN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marginal value theorem#DOHR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Online algorithm 53HN5AGEZS
| URI | m2://inv/53HN5AGEZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#3CFG, Online algorithm (unknown)
History
- 2026-11-02: add by m2/dev
Continuity at a point 53HP5RE30S
| URI | m2://inv/53HP5RE30S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous function#0ITL, Continuity at a point (unknown)
History
- 2026-11-02: add by m2/dev
Thomas Zaslavsky 53HSSH4NWX
| URI | m2://inv/53HSSH4NWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VDQA, Thomas Zaslavsky (unknown)
History
- 2026-11-02: add by m2/dev
Nine Mile, Jamaica 53JFGV5QCA
| URI | m2://inv/53JFGV5QCA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MYNV, Nine Mile, Jamaica (unknown)
History
- 2026-11-02: add by m2/dev
Discrete-time proportional hazards 53JFYV37W1
| URI | m2://inv/53JFYV37W1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete-time proportional hazards, Discrete-time proportional hazards (definition). Also Wikidata Q48996128
History
- 2026-11-02: add by m2/dev
Stoichiometric coefficient 53JGDYQ4KC
| URI | m2://inv/53JGDYQ4KC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chemical equation#VS8Y, Stoichiometric coefficient (unknown)
History
- 2026-11-02: add by m2/dev
Modality and uniform determinacy 53JGQ4R0W1
| URI | m2://inv/53JGQ4R0W1 |
|---|---|
| Kind | statement |
| 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 2610.07092#VWUW, Modality and uniform determinacy (statement). In JWNYJVH8XG/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
differentiable 53JHS2HGXT
| URI | m2://inv/53JHS2HGXT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.3.2/differentiable, differentiable (concept). In 907G4C4EJ1, index, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
53JNPGEBNA 53JNPGEBNA
| URI | m2://inv/53JNPGEBNA |
|---|---|
| Kind | statement |
| 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#HK5B (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties 53JQ491H67
| URI | m2://inv/53JQ491H67 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov–Zurbenko filter#83NX, Properties (statement)
History
- 2026-11-02: add by m2/dev
Eklof, 1993 53JW1P1K05
| URI | m2://inv/53JW1P1K05 |
|---|---|
| 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.35682#P7P0, Eklof, 1993 (statement). In 7XM8WXVBWK/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
polycyclic group 53JXBRA59R
| URI | m2://inv/53JXBRA59R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Polycyclic group 9RBA56NXX3 |
Mentions
- wikidata: Wikidata Q1658427, polycyclic group (unknown). Also EoM Polycyclic_group, MathWorld PolycyclicGroup
- wikipedia: Wikipedia Polycyclic group, Polycyclic group (definition). Also Wikidata Q1658427
History
- 2026-10-26: add by m2/dev
Theorem 53KC4F6ZE2
| URI | m2://inv/53KC4F6ZE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular submodule#IS25, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Annuario Pontificio 53KJP6QAVQ
| URI | m2://inv/53KJP6QAVQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Annuario Pontificio, Annuario Pontificio (definition). Also Wikidata Q75248
History
- 2026-11-02: add by m2/dev
Ternary Goldbach conjecture 53KK1T1RCB
| URI | m2://inv/53KK1T1RCB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#U76N, Ternary Goldbach conjecture (statement)
History
- 2026-11-02: add by m2/dev
Examples 53KX8TV9DB
| URI | m2://inv/53KX8TV9DB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pure submodule#F3C8, Examples (example)
History
- 2026-11-02: add by m2/dev
Čech cohomology 53M0DAN46B
| URI | m2://inv/53M0DAN46B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#WUKW, Čech cohomology (definition)
History
- 2026-11-02: add by m2/dev
Oort constants 53M8BTSM9S
| URI | m2://inv/53M8BTSM9S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oort constants, Oort constants (definition). Also Wikidata Q1775715
History
- 2026-11-02: add by m2/dev
Terminology 53MC8PMJ4N
| URI | m2://inv/53MC8PMJ4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degenerate bilinear form#NMBY, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Cardiac function curve 53MCQBT8EB
| URI | m2://inv/53MCQBT8EB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#EEBS, Cardiac function curve (unknown)
History
- 2026-11-02: add by m2/dev
Planigon 53MH4V2149
| URI | m2://inv/53MH4V2149 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planigon, Planigon (definition). Also Wikidata Q85793526
History
- 2026-11-02: add by m2/dev
The formula 53MTAZJB53
| URI | m2://inv/53MTAZJB53 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Danish pile-driving formula#292Z, The formula (statement)
History
- 2026-11-02: add by m2/dev
Properties 53MYDYV5A4
| URI | m2://inv/53MYDYV5A4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cooperative game theory#IPZ5, Properties (statement)
History
- 2026-11-02: add by m2/dev
53NFXJ595F 53NFXJ595F
| URI | m2://inv/53NFXJ595F |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/multiple-designation.tex#prob-5 (exercise). In PKGMM3P5QY, prob, section 42.6
History
- 2026-11-01: add by m2/v0.6.13
Corollary 4 53NN8EEA2B
| URI | m2://inv/53NN8EEA2B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple continued fraction#BQW7, Corollary 4 (statement)
History
- 2026-11-02: add by m2/dev
53NRX2Q9GT 53NRX2Q9GT
| URI | m2://inv/53NRX2Q9GT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#39OF (definition)
History
- 2026-11-02: add by m2/v0.6.17
53NYR9K1EC 53NYR9K1EC
| URI | m2://inv/53NYR9K1EC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 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 2609.25957#WD2R (definition)
History
- 2026-11-01: add by m2/v0.6.15
53P1V3MMJ9 53P1V3MMJ9
| URI | m2://inv/53P1V3MMJ9 |
|---|---|
| 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#5K9D (statement)
History
- 2026-11-02: add by m2/v0.6.18
Georges Matheron Lectureship 53PB63SXGV
| URI | m2://inv/53PB63SXGV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georges Matheron Lectureship, Georges Matheron Lectureship (definition). Also Wikidata Q18357136
History
- 2026-11-02: add by m2/dev
53PDANTDBR 53PDANTDBR
| URI | m2://inv/53PDANTDBR |
|---|---|
| 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 2305.13184#T6YS (statement). In SKYG9GMA96/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.6
A simple example 53PE4D4RF5
| URI | m2://inv/53PE4D4RF5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolution (logic)#5799, A simple example (example)
History
- 2026-11-02: add by m2/dev
Lamberto Cesari 53PGMC9RXW
| URI | m2://inv/53PGMC9RXW |
|---|---|
| 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#36BL, Lamberto Cesari (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QEOM, Lamberto Cesari (topic)
History
- 2026-11-02: add by m2/dev
HP-20S 53PK7C08SY
| URI | m2://inv/53PK7C08SY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP-20S, HP-20S (definition). Also Wikidata Q5635548
History
- 2026-11-02: add by m2/dev
Hash collision 53PNWQMNZ4
| URI | m2://inv/53PNWQMNZ4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#M7KQ, Hash collision (unknown)
History
- 2026-11-02: add by m2/dev
53PNYQ1JFB 53PNYQ1JFB
| URI | m2://inv/53PNYQ1JFB |
|---|---|
| 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.18775#QF48 (statement). In Y2Y96TTDQ4/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
53PQSS3V4T 53PQSS3V4T
| URI | m2://inv/53PQSS3V4T |
|---|---|
| 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.29449#YMGV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications 53PXS6E8N1
| URI | m2://inv/53PXS6E8N1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parker vector#UE70, Applications (example)
History
- 2026-11-02: add by m2/dev
Elliptic curves over finite fields 53Q9QYVKG3
| URI | m2://inv/53Q9QYVKG3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic curve#MP3K, Elliptic curves over finite fields (unknown)
History
- 2026-11-02: add by m2/dev
53QACJB767 53QACJB767
| URI | m2://inv/53QACJB767 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33557#UO7A (statement). In 95YZVAPGJA/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
Higher moments 53QDJTGC7X
| URI | m2://inv/53QDJTGC7X |
|---|---|
| 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.29784#L51F, Higher moments (statement)
History
- 2026-11-01: add by m2/v0.6.15
53QEC5PB4S 53QEC5PB4S
| URI | m2://inv/53QEC5PB4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.23119#4SXR (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition 53QGHPKQ5K
| URI | m2://inv/53QGHPKQ5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine arithmetic#HPSC, Definition (definition)
History
- 2026-11-02: add by m2/dev
53QNQQ0APJ 53QNQQ0APJ
| URI | m2://inv/53QNQQ0APJ |
|---|---|
| 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.26191#OUSV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Construction 53QTXJ935Y
| URI | m2://inv/53QTXJ935Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spectral sequence#4GPY, Construction (definition)
History
- 2026-11-02: add by m2/dev
foreign aid 53QWGC4HCA
| URI | m2://inv/53QWGC4HCA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#M2V8, foreign aid (unknown)
History
- 2026-11-02: add by m2/dev
Lemma 53R9C8WMEG
| URI | m2://inv/53R9C8WMEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylow theorems#M8PX, Lemma (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Special cases 53RKVWVW41
| URI | m2://inv/53RKVWVW41 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal matrix#2BOX, Special cases (statement)
History
- 2026-11-02: add by m2/dev
53RRHZCF6N 53RRHZCF6N
| URI | m2://inv/53RRHZCF6N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-237 (exercise). In VNMV985MXX, exercise, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
53RRKR9964 53RRKR9964
| URI | m2://inv/53RRKR9964 |
|---|---|
| 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 2610.15432#N38T (statement). In D1DFM4WYEW/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
53RYZPPJ9Y 53RYZPPJ9Y
| URI | m2://inv/53RYZPPJ9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35467#N9K8 (statement). In FK89DQ9J4S/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Unsatisfiable or redundant 53S5WRE1YG
| URI | m2://inv/53S5WRE1YG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22407#38RC, Unsatisfiable or redundant (statement)
History
- 2026-11-02: add by m2/v0.6.17
53S8FAF6K5 53S8FAF6K5
| URI | m2://inv/53S8FAF6K5 |
|---|---|
| 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.35466#RA9D (statement). In MVR35ZJPCC/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Strong-Rough Solutions 53SG805ZME
| URI | m2://inv/53SG805ZME |
|---|---|
| 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 2312.06473#8SKT, Strong-Rough Solutions (definition). In P1MYSYHSGX/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.3.5
Eric Goles 53SHN884G7
| URI | m2://inv/53SHN884G7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9XL0, Eric Goles (unknown)
History
- 2026-11-02: add by m2/dev
53SRYZ8FAS 53SRYZ8FAS
| URI | m2://inv/53SRYZ8FAS |
|---|---|
| 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.27715#XK0T (statement)
History
- 2026-11-01: add by m2/v0.6.15
augmented tridiminished icosahedron 53SVGRWPGW
| URI | m2://inv/53SVGRWPGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1614182, augmented tridiminished icosahedron (object). Also MathWorld AugmentedTridiminishedIcosahedron
- wikipedia: Wikipedia Augmented tridiminished icosahedron, Augmented tridiminished icosahedron (definition). Also Wikidata Q1614182
History
- 2026-10-26: add by m2/dev
53T2WER5HW 53T2WER5HW
| URI | m2://inv/53T2WER5HW |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 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.18302#2757 (example). In VJTRH1S4JA/e1, example 2.9
History
- 2026-10-28: add by m2/v0.4.2
53TC32TTRA 53TC32TTRA
| URI | m2://inv/53TC32TTRA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-1.xml#example-1 (example). In 649HGZKE96, example, section 2.1.2
History
- 2026-11-01: add by m2/v0.6.13
53TCQH64X7 53TCQH64X7
| URI | m2://inv/53TCQH64X7 |
|---|---|
| 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#OQGO (statement). In HVDSC1GQRD/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
Generalized Dirichlet's Unit Theorem 53TJW28CA1
| URI | m2://inv/53TJW28CA1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32138#Z2CJ, Generalized Dirichlet's Unit Theorem (statement). In ZG0GNHTCWB/e1, theorem 4.5
History
- 2026-10-31: add by m2/v0.5.6
Vagn Lundsgaard Hansen 53TX8MYKQY
| URI | m2://inv/53TX8MYKQY |
|---|---|
| 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 Q12340430, Vagn Lundsgaard Hansen (unknown). Also nLab Vagn Lundsgaard Hansen
History
- 2026-10-26: add by m2/dev
53TXNW181E 53TXNW181E
| URI | m2://inv/53TXNW181E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.12309#8YYO (statement). In ZR53K3E0FR/e1, corollary 19
History
- 2026-10-27: add by m2/v0.3.6
53V5JSVSH6 53V5JSVSH6
| URI | m2://inv/53V5JSVSH6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1004.4564#CWOV (statement). In BZ54C9SKYS/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
Definition 53VCH5163T
| URI | m2://inv/53VCH5163T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic derivative#6DWX, Definition (definition)
History
- 2026-11-02: add by m2/dev
53VKEHQE6K 53VKEHQE6K
| URI | m2://inv/53VKEHQE6K |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13295#4QOM (example). In 8Q7QXTWD0S/e1, example 6.12
History
- 2026-10-28: add by m2/v0.4.2
53VQ3QNMK2 53VQ3QNMK2
| URI | m2://inv/53VQ3QNMK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#1Y5W (statement). In 69QFBXJENW/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.3.5
Ivar Ekeland 53VW1KHA6J
| URI | m2://inv/53VW1KHA6J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ivar Ekeland, Ivar Ekeland (topic). Also Wikidata Q679779
History
- 2026-11-02: add by m2/dev
Rumely 53VZZSPEWH
| URI | m2://inv/53VZZSPEWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#O8SZ, Rumely (statement). In WAXS6FS388/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Criterion tables 53W3FDRJJ4
| URI | m2://inv/53W3FDRJJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison of electoral systems#OKDO, Criterion tables (statement)
History
- 2026-11-02: add by m2/dev
53WMKZ6TB4 53WMKZ6TB4
| URI | m2://inv/53WMKZ6TB4 |
|---|---|
| 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.24373#5ZKH (statement)
History
- 2026-11-01: add by m2/v0.6.15
The fundamental theorem of additive polynomials 53WNBKC3D7
| URI | m2://inv/53WNBKC3D7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Additive polynomial#P7LK, The fundamental theorem of additive polynomials (statement)
History
- 2026-11-02: add by m2/dev
matrix, zeroone 53WPAH06EX
| URI | m2://inv/53WPAH06EX |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/16.5/matrix-zeroone, matrix, zeroone (concept). In QKM9DD2H56, index, section 16.5
History
- 2026-11-01: add by m2/v0.6.13
Implementations 53WQMT7826
| URI | m2://inv/53WQMT7826 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Directory service#Q0YU, Implementations (definition)
History
- 2026-11-02: add by m2/dev
variable assignment 53WR11D0KY
| URI | m2://inv/53WR11D0KY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#JF5O, variable assignment (definition)
History
- 2026-11-02: add by m2/dev
53X2XZ8V1F 53X2XZ8V1F
| URI | m2://inv/53X2XZ8V1F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35340#H26E (statement). In WCY07D1CJG/e1, theorem 5.4
History
- 2026-10-30: add by m2/v0.4.12
Dunkl operator 53X8KK3A14
| URI | m2://inv/53X8KK3A14 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#869Z, Dunkl operator (definition)
History
- 2026-11-02: add by m2/dev
κ 53XB9341N4
| URI | m2://inv/53XB9341N4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#KJPI, κ (definition)
History
- 2026-11-02: add by m2/dev
53XKZ9ZB83 53XKZ9ZB83
| URI | m2://inv/53XKZ9ZB83 |
|---|---|
| Kind | example |
| 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 2604.10080#TH9O (example). In KM2FWKP93A/e1, example 7.6
History
- 2026-10-27: add by m2/v0.4.0
Guadalupe 53XNDWXM1W
| URI | m2://inv/53XNDWXM1W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#3A5Z, Guadalupe (unknown)
History
- 2026-11-02: add by m2/dev
Serre group 53XR30WN60
| URI | m2://inv/53XR30WN60 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#DORC, Serre group (definition)
History
- 2026-11-02: add by m2/dev
53XSA7ZXBJ 53XSA7ZXBJ
| URI | m2://inv/53XSA7ZXBJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#196V (statement). In MVXZWHKEX8/e1, corollary 6.6
History
- 2026-10-29: add by m2/v0.4.10
53XSYB2VJK 53XSYB2VJK
| URI | m2://inv/53XSYB2VJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2206.05392#4MJK (statement). In 58D1ZC82DW/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Claude Lemaréchal 53XWNRYX3S
| URI | m2://inv/53XWNRYX3S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Claude Lemaréchal, Claude Lemaréchal (topic). Also Wikidata Q5128934
History
- 2026-11-02: add by m2/dev
53XZRRMP81 53XZRRMP81
| URI | m2://inv/53XZRRMP81 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-7 (example). In E59CDZA4DP, example, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
Absolute precision 53Y1A7Z2DZ
| URI | m2://inv/53Y1A7Z2DZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#QWDS, Absolute precision (definition). In 8BNPFYQDQX/e1, definition 17.2
History
- 2026-10-29: add by m2/v0.4.10
53Y3M35S12 53Y3M35S12
| URI | m2://inv/53Y3M35S12 |
|---|---|
| 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 2610.11906#QTJS (statement). In 8S9TEAPCDJ/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.3
Stone--Weierstrass, real version 53YNYSW9H6
| URI | m2://inv/53YNYSW9H6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#thm:SWreal, Stone--Weierstrass, real version (statement). In E59CDZA4DP, thm, section 1.7.2
History
- 2026-11-01: add by m2/v0.6.13
C. Jordan 53YTQ5Q7P5
| URI | m2://inv/53YTQ5Q7P5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#DMP3, C. Jordan (topic)
History
- 2026-11-02: add by m2/dev
53Z3P722PA 53Z3P722PA
| URI | m2://inv/53Z3P722PA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#BMTU (statement). In GMRT5GHBZS/e1, theorem 2.6
History
- 2026-10-29: add by m2/v0.4.10
Jean-Pierre Demailly 53Z3VYHHDE
| URI | m2://inv/53Z3VYHHDE |
|---|---|
| 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#4298, Jean-Pierre Demailly (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TS3T, Jean-Pierre Demailly (topic)
History
- 2026-11-02: add by m2/dev
Console-Olmos 53Z4Z1X6SW
| URI | m2://inv/53Z4Z1X6SW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2401.07983#WKYB, Console-Olmos (statement). In 4WJ9HYVSZY/e1, theorem 2.9
History
- 2026-10-27: add by m2/v0.3.6
Range of valid codimensions 53ZAYWDX7C
| URI | m2://inv/53ZAYWDX7C |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27798#GRCA, Range of valid codimensions (problem)
History
- 2026-11-01: add by m2/v0.6.15
Formal definition 53ZK5JWW56
| URI | m2://inv/53ZK5JWW56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quillen adjunction#6CZ7, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
List of integrals of logarithmic functions 53ZKASV8A1
| URI | m2://inv/53ZKASV8A1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#E9C7, List of integrals of logarithmic functions (unknown)
- wikipedia: Wikipedia Lists of integrals#KQF7, List of integrals of logarithmic functions (unknown)
- wikipedia: Wikipedia List of calculus topics#YEOI, List of integrals of logarithmic functions (unknown)
- wikipedia: Wikipedia Lists of mathematics topics#Q9W9, List of integrals of logarithmic functions (unknown)
History
- 2026-11-02: add by m2/dev