Inventory rows 9N
The cards of the rows of the inventory whose ids start with 9N. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Properties 9N00M7NVTE
| URI | m2://inv/9N00M7NVTE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cofinal (mathematics)#6WE0, Properties (statement)
History
- 2026-11-02: add by m2/dev
List of Runge–Kutta methods 9N01W24TX0
| URI | m2://inv/9N01W24TX0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Runge–Kutta methods, List of Runge–Kutta methods (topic). Also Wikidata Q6596023
History
- 2026-11-02: add by m2/dev
9N036HHRHV 9N036HHRHV
| URI | m2://inv/9N036HHRHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 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.25168#NAXZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conjunction introduction 9N0PE5R9XD
| URI | m2://inv/9N0PE5R9XD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conjunction introduction#XVV7, Conjunction introduction (statement)
History
- 2026-11-02: add by m2/dev
9N0T1A5A9D 9N0T1A5A9D
| URI | m2://inv/9N0T1A5A9D |
|---|---|
| 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.23230#RUQD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Properties 9N0XE71FFA
| URI | m2://inv/9N0XE71FFA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nowhere dense set#1T1Q, Properties (statement)
History
- 2026-11-02: add by m2/dev
Conway Berners-Lee 9N13X2K1M6
| URI | m2://inv/9N13X2K1M6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conway Berners-Lee, Conway Berners-Lee (topic). Also Wikidata Q5166696
History
- 2026-11-02: add by m2/dev
9N1AAA966B 9N1AAA966B
| URI | m2://inv/9N1AAA966B |
|---|---|
| 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.06458#YIB9 (statement). In 4X93XG8NMD/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Examples 9N1DK84K9E
| URI | m2://inv/9N1DK84K9E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Direct proof#KCC8, Examples (example)
History
- 2026-11-02: add by m2/dev
Key server 9N1PQD13E4
| URI | m2://inv/9N1PQD13E4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Key server (cryptographic), Key server (definition). Also Wikidata Q727376
History
- 2026-11-02: add by m2/dev
New Foundations 9N1RA57CTQ
| URI | m2://inv/9N1RA57CTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of alternative set theories#8GVL, New Foundations (definition)
History
- 2026-11-02: add by m2/dev
9N1V5X9QWK 9N1V5X9QWK
| URI | m2://inv/9N1V5X9QWK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise:convergentinitialvalues (exercise). In E59CDZA4DP, exercise, section 10.2.5
History
- 2026-11-01: add by m2/v0.6.13
theory of computation 9N21CWKEZC
| URI | m2://inv/9N21CWKEZC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q844718, theory of computation (unknown). Also EoM Algorithms,_theory_of, EoM Mathematical_theory_of_computation
- wikipedia: Wikipedia Theory of computation, Theory of computation (topic). Also Wikidata Q844718
History
- 2026-10-26: add by m2/dev
9N24TKCCMW 9N24TKCCMW
| URI | m2://inv/9N24TKCCMW |
|---|---|
| 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 2308.05715#835C (example). In FC0SB9JFWH/e1, example 10.5
History
- 2026-10-27: add by m2/v0.3.5
Wolf Prize in Mathematics 9N2FQX5F6N
| URI | m2://inv/9N2FQX5F6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolf Prize in Mathematics, Wolf Prize in Mathematics (definition). Also Wikidata Q915604
History
- 2026-11-02: add by m2/dev
William Edge 9N2PNDY8AE
| URI | m2://inv/9N2PNDY8AE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#QW4G, William Edge (topic)
History
- 2026-11-02: add by m2/dev
Definitions 9N2Q1W32C0
| URI | m2://inv/9N2Q1W32C0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace distribution#GZPF, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Relative discriminant 9N2RHA197Q
| URI | m2://inv/9N2RHA197Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discriminant of an algebraic number field#C82X, Relative discriminant (unknown)
History
- 2026-11-02: add by m2/dev
Bitonic sorter 9N2XMPB3MQ
| URI | m2://inv/9N2XMPB3MQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bitonic sorter, Bitonic sorter (definition). Also Wikidata Q4918918
History
- 2026-11-02: add by m2/dev
9N2ZMRFQ4R 9N2ZMRFQ4R
| URI | m2://inv/9N2ZMRFQ4R |
|---|---|
| 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.21540#UK9Q (statement)
History
- 2026-11-02: add by m2/v0.6.18
9N31ZPYYMS 9N31ZPYYMS
| URI | m2://inv/9N31ZPYYMS |
|---|---|
| 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.21339#GIYY (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pollard's rho algorithm for logarithms 9N38FHPH4P
| URI | m2://inv/9N38FHPH4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pollard's rho algorithm for logarithms, Pollard's rho algorithm for logarithms (definition). Also Wikidata Q4053693
History
- 2026-11-02: add by m2/dev
9N39YKAS0D 9N39YKAS0D
| URI | m2://inv/9N39YKAS0D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12054#HNR2 (statement). In 1A01NFHBGA/e1, lemma 2.13
History
- 2026-10-28: add by m2/v0.4.3
lateral area 9N3A2EAXSK
| URI | m2://inv/9N3A2EAXSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder#BW24, lateral area (definition)
History
- 2026-11-02: add by m2/dev
9N3AHZ158G 9N3AHZ158G
| URI | m2://inv/9N3AHZ158G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/introduction.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 28.1
History
- 2026-11-01: add by m2/v0.6.13
Upper Bound Theorem for polytopes 9N3DDAYT35
| URI | m2://inv/9N3DDAYT35 |
|---|---|
| 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.24878#TH0D, Upper Bound Theorem for polytopes (statement)
History
- 2026-11-01: add by m2/v0.6.15
Distributivity 9N3GB5RVW3
| URI | m2://inv/9N3GB5RVW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distributivity (order theory), Distributivity (definition). Also Wikidata Q5283219
History
- 2026-11-02: add by m2/dev
9N3GSY109Y 9N3GSY109Y
| URI | m2://inv/9N3GSY109Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
Example 9N3H3WDQSW
| URI | m2://inv/9N3H3WDQSW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chemical equation#JZ45, Example (example)
History
- 2026-11-02: add by m2/dev
Selberg trace formula 9N3WK3TDAQ
| URI | m2://inv/9N3WK3TDAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Selberg trace formula BDAWKPBNQP |
Mentions
- wikidata: Wikidata Q3077649, Selberg trace formula (statement). Also MathWorld SelbergTraceFormula, nLab Selberg trace formula
- wikipedia: Wikipedia Selberg trace formula, Selberg trace formula (statement). Also Wikidata Q3077649
History
- 2026-10-26: add by m2/dev
9N3XPPVXQG 9N3XPPVXQG
| URI | m2://inv/9N3XPPVXQG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24545#9I9E (statement)
History
- 2026-11-01: add by m2/v0.6.15
Vojtěch Jarník 9N42VBAYRA
| URI | m2://inv/9N42VBAYRA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RIGI, Vojtěch Jarník (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KFZZ, Vojtěch Jarník (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZG86, Vojtěch Jarník (topic)
History
- 2026-11-02: add by m2/dev
E-function 9N4320BY2J
| URI | m2://inv/9N4320BY2J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5321510, E-function (concept). Also MathWorld E-Function
- wikipedia: Wikipedia E-function, E-function (definition). Also Wikidata Q5321510
History
- 2026-10-26: add by m2/dev
half-open interval 9N46AYFXC6
| URI | m2://inv/9N46AYFXC6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/7.4/half-open-interval, half-open interval (concept). In E59CDZA4DP, index, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
Completeness 9N493GH9MX
| URI | m2://inv/9N493GH9MX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completeness (cryptography), Completeness (definition). Also Wikidata Q5156541
History
- 2026-11-02: add by m2/dev
Erdos discrepancy 9N4F00H51R
| URI | m2://inv/9N4F00H51R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sign sequence#4QWP, Erdos discrepancy (unknown)
History
- 2026-11-02: add by m2/dev
Soddy circle 9N4FJ6F0A5
| URI | m2://inv/9N4FJ6F0A5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Descartes's theorem#OGM8, Soddy circle (unknown)
History
- 2026-11-02: add by m2/dev
Example 9N4V5D0N42
| URI | m2://inv/9N4V5D0N42 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes factor#SC4G, Example (example)
History
- 2026-11-02: add by m2/dev
Timeline of abelian varieties 9N51T3QWZC
| URI | m2://inv/9N51T3QWZC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Timeline of abelian varieties, Timeline of abelian varieties (topic). Also Wikidata Q7806002
History
- 2026-11-02: add by m2/dev
Strictly standardized mean difference 9N57MBA14Q
| URI | m2://inv/9N57MBA14Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strictly standardized mean difference, Strictly standardized mean difference (definition). Also Wikidata Q7623693
History
- 2026-11-02: add by m2/dev
9N5DZSYN3J 9N5DZSYN3J
| URI | m2://inv/9N5DZSYN3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#MJ9F (statement). In JJQPFXZQ3D/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
9N5GS28569 9N5GS28569
| URI | m2://inv/9N5GS28569 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#B4VW (statement). In 2W5Z97BBW4/e1, corollary 4.13
History
- 2026-10-27: add by m2/v0.4.0
9N5MPDTW2C 9N5MPDTW2C
| URI | m2://inv/9N5MPDTW2C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/taylor.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 34.7
History
- 2026-11-01: add by m2/v0.6.13
Definition 9N5QMQT8NG
| URI | m2://inv/9N5QMQT8NG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitting length#7RS8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Reduced solve and oracle count 9N5R6N3NT6
| URI | m2://inv/9N5R6N3NT6 |
|---|---|
| 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.06557#UNK9, Reduced solve and oracle count (statement). In VV5CH6Y31D/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.10
Cauchy development 9N5XE1H082
| URI | m2://inv/9N5XE1H082 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy surface#BIUK, Cauchy development (unknown)
History
- 2026-11-02: add by m2/dev
9N67R25MZP 9N67R25MZP
| URI | m2://inv/9N67R25MZP |
|---|---|
| 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.15525#K37U (statement). In EFDRME13PT/e1, corollary 3.4
History
- 2026-10-28: add by m2/v0.4.2
9N6914J2PA 9N6914J2PA
| URI | m2://inv/9N6914J2PA |
|---|---|
| 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 2312.14319#7SZA (statement). In V0S2EZ53GB/e1, lemma 1.3
History
- 2026-10-27: add by m2/v0.3.5
9N6CTRD2T3 9N6CTRD2T3
| URI | m2://inv/9N6CTRD2T3 |
|---|---|
| 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 2411.02694#BKG5 (statement). In A8EK2ARN5Q/e1, lemma B.1
History
- 2026-10-27: add by m2/v0.4.0
Leopold Kronecker 9N6DDYKMDK
| URI | m2://inv/9N6DDYKMDK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#DGZ1, Leopold Kronecker (topic)
History
- 2026-11-02: add by m2/dev
Properties 9N6QP0762H
| URI | m2://inv/9N6QP0762H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwartz topological vector space#S3IE, Properties (statement)
History
- 2026-11-02: add by m2/dev
wff 9N6RXK4SY9
| URI | m2://inv/9N6RXK4SY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#PW50, wff (definition)
History
- 2026-11-02: add by m2/dev
9N6TSSR53B 9N6TSSR53B
| URI | m2://inv/9N6TSSR53B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-17 (proof). In VNMV985MXX, proof, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Remarks on the Foundations of Mathematics 9N6V5FQ5AH
| URI | m2://inv/9N6V5FQ5AH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Remarks on the Foundations of Mathematics, Remarks on the Foundations of Mathematics (topic). Also Wikidata Q7311546
History
- 2026-11-02: add by m2/dev
9N6WH9D3J3 9N6WH9D3J3
| URI | m2://inv/9N6WH9D3J3 |
|---|---|
| Kind | statement |
| 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#UT9D (statement). In X765ZXXVC3/e1, theorem 5.16
History
- 2026-10-29: add by m2/v0.4.12
9N752555EJ 9N752555EJ
| URI | m2://inv/9N752555EJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/examples.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 3.20
History
- 2026-11-01: add by m2/v0.6.13
9N7DDF19EE 9N7DDF19EE
| URI | m2://inv/9N7DDF19EE |
|---|---|
| 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.02791#H5XI (statement). In TT9BA4VMTW/e1, fact C.1
History
- 2026-10-29: add by m2/v0.4.12
Line graph 9N7EGFXZ0K
| URI | m2://inv/9N7EGFXZ0K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#JQ5L, Line graph (definition)
History
- 2026-11-02: add by m2/dev
BassOmatic 9N7FFBKFMM
| URI | m2://inv/9N7FFBKFMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BassOmatic, BassOmatic (definition). Also Wikidata Q926394
History
- 2026-11-02: add by m2/dev
9N7HK9X7FA 9N7HK9X7FA
| URI | m2://inv/9N7HK9X7FA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-4.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Sierpinski space 9N7WEHK669
| URI | m2://inv/9N7WEHK669 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#0TVV, Sierpinski space (definition)
- wikipedia: Wikipedia List of mathematical examples#JZQ3, Sierpinski space (definition)
History
- 2026-11-02: add by m2/dev
9N8CFY5YNE 9N8CFY5YNE
| URI | m2://inv/9N8CFY5YNE |
|---|---|
| Kind | statement |
| 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 2610.13817#GVCR (statement). In BMSAXTDV47/e1, corollary 3.3
History
- 2026-10-28: add by m2/v0.4.2
heptadecagonal number 9N8EHSDPSW
| URI | m2://inv/9N8EHSDPSW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18454706, heptadecagonal number (object). Also OEIS A051869
History
- 2026-10-26: add by m2/dev
9N8GX804DR 9N8GX804DR
| URI | m2://inv/9N8GX804DR |
|---|---|
| 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.35360#OSRY (statement). In 770AQ8T366/e1, lemma 3.5
History
- 2026-10-30: add by m2/v0.4.12
operator topology 9N8SMRT5JG
| URI | m2://inv/9N8SMRT5JG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2026614, operator topology (unknown). Also EoM Operator_topology, nLab operator topology
- wikipedia: Wikipedia Operator topologies, Operator topologies (definition). Also Wikidata Q2026614
History
- 2026-10-26: add by m2/dev
Andreas Musalus 9N8TZQD1E2
| URI | m2://inv/9N8TZQD1E2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andreas Musalus, Andreas Musalus (topic). Also Wikidata Q4308314
History
- 2026-11-02: add by m2/dev
9N8XDVR62W 9N8XDVR62W
| URI | m2://inv/9N8XDVR62W |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-20 (proof). In N54F33XE07, proof, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Semantic paradox 9N90YZWCDC
| URI | m2://inv/9N90YZWCDC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradox#L47D, Semantic paradox (unknown)
History
- 2026-11-02: add by m2/dev
immersion 9N93BFVQGG
| URI | m2://inv/9N93BFVQGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#BU48, immersion (definition)
History
- 2026-11-02: add by m2/dev
Raj Chandra Bose 9N9MZ39GK8
| URI | m2://inv/9N9MZ39GK8 |
|---|---|
| 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 Q737968, Raj Chandra Bose (unknown). Also MathWorld EulersGraeco-RomanSquaresConjecture
- wikipedia: Wikipedia Raj Chandra Bose, Raj Chandra Bose (topic). Also Wikidata Q737968
History
- 2026-10-26: add by m2/dev
9N9PXT11PC 9N9PXT11PC
| URI | m2://inv/9N9PXT11PC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#OY9V (statement). In 1R7H0ZAHWA/e1, theorem 7.5
History
- 2026-10-28: add by m2/v0.4.2
Runcinated tesseracts 9N9RX7RVAD
| URI | m2://inv/9N9RX7RVAD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated tesseracts, Runcinated tesseracts (definition). Also Wikidata Q7379717
History
- 2026-11-02: add by m2/dev
Jin Yuelin 9N9X0CBG5E
| URI | m2://inv/9N9X0CBG5E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#IX7V, Jin Yuelin (topic)
History
- 2026-11-02: add by m2/dev
Heptagram 9N9YVXZZB1
| URI | m2://inv/9N9YVXZZB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#6B3D, Heptagram (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#KF1C, Heptagram (definition)
History
- 2026-11-02: add by m2/dev
Clark, Cynthia 9NA03DJ01B
| URI | m2://inv/9NA03DJ01B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#8OG9, Clark, Cynthia (topic)
History
- 2026-11-02: add by m2/dev
9NA8FJX2BT 9NA8FJX2BT
| URI | m2://inv/9NA8FJX2BT |
|---|---|
| Kind | problem |
| 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.15086#WDDW (problem). In V60MVF3KQ1/e1, problem 1.1
History
- 2026-10-28: add by m2/v0.4.2
9NAC1RAKFT 9NAC1RAKFT
| URI | m2://inv/9NAC1RAKFT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.27420#E1RQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
9NAE0X659Q 9NAE0X659Q
| URI | m2://inv/9NAE0X659Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#JFM2 (statement). In E7W2HDNEKJ/e1, theorem 6.35
History
- 2026-10-30: add by m2/v0.4.12
9NAJ82QXWW 9NAJ82QXWW
| URI | m2://inv/9NAJ82QXWW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-19 (exercise). In E59CDZA4DP, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
9NAZ5Y3GRQ 9NAZ5Y3GRQ
| URI | m2://inv/9NAZ5Y3GRQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10329#EKQE (definition). In SCSTR1Q1BW/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
9NB1H9D7Q6 9NB1H9D7Q6
| URI | m2://inv/9NB1H9D7Q6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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.05986#4LLL (definition). In N5ZM8MXJXH/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
9NB47MY40W 9NB47MY40W
| URI | m2://inv/9NB47MY40W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#4E9D (statement). In KP0X1RKKKB/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.0
Applications 9NB52E8XC7
| URI | m2://inv/9NB52E8XC7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DNS-based Authentication of Named Entities#4VLG, Applications (example)
History
- 2026-11-02: add by m2/dev
John Horton Conway 9NBB2PJQTD
| URI | m2://inv/9NBB2PJQTD |
|---|---|
| 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 Q268961, John Horton Conway (unknown). Also nLab John Horton Conway, ProofWiki Mathematician:John_Horton_Conway
- wikipedia: Wikipedia John Horton Conway, John Horton Conway (topic). Also Wikidata Q268961
History
- 2026-10-26: add by m2/dev
9NBCEVBSDQ 9NBCEVBSDQ
| URI | m2://inv/9NBCEVBSDQ |
|---|---|
| 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#MOXC (definition). In M0SQY5EZN5/e1, definition 2.3.6
History
- 2026-10-27: add by m2/v0.3.5
Coriolis effect 9NBMNW1XCH
| URI | m2://inv/9NBMNW1XCH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#0W2V, Coriolis effect (definition)
History
- 2026-11-02: add by m2/dev
Czesław Ryll-Nardzewski 9NBV09EYNT
| URI | m2://inv/9NBV09EYNT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#BD7H, Czesław Ryll-Nardzewski (topic)
History
- 2026-11-02: add by m2/dev
9NBVVEPTT7 9NBVVEPTT7
| URI | m2://inv/9NBVVEPTT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.24307#BDX8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9NBX8XRVXJ 9NBX8XRVXJ
| URI | m2://inv/9NBX8XRVXJ |
|---|---|
| Kind | example |
| 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.27775#HSRG (example)
History
- 2026-11-01: add by m2/v0.6.15
Hadamard three-line theorem 9NC57FD8V6
| URI | m2://inv/9NC57FD8V6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard three-lines theorem#FJV6, Hadamard three-line theorem (statement)
History
- 2026-11-02: add by m2/dev
9NC747FQCY 9NC747FQCY
| URI | m2://inv/9NC747FQCY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28677#8XT5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9NCD5RN3E8 9NCD5RN3E8
| URI | m2://inv/9NCD5RN3E8 |
|---|---|
| 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.15982#7GCK (statement). In KB50SHR229/e1, lemma C.2
History
- 2026-10-28: add by m2/v0.4.2
Examples 9NCEDM9D30
| URI | m2://inv/9NCEDM9D30 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular language#3R9T, Examples (example)
History
- 2026-11-02: add by m2/dev
Perturbative feature learning, autonomous single-index flows 9NCFCA81GY
| URI | m2://inv/9NCFCA81GY |
|---|---|
| Kind | example |
| 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.10875#YRPD, Perturbative feature learning, autonomous single-index flows (example). In N91F15MHW1/e1, example 3
History
- 2026-10-28: add by m2/v0.4.3
Definition 9NCT8F68A0
| URI | m2://inv/9NCT8F68A0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gini coefficient#WMCZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
No paradox for lines and nondegenerate conics 9ND5NFRB9J
| URI | m2://inv/9ND5NFRB9J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cramer's paradox#HVS1, No paradox for lines and nondegenerate conics (statement)
History
- 2026-11-02: add by m2/dev
Tarski–Kuratowski algorithm 9NDBRWREDE
| URI | m2://inv/9NDBRWREDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski–Kuratowski algorithm, Tarski–Kuratowski algorithm (definition). Also Wikidata Q7686764
History
- 2026-11-02: add by m2/dev
9NDD1KFC75 9NDD1KFC75
| URI | m2://inv/9NDD1KFC75 |
|---|---|
| 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.01354#2YJL (definition). In BWD76W20W8/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
9NDDMA1K18 9NDDMA1K18
| URI | m2://inv/9NDDMA1K18 |
|---|---|
| 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 2112.05010#ZILL (statement). In 4SZNPS3Z00/e1, proposition B.11
History
- 2026-10-27: add by m2/v0.3.6
9NDH39888Q 9NDH39888Q
| URI | m2://inv/9NDH39888Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.19791#AS7V (statement). In AVDB4KJ6XB/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
9NDH4DS57K 9NDH4DS57K
| URI | m2://inv/9NDH4DS57K |
|---|---|
| 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.00337#IJGU (statement). In 5STQ3ABZ60/e1, proposition 8.4
History
- 2026-10-30: add by m2/v0.4.12
Strictification 9NDV5XJG32
| URI | m2://inv/9NDV5XJG32 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#8JX1, Strictification (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples 9NDWY7Q3M4
| URI | m2://inv/9NDWY7Q3M4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strong cryptography#TG79, Examples (example)
History
- 2026-11-02: add by m2/dev
9NE0862K9Y 9NE0862K9Y
| URI | m2://inv/9NE0862K9Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03517#7P0W (statement). In 3CGS9GSKTQ/e1, lemma 8.6
History
- 2026-10-29: add by m2/v0.4.12
Boost.Math 9NE45CWMQ7
| URI | m2://inv/9NE45CWMQ7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#7YJC, Boost.Math (unknown)
History
- 2026-11-02: add by m2/dev
Gindikin–Karpelevich formula 9NE65MX3EZ
| URI | m2://inv/9NE65MX3EZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra's c-function#0EOC, Gindikin–Karpelevich formula (statement)
History
- 2026-11-02: add by m2/dev
9NE8H44RDM 9NE8H44RDM
| URI | m2://inv/9NE8H44RDM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12479#OCHQ (example). In WE001PR75Z/e1, example 10
History
- 2026-10-28: add by m2/v0.4.2
9NE9Z3G3BR 9NE9Z3G3BR
| URI | m2://inv/9NE9Z3G3BR |
|---|---|
| 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 2502.08738#WYQA (statement). In 9GMTVSTAVN/e1, proposition 6.7
History
- 2026-10-27: add by m2/v0.3.5
9NEB7NKZTM 9NEB7NKZTM
| URI | m2://inv/9NEB7NKZTM |
|---|---|
| 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.24795#QM7H (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 9NEBXRZAVZ
| URI | m2://inv/9NEBXRZAVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemicontinuity#CIMP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Fiber derivative 9NECB72EZ3
| URI | m2://inv/9NECB72EZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fiber derivative, Fiber derivative (definition). Also Wikidata Q5446358
History
- 2026-11-02: add by m2/dev
9NEVP9TEK2 9NEVP9TEK2
| URI | m2://inv/9NEVP9TEK2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-119 (exercise). In E9HS8K3A52, exercise, section 5.10.4
History
- 2026-11-01: add by m2/v0.6.13
Examples 9NEXY7WCB1
| URI | m2://inv/9NEXY7WCB1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert modular variety#V49B, Examples (example)
History
- 2026-11-02: add by m2/dev
Examples 9NF11PMD44
| URI | m2://inv/9NF11PMD44 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blade (geometry)#HTFC, Examples (example)
History
- 2026-11-02: add by m2/dev
9NFBF8TD8R 9NFBF8TD8R
| URI | m2://inv/9NFBF8TD8R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-8 (exercise). In E9HS8K3A52, exercise, section 8.1.3
History
- 2026-11-01: add by m2/v0.6.13
9NFCYM1XC7 9NFCYM1XC7
| URI | m2://inv/9NFCYM1XC7 |
|---|---|
| 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.19854#3DP3 (statement). In D50WST4CG3/e1, theorem 4.5
History
- 2026-10-28: add by m2/v0.4.2
9NFF7XG1QG 9NFF7XG1QG
| URI | m2://inv/9NFF7XG1QG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1912.02769#TEVO (example). In JH7VQ2EC16/e1, example 3.4
History
- 2026-10-27: add by m2/v0.3.5
9NFHVV4ZKA 9NFHVV4ZKA
| URI | m2://inv/9NFHVV4ZKA |
|---|---|
| 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 2404.06445#U5MW (statement). In 12JKZ8EN52/e1, theorem 8.16
History
- 2026-10-27: add by m2/v0.3.5
Quenched forward homogenization 9NFMHSV0DT
| URI | m2://inv/9NFMHSV0DT |
|---|---|
| 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.07380#I1HL, Quenched forward homogenization (statement). In XM2CDRKSGE/e1, corollary 6.3
History
- 2026-10-29: add by m2/v0.4.10
9NFQTFHG53 9NFQTFHG53
| URI | m2://inv/9NFQTFHG53 |
|---|---|
| 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 2610.15217#I5KX (definition). In G70Q2FB591/e1, definition 4.7
History
- 2026-10-28: add by m2/v0.4.2
complex number 9NFWDDV64K
| URI | m2://inv/9NFWDDV64K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#FHAM, complex number (definition)
History
- 2026-11-02: add by m2/dev
Posterior and Evidence at Fixed $\lpre$ 9NG8WW7T3D
| URI | m2://inv/9NG8WW7T3D |
|---|---|
| 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 2212.14457#W637, Posterior and Evidence at Fixed $\lpre$ (statement). In PNRHHWGHM2/e1, theorem 3.6
History
- 2026-10-27: add by m2/v0.3.6
Threshold model 9NGJAHTF5K
| URI | m2://inv/9NGJAHTF5K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X51S, Threshold model (definition)
History
- 2026-11-02: add by m2/dev
9NGTF9S60Y 9NGTF9S60Y
| URI | m2://inv/9NGTF9S60Y |
|---|---|
| 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.11047#981S (statement). In MNQAZ70XTH/e1, proposition 10.4
History
- 2026-10-28: add by m2/v0.4.3
9NGV527REF 9NGV527REF
| URI | m2://inv/9NGV527REF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31126#6T2O (statement). In GK1V5GEHTK/e1, theorem 2.10
History
- 2026-10-31: add by m2/v0.5.6
Discrete annealing for two schemes of Mou et al. 9NH3YE170Z
| URI | m2://inv/9NH3YE170Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28611#YTVD, Discrete annealing for two schemes of Mou et al. (statement)
History
- 2026-11-01: add by m2/v0.6.15
furlong 9NHA10DH4Q
| URI | m2://inv/9NHA10DH4Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q494083, furlong (definition). Also ProofWiki Definition:Imperial/Length/Furlong
History
- 2026-10-26: add by m2/dev
9NHBWNTFT4 9NHBWNTFT4
| URI | m2://inv/9NHBWNTFT4 |
|---|---|
| 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 1903.11969#9WOZ (statement). In 9N4EV3GRM7/e1, theorem 5.1
History
- 2026-10-27: add by m2/v0.3.5
Examples 9NHCDYEY6C
| URI | m2://inv/9NHCDYEY6C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Iterative method#946H, Examples (example)
History
- 2026-11-02: add by m2/dev
convexity inequalities 9NHCF3621S
| URI | m2://inv/9NHCF3621S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Convexity > convexity inequalities, convexity inequalities (unknown)
History
- 2026-10-26: add by m2/dev
Properties 9NHCYF032Q
| URI | m2://inv/9NHCYF032Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equation#DRJK, Properties (statement)
History
- 2026-11-02: add by m2/dev
9NHE4M8XTA 9NHE4M8XTA
| URI | m2://inv/9NHE4M8XTA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#EPU2 (definition). In MS7M2BJS9X/e1, definition 4.9
History
- 2026-10-29: add by m2/v0.4.10
Yokota's second localization 9NHF0W6T5V
| URI | m2://inv/9NHF0W6T5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17909#J2FT, Yokota's second localization (statement). In YXZX6Z8S6A/e1, lemma B.4
History
- 2026-10-28: add by m2/v0.4.2
Borel function 9NHHXR36DC
| URI | m2://inv/9NHHXR36DC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurable function#H7WA, Borel function (unknown)
History
- 2026-11-02: add by m2/dev
9NHJM677RF 9NHJM677RF
| URI | m2://inv/9NHJM677RF |
|---|---|
| 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.31242#1VRQ (statement). In 3NPRR9546C/e1, lemma 2.6
History
- 2026-10-31: add by m2/v0.5.6
Quaternion enclosure and witness bound 9NHNQ7SRBA
| URI | m2://inv/9NHNQ7SRBA |
|---|---|
| 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.10408#QSRA, Quaternion enclosure and witness bound (statement). In H976NYKBNT/e1, lemma 21
History
- 2026-10-29: add by m2/v0.4.10
Gamma function 9NHVWPGGHR
| URI | m2://inv/9NHVWPGGHR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Laplace transforms#LJNQ, Gamma function (definition)
History
- 2026-11-02: add by m2/dev
Isentropic process 9NHVXVWXHC
| URI | m2://inv/9NHVXVWXHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isentropic process, Isentropic process (definition). Also Wikidata Q907271
History
- 2026-11-02: add by m2/dev
9NHZJV14FK 9NHZJV14FK
| URI | m2://inv/9NHZJV14FK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-real-nums.tex#exercise:bnlimit (exercise). In E59CDZA4DP, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
logic, intuitionistic 9NJ4GYXVV4
| URI | m2://inv/9NJ4GYXVV4 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/logic-intuitionistic, logic, intuitionistic (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
9NJECKTP80 9NJECKTP80
| URI | m2://inv/9NJECKTP80 |
|---|---|
| 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.05232#MRPB (statement). In DA3VN96YX2/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
9NJKCDM463 9NJKCDM463
| URI | m2://inv/9NJKCDM463 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#Y3BC (statement). In 78X5SKJX8J/e1, theorem 1.6
History
- 2026-10-27: add by m2/v0.3.5
9NJQN3BE7X 9NJQN3BE7X
| URI | m2://inv/9NJQN3BE7X |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-60 (proof). In VNMV985MXX, proof, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
Five-dimensional space 9NJVTWJYWC
| URI | m2://inv/9NJVTWJYWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five-dimensional space, Five-dimensional space (definition). Also Wikidata Q1142276
History
- 2026-11-02: add by m2/dev
Frustum 9NJWXKNPBK
| URI | m2://inv/9NJWXKNPBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#DJ7J, Frustum (definition)
History
- 2026-11-02: add by m2/dev
Singularity theory 9NK85ECA9Y
| URI | m2://inv/9NK85ECA9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singularity theory, Singularity theory (definition). Also Wikidata Q4245771
History
- 2026-11-02: add by m2/dev
Perfect Bayesian equilibrium 9NKMPX3ZVR
| URI | m2://inv/9NKMPX3ZVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect Bayesian equilibrium, Perfect Bayesian equilibrium (definition). Also Wikidata Q2793291
History
- 2026-11-02: add by m2/dev
Elementary substructure 9NKRF6X776
| URI | m2://inv/9NKRF6X776 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#UKVJ, Elementary substructure (definition)
History
- 2026-11-02: add by m2/dev
Sunflower conjecture 9NKTCRE614
| URI | m2://inv/9NKTCRE614 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cap set#Z4A7, Sunflower conjecture (statement)
History
- 2026-11-02: add by m2/dev
coincidence 9NKZQZKB1H
| URI | m2://inv/9NKZQZKB1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2308809, coincidence (unknown). Also MathWorld Coincidence
- wikipedia: Wikipedia Coincidence, Coincidence (definition). Also Wikidata Q2308809
History
- 2026-10-26: add by m2/dev
Nairanjana Dasgupta 9NM9MM91WY
| URI | m2://inv/9NM9MM91WY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#WY33, Nairanjana Dasgupta (unknown)
History
- 2026-11-02: add by m2/dev
9NMC6MN9CR 9NMC6MN9CR
| URI | m2://inv/9NMC6MN9CR |
|---|---|
| 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.26745#RUG7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Brian Helliwell 9NMJ6Z2XTX
| URI | m2://inv/9NMJ6Z2XTX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Brian Helliwell, John Brian Helliwell (topic). Also Wikidata Q27506044
History
- 2026-11-02: add by m2/dev
Claude Ambrose Rogers 9NN0SB2Y0E
| URI | m2://inv/9NN0SB2Y0E |
|---|---|
| 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#PCMM, Claude Ambrose Rogers (topic)
History
- 2026-11-02: add by m2/dev
9NN7FE9ZQV 9NN7FE9ZQV
| URI | m2://inv/9NN7FE9ZQV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/incompleteness-provability/tarski-thm.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 28.6
History
- 2026-11-01: add by m2/v0.6.13
9NNCCHMP6E 9NNCCHMP6E
| URI | m2://inv/9NNCCHMP6E |
|---|---|
| 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.05696#I2M2 (statement). In MG81A9XJTQ/e1, lemma V.7
History
- 2026-10-29: add by m2/v0.4.10
9NNEDMNYNY 9NNEDMNYNY
| URI | m2://inv/9NNEDMNYNY |
|---|---|
| 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.31907#UC4K (definition). In 6B2PCEGCYZ/e1, definition 2.2
History
- 2026-10-31: add by m2/v0.5.6
9NNEXV3NGE 9NNEXV3NGE
| URI | m2://inv/9NNEXV3NGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-16 (definition). In VNMV985MXX, defn, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
Pathwise Uniqueness of Young Solutions 9NNGSAQ9K2
| URI | m2://inv/9NNGSAQ9K2 |
|---|---|
| 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#TOS5, Pathwise Uniqueness of Young Solutions (definition). In P1MYSYHSGX/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.5
9NNJ3HGBEX 9NNJ3HGBEX
| URI | m2://inv/9NNJ3HGBEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#AKQN (statement). In BDN507RN7J/e1, proposition 4.2.5
History
- 2026-10-30: add by m2/v0.4.12
9NPAS79KNR 9NPAS79KNR
| URI | m2://inv/9NPAS79KNR |
|---|---|
| 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 2610.21635#6FQM (statement). In BVA5MGH9FK/e1, theorem 2
History
- 2026-10-27: add by m2/v0.4.2
9NPBCYQS03 9NPBCYQS03
| URI | m2://inv/9NPBCYQS03 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/normal-logics.tex#prop:rk (statement). In PKGMM3P5QY, prop, section 50.7
History
- 2026-11-01: add by m2/v0.6.13
9NPC7DS2CR 9NPC7DS2CR
| URI | m2://inv/9NPC7DS2CR |
|---|---|
| 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.30165#YHDX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bézout's identity 9NPQ86ZCN9
| URI | m2://inv/9NPQ86ZCN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#BO0O, Bézout's identity (statement)
History
- 2026-11-02: add by m2/dev
Definition 9NPR7B1Y7D
| URI | m2://inv/9NPR7B1Y7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bolzano–Weierstrass theorem#LCDZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
University of New Hampshire 9NPYJ511JW
| URI | m2://inv/9NPYJ511JW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#UEOD, University of New Hampshire (unknown)
History
- 2026-11-02: add by m2/dev
Multimodal learning 9NQ5KJC51D
| URI | m2://inv/9NQ5KJC51D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multimodal learning, Multimodal learning (definition). Also Wikidata Q25052564
History
- 2026-11-02: add by m2/dev
Sixes, Georgia 9NQ62F7W6V
| URI | m2://inv/9NQ62F7W6V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#S88L, Sixes, Georgia (unknown)
History
- 2026-11-02: add by m2/dev
Transport of structure 9NQ66VZP32
| URI | m2://inv/9NQ66VZP32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transport of structure, Transport of structure (definition). Also Wikidata Q7835136
History
- 2026-11-02: add by m2/dev
Symmetries 9NQM0NWM0M
| URI | m2://inv/9NQM0NWM0M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypergeometric distribution#2CFL, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
Elevator algorithm 9NQNWBY1ZM
| URI | m2://inv/9NQNWBY1ZM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#181F, Elevator algorithm (unknown)
History
- 2026-11-02: add by m2/dev
9NQPH2FM6H 9NQPH2FM6H
| URI | m2://inv/9NQPH2FM6H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31615#5EKD (definition). In TNV6XTEWEG/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
9NQQ9X83JC 9NQQ9X83JC
| URI | m2://inv/9NQQ9X83JC |
|---|---|
| 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 math/9807180#T2PY (definition). In VR3766BVE5/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Neglect of probability 9NQTB9MS0F
| URI | m2://inv/9NQTB9MS0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Neglect of probability, Neglect of probability (definition). Also Wikidata Q4360884
History
- 2026-11-02: add by m2/dev
9NQTHR78E3 9NQTHR78E3
| URI | m2://inv/9NQTHR78E3 |
|---|---|
| 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 2401.00191#JHBO (statement). In ZMH2KJDAWJ/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.3.5
List of countries by population in 1500 9NQWRFM48H
| URI | m2://inv/9NQWRFM48H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by population in 1500, List of countries by population in 1500 (topic). Also Wikidata Q27661353
History
- 2026-11-02: add by m2/dev
Affine conditioning 9NQZZNBX6R
| URI | m2://inv/9NQZZNBX6R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#V4CG, Affine conditioning (statement). In ZZER8ZBSCR/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.12
transport 9NRBS2F4H3
| URI | m2://inv/9NRBS2F4H3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.7/transport, transport (concept). In N54F33XE07, index, section 1.7
History
- 2026-11-01: add by m2/v0.6.13
9NRCAMJM4K 9NRCAMJM4K
| URI | m2://inv/9NRCAMJM4K |
|---|---|
| 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 2609.39293#TELO (definition). In S26QVW5613/e1, definition 1.1.1
History
- 2026-10-30: add by m2/v0.4.12
9NREPWB2KJ 9NREPWB2KJ
| URI | m2://inv/9NREPWB2KJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#DKNZ (statement). In BDN507RN7J/e1, proposition 3.7.1
History
- 2026-10-30: add by m2/v0.4.12
9NRF4D5Q6Q 9NRF4D5Q6Q
| URI | m2://inv/9NRF4D5Q6Q |
|---|---|
| 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.20126#5HO9 (statement). In KVXDWX9B11/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.4.2
NIST hash function competition 9NRG8G1V8B
| URI | m2://inv/9NRG8G1V8B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NIST hash function competition, NIST hash function competition (definition). Also Wikidata Q15229223
History
- 2026-11-02: add by m2/dev
9NRQ4E77NV 9NRQ4E77NV
| URI | m2://inv/9NRQ4E77NV |
|---|---|
| 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.17677#UCRD (statement). In 5E9G06XJKC/e1, lemma D.20
History
- 2026-10-28: add by m2/v0.4.2
Influence function and asymptotic normality 9NRSN5YD69
| URI | m2://inv/9NRSN5YD69 |
|---|---|
| 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.14695#Q78Q, Influence function and asymptotic normality (statement). In T15EJSPCNG/e1, theorem 5.2
History
- 2026-10-28: add by m2/v0.4.2
9NRWS1KWZP 9NRWS1KWZP
| URI | m2://inv/9NRWS1KWZP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#JRYU (statement). In XXN6KKXPYF/e1, lemma 7.2
History
- 2026-10-28: add by m2/v0.4.2
Principles 9NRWT3V1E0
| URI | m2://inv/9NRWT3V1E0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Qualitative reasoning#RHJ7, Principles (statement)
History
- 2026-11-02: add by m2/dev
Truncated logarithms of products 9NRYRCJY18
| URI | m2://inv/9NRYRCJY18 |
|---|---|
| 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#YAQX, Truncated logarithms of products (statement). In 7NS75J7HAM/e1, lemma 5.5
History
- 2026-10-31: add by m2/v0.5.6
9NS5XEZWW4 9NS5XEZWW4
| URI | m2://inv/9NS5XEZWW4 |
|---|---|
| Kind | problem |
| 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.15824#YN8J (problem). In GDZXR87FJV/e1, problem
History
- 2026-10-28: add by m2/v0.4.2
Iosif Pogrebyssky 9NS7K23H5N
| URI | m2://inv/9NS7K23H5N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#RTDF, Iosif Pogrebyssky (unknown)
History
- 2026-11-02: add by m2/dev
Convergence and monotonicity for nonnegative coefficients when \texorpdfstring{$|\tau|\rho(\mathscr H)<1$}{|tau| rho(H) < 1 9NSBXV9QB6
| URI | m2://inv/9NSBXV9QB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#6KAA, Convergence and monotonicity for nonnegative coefficients when \texorpdfstring{$|\tau|\rho(\mathscr H)<1$}{|tau| rho(H) < 1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9NSDRFQG6E 9NSDRFQG6E
| URI | m2://inv/9NSDRFQG6E |
|---|---|
| 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.31365#6Z4H (statement). In 19GENJ3NCP/e1, corollary 4.8
History
- 2026-10-31: add by m2/v0.5.6
Anthropocentric thinking 9NSXHYPF28
| URI | m2://inv/9NSXHYPF28 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anthropocentrism#AOUV, Anthropocentric thinking (unknown)
History
- 2026-11-02: add by m2/dev
9NTAF18M1N 9NTAF18M1N
| URI | m2://inv/9NTAF18M1N |
|---|---|
| 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.25477#QSVX (statement)
History
- 2026-11-01: add by m2/v0.6.15
9NTES55QV6 9NTES55QV6
| URI | m2://inv/9NTES55QV6 |
|---|---|
| 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.01433#RY8C (statement). In 160PQ7F1AS/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.12
Retract 9NTMB66A1W
| URI | m2://inv/9NTMB66A1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Retract (group theory), Retract (definition). Also Wikidata Q7316893
History
- 2026-11-02: add by m2/dev
9NTMS21GNY 9NTMS21GNY
| URI | m2://inv/9NTMS21GNY |
|---|---|
| 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.27157#B9M1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
9NTRF37HPZ 9NTRF37HPZ
| URI | m2://inv/9NTRF37HPZ |
|---|---|
| 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.19088#55QO (statement). In 90QTB4CC31/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Einstein notation 9NTTKGEF08
| URI | m2://inv/9NTTKGEF08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q673253, Einstein notation (unknown). Also EoM Einstein_rule, MathWorld EinsteinSummation
- wikipedia: Wikipedia Einstein notation, Einstein notation (definition). Also Wikidata Q673253
History
- 2026-10-26: add by m2/dev
Independent random sampling 9NTW59ZVKM
| URI | m2://inv/9NTW59ZVKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10080#EE4A, Independent random sampling (statement). In N6EBNRZCYX/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.10
9NTY09E74J 9NTY09E74J
| URI | m2://inv/9NTY09E74J |
|---|---|
| Kind | example |
| 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 2309.15424#VKI8 (example). In NXYZ1EAWKN/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
matching condition 9NV2V93ERV
| URI | m2://inv/9NV2V93ERV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.6/matching-condition, matching condition (concept). In Y91XFCEVHQ, index, section 5.6
History
- 2026-11-01: add by m2/v0.6.13
9NV4AB2MCF 9NV4AB2MCF
| URI | m2://inv/9NV4AB2MCF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07530#6HNJ (definition). In C7QZ0VPBC8/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
minimum spanning tree 9NVABAG4WT
| URI | m2://inv/9NVABAG4WT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Minimum spanning tree 0JW7KT6PQW |
Mentions
- wikidata: Wikidata Q240464, minimum spanning tree (concept). Also EoM Minimum_spanning_tree, MathWorld MinimumSpanningTree
- wikipedia: Wikipedia Minimum spanning tree, Minimum spanning tree (definition). Also Wikidata Q240464
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
9NVGYQAX45 9NVGYQAX45
| URI | m2://inv/9NVGYQAX45 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#YYLZ (statement). In E7W2HDNEKJ/e1, corollary 4.29
History
- 2026-10-30: add by m2/v0.4.12
Machine torque 9NVKVMAQJM
| URI | m2://inv/9NVKVMAQJM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torque#O6EU, Machine torque (unknown)
History
- 2026-11-02: add by m2/dev
Examples 9NVVBYGKAB
| URI | m2://inv/9NVVBYGKAB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perturbation theory#1J56, Examples (example)
History
- 2026-11-02: add by m2/dev
9NW4PQE85A 9NW4PQE85A
| URI | m2://inv/9NW4PQE85A |
|---|---|
| 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.35460#Z595 (statement). In R515NECVME/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
strongly connected graph 9NW8A2NRE3
| URI | m2://inv/9NW8A2NRE3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122389658, strongly connected graph (unknown). Also MathWorld StronglyConnectedDigraph
History
- 2026-10-26: add by m2/dev
Stability 9NWKKTEFKT
| URI | m2://inv/9NWKKTEFKT |
|---|---|
| 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#L6UD, Stability (statement). In JAVB10Q2YZ/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
9NWQRHNNG6 9NWQRHNNG6
| URI | m2://inv/9NWQRHNNG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#II8A (statement). In VNE8N0D2FB/e1, lemma 1.15
History
- 2026-10-31: add by m2/v0.5.6
Anthropocentrism 9NWY0E2REW
| URI | m2://inv/9NWY0E2REW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anthropocentrism, Anthropocentrism (definition). Also Wikidata Q191624
History
- 2026-11-02: add by m2/dev
Erwin Bolthausen 9NWZPXEADQ
| URI | m2://inv/9NWZPXEADQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#38IB, Erwin Bolthausen (topic)
History
- 2026-11-02: add by m2/dev
Bondi accretion 9NX5SERDEY
| URI | m2://inv/9NX5SERDEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bondi accretion, Bondi accretion (definition). Also Wikidata Q4941412
History
- 2026-11-02: add by m2/dev
9NXHM6EJCR 9NXHM6EJCR
| URI | m2://inv/9NXHM6EJCR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.00676#D9E9 (statement). In 5351H04TJY/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.0
Irving Copi 9NXS8QFJK7
| URI | m2://inv/9NXS8QFJK7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3KG8, Irving Copi (topic)
History
- 2026-11-02: add by m2/dev
GD-momentum in river valley loss landscape (formal version 9NXTVB218D
| URI | m2://inv/9NXTVB218D |
|---|---|
| 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.30957#NK4A, GD-momentum in river valley loss landscape (formal version (statement). In P5YB6R0RK3/e1, theorem C.1
History
- 2026-10-31: add by m2/v0.5.6
Perfectoid algebra and the inverse limit 9NXVC99MPF
| URI | m2://inv/9NXVC99MPF |
|---|---|
| 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.33808#DGNU, Perfectoid algebra and the inverse limit (statement). In 328KGRNN0W/e1, theorem 5.11
History
- 2026-10-30: add by m2/v0.4.12
Brascamp-Lieb, Ball, Barthe 9NXZBWEE3X
| URI | m2://inv/9NXZBWEE3X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31331#F638, Brascamp-Lieb, Ball, Barthe (statement). In TWB64HRHWZ/e1, theorem 8
History
- 2026-10-31: add by m2/v0.5.6
Ross' π lemma 9NY44BX4Z7
| URI | m2://inv/9NY44BX4Z7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#UFBP, Ross' π lemma (unknown)
History
- 2026-11-02: add by m2/dev
9NYBRM1GV3 9NYBRM1GV3
| URI | m2://inv/9NYBRM1GV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23822#3AVA (statement)
History
- 2026-11-02: add by m2/v0.6.17
9NYF53Q057 9NYF53Q057
| URI | m2://inv/9NYF53Q057 |
|---|---|
| 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 2510.23812#BZAT (statement). In D8XZBXJPR5/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.3.5
Applications 9NYH6Y4GQT
| URI | m2://inv/9NYH6Y4GQT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear approximation#U7K8, Applications (example)
History
- 2026-11-02: add by m2/dev
the category of modules over a ring 9NYK3ZMEDK
| URI | m2://inv/9NYK3ZMEDK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > the category of modules over a ring, the category of modules over a ring (unknown). Also Mathlib ModuleCat
History
- 2026-10-26: add by m2/dev
Generalized almost history-dependent fixed-point 9NYQYSPN7Z
| URI | m2://inv/9NYQYSPN7Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27414#9ZPG, Generalized almost history-dependent fixed-point (statement)
History
- 2026-11-01: add by m2/v0.6.15
9NYTTRQ81W 9NYTTRQ81W
| URI | m2://inv/9NYTTRQ81W |
|---|---|
| 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.11056#U7X4 (statement). In 1NDB3SAG7K/e1, corollary 1.1
History
- 2026-10-28: add by m2/v0.4.3
$\ast$-Ricci Characterization of ERP 9NZ4EF5QDG
| URI | m2://inv/9NZ4EF5QDG |
|---|---|
| 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.34154#JU5O, $\ast$-Ricci Characterization of ERP (statement). In VPET0W9RFS/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
9NZWMMFWTJ 9NZWMMFWTJ
| URI | m2://inv/9NZWMMFWTJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09354#4YCN (statement). In 5VAJC29KA2/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
stipulative definition 9NZXRVCB54
| URI | m2://inv/9NZXRVCB54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#CRMZ, stipulative definition (definition)
History
- 2026-11-02: add by m2/dev
Frank Morgan 9NZYJRCB6G
| URI | m2://inv/9NZYJRCB6G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Morgan (mathematician), Frank Morgan (topic). Also Wikidata Q3751884
History
- 2026-11-02: add by m2/dev
9NZYM9WAH4 9NZYM9WAH4
| URI | m2://inv/9NZYM9WAH4 |
|---|---|
| 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#HDIU (statement)
History
- 2026-11-02: add by m2/v0.6.18