Inventory rows P7
The cards of the rows of the inventory whose ids start with P7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
P701RX8ZXK P701RX8ZXK
| URI | m2://inv/P701RX8ZXK |
|---|---|
| Kind | example |
| 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.20028#2LXV (example)
History
- 2026-11-02: add by m2/v0.6.18
P707YC9E3P P707YC9E3P
| URI | m2://inv/P707YC9E3P |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-29: add by m2/v0.4.10
P70JG7F844 P70JG7F844
| URI | m2://inv/P70JG7F844 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-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.40214#GWHO (statement). In XD603HRHKC/e1, lemma B.1
History
- 2026-10-30: add by m2/v0.4.12
Laura DeMarco P70RGNR3K3
| URI | m2://inv/P70RGNR3K3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#H51Z, Laura DeMarco (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#795Y, Laura DeMarco (topic)
History
- 2026-11-02: add by m2/dev
finite graph certificate P70WDD9RF1
| URI | m2://inv/P70WDD9RF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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 2608.08190#BA32, finite graph certificate (statement). In AC1NA254DB/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
Banach fixed-point theorem P70WR03R8H
| URI | m2://inv/P70WR03R8H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#UUGG, Banach fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
One-pole spaces on the Kummer models P70WSAGHY4
| URI | m2://inv/P70WSAGHY4 |
|---|---|
| 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.33185#6JCA, One-pole spaces on the Kummer models (statement). In QX30H2WNA7/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
Zeno's paradoxes P70XHX32SM
| URI | m2://inv/P70XHX32SM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q33378, Zeno's paradoxes (unknown). Also MathWorld ZenosParadoxes
- wikipedia: Wikipedia Zeno's paradoxes, Zeno's paradoxes (definition). Also Wikidata Q33378
History
- 2026-10-26: add by m2/dev
P70Y9P8R6J P70Y9P8R6J
| URI | m2://inv/P70Y9P8R6J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03629#RKT2 (statement). In T6W0HCPXFN/e1, lemma A3
History
- 2026-10-29: add by m2/v0.4.12
Quillen's excess-intersection formula P718MCFS5C
| URI | m2://inv/P718MCFS5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Residual intersection#E8YU, Quillen's excess-intersection formula (statement)
History
- 2026-11-02: add by m2/dev
Kleisli category P71C1BMSDN
| URI | m2://inv/P71C1BMSDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic constructions#SCGQ, Kleisli category (definition)
History
- 2026-11-02: add by m2/dev
Projective Set P71CZMCGQM
| URI | m2://inv/P71CZMCGQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective Set (game), Projective Set (definition). Also Wikidata Q25339328
History
- 2026-11-02: add by m2/dev
Graphical password P71D0P1G4D
| URI | m2://inv/P71D0P1G4D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphical password, Graphical password (definition). Also Wikidata Q85764361
History
- 2026-11-02: add by m2/dev
P71DVZJGM9 P71DVZJGM9
| URI | m2://inv/P71DVZJGM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#LRO3 (statement). In WK2YHYEDZ9/e1, lemma 8.2
History
- 2026-10-30: add by m2/v0.4.12
Coronials P71GFSY9NJ
| URI | m2://inv/P71GFSY9NJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coronials, Coronials (definition). Also Wikidata Q130852772
History
- 2026-11-02: add by m2/dev
Conservation laws P71GMCB4J6
| URI | m2://inv/P71GMCB4J6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fluid dynamics#4FOH, Conservation laws (statement)
History
- 2026-11-02: add by m2/dev
Archimedes Palimpsest P71M6FJYT3
| URI | m2://inv/P71M6FJYT3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics history topics#S1YV, Archimedes Palimpsest (definition)
History
- 2026-11-02: add by m2/dev
P71T1HY9PA P71T1HY9PA
| URI | m2://inv/P71T1HY9PA |
|---|---|
| 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.21963#O743 (statement). In HR9R8RPKN8/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.2
Theodore Motzkin P71VEA0JXW
| URI | m2://inv/P71VEA0JXW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UI4Z, Theodore Motzkin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#76ZB, Theodore Motzkin (topic)
History
- 2026-11-02: add by m2/dev
3-dimensional matching P71Y85P7QM
| URI | m2://inv/P71Y85P7QM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#GTML, 3-dimensional matching (definition)
History
- 2026-11-02: add by m2/dev
Gaussian-Gaussian conjugate pair with known variance P725VYM8QE
| URI | m2://inv/P725VYM8QE |
|---|---|
| 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.19573#HWLQ, Gaussian-Gaussian conjugate pair with known variance (statement). In NM6Z2R61CN/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.2
P726DA66RV P726DA66RV
| URI | m2://inv/P726DA66RV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06152#F03O (statement). In HH35K7S17H/e1, proposition 4.11
History
- 2026-10-29: add by m2/v0.4.10
P727HB21CP P727HB21CP
| URI | m2://inv/P727HB21CP |
|---|---|
| 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 2409.03423#LM6Y (statement). In 8C5YCMN81V/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Plato P729HK72FV
| URI | m2://inv/P729HK72FV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#GS87, Plato (topic)
History
- 2026-11-02: add by m2/dev
Gap of the affine chain P72E4EWJR8
| URI | m2://inv/P72E4EWJR8 |
|---|---|
| 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.12641#3P5X, Gap of the affine chain (statement). In X5BYGZZHPF/e1, lemma H.1
History
- 2026-10-28: add by m2/v0.4.2
P72VQKM8GS P72VQKM8GS
| URI | m2://inv/P72VQKM8GS |
|---|---|
| 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.04772#QI1K (statement). In WW08CYN4D4/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.12
divisor P730M1C2VB
| URI | m2://inv/P730M1C2VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#V5Y2, divisor (definition)
History
- 2026-11-02: add by m2/dev
P731ZR6XVE P731ZR6XVE
| URI | m2://inv/P731ZR6XVE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12908#A50I (definition). In TNC658NVMQ/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
P73DY9RPRV P73DY9RPRV
| URI | m2://inv/P73DY9RPRV |
|---|---|
| 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.18205#QVBB (statement). In Y37VAPDKE4/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
P73HCTKYRD P73HCTKYRD
| URI | m2://inv/P73HCTKYRD |
|---|---|
| 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.03555#9QLG (statement). In 9JZJTRRVR1/e1, lemma 7.4
History
- 2026-10-29: add by m2/v0.4.12
Pauli normalisation P73JE4H7K3
| URI | m2://inv/P73JE4H7K3 |
|---|---|
| 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.31689#K8TU, Pauli normalisation (statement). In Z7M2JSF6HA/e1, lemma 13.2
History
- 2026-10-31: add by m2/v0.5.6
Kuzmicich, Steve P743ARWCDP
| URI | m2://inv/P743ARWCDP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#SNP7, Kuzmicich, Steve (unknown)
History
- 2026-11-02: add by m2/dev
LibreSSL P749AKZDAM
| URI | m2://inv/P749AKZDAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LibreSSL, LibreSSL (definition). Also Wikidata Q16590706
History
- 2026-11-02: add by m2/dev
Shephard group P74MABYHWA
| URI | m2://inv/P74MABYHWA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex reflection group#8SF2, Shephard group (unknown)
History
- 2026-11-02: add by m2/dev
Bayes' rule P74ZH4VCMJ
| URI | m2://inv/P74ZH4VCMJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WWRS, Bayes' rule (statement)
History
- 2026-11-02: add by m2/dev
P750Q30YZK P750Q30YZK
| URI | m2://inv/P750Q30YZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.21933#X33N (statement)
History
- 2026-11-02: add by m2/v0.6.17
P7519TSC5C P7519TSC5C
| URI | m2://inv/P7519TSC5C |
|---|---|
| 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.33926#5YZT (statement). In 1XF3T5HXNV/e1, corollary
History
- 2026-10-30: add by m2/v0.4.12
P756RTPK9Z P756RTPK9Z
| URI | m2://inv/P756RTPK9Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21080#C20P (statement). In DGE917KQSQ/e1, theorem 7.2
History
- 2026-10-27: add by m2/v0.4.2
P756T45CM4 P756T45CM4
| URI | m2://inv/P756T45CM4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
Properties of the Tail Law P75C4GBM68
| URI | m2://inv/P75C4GBM68 |
|---|---|
| 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.13222#4CDL, Properties of the Tail Law (statement). In Z6WA2R0J50/e1, proposition 2.25
History
- 2026-10-28: add by m2/v0.4.2
Periodic point P75EG9YYM6
| URI | m2://inv/P75EG9YYM6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#IFD2, Periodic point (definition)
History
- 2026-11-02: add by m2/dev
P75FRJG9MX P75FRJG9MX
| URI | m2://inv/P75FRJG9MX |
|---|---|
| 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.20153#P033 (statement). In EYB107TM4Q/e1, corollary 2.4
History
- 2026-10-27: add by m2/v0.4.2
The orthogonal endpoint P75KJ9A66V
| URI | m2://inv/P75KJ9A66V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#Q9SQ, The orthogonal endpoint (statement)
History
- 2026-11-01: add by m2/v0.6.15
P75R6H61W7 P75R6H61W7
| URI | m2://inv/P75R6H61W7 |
|---|---|
| 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.08935#4QR2 (definition). In G02N9D40B9/e1, definition 6.1.4
History
- 2026-10-29: add by m2/v0.4.10
P75T1B5XKD P75T1B5XKD
| URI | m2://inv/P75T1B5XKD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#8H9Y (definition). In XBHQRTBH62/e1, definition 2.10
History
- 2026-10-31: add by m2/v0.5.6
Examples P760HP4TJ0
| URI | m2://inv/P760HP4TJ0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biracks and biquandles#MORH, Examples (example)
History
- 2026-11-02: add by m2/dev
Liénard equation P763SKMXBV
| URI | m2://inv/P763SKMXBV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#C5D0, Liénard equation (definition)
History
- 2026-11-02: add by m2/dev
Gardener's ellipse P76D6YZJ1P
| URI | m2://inv/P76D6YZJ1P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellipse#DWYA, Gardener's ellipse (unknown)
History
- 2026-11-02: add by m2/dev
Examples P76ES2PV69
| URI | m2://inv/P76ES2PV69 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical semigroup#V7JT, Examples (example)
History
- 2026-11-02: add by m2/dev
Factorial formula P76J28WASC
| URI | m2://inv/P76J28WASC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial coefficient#BGTY, Factorial formula (statement)
History
- 2026-11-02: add by m2/dev
P76JJ3AA6W P76JJ3AA6W
| URI | m2://inv/P76JJ3AA6W |
|---|---|
| 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#EKU9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
P76N1GDEHE P76N1GDEHE
| URI | m2://inv/P76N1GDEHE |
|---|---|
| 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.28195#TTEU (statement)
History
- 2026-11-01: add by m2/v0.6.15
P76V2TE6H2 P76V2TE6H2
| URI | m2://inv/P76V2TE6H2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-25 (definition). In VNMV985MXX, defn, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
Riemann Sums with a Logarithmic Singularity P770A5M2EY
| URI | m2://inv/P770A5M2EY |
|---|---|
| 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.13222#2C01, Riemann Sums with a Logarithmic Singularity (statement). In Z6WA2R0J50/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
Atkinson's theorem P776T1X33Y
| URI | m2://inv/P776T1X33Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 47-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4815899, Atkinson's theorem (statement). Also Wikidata Q4815899
- thousand_plus: thousand_plus Q4815899, Atkinson's theorem (statement). Also Wikidata Q4815899, Wikipedia Atkinson's theorem
- wikipedia: Wikipedia Atkinson's theorem, Atkinson's theorem (statement). Also Wikidata Q4815899
History
- 2026-10-26: add by m2/dev
P7776S3W80 P7776S3W80
| URI | m2://inv/P7776S3W80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.04730#Z49B (statement). In QHFP0837Q8/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Pyknotic set P77GTA4PSY
| URI | m2://inv/P77GTA4PSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pyknotic set, Pyknotic set (definition). Also Wikidata Q127798049
History
- 2026-11-02: add by m2/dev
P77W566Y7T P77W566Y7T
| URI | m2://inv/P77W566Y7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cellular.tex#definition-1 (definition). In RZP28ERRZV, definition, section 50.2
History
- 2026-11-01: add by m2/v0.6.13
P77Z5E3DBY P77Z5E3DBY
| URI | m2://inv/P77Z5E3DBY |
|---|---|
| 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.09483#HYKD (statement). In N1MQ8F9JN6/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
Ratchet effect P786G8R3T4
| URI | m2://inv/P786G8R3T4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ratchet effect, Ratchet effect (definition). Also Wikidata Q470347
History
- 2026-11-02: add by m2/dev
Impostor Syndrome P787DGG67P
| URI | m2://inv/P787DGG67P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#J7SQ, Impostor Syndrome (unknown)
History
- 2026-11-02: add by m2/dev
P78CTPQM7M P78CTPQM7M
| URI | m2://inv/P78CTPQM7M |
|---|---|
| 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.30663#QNSQ (statement). In 3JZDKWS8NK/e1, proposition 2.5
History
- 2026-10-31: add by m2/v0.5.6
P78EWPX012 P78EWPX012
| URI | m2://inv/P78EWPX012 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21945#LFVK (statement). In 371P9QASSJ/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.4.2
P78K9X59MY P78K9X59MY
| URI | m2://inv/P78K9X59MY |
|---|---|
| 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.17349#GUG7 (statement). In FCCV2ZABPM/e1, corollary 5
History
- 2026-10-28: add by m2/v0.4.2
P78KHJ9KJA P78KHJ9KJA
| URI | m2://inv/P78KHJ9KJA |
|---|---|
| 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.30354#CX5B (statement). In B81DM51XSK/e1, lemma 5
History
- 2026-10-31: add by m2/v0.5.6
Rhinoceros horn P78MMCPR0E
| URI | m2://inv/P78MMCPR0E |
|---|---|
| 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#ZDV4, Rhinoceros horn (unknown)
History
- 2026-11-02: add by m2/dev
P78N1HG70C P78N1HG70C
| URI | m2://inv/P78N1HG70C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35691#YGHD (example). In G7R61RPWE2/e1, example 2.5
History
- 2026-10-30: add by m2/v0.4.12
P78P1MQJK8 P78P1MQJK8
| URI | m2://inv/P78P1MQJK8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 98.2
History
- 2026-11-01: add by m2/v0.6.13
P78SNGEJ98 P78SNGEJ98
| URI | m2://inv/P78SNGEJ98 |
|---|---|
| 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.35558#R2NN (statement). In HR2TQ292AE/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
Ackermann function P791GXEGJA
| URI | m2://inv/P791GXEGJA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Logic and computation > Computability > Ackermann function, Ackermann function (unknown). Also Mathlib ack
History
- 2026-10-26: add by m2/dev
P7950PX8JQ P7950PX8JQ
| URI | m2://inv/P7950PX8JQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.22681#79QJ (definition). In 68VEQQX68G/e1, definition 1.13
History
- 2026-10-27: add by m2/v0.4.0
P795R1436C P795R1436C
| URI | m2://inv/P795R1436C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08018#TGMT (statement). In TN93YFN45W/e1, lemma 3.16
History
- 2026-10-27: add by m2/v0.4.0
LM hash P797NX78HJ
| URI | m2://inv/P797NX78HJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#MDLC, LM hash (unknown)
History
- 2026-11-02: add by m2/dev
P79803W5N6 P79803W5N6
| URI | m2://inv/P79803W5N6 |
|---|---|
| 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 Q138958234 (unknown). Also nLab Christian Saemann
History
- 2026-10-26: add by m2/dev
P798T4JQRC P798T4JQRC
| URI | m2://inv/P798T4JQRC |
|---|---|
| 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 2303.14022#OG73 (statement). In NSYR6W27FP/e1, corollary 6.15
History
- 2026-10-27: add by m2/v0.3.5
B. M. Coïalowitsch P799PVB1N7
| URI | m2://inv/P799PVB1N7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X147, B. M. Coïalowitsch (unknown)
History
- 2026-11-02: add by m2/dev
Bjarni Jónsson P79B1WRQ8S
| URI | m2://inv/P79B1WRQ8S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#AK1X, Bjarni Jónsson (topic)
History
- 2026-11-02: add by m2/dev
P79FQGTPY4 P79FQGTPY4
| URI | m2://inv/P79FQGTPY4 |
|---|---|
| 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.06340#0V05 (statement). In PKNZPECH82/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Application P79FRPEQN6
| URI | m2://inv/P79FRPEQN6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum error correction#UUYI, Application (example)
History
- 2026-11-02: add by m2/dev
Boris Mordukhovich P79HRDX41A
| URI | m2://inv/P79HRDX41A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boris Mordukhovich, Boris Mordukhovich (topic). Also Wikidata Q4945336
History
- 2026-11-02: add by m2/dev
P79JXJQC3T P79JXJQC3T
| URI | m2://inv/P79JXJQC3T |
|---|---|
| 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.14450#H9L2 (statement). In ZHTGQT07PE/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
P79M82DFXG P79M82DFXG
| URI | m2://inv/P79M82DFXG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-23 (proof). In N54F33XE07, proof, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
P79W26VJZC P79W26VJZC
| URI | m2://inv/P79W26VJZC |
|---|---|
| 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 2103.12669#40XN (statement). In ZA6XNBA90V/e1, theorem 0.4
History
- 2026-10-27: add by m2/v0.3.5
homotopy, group, of sphere P7A1CQTNT9
| URI | m2://inv/P7A1CQTNT9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/homotopy-group-of-sphere, homotopy, group, of sphere (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
Georg Cantor P7A5358JH3
| URI | m2://inv/P7A5358JH3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#EXUR, Georg Cantor (topic)
History
- 2026-11-02: add by m2/dev
P7A6V0D0SE P7A6V0D0SE
| URI | m2://inv/P7A6V0D0SE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06755#YT0Y (statement). In DKEX05SEXS/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
Commutativity of conjunction P7A94RRGZF
| URI | m2://inv/P7A94RRGZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutativity of conjunction, Commutativity of conjunction (definition). Also Wikidata Q5155091
History
- 2026-11-02: add by m2/dev
The axioms P7AAA4KSA2
| URI | m2://inv/P7AAA4KSA2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarski's axiomatization of the reals#W1KF, The axioms (statement)
History
- 2026-11-02: add by m2/dev
Paul Appell P7ABBK3G0E
| URI | m2://inv/P7ABBK3G0E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q715906, Paul Appell (statement). Also ProofWiki personnage/Paul_Émile_Appell/105834
- wikipedia: Wikipedia Paul Émile Appell, Paul Émile Appell (topic). Also Wikidata Q715906
History
- 2026-10-26: add by m2/dev
Theorem P7AD8TDXWH
| URI | m2://inv/P7AD8TDXWH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gradient theorem#5TEF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Wilson loop P7ADABMTTM
| URI | m2://inv/P7ADABMTTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q206552, Wilson loop (unknown). Also nLab Wilson loop
- wikipedia: Wikipedia Wilson loop, Wilson loop (definition). Also Wikidata Q206552
History
- 2026-10-26: add by m2/dev
P7AF8FWBWD P7AF8FWBWD
| URI | m2://inv/P7AF8FWBWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2610.22288#QQL6 (statement). In X38P26DK6S/e1, lemma 7.4
History
- 2026-10-27: add by m2/v0.4.0
Applications P7AQER34KW
| URI | m2://inv/P7AQER34KW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cone of curves#FK32, Applications (example)
History
- 2026-11-02: add by m2/dev
P7ATFEV4HM P7ATFEV4HM
| URI | m2://inv/P7ATFEV4HM |
|---|---|
| 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.13291#YONM (statement). In D16PSAVVWV/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
recursively defined functions P7AWBNE1HH
| URI | m2://inv/P7AWBNE1HH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/1.4.1/recursively-defined-functions, recursively defined functions (concept). In Y91XFCEVHQ, index, section 1.4.1
History
- 2026-11-01: add by m2/v0.6.13
Statistical consultant P7AXNN182D
| URI | m2://inv/P7AXNN182D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#A6ZF, Statistical consultant (definition)
History
- 2026-11-02: add by m2/dev
P7BBKBTEA2 P7BBKBTEA2
| URI | m2://inv/P7BBKBTEA2 |
|---|---|
| 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.08610#I2CG (statement). In CB2JWNS1E9/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
P7BD7GT0CY P7BD7GT0CY
| URI | m2://inv/P7BD7GT0CY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#MBTM (definition)
History
- 2026-11-02: add by m2/v0.6.17
Kharkov Mathematical Society P7BJ793S46
| URI | m2://inv/P7BJ793S46 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#N0VL, Kharkov Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Quantum authentication P7BXM6185P
| URI | m2://inv/P7BXM6185P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum authentication, Quantum authentication (topic). Also Wikidata Q140415666
History
- 2026-11-02: add by m2/dev
P7C39745GA P7C39745GA
| URI | m2://inv/P7C39745GA |
|---|---|
| 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.09042#BISA (statement). In 7CS3N5K9FJ/e1, lemma 23
History
- 2026-10-29: add by m2/v0.4.10
P7C5W9EDWB P7C5W9EDWB
| URI | m2://inv/P7C5W9EDWB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#6EF8 (statement). In 6HJQXZS0A6/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.12
Daniel Schwenter P7CAK8RQ91
| URI | m2://inv/P7CAK8RQ91 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#PC8V, Daniel Schwenter (unknown)
History
- 2026-11-02: add by m2/dev
P7CK7GTCE6 P7CK7GTCE6
| URI | m2://inv/P7CK7GTCE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.00562#9Z24 (statement). In 99CQPHSSYF/e1, corollary \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
P7CTCJ8S31 P7CTCJ8S31
| URI | m2://inv/P7CTCJ8S31 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.09900#VIL9 (statement). In ATSYBWEMMP/e1, proposition 5.10
History
- 2026-10-29: add by m2/v0.4.10
P7CV88KZEZ P7CV88KZEZ
| URI | m2://inv/P7CV88KZEZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-10 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
P7CX948ZEP P7CX948ZEP
| URI | m2://inv/P7CX948ZEP |
|---|---|
| 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.19311#HGKJ (statement). In 3MFD6RSV41/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
Linda Sharples P7D5BKEQWR
| URI | m2://inv/P7D5BKEQWR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linda Sharples, Linda Sharples (topic). Also Wikidata Q37831166
History
- 2026-11-02: add by m2/dev
P7D6SHWTNA P7D6SHWTNA
| URI | m2://inv/P7D6SHWTNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 math/9902147#PMJJ (statement). In 7CK21JGM5A/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.4.2
P7D9ABKY8N P7D9ABKY8N
| URI | m2://inv/P7D9ABKY8N |
|---|---|
| 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.10902#P0GJ (statement). In 96T1K6C3NZ/e1, proposition 6
History
- 2026-10-28: add by m2/v0.4.3
Local negative-Sobolev compactness P7DBMCTADS
| URI | m2://inv/P7DBMCTADS |
|---|---|
| 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.12387#PKN6, Local negative-Sobolev compactness (statement). In 3Z0PRE77SY/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
Construction P7DCMHDQEZ
| URI | m2://inv/P7DCMHDQEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Augmented hexagonal prism#W92M, Construction (definition)
History
- 2026-11-02: add by m2/dev
P7DEEQ7TQT P7DEEQ7TQT
| URI | m2://inv/P7DEEQ7TQT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/lambda-definability/arithmetical-functions.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 37.8
History
- 2026-11-01: add by m2/v0.6.13
A shared centered affine flow gives Mahalanobis distance P7DHFF8S0B
| URI | m2://inv/P7DHFF8S0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31544#Y259, A shared centered affine flow gives Mahalanobis distance (statement). In TX449S1VZV/e1, proposition A.5
History
- 2026-10-31: add by m2/v0.5.6
P7DJDXMV6S P7DJDXMV6S
| URI | m2://inv/P7DJDXMV6S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.26382#5Q06 (statement)
History
- 2026-11-01: add by m2/v0.6.15
P7DXPPQ5SB P7DXPPQ5SB
| URI | m2://inv/P7DXPPQ5SB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16208#LXZQ (statement). In 7R51MHWQF7/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.2
P7E2ACP9A4 P7E2ACP9A4
| URI | m2://inv/P7E2ACP9A4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24675#PPCU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Truncated rhombicosidodecahedron P7EP7MA9X0
| URI | m2://inv/P7EP7MA9X0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated rhombicosidodecahedron, Truncated rhombicosidodecahedron (object). Also Wikidata Q18394855
History
- 2026-11-02: add by m2/dev
approximation by convolution P7ERS0M3GR
| URI | m2://inv/P7ERS0M3GR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > approximation by convolution, approximation by convolution (unknown). Also Mathlib ContDiffBump.convolution_tendsto_right
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > approximation by convolution, approximation by convolution (unknown). Also Mathlib ContDiffBump.convolution_tendsto_right
History
- 2026-10-26: add by m2/dev
P7ETH2JBW8 P7ETH2JBW8
| URI | m2://inv/P7ETH2JBW8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#6N40 (statement). In MS7M2BJS9X/e1, lemma 6.2
History
- 2026-10-29: add by m2/v0.4.10
Wigner surmise P7FA53DJCK
| URI | m2://inv/P7FA53DJCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner surmise, Wigner surmise (definition). Also Wikidata Q60791077
History
- 2026-11-02: add by m2/dev
Results P7FBEVA3XT
| URI | m2://inv/P7FBEVA3XT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alex Chui#KZ50, Results (statement)
History
- 2026-11-02: add by m2/dev
P7FKPKEF0G P7FKPKEF0G
| URI | m2://inv/P7FKPKEF0G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 2411.16022#RVYX (statement). In QG9ATXTKJ6/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.3.5
P7FRG3C965 P7FRG3C965
| URI | m2://inv/P7FRG3C965 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.19468#NCI1 (statement). In EY54F2SX08/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
Edgeworth, Francis Ysidro P7FTWXX7PF
| URI | m2://inv/P7FTWXX7PF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#2AKN, Edgeworth, Francis Ysidro (unknown)
History
- 2026-11-02: add by m2/dev
Dominated convergence theorem P7G3HW0WFF
| URI | m2://inv/P7G3HW0WFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#PQZF, Dominated convergence theorem (statement)
History
- 2026-11-02: add by m2/dev
P7G49MQ058 P7G49MQ058
| URI | m2://inv/P7G49MQ058 |
|---|---|
| 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.15559#BXBK (statement). In 6H7SHXGGQW/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
P7G8QW4MA8 P7G8QW4MA8
| URI | m2://inv/P7G8QW4MA8 |
|---|---|
| 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.36827#DVHS (statement). In VSHAQTB2CA/e1, proposition 3.11
History
- 2026-10-30: add by m2/v0.4.12
Boolean-valued function P7GATVAE63
| URI | m2://inv/P7GATVAE63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#4MXI, Boolean-valued function (definition)
- wikipedia: Wikipedia List of Boolean algebra topics#XBZH, Boolean-valued function (definition)
History
- 2026-11-02: add by m2/dev
M-symmetric lattice P7GCGSHCCY
| URI | m2://inv/P7GCGSHCCY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular lattice#GG5O, M-symmetric lattice (unknown)
History
- 2026-11-02: add by m2/dev
P7GD6WAY12 P7GD6WAY12
| URI | m2://inv/P7GD6WAY12 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isomorphism problem of Coxeter groups#9ZHN (problem)
History
- 2026-11-02: add by m2/dev
Method of Frobenius P7GJD3RHMH
| URI | m2://inv/P7GJD3RHMH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#theorem-3, Method of Frobenius (statement). In E9HS8K3A52, theorem, section 9.3.2
History
- 2026-11-01: add by m2/v0.6.13
P7H0FQ8WG7 P7H0FQ8WG7
| URI | m2://inv/P7H0FQ8WG7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20050#X1AU (definition). In T41GD0Y0GX/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
P7H2JYGBS5 P7H2JYGBS5
| URI | m2://inv/P7H2JYGBS5 |
|---|---|
| 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 2509.05577#YNHC (statement). In EFWBREMZAP/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
P7H3N6FQPK P7H3N6FQPK
| URI | m2://inv/P7H3N6FQPK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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 2610.20097#SCE3 (statement). In Q61JJV39K1/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.2
Create the formula's Karnaugh map P7HN9A4MQD
| URI | m2://inv/P7HN9A4MQD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional formula#192D, Create the formula's Karnaugh map (statement)
History
- 2026-11-02: add by m2/dev
Holmboe Prize P7HRV9D30M
| URI | m2://inv/P7HRV9D30M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernt Michael Holmboe#BKA0, Holmboe Prize (unknown)
History
- 2026-11-02: add by m2/dev
Caldwell, John P7J3A3F5BM
| URI | m2://inv/P7J3A3F5BM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#O3EO, Caldwell, John (unknown)
History
- 2026-11-02: add by m2/dev
curve P7J4B4V6GB
| URI | m2://inv/P7J4B4V6GB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/curve, curve (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
P7J4VN17BR P7J4VN17BR
| URI | m2://inv/P7J4VN17BR |
|---|---|
| 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.34516#MCAB (statement). In ECKK8RR78E/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
P7JAXFQNDN P7JAXFQNDN
| URI | m2://inv/P7JAXFQNDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#definition-5 (definition). In RZP28ERRZV, definition, section 4.5
History
- 2026-11-01: add by m2/v0.6.13
Statement of the theorem P7JGMA7DZA
| URI | m2://inv/P7JGMA7DZA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lions–Lax–Milgram theorem#DU1I, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
James O. Berger P7JNW7XZA4
| URI | m2://inv/P7JNW7XZA4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#0S3F, James O. Berger (topic)
History
- 2026-11-02: add by m2/dev
Theorem P7JR691CEG
| URI | m2://inv/P7JR691CEG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singleton bound#UA5Z, Theorem (statement)
History
- 2026-11-02: add by m2/dev
The Jacobi identity P7JT2RS3X0
| URI | m2://inv/P7JT2RS3X0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Courant bracket#BCI3, The Jacobi identity (statement)
History
- 2026-11-02: add by m2/dev
P7JTTA4Z23 P7JTTA4Z23
| URI | m2://inv/P7JTTA4Z23 |
|---|---|
| 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 1001.0174#MT3P (statement). In 4P97F3GPJC/e1, lemma 3.6
History
- 2026-10-27: add by m2/v0.3.5
P7JXYM2AEF P7JXYM2AEF
| URI | m2://inv/P7JXYM2AEF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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.14044#JTQI (example). In 5452SJRWDT/e1, example 6.4
History
- 2026-10-28: add by m2/v0.4.2
Generalizations P7JZYJHMMS
| URI | m2://inv/P7JZYJHMMS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuglede−Kadison determinant#F6VF, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
P7K78HAMVY P7K78HAMVY
| URI | m2://inv/P7K78HAMVY |
|---|---|
| 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 2608.24599#ENHU (statement). In VG8QFWTT8S/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.6
Upper Bound on Minimal Tubes P7K7H21Q3T
| URI | m2://inv/P7K7H21Q3T |
|---|---|
| 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.05056#VVZ4, Upper Bound on Minimal Tubes (statement). In 4PF04DW3YP/e1, corollary 2.17
History
- 2026-10-29: add by m2/v0.4.12
P7KMXEVYFN P7KMXEVYFN
| URI | m2://inv/P7KMXEVYFN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.05179#CVTQ (statement). In 9EMCPF1F2T/e1, proposition 58
History
- 2026-10-29: add by m2/v0.4.10
P7KPPXK43M P7KPPXK43M
| URI | m2://inv/P7KPPXK43M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2205.13464#CZME (statement). In JPYGC2R3FC/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.6
Discrete space P7KRR8HKQF
| URI | m2://inv/P7KRR8HKQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#FH45, Discrete space (definition)
History
- 2026-11-02: add by m2/dev
P7KZPEJMYN P7KZPEJMYN
| URI | m2://inv/P7KZPEJMYN |
|---|---|
| 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.11902#0FFX (statement). In K66QKM4N5E/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
P7M2DFY92E P7M2DFY92E
| URI | m2://inv/P7M2DFY92E |
|---|---|
| Kind | example |
| 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#SG8I (example). In BDN507RN7J/e1, example 4.1.2
History
- 2026-10-30: add by m2/v0.4.12
Amy Braverman P7M5D75PJR
| URI | m2://inv/P7M5D75PJR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2JB3, Amy Braverman (topic)
History
- 2026-11-02: add by m2/dev
Construction P7M6NXVBS0
| URI | m2://inv/P7M6NXVBS0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SPQR tree#YKCF, Construction (definition)
History
- 2026-11-02: add by m2/dev
Life-time of correlation P7M6W3A0HA
| URI | m2://inv/P7M6W3A0HA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Life-time of correlation, Life-time of correlation (definition). Also Wikidata Q6544586
History
- 2026-11-02: add by m2/dev
Carathéodory's existence theorem P7MBPMYDAS
| URI | m2://inv/P7MBPMYDAS |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 34-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5037752, Carathéodory's existence theorem (statement). Also Wikidata Q5037752
- thousand_plus: thousand_plus Q5037752, Carathéodory's existence theorem (statement). Also Wikidata Q5037752, Wikipedia Carathéodory's existence theorem
- wikipedia: Wikipedia Carathéodory's existence theorem, Carathéodory's existence theorem (statement). Also Wikidata Q5037752
History
- 2026-10-26: add by m2/dev
P7MFAN3F5C P7MFAN3F5C
| URI | m2://inv/P7MFAN3F5C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#cor:finiteness (statement). In RZP28ERRZV, corollary, section 81.2
History
- 2026-11-01: add by m2/v0.6.13
Examples P7MHD54DT9
| URI | m2://inv/P7MHD54DT9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson manifold#V2ML, Examples (example)
History
- 2026-11-02: add by m2/dev
Unproductive symbol P7MJCZ5HF1
| URI | m2://inv/P7MJCZ5HF1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Context-free grammar#P8J7, Unproductive symbol (unknown)
History
- 2026-11-02: add by m2/dev
Multilevel Monte Carlo method P7MWKCA4D2
| URI | m2://inv/P7MWKCA4D2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multilevel Monte Carlo method, Multilevel Monte Carlo method (definition). Also Wikidata Q48998192
History
- 2026-11-02: add by m2/dev
P7MX0TJZG7 P7MX0TJZG7
| URI | m2://inv/P7MX0TJZG7 |
|---|---|
| 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.03555#FE87 (definition). In 9JZJTRRVR1/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.12
P7MZQ1Q7ZZ P7MZQ1Q7ZZ
| URI | m2://inv/P7MZQ1Q7ZZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 11-XX, 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21725#CIC0 (statement). In BQDZN6GRGF/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.2
P7N8P29SKR P7N8P29SKR
| URI | m2://inv/P7N8P29SKR |
|---|---|
| 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.29227#CR3Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
P7N8R6EH5B P7N8R6EH5B
| URI | m2://inv/P7N8R6EH5B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#MSIM (statement). In WSG1ZW956E/e1, corollary 5.7
History
- 2026-10-30: add by m2/v0.4.12
Statement of the theorem due to H. Kneser P7NDZQX4MP
| URI | m2://inv/P7NDZQX4MP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kneser's theorem (differential equations)#BM8D, Statement of the theorem due to H. Kneser (statement)
History
- 2026-11-02: add by m2/dev
P7NHN5XFQ7 P7NHN5XFQ7
| URI | m2://inv/P7NHN5XFQ7 |
|---|---|
| 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#7WMO (statement). In 90QTB4CC31/e1, proposition 3.20
History
- 2026-10-28: add by m2/v0.4.2
perfect ruler P7NKQS516F
| URI | m2://inv/P7NKQS516F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7168097, perfect ruler (unknown). Also MathWorld PerfectRuler
- wikipedia: Wikipedia Perfect ruler, Perfect ruler (definition). Also Wikidata Q7168097
History
- 2026-10-26: add by m2/dev
Sofya Yanovskaya P7NRQRYEZR
| URI | m2://inv/P7NRQRYEZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#FKAM, Sofya Yanovskaya (unknown)
History
- 2026-11-02: add by m2/dev
Lévy-Itō decomposition P7NS7K23RF
| URI | m2://inv/P7NS7K23RF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy process#S0VX, Lévy-Itō decomposition (unknown)
History
- 2026-11-02: add by m2/dev
Maurice L'Abbé P7NVHN5AMH
| URI | m2://inv/P7NVHN5AMH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maurice L'Abbé, Maurice L'Abbé (topic). Also Wikidata Q3300980
History
- 2026-11-02: add by m2/dev
P7NVJ2DBYX P7NVJ2DBYX
| URI | m2://inv/P7NVJ2DBYX |
|---|---|
| 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#NPIP (statement). In 8S9TEAPCDJ/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.3
P7NWAFTQ78 P7NWAFTQ78
| URI | m2://inv/P7NWAFTQ78 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31476#AKWG (statement). In PC1CFE8CJC/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Conceptions of logic P7NY3DB32K
| URI | m2://inv/P7NY3DB32K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conceptions of logic, Conceptions of logic (definition). Also Wikidata Q5251621
History
- 2026-11-02: add by m2/dev
P7NZWBTSDP P7NZWBTSDP
| URI | m2://inv/P7NZWBTSDP |
|---|---|
| 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.20558#SJ9V (statement). In 46370P3Y9S/e1, theorem 5.11
History
- 2026-10-27: add by m2/v0.4.2
Examples P7P2XQWM0Y
| URI | m2://inv/P7P2XQWM0Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Satake diagram#G25F, Examples (example)
History
- 2026-11-02: add by m2/dev
Quaternionic projective space P7P5JQ2B71
| URI | m2://inv/P7P5JQ2B71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#LLND, Quaternionic projective space (definition)
History
- 2026-11-02: add by m2/dev
Examples P7PAV3M9XE
| URI | m2://inv/P7PAV3M9XE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Infinite divisibility (probability)#O2JA, Examples (example)
History
- 2026-11-02: add by m2/dev
Definition P7PD06DKMP
| URI | m2://inv/P7PD06DKMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category algebra#V2JE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties and applications P7PDZQVX40
| URI | m2://inv/P7PDZQVX40 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levi-Civita field#1RZM, Properties and applications (statement)
History
- 2026-11-02: add by m2/dev
P7Q2BXTTDZ P7Q2BXTTDZ
| URI | m2://inv/P7Q2BXTTDZ |
|---|---|
| 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.24206#PTKH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Degree of a monomial P7Q32CH1EA
| URI | m2://inv/P7Q32CH1EA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monomial#7MFJ, Degree of a monomial (unknown)
History
- 2026-11-02: add by m2/dev
Prime number theorem P7Q6ZH38S6
| URI | m2://inv/P7Q6ZH38S6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary proof#8W0J, Prime number theorem (statement)
History
- 2026-11-02: add by m2/dev
List of statistics journals P7Q90HGHAX
| URI | m2://inv/P7Q90HGHAX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals, List of statistics journals (topic). Also Wikidata Q6641452
History
- 2026-11-02: add by m2/dev
Lawvere theory P7QH3HT6C2
| URI | m2://inv/P7QH3HT6C2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Lawvere theory NTJ94H2CNS |
Mentions
- wikidata: Wikidata Q6505076, Lawvere theory (unknown). Also nLab Lawvere theory
- wikipedia: Wikipedia Lawvere theory, Lawvere theory (definition). Also Wikidata Q6505076
History
- 2026-10-26: add by m2/dev
Mučnik reducibility P7QH41WRCT
| URI | m2://inv/P7QH41WRCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mučnik reducibility, Mučnik reducibility (definition). Also Wikidata Q126901491
History
- 2026-11-02: add by m2/dev
Hectogon P7QHGM8AMM
| URI | m2://inv/P7QHGM8AMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#J2X3, Hectogon (definition)
- wikipedia: Wikipedia List of mathematical shapes#X9BP, Hectogon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#RE6B, Hectogon (definition)
History
- 2026-11-02: add by m2/dev
P7QKXJ024K P7QKXJ024K
| URI | m2://inv/P7QKXJ024K |
|---|---|
| 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.15316#F704 (statement). In 3K84E4150C/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
Geoffrey K. Martin P7QKXKMR4K
| URI | m2://inv/P7QKXKMR4K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geoffrey K. Martin, Geoffrey K. Martin (topic). Also Wikidata Q5534715
History
- 2026-11-02: add by m2/dev
P7QQW5BK2V P7QQW5BK2V
| URI | m2://inv/P7QQW5BK2V |
|---|---|
| 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#NDB5 (statement). In ZZER8ZBSCR/e1, lemma B.12
History
- 2026-10-29: add by m2/v0.4.12
P7R1KTW979 P7R1KTW979
| URI | m2://inv/P7R1KTW979 |
|---|---|
| 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 2208.07401#ISNE (statement). In GJD7HKCE56/e1, lemma 3.16
History
- 2026-10-27: add by m2/v0.3.6
$T$-adic Dwork trace formula P7R2201E13
| URI | m2://inv/P7R2201E13 |
|---|---|
| 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.05652#ASUZ, $T$-adic Dwork trace formula (statement). In 8BNPFYQDQX/e1, theorem 3.18
History
- 2026-10-29: add by m2/v0.4.10
P7R3N6VVQ6 P7R3N6VVQ6
| URI | m2://inv/P7R3N6VVQ6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-3.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
geometrization conjecture P7RT5RPC22
| URI | m2://inv/P7RT5RPC22 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Geometrization conjecture B27HB43K86 |
Mentions
- wikidata: Wikidata Q1503309, geometrization conjecture (conjecture). Also MathWorld ThurstonsGeometrizationConjecture, nLab geometrization conjecture, ProofWiki Thurston's_Geometrization_Conjecture
- wikipedia: Wikipedia Geometrization conjecture, Geometrization conjecture (statement). Also Wikidata Q1503309
History
- 2026-10-26: add by m2/dev
Natashia Boland P7RZ3F2WYA
| URI | m2://inv/P7RZ3F2WYA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natashia Boland, Natashia Boland (topic). Also Wikidata Q27928079
History
- 2026-11-02: add by m2/dev
Properties P7RZKHPSC6
| URI | m2://inv/P7RZKHPSC6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper and lower sets#FUAV, Properties (statement)
History
- 2026-11-02: add by m2/dev
P7S4YP4N5V P7S4YP4N5V
| URI | m2://inv/P7S4YP4N5V |
|---|---|
| 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.15831#DSP3 (statement). In CVESAPNMCQ/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
P7SEVX5GV6 P7SEVX5GV6
| URI | m2://inv/P7SEVX5GV6 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0805.4273#E404 (problem). In ZX3NV58FRX/e1, problem 5.8
History
- 2026-10-27: add by m2/v0.3.5
Motivated reasoning P7SG2Y7HK1
| URI | m2://inv/P7SG2Y7HK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motivated reasoning, Motivated reasoning (definition). Also Wikidata Q1949688
History
- 2026-11-02: add by m2/dev
P7SJYC63M6 P7SJYC63M6
| URI | m2://inv/P7SJYC63M6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#thm:compred_schur (statement). In RZP28ERRZV, theorem, section 81.1
History
- 2026-11-01: add by m2/v0.6.13
P7SMV7NNRP P7SMV7NNRP
| URI | m2://inv/P7SMV7NNRP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22240#9VOG (statement)
History
- 2026-11-02: add by m2/v0.6.17
Zakai equation P7SNVEF4E1
| URI | m2://inv/P7SNVEF4E1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#HPMR, Zakai equation (definition)
History
- 2026-11-02: add by m2/dev
Heckman correction P7SPW7WDHT
| URI | m2://inv/P7SPW7WDHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FDB3, Heckman correction (definition)
History
- 2026-11-02: add by m2/dev
P7SRM2XG8V P7SRM2XG8V
| URI | m2://inv/P7SRM2XG8V |
|---|---|
| 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.07537#29RG (statement). In ZFDXNKEBT1/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.10
P7SVS0XV0N P7SVS0XV0N
| URI | m2://inv/P7SVS0XV0N |
|---|---|
| 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.26713#P53F (statement)
History
- 2026-11-01: add by m2/v0.6.15
Seven Pines, Texas P7SWZNRKVE
| URI | m2://inv/P7SWZNRKVE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EWKQ, Seven Pines, Texas (unknown)
History
- 2026-11-02: add by m2/dev
P7SYJKFMM8 P7SYJKFMM8
| URI | m2://inv/P7SYJKFMM8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-101 (exercise). In E9HS8K3A52, exercise, section 10.9.4
History
- 2026-11-01: add by m2/v0.6.13
P7T3GDNKDE P7T3GDNKDE
| URI | m2://inv/P7T3GDNKDE |
|---|---|
| Kind | conjecture |
| 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.03874#QHRS (conjecture). In YA93K7CVMT/e1, conjecture 2
History
- 2026-10-29: add by m2/v0.4.12
Cauchy integral formula P7T3RQBXDZ
| URI | m2://inv/P7T3RQBXDZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Complex analysis > Cauchy integral formula, Cauchy integral formula (unknown). Also Mathlib DiffContOnCl.circleIntegral_sub_inv_smul
History
- 2026-10-26: add by m2/dev
Exact potential and finite-dimensional structure P7T531C6RW
| URI | m2://inv/P7T531C6RW |
|---|---|
| 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#XJA9, Exact potential and finite-dimensional structure (statement)
History
- 2026-11-01: add by m2/v0.6.15
Principle P7TAG42YCE
| URI | m2://inv/P7TAG42YCE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operational calculus#80Q3, Principle (statement)
History
- 2026-11-02: add by m2/dev
Weber's theorem P7TAHQSKZE
| URI | m2://inv/P7TAHQSKZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#F8MB, Weber's theorem (statement)
History
- 2026-11-02: add by m2/dev
Two or more pendant leaves P7TBETGHE8
| URI | m2://inv/P7TBETGHE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02276#U2M6, Two or more pendant leaves (statement). In 3X0RCNDNZA/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
P7TGSAMS7T P7TGSAMS7T
| URI | m2://inv/P7TGSAMS7T |
|---|---|
| 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.02681#9QVI (statement). In 7BBJMB97N7/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Coffman–Graham algorithm P7TH5T7QT8
| URI | m2://inv/P7TH5T7QT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coffman–Graham algorithm, Coffman–Graham algorithm (definition). Also Wikidata Q5141033
History
- 2026-11-02: add by m2/dev
P7TK6WQ152 P7TK6WQ152
| URI | m2://inv/P7TK6WQ152 |
|---|---|
| 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.28961#3TWM (statement)
History
- 2026-11-01: add by m2/v0.6.15
P7TKNA4FT3 P7TKNA4FT3
| URI | m2://inv/P7TKNA4FT3 |
|---|---|
| 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.07001#8YIQ (statement). In 5DFTVG7FFF/e1, lemma 2.16
History
- 2026-10-29: add by m2/v0.4.10
2NFA P7TMBBA5VJ
| URI | m2://inv/P7TMBBA5VJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-way finite automaton#K74M, 2NFA (unknown)
History
- 2026-11-02: add by m2/dev
Basile Demtchenko P7TQHJJ303
| URI | m2://inv/P7TQHJJ303 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LAJ3, Basile Demtchenko (unknown)
History
- 2026-11-02: add by m2/dev
P7V02BANPG P7V02BANPG
| URI | m2://inv/P7V02BANPG |
|---|---|
| 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.21759#DLQ1 (statement). In AFC5D0H4GY/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
Wing Hung Wong P7V61K1XV4
| URI | m2://inv/P7V61K1XV4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#RJCH, Wing Hung Wong (topic)
History
- 2026-11-02: add by m2/dev
Product estimate P7V70Y7DBZ
| URI | m2://inv/P7V70Y7DBZ |
|---|---|
| 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.02721#ICT8, Product estimate (statement). In XXFYVDVPPE/e1, lemma 2.13
History
- 2026-10-29: add by m2/v0.4.12
Thm. 7.31(a P7V98QJ5HR
| URI | m2://inv/P7V98QJ5HR |
|---|---|
| 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.36181#IKNP, Thm. 7.31(a (statement). In 1KSE33PVS6/e1, lemma 38
History
- 2026-10-30: add by m2/v0.4.12
P7VC3NK031 P7VC3NK031
| URI | m2://inv/P7VC3NK031 |
|---|---|
| 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 2610.10581#PMB2 (statement). In 6V42A71SPC/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.10
Triquetra P7VMD63JZA
| URI | m2://inv/P7VMD63JZA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#R3DQ, Triquetra (unknown)
- wikipedia: Wikipedia List of two-dimensional geometric shapes#ADPI, Triquetra (unknown)
History
- 2026-11-02: add by m2/dev
D. R. Heath-Brown P7VMX7PWR5
| URI | m2://inv/P7VMX7PWR5 |
|---|---|
| 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#XRKA, D. R. Heath-Brown (topic)
History
- 2026-11-02: add by m2/dev
Pierre Dive P7VNXZWCF3
| URI | m2://inv/P7VNXZWCF3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0Z83, Pierre Dive (unknown)
History
- 2026-11-02: add by m2/dev
Hasse–Witt matrix P7VP9Y5S28
| URI | m2://inv/P7VP9Y5S28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Ernst Witt#GVB2, Hasse–Witt matrix (definition)
History
- 2026-11-02: add by m2/dev
analytic philosophy P7VVCASKKB
| URI | m2://inv/P7VVCASKKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q183216, analytic philosophy (unknown). Also nLab analytic philosophy
- wikipedia: Wikipedia Analytic philosophy, Analytic philosophy (definition). Also Wikidata Q183216
History
- 2026-10-26: add by m2/dev
Local domination P7VXZ0EAR2
| URI | m2://inv/P7VXZ0EAR2 |
|---|---|
| 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.09086#F7W1, Local domination (definition). In JPC86V77CH/e1, definition 3.9
History
- 2026-10-29: add by m2/v0.4.10
Lower bound P7VZGM2NK1
| URI | m2://inv/P7VZGM2NK1 |
|---|---|
| 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.20687#G5WO, Lower bound (statement)
History
- 2026-11-02: add by m2/v0.6.18
P7W2MQHR0P P7W2MQHR0P
| URI | m2://inv/P7W2MQHR0P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#proposition-3 (statement). In RZP28ERRZV, proposition, section 100.6
History
- 2026-11-01: add by m2/v0.6.13
P7W8YJY82K P7W8YJY82K
| URI | m2://inv/P7W8YJY82K |
|---|---|
| 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#HYTQ (statement). In JWNYJVH8XG/e1, theorem 2.9
History
- 2026-10-29: add by m2/v0.4.10
Kuznets, Simon P7WC1B7MV1
| URI | m2://inv/P7WC1B7MV1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#PHAZ, Kuznets, Simon (unknown)
History
- 2026-11-02: add by m2/dev
P7WFJ5MR4H P7WFJ5MR4H
| URI | m2://inv/P7WFJ5MR4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-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 2610.02901#IS6M (statement). In NSP90G5XCQ/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
Vectors in Three-dimensional Space P7WJHP0511
| URI | m2://inv/P7WJHP0511 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vectors in Three-dimensional Space, Vectors in Three-dimensional Space (definition). Also Wikidata Q7917859
History
- 2026-11-02: add by m2/dev
Journal of the Royal Statistical Society, Series C: Applied Statistics P7WJW1ZCYZ
| URI | m2://inv/P7WJW1ZCYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics journals#74TO, Journal of the Royal Statistical Society, Series C: Applied Statistics (definition)
History
- 2026-11-02: add by m2/dev
Lower bound on the strong slice genus P7XAY0EFV8
| URI | m2://inv/P7XAY0EFV8 |
|---|---|
| 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.10206#JPUJ, Lower bound on the strong slice genus (statement). In 8TRCP1482Q/e1, lemma B.5
History
- 2026-10-29: add by m2/v0.4.10
quadrilateral P7XDGPXTB2
| URI | m2://inv/P7XDGPXTB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q36810, quadrilateral (definition). Also EoM Quadrilateral, MathWorld Quadrilateral, ProofWiki Definition:Quadrilateral
- wikipedia: Wikipedia Quadrilateral, Quadrilateral (definition). Also Wikidata Q36810
History
- 2026-10-26: add by m2/dev
Tjur P7XM93F9E5
| URI | m2://inv/P7XM93F9E5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#3XD8, Tjur (definition). In 37S7MNMZ2F/e1, definition 27
History
- 2026-10-27: add by m2/v0.3.5
Marie Davidian P7XSSKKV72
| URI | m2://inv/P7XSSKKV72 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#A3DY, Marie Davidian (topic)
History
- 2026-11-02: add by m2/dev
Formulations P7XV2S1PRG
| URI | m2://inv/P7XV2S1PRG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Network entropy#EYUZ, Formulations (definition)
History
- 2026-11-02: add by m2/dev
James Blacklock Henderson P7XW57RKKS
| URI | m2://inv/P7XW57RKKS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BJRJ, James Blacklock Henderson (unknown)
History
- 2026-11-02: add by m2/dev
P7XZVW1EK8 P7XZVW1EK8
| URI | m2://inv/P7XZVW1EK8 |
|---|---|
| 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 2511.07697#5RWK (statement). In 57P5P33HS3/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
P7YEC62XBC P7YEC62XBC
| URI | m2://inv/P7YEC62XBC |
|---|---|
| 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 2610.06746#DCCY (statement). In B8A6BPP922/e1, theorem 3.3
History
- 2026-10-29: add by m2/v0.4.10
P7YGH5Q3H2 P7YGH5Q3H2
| URI | m2://inv/P7YGH5Q3H2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35398#D4EG (statement). In NAJCCHYXR6/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Formal definition P7Z8YZEVCT
| URI | m2://inv/P7Z8YZEVCT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Computable number#G2B7, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
complete quadrilateral P7ZD58NEWW
| URI | m2://inv/P7ZD58NEWW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28092803, complete quadrilateral (unknown). Also MathWorld CompleteQuadrilateral
History
- 2026-10-26: add by m2/dev
P7ZDC28A52 P7ZDC28A52
| URI | m2://inv/P7ZDC28A52 |
|---|---|
| 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.29925#0UJ7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Computations P7ZRJ2QK28
| URI | m2://inv/P7ZRJ2QK28 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pushdown automaton#8ISE, Computations (definition)
History
- 2026-11-02: add by m2/dev
Generalized renewal process P7ZVEP8K9B
| URI | m2://inv/P7ZVEP8K9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized renewal process, Generalized renewal process (definition). Also Wikidata Q106797766
History
- 2026-11-02: add by m2/dev
Pseudoanalytic function P7ZX8NKYXB
| URI | m2://inv/P7ZX8NKYXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoanalytic function, Pseudoanalytic function (definition). Also Wikidata Q7254510
History
- 2026-11-02: add by m2/dev