Inventory rows B4
The cards of the rows of the inventory whose ids start with B4. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Big Bang B401JQM23R
| URI | m2://inv/B401JQM23R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q323, Big Bang (unknown). Also nLab Big Bang
- wikipedia: Wikipedia Big Bang, Big Bang (definition). Also Wikidata Q323
History
- 2026-10-26: add by m2/dev
Other formulas B40C5PMQR9
| URI | m2://inv/B40C5PMQR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Somos' quadratic recurrence constant#XY71, Other formulas (statement)
History
- 2026-11-02: add by m2/dev
B40E2T87SG B40E2T87SG
| URI | m2://inv/B40E2T87SG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.14678#8UBL (example). In 9ZSNSJRJ5N/e1, example 4
History
- 2026-10-27: add by m2/v0.4.2
B40H7C2XQB B40H7C2XQB
| URI | m2://inv/B40H7C2XQB |
|---|---|
| Kind | definition |
| 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#A8UB (definition). In QHFP0837Q8/e1, definition 5.1
History
- 2026-10-29: add by m2/v0.4.12
forest B40HC2RFMJ
| URI | m2://inv/B40HC2RFMJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1506875, forest (definition). Also MathWorld Forest, ProofWiki Definition:Forest
History
- 2026-10-26: add by m2/dev
Properties B40KZ4366R
| URI | m2://inv/B40KZ4366R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arakawa–Kaneko zeta function#OA8W, Properties (statement)
History
- 2026-11-02: add by m2/dev
B40NFS3VZT B40NFS3VZT
| URI | m2://inv/B40NFS3VZT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-proofs.ptx#example-4 (example). In Y91XFCEVHQ, example, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
B40TCA980G B40TCA980G
| URI | m2://inv/B40TCA980G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39905#5OFQ (statement). In D4B23ER9QD/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Xinyi Yuan B414NWVCDW
| URI | m2://inv/B414NWVCDW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Xinyi Yuan, Xinyi Yuan (topic). Also Wikidata Q27967790
History
- 2026-11-02: add by m2/dev
B41CMC9BH3 B41CMC9BH3
| URI | m2://inv/B41CMC9BH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#T8C7 (statement). In HX63A1PH1W/e1, corollary 6.22
History
- 2026-10-28: add by m2/v0.4.3
Laplace transform applied to differential equations B41EDMD8CE
| URI | m2://inv/B41EDMD8CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace transform applied to differential equations, Laplace transform applied to differential equations (definition). Also Wikidata Q2858841
History
- 2026-11-02: add by m2/dev
Cultural multivariate testing B41HTXWE7C
| URI | m2://inv/B41HTXWE7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cultural multivariate testing, Cultural multivariate testing (definition). Also Wikidata Q5193230
History
- 2026-11-02: add by m2/dev
Yael Dowker B41P271RBK
| URI | m2://inv/B41P271RBK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#9HR6, Yael Dowker (topic)
History
- 2026-11-02: add by m2/dev
Freedman–Diaconis rule B41PYPQVR0
| URI | m2://inv/B41PYPQVR0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#I3VR, Freedman–Diaconis rule (definition)
History
- 2026-11-02: add by m2/dev
B41RMFXMTG B41RMFXMTG
| URI | m2://inv/B41RMFXMTG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#QEDT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Léon Autonne B41T5D07SS
| URI | m2://inv/B41T5D07SS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Léon Autonne, Léon Autonne (topic). Also Wikidata Q21418825
History
- 2026-11-02: add by m2/dev
B41T9FEBF4 B41T9FEBF4
| URI | m2://inv/B41T9FEBF4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadwiger–Nelson problem#BEJJ (problem)
History
- 2026-11-02: add by m2/dev
Formal Statement B41XDWAFEJ
| URI | m2://inv/B41XDWAFEJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue's decomposition theorem#7PUT, Formal Statement (statement)
History
- 2026-11-02: add by m2/dev
Bernard F. Schutz B41YE4JBZQ
| URI | m2://inv/B41YE4JBZQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#GSVX, Bernard F. Schutz (unknown)
History
- 2026-11-02: add by m2/dev
B424ZAG1Q4 B424ZAG1Q4
| URI | m2://inv/B424ZAG1Q4 |
|---|---|
| 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.01802#FYT1 (statement). In XGPZ0G9E1Q/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
Definition B42B624YH0
| URI | m2://inv/B42B624YH0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unitary operator#5A8O, Definition (definition)
History
- 2026-11-02: add by m2/dev
NUS Faculty of Arts and Social Sciences B42BD9CJTN
| URI | m2://inv/B42BD9CJTN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National University of Singapore#TKIX, NUS Faculty of Arts and Social Sciences (unknown)
History
- 2026-11-02: add by m2/dev
Hassan K. Khalil B42BHJ8FH0
| URI | m2://inv/B42BHJ8FH0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hassan K. Khalil, Hassan K. Khalil (topic). Also Wikidata Q102278369
History
- 2026-11-02: add by m2/dev
An Introduction to Probability Theory and Its Applications B42FJCCW46
| URI | m2://inv/B42FJCCW46 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#3E3H, An Introduction to Probability Theory and Its Applications (topic)
History
- 2026-11-02: add by m2/dev
Completeness B42KY4K8Z0
| URI | m2://inv/B42KY4K8Z0 |
|---|---|
| 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 2207.11097#R26Z, Completeness (statement). In 13H5BTAXHF/e1, theorem 23
History
- 2026-10-27: add by m2/v0.3.5
Pythagorean triple B42MCGWZ0E
| URI | m2://inv/B42MCGWZ0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#B3RQ, Pythagorean triple (definition)
- wikipedia: Wikipedia List of number theory topics#CMLZ, Pythagorean triple (definition)
History
- 2026-11-02: add by m2/dev
B42NP71MTE B42NP71MTE
| URI | m2://inv/B42NP71MTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25435#OE3X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Monique Henderson B42RYNQPEQ
| URI | m2://inv/B42RYNQPEQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#DF0W, Monique Henderson (unknown)
History
- 2026-11-02: add by m2/dev
Definition B42T9HKBEQ
| URI | m2://inv/B42T9HKBEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adapted process#QINC, Definition (definition)
History
- 2026-11-02: add by m2/dev
B42VCBCKEX B42VCBCKEX
| URI | m2://inv/B42VCBCKEX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-12 (proof). In E59CDZA4DP, proof, section 11.2.3
History
- 2026-11-01: add by m2/v0.6.13
B43409XRE4 B43409XRE4
| URI | m2://inv/B43409XRE4 |
|---|---|
| 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 2411.11470#YX7M (definition). In G1E3KERT6K/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.6
stability of equilibrium points (linearisation theorem) B43GQW8R5K
| URI | m2://inv/B43GQW8R5K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > stability of equilibrium points (linearisation theorem), stability of equilibrium points (linearisation theorem) (unknown)
History
- 2026-10-26: add by m2/dev
B43TYH2GF6 B43TYH2GF6
| URI | m2://inv/B43TYH2GF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0809.4587#CU2R (statement). In KQ8JPHDKKE/e1, theorem 9.8.34
History
- 2026-10-27: add by m2/v0.3.5
Server-Gated Cryptography B43XZ7QRXV
| URI | m2://inv/B43XZ7QRXV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Server-Gated Cryptography, Server-Gated Cryptography (definition). Also Wikidata Q7455608
History
- 2026-11-02: add by m2/dev
Algebraic properties B441WXG1E9
| URI | m2://inv/B441WXG1E9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wong graph#PWGX, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
B4494S5DY0 B4494S5DY0
| URI | m2://inv/B4494S5DY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27056#M5Z2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dirichlet form B44BHJ2AJB
| URI | m2://inv/B44BHJ2AJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#Q3CJ, Dirichlet form (definition)
History
- 2026-11-02: add by m2/dev
Volodymyr Mazorchuk B44S8PMJ4W
| URI | m2://inv/B44S8PMJ4W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volodymyr Mazorchuk, Volodymyr Mazorchuk (topic). Also Wikidata Q5980819
History
- 2026-11-02: add by m2/dev
Symmetry B44V37ND1W
| URI | m2://inv/B44V37ND1W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-4 dodecahedral honeycomb#UCHT, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
B44Z0P8EH8 B44Z0P8EH8
| URI | m2://inv/B44Z0P8EH8 |
|---|---|
| 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#V3Q6 (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm
History
- 2026-10-27: add by m2/v0.3.5
B457VBVBEN B457VBVBEN
| URI | m2://inv/B457VBVBEN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34923#X9H5 (statement). In 7WKVFJEZQT/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
B458W8XQJW B458W8XQJW
| URI | m2://inv/B458W8XQJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#6L82 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Bad-hash bound B4596AANMB
| URI | m2://inv/B4596AANMB |
|---|---|
| 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.15631#M1ZI, Bad-hash bound (statement). In AF465QFRGQ/e1, lemma IV.2
History
- 2026-10-28: add by m2/v0.4.2
B45B67RBRH B45B67RBRH
| URI | m2://inv/B45B67RBRH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#VAH7 (definition). In 8XVS0QJ2AH/e1, definition 51
History
- 2026-10-31: add by m2/v0.5.6
B45JDWKC9F B45JDWKC9F
| URI | m2://inv/B45JDWKC9F |
|---|---|
| Kind | definition |
| 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.26019#BH9W (definition)
History
- 2026-11-01: add by m2/v0.6.15
Remmert–Stein theorem B45MNGB8EK
| URI | m2://inv/B45MNGB8EK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7312009, Remmert–Stein theorem (statement). Also Wikidata Q7312009
- thousand_plus: thousand_plus Q7312009, Remmert–Stein theorem (statement). Also Wikidata Q7312009, Wikipedia Remmert–Stein theorem
- wikipedia: Wikipedia Remmert–Stein theorem, Remmert–Stein theorem (statement). Also Wikidata Q7312009
History
- 2026-10-26: add by m2/dev
B45W3E93B1 B45W3E93B1
| URI | m2://inv/B45W3E93B1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2501.01612#RCVE (statement). In A5KESSK05N/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
Domenico Montesano B463GZ2FTF
| URI | m2://inv/B463GZ2FTF |
|---|---|
| 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#JXOT, Domenico Montesano (topic)
History
- 2026-11-02: add by m2/dev
B463K5V5DN B463K5V5DN
| URI | m2://inv/B463K5V5DN |
|---|---|
| Kind | definition |
| 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 2403.15255#Z2DV (definition). In G691MXMYW0/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.0
Analogies in artificial intelligence B466JYNFYT
| URI | m2://inv/B466JYNFYT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Analogy#BSCS, Analogies in artificial intelligence (unknown)
History
- 2026-11-02: add by m2/dev
Laakso diamond structures B46E4FF376
| URI | m2://inv/B46E4FF376 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40138#KCJG, Laakso diamond structures (statement). In R60HR493TS/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Shifted Gompertz distribution B4711919TC
| URI | m2://inv/B4711919TC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IXPL, Shifted Gompertz distribution (definition)
History
- 2026-11-02: add by m2/dev
Applications B478D08GVZ
| URI | m2://inv/B478D08GVZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring lemma#65KY, Applications (example)
History
- 2026-11-02: add by m2/dev
B478V78997 B478V78997
| URI | m2://inv/B478V78997 |
|---|---|
| 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.10248#YPTD (statement). In TMV74X2725/e1, proposition 6.5
History
- 2026-10-29: add by m2/v0.4.10
mathematical induction schema B47A20RQ10
| URI | m2://inv/B47A20RQ10 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AGIZ, mathematical induction schema (definition)
History
- 2026-11-02: add by m2/dev
B47H2ZC2XF B47H2ZC2XF
| URI | m2://inv/B47H2ZC2XF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.01919#KUUV (statement). In 4H727T2YAS/e1, lemma 9.5
History
- 2026-10-29: add by m2/v0.4.12
Kakutani's theorem B47RX4MY6E
| URI | m2://inv/B47RX4MY6E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakutani's theorem (measure theory), Kakutani's theorem (statement). Also Wikidata Q60794025
History
- 2026-11-02: add by m2/dev
Example B485K10Y43
| URI | m2://inv/B485K10Y43 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Entropy compression#UHW6, Example (example)
History
- 2026-11-02: add by m2/dev
B487T2ZQBC B487T2ZQBC
| URI | m2://inv/B487T2ZQBC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1907.01440#5WJN (definition). In QDRYC6WJJ7/e1, definition 2
History
- 2026-10-27: add by m2/v0.3.5
B4893JHHG0 B4893JHHG0
| URI | m2://inv/B4893JHHG0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17060#KN2U (statement). In 5KR3MHYVV6/e1, corollary 3.8
History
- 2026-10-28: add by m2/v0.4.2
How to find the reduction formula B48KX9BVP1
| URI | m2://inv/B48KX9BVP1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration by reduction formulae#OTD1, How to find the reduction formula (statement)
History
- 2026-11-02: add by m2/dev
Cost-of-living index B48R0P0GZS
| URI | m2://inv/B48R0P0GZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JXHA, Cost-of-living index (definition)
History
- 2026-11-02: add by m2/dev
B48STGVNYF B48STGVNYF
| URI | m2://inv/B48STGVNYF |
|---|---|
| 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.27673#QNP6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Razumkov Centre B494WED1FG
| URI | m2://inv/B494WED1FG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#ZV4E, Razumkov Centre (unknown)
History
- 2026-11-02: add by m2/dev
B49E9XJBSM B49E9XJBSM
| URI | m2://inv/B49E9XJBSM |
|---|---|
| Kind | definition |
| 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 2610.06719#NBB1 (definition). In CBSA058Y53/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.10
Generalized inverse Gaussian distribution B49KD5QJ6N
| URI | m2://inv/B49KD5QJ6N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized inverse Gaussian distribution, Generalized inverse Gaussian distribution (definition). Also Wikidata Q866810
History
- 2026-11-02: add by m2/dev
Theorem B49KDHT80S
| URI | m2://inv/B49KDHT80S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cauchy's functional equation#FSN0, Theorem (statement)
History
- 2026-11-02: add by m2/dev
ב B49KZFKF6H
| URI | m2://inv/B49KZFKF6H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15049, ב (unknown). Also ProofWiki Symbols:Hebrew/Beth
History
- 2026-10-26: add by m2/dev
Scott's rule B49Q5C23BA
| URI | m2://inv/B49Q5C23BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scott's rule, Scott's rule (definition). Also Wikidata Q125759070
History
- 2026-11-02: add by m2/dev
Chain matrix multiplication B49W5MCGXQ
| URI | m2://inv/B49W5MCGXQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#M9S2, Chain matrix multiplication (definition)
History
- 2026-11-02: add by m2/dev
B4A2F461PM B4A2F461PM
| URI | m2://inv/B4A2F461PM |
|---|---|
| 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.37589#FDOD (statement). In 18HVB2SKW1/e1, corollary 5.3
History
- 2026-10-30: add by m2/v0.4.12
Symmetry B4A8SFHAB5
| URI | m2://inv/B4A8SFHAB5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated 5-cell#88SC, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
difference list B4ACV6FBY3
| URI | m2://inv/B4ACV6FBY3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > List-like structures > difference list, difference list (unknown). Also Mathlib Batteries.DList
History
- 2026-10-26: add by m2/dev
B4AF1RZP0M B4AF1RZP0M
| URI | m2://inv/B4AF1RZP0M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-9 (exercise). In E9HS8K3A52, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
B4AGSVN2MY B4AGSVN2MY
| URI | m2://inv/B4AGSVN2MY |
|---|---|
| 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 2304.02722#LIKO (statement). In AH7D55D3WV/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
factor B4AM3R60YQ
| URI | m2://inv/B4AM3R60YQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of number theory#4YE5, factor (definition)
History
- 2026-11-02: add by m2/dev
Examples B4B115DQ4F
| URI | m2://inv/B4B115DQ4F |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information content#BYFO, Examples (example)
History
- 2026-11-02: add by m2/dev
B4B7A2MMXV B4B7A2MMXV
| URI | m2://inv/B4B7A2MMXV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23526#4283 (statement)
History
- 2026-11-02: add by m2/v0.6.17
B4BC3DFCDD B4BC3DFCDD
| URI | m2://inv/B4BC3DFCDD |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GNRS conjecture#J32K (problem)
History
- 2026-11-02: add by m2/dev
Lattice-based cryptography B4BEJSX0ZA
| URI | m2://inv/B4BEJSX0ZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lattice-based cryptography, Lattice-based cryptography (definition). Also Wikidata Q6497083
History
- 2026-11-02: add by m2/dev
Making Mathematics with Needlework B4BFW9Y898
| URI | m2://inv/B4BFW9Y898 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Making Mathematics with Needlework, Making Mathematics with Needlework (definition). Also Wikidata Q96391603
History
- 2026-11-02: add by m2/dev
B4BKZW1CBY B4BKZW1CBY
| URI | m2://inv/B4BKZW1CBY |
|---|---|
| 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.03488#YALB (definition). In 9GXR1WEYWT/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
B4BMQ420J0 B4BMQ420J0
| URI | m2://inv/B4BMQ420J0 |
|---|---|
| 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.07040#NBMM (statement). In KMNXNW7FHP/e1, corollary 2.7
History
- 2026-10-29: add by m2/v0.4.10
B4BMZV9C6R B4BMZV9C6R
| URI | m2://inv/B4BMZV9C6R |
|---|---|
| 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.36186#8FZL (statement). In 30PQN6JP7W/e1, corollary 30
History
- 2026-10-27: add by m2/v0.3.5
Modular group representation B4BPJ2SYF4
| URI | m2://inv/B4BPJ2SYF4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular group representation, Modular group representation (definition). Also Wikidata Q133284149
History
- 2026-11-02: add by m2/dev
B4BQBTGYXF B4BQBTGYXF
| URI | m2://inv/B4BQBTGYXF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-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 2210.17066#CNBX (definition). In X2AEJAQEP8/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.3.5
B4BQGM9YN9 B4BQGM9YN9
| URI | m2://inv/B4BQGM9YN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33231#8NZZ (statement). In WPDRT63QNW/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Underdetermined system B4BQYFCDPV
| URI | m2://inv/B4BQYFCDPV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Underdetermined system, Underdetermined system (definition). Also Wikidata Q4316110
History
- 2026-11-02: add by m2/dev
B4BX7QNSEE B4BX7QNSEE
| URI | m2://inv/B4BX7QNSEE |
|---|---|
| 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 2108.03672#0Q8Z (definition). In EZZSZ1F071/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.4.0
Pixel B4C0X5X7J7
| URI | m2://inv/B4C0X5X7J7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#EVJY, Pixel (unknown)
History
- 2026-11-02: add by m2/dev
B4C1Y6D3XJ B4C1Y6D3XJ
| URI | m2://inv/B4C1Y6D3XJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08039#JISS (definition). In Y1K8WE4MDP/e1, definition 2.10
History
- 2026-10-29: add by m2/v0.4.10
Kernel Fisher discriminant analysis B4C4055SAE
| URI | m2://inv/B4C4055SAE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel Fisher discriminant analysis, Kernel Fisher discriminant analysis (definition). Also Wikidata Q6394184
History
- 2026-11-02: add by m2/dev
isomorphism, of graphs B4C5M68K2K
| URI | m2://inv/B4C5M68K2K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.1/isomorphism-of-graphs, isomorphism, of graphs (concept). In QKM9DD2H56, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Generalizations B4CEP9QBK9
| URI | m2://inv/B4CEP9QBK9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective space#0YWO, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Heine–Borel theorem B4CJNNQFQF
| URI | m2://inv/B4CJNNQFQF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#FU0T, Heine–Borel theorem (statement)
History
- 2026-11-02: add by m2/dev
Archimedean field B4CMVQVGY8
| URI | m2://inv/B4CMVQVGY8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2920412, Archimedean field (unknown). Also nLab archimedean field
History
- 2026-10-26: add by m2/dev
B4D3VWDP8P B4D3VWDP8P
| URI | m2://inv/B4D3VWDP8P |
|---|---|
| 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.14985#P9LK (statement). In DGXJW3SCBR/e1, corollary 16
History
- 2026-10-28: add by m2/v0.4.2
Inner localization B4DAN58J48
| URI | m2://inv/B4DAN58J48 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#NFIA, Inner localization (statement). In RYWAX33Z51/e1, lemma 8.8
History
- 2026-10-31: add by m2/v0.5.6
B4DCWEDEQ2 B4DCWEDEQ2
| URI | m2://inv/B4DCWEDEQ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20588#VX2K (statement)
History
- 2026-11-02: add by m2/v0.6.18
K q-flats B4E0SJ9NNK
| URI | m2://inv/B4E0SJ9NNK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K q-flats, K q-flats (definition). Also Wikidata Q6343029
History
- 2026-11-02: add by m2/dev
discrete Kato criterion B4E39B74B2
| URI | m2://inv/B4E39B74B2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.27458#OGCW, discrete Kato criterion (statement)
History
- 2026-11-01: add by m2/v0.6.15
B4E9T97S5J B4E9T97S5J
| URI | m2://inv/B4E9T97S5J |
|---|---|
| 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 2510.12502#02V1 (statement). In 3A4K47Y9F2/e1, theorem 3.42
History
- 2026-10-27: add by m2/v0.4.0
Definition B4EBC5BT66
| URI | m2://inv/B4EBC5BT66 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrangement (space partition)#AEDS, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cluster prime B4ESNJWHFC
| URI | m2://inv/B4ESNJWHFC |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#J103, Cluster prime (object)
History
- 2026-11-02: add by m2/dev
Banach fixed-point theorem B4EYTVRW39
| URI | m2://inv/B4EYTVRW39 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point iteration#0E41, Banach fixed-point theorem (statement)
History
- 2026-11-02: add by m2/dev
4-vectors and physical law B4F27CZ0ZE
| URI | m2://inv/B4F27CZ0ZE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special relativity#CXOP, 4-vectors and physical law (statement)
History
- 2026-11-02: add by m2/dev
Pseudo-uniform polyhedron B4FDJFFV2A
| URI | m2://inv/B4FDJFFV2A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo-uniform polyhedron, Pseudo-uniform polyhedron (definition). Also Wikidata Q7254451
History
- 2026-11-02: add by m2/dev
Going-up and going-down theorems B4FGVHNX24
| URI | m2://inv/B4FGVHNX24 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Going up and going down#ZSUQ, Going-up and going-down theorems (statement)
History
- 2026-11-02: add by m2/dev
Milnor-number version on the base B4FS9JWB15
| URI | m2://inv/B4FS9JWB15 |
|---|---|
| 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.26152#PKLK, Milnor-number version on the base (statement)
History
- 2026-11-01: add by m2/v0.6.15
B4FT8VX6W9 B4FT8VX6W9
| URI | m2://inv/B4FT8VX6W9 |
|---|---|
| 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.32176#A9QJ (statement). In N9F5R2PV0E/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Fox n-coloring B4FV1YWENV
| URI | m2://inv/B4FV1YWENV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fox n-coloring, Fox n-coloring (definition). Also Wikidata Q8565232
History
- 2026-11-02: add by m2/dev
Algebraic properties B4FZYH9C1V
| URI | m2://inv/B4FZYH9C1V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Foster graph#6JRV, Algebraic properties (statement)
History
- 2026-11-02: add by m2/dev
B4G0SWBYRH B4G0SWBYRH
| URI | m2://inv/B4G0SWBYRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.05391#C0IG (statement). In 9B5TNEBJHV/e1, lemma 3.23
History
- 2026-10-29: add by m2/v0.4.10
Implementations B4G6P33N0M
| URI | m2://inv/B4G6P33N0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ARIA (cipher)#ZUNG, Implementations (definition)
History
- 2026-11-02: add by m2/dev
toric variety B4GAWZSVWW
| URI | m2://inv/B4GAWZSVWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#RVN3, toric variety (definition)
History
- 2026-11-02: add by m2/dev
B4GCC2ZR08 B4GCC2ZR08
| URI | m2://inv/B4GCC2ZR08 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11679#Z0RH (definition). In 30PZ8ZVR3A/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.3
B4GN82AVDN B4GN82AVDN
| URI | m2://inv/B4GN82AVDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#1378 (statement). In VN084GGZGK/e1, proposition 4.22
History
- 2026-10-28: add by m2/v0.4.3
B4GPS118P4 B4GPS118P4
| URI | m2://inv/B4GPS118P4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-3.xml#prop-orthog-decomp (statement). In 649HGZKE96, proposition, section 6.3.3
History
- 2026-11-01: add by m2/v0.6.13
Definition B4H0SVSA0R
| URI | m2://inv/B4H0SVSA0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operation (mathematics)#5CZV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Cost approximation under the supermartingale constraint B4H42G7JM2
| URI | m2://inv/B4H42G7JM2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#5NIH, Cost approximation under the supermartingale constraint (statement). In 9YAE8FNQST/e1, corollary 11.26
History
- 2026-10-30: add by m2/v0.4.12
Quantum capacity B4H864KZ9K
| URI | m2://inv/B4H864KZ9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in information theory#C5BJ, Quantum capacity (definition)
History
- 2026-11-02: add by m2/dev
B4HCE0Y53K B4HCE0Y53K
| URI | m2://inv/B4HCE0Y53K |
|---|---|
| Kind | definition |
| 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.07379#DRLC (definition). In N0EVQ46HBR/e1, definition
History
- 2026-10-29: add by m2/v0.4.10
B4HD4HFSDC B4HD4HFSDC
| URI | m2://inv/B4HD4HFSDC |
|---|---|
| Kind | example |
| 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.34020#C562 (example). In DAMYG8BFAK/e1, example 2.2
History
- 2026-10-30: add by m2/v0.4.12
Strong endpoint singularity B4HKBNP6JD
| URI | m2://inv/B4HKBNP6JD |
|---|---|
| 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.02714#2FDZ, Strong endpoint singularity (statement). In R9AXCJWK8F/e1, proposition 21
History
- 2026-10-29: add by m2/v0.4.12
Garden City B4HYEHBCFR
| URI | m2://inv/B4HYEHBCFR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#GX0I, Garden City (unknown)
History
- 2026-11-02: add by m2/dev
Equilibrium climate sensitivity B4JE95M447
| URI | m2://inv/B4JE95M447 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Climate sensitivity#HF52, Equilibrium climate sensitivity (unknown)
History
- 2026-11-02: add by m2/dev
Chasles–Cayley–Brill formula B4JF7STCQV
| URI | m2://inv/B4JF7STCQV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chasles–Cayley–Brill formula, Chasles–Cayley–Brill formula (statement). Also Wikidata Q5087368
History
- 2026-11-02: add by m2/dev
Reed–Frost model B4JN8JD31B
| URI | m2://inv/B4JN8JD31B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reed–Frost model, Reed–Frost model (definition). Also Wikidata Q7306784
History
- 2026-11-02: add by m2/dev
B4JWS1N5MR B4JWS1N5MR
| URI | m2://inv/B4JWS1N5MR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#4DXL (definition). In QM1T8JDK4A/e1, definition 6.1
History
- 2026-10-30: add by m2/v0.4.12
Fenchel conjugate B4KJ8RQST8
| URI | m2://inv/B4KJ8RQST8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26645#3H6O, Fenchel conjugate (definition)
History
- 2026-11-01: add by m2/v0.6.15
B4KT7BRWC7 B4KT7BRWC7
| URI | m2://inv/B4KT7BRWC7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07679#2AFD (statement). In K8JMTRS42G/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.10
absolute Galois group B4M1H9KE3N
| URI | m2://inv/B4M1H9KE3N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Absolute Galois group PGKWBJDTKX |
Mentions
- wikidata: Wikidata Q332407, absolute Galois group (unknown). Also LMFDB knowl group.galois.absolute, nLab absolute Galois group
- wikipedia: Wikipedia Absolute Galois group, Absolute Galois group (definition). Also Wikidata Q332407
History
- 2026-10-26: add by m2/dev
B4M5QRQSH6 B4M5QRQSH6
| URI | m2://inv/B4M5QRQSH6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#ex:land-deriv (example). In PKGMM3P5QY, ex, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
B4M9EFKJCR B4M9EFKJCR
| URI | m2://inv/B4M9EFKJCR |
|---|---|
| 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.06206#9QNO (statement). In A7611PTXVQ/e1, theorem 3.9
History
- 2026-10-29: add by m2/v0.4.10
B4MBF9SWW3 B4MBF9SWW3
| URI | m2://inv/B4MBF9SWW3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/ce-topmost.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 56.2
History
- 2026-11-01: add by m2/v0.6.13
B4MCJVM6F4 B4MCJVM6F4
| URI | m2://inv/B4MCJVM6F4 |
|---|---|
| Kind | definition |
| 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 2210.02261#DULV (definition). In TT74R659T0/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
winding number B4MFQC77C6
| URI | m2://inv/B4MFQC77C6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/B/winding-number, winding number (concept). In VNMV985MXX, index, section B
History
- 2026-11-01: add by m2/v0.6.13
V/v B4MG7WZJAY
| URI | m2://inv/B4MG7WZJAY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9963, V/v (unknown). Also ProofWiki Symbols:V
History
- 2026-10-26: add by m2/dev
List of triangle inequalities B4MHFE435B
| URI | m2://inv/B4MHFE435B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#OSJO, List of triangle inequalities (topic)
History
- 2026-11-02: add by m2/dev
Halász, Gábor B4NBFBBEKW
| URI | m2://inv/B4NBFBBEKW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#8H55, Halász, Gábor (unknown)
History
- 2026-11-02: add by m2/dev
Akhiezer, Naum Ilyich B4NGPSDWHC
| URI | m2://inv/B4NGPSDWHC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#LXGB, Akhiezer, Naum Ilyich (topic)
History
- 2026-11-02: add by m2/dev
B4P2DRH39D B4P2DRH39D
| URI | m2://inv/B4P2DRH39D |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv alg-geom/9506022#5TJM (unknown). In AQGEM4XAKD/e1, unknown 1.5
History
- 2026-10-27: add by m2/v0.3.5
Gallager-exponent preservation under conditional $1$-tilt closure B4P85JBSEA
| URI | m2://inv/B4P85JBSEA |
|---|---|
| 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.29688#WP5B, Gallager-exponent preservation under conditional $1$-tilt closure (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rogers–Szegő polynomials B4P93M22Q1
| URI | m2://inv/B4P93M22Q1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#6SPX, Rogers–Szegő polynomials (definition)
History
- 2026-11-02: add by m2/dev
retract, of a type B4PCNSVN8D
| URI | m2://inv/B4PCNSVN8D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.1/retract-of-a-type, retract, of a type (concept). In N54F33XE07, index, section 6.1
History
- 2026-11-01: add by m2/v0.6.13
R. A. Fisher Award and Lectureship B4PG04XVAV
| URI | m2://inv/B4PG04XVAV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia COPSS Distinguished Achievement Award and Lectureship#PHRQ, R. A. Fisher Award and Lectureship (unknown)
History
- 2026-11-02: add by m2/dev
Kirszbraun theorem B4PHTHQFSH
| URI | m2://inv/B4PHTHQFSH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#6QLI, Kirszbraun theorem (statement)
History
- 2026-11-02: add by m2/dev
completion of an abelian topological group B4PWA53M42
| URI | m2://inv/B4PWA53M42 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Topological algebra > completion of an abelian topological group, completion of an abelian topological group (unknown). Also Mathlib UniformSpace.Completion.instAddCommGroup
History
- 2026-10-26: add by m2/dev
Kummer–Vandiver conjecture B4Q3FFSVPC
| URI | m2://inv/B4Q3FFSVPC |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer–Vandiver conjecture, Kummer–Vandiver conjecture (conjecture). Also Wikidata Q662049
History
- 2026-11-02: add by m2/dev
Convexity and bounds for the log normalization B4Q5W85YFB
| URI | m2://inv/B4Q5W85YFB |
|---|---|
| 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.06810#XN5V, Convexity and bounds for the log normalization (statement). In 1NY2SA03XF/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.10
B4Q6TDF6QW B4Q6TDF6QW
| URI | m2://inv/B4Q6TDF6QW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40189#CXHO (statement). In K2MDWD9V46/e1, proposition 3.8
History
- 2026-10-30: add by m2/v0.4.12
B4Q9ZGMPBA B4Q9ZGMPBA
| URI | m2://inv/B4Q9ZGMPBA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.15716#V4NB (definition). In 7WDA4MEWE2/e1, definition 4.5
History
- 2026-10-27: add by m2/v0.3.6
Properties B4QA0X8HAV
| URI | m2://inv/B4QA0X8HAV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert modular variety#KV44, Properties (statement)
History
- 2026-11-02: add by m2/dev
B4QBRRTVCV B4QBRRTVCV
| URI | m2://inv/B4QBRRTVCV |
|---|---|
| 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.20510#VSCZ (statement). In 24KCRT4VT2/e1, corollary 1
History
- 2026-10-27: add by m2/v0.4.2
Applications B4QCX4DN1V
| URI | m2://inv/B4QCX4DN1V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model order reduction#EVB8, Applications (example)
History
- 2026-11-02: add by m2/dev
Corollary B4QDZJFNSK
| URI | m2://inv/B4QDZJFNSK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trakhtenbrot's theorem#32BW, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Examples B4QRC3WXHB
| URI | m2://inv/B4QRC3WXHB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shooting method#SR42, Examples (example)
History
- 2026-11-02: add by m2/dev
Extractor B4QTWMRRF9
| URI | m2://inv/B4QTWMRRF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extractor (mathematics), Extractor (definition). Also Wikidata Q5422192
History
- 2026-11-02: add by m2/dev
George Szekeres B4QWZBVSTC
| URI | m2://inv/B4QWZBVSTC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZXA7, George Szekeres (topic)
History
- 2026-11-02: add by m2/dev
B4R12VFT9B B4R12VFT9B
| URI | m2://inv/B4R12VFT9B |
|---|---|
| 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.21033#AU51 (statement). In A8C1M9BSWH/e1, lemma H.2
History
- 2026-10-27: add by m2/v0.4.2
B4R7HTE60F B4R7HTE60F
| URI | m2://inv/B4R7HTE60F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#Z61G (statement). In 68AE571S4P/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.10
B4R9CKGYNQ B4R9CKGYNQ
| URI | m2://inv/B4R9CKGYNQ |
|---|---|
| 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.15393#0V8N (statement). In H6T3AP80VE/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
Li-Shan Huang B4R9YFWD8A
| URI | m2://inv/B4R9YFWD8A |
|---|---|
| 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#1CBN, Li-Shan Huang (topic)
- wikipedia: Wikipedia List of Taiwanese mathematicians#5CK9, Li-Shan Huang (topic)
History
- 2026-11-02: add by m2/dev
Snowball sampling B4RCNEWME7
| URI | m2://inv/B4RCNEWME7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#SZLX, Snowball sampling (definition)
History
- 2026-11-02: add by m2/dev
B4RD3NGJQB B4RD3NGJQB
| URI | m2://inv/B4RD3NGJQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#Y0ZV (statement). In CGA36VE1C5/e1, fact 3.12.3
History
- 2026-10-27: add by m2/v0.3.6
B4RJS2CJ20 B4RJS2CJ20
| URI | m2://inv/B4RJS2CJ20 |
|---|---|
| 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 2211.04758#15JJ (statement). In DRWDJG2G3S/e1, corollary 1.17
History
- 2026-10-27: add by m2/v0.3.5
Sharp Pitt's Inequality B4RKH2ZQK0
| URI | m2://inv/B4RKH2ZQK0 |
|---|---|
| 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 2609.34946#VPGS, Sharp Pitt's Inequality (statement). In Y27BAB2BB4/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
$Z_{66}=$ K\"uchle $(c5)$ B4RPXDMTYQ
| URI | m2://inv/B4RPXDMTYQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#TDBS, $Z_{66}=$ K\"uchle $(c5)$ (example)
History
- 2026-11-02: add by m2/v0.6.17
B4RWM5E6XE B4RWM5E6XE
| URI | m2://inv/B4RWM5E6XE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21181#LMZF (statement). In 3D0GJXDY11/e1, corollary 5.8
History
- 2026-10-27: add by m2/v0.4.2
B4RXAA5GGZ B4RXAA5GGZ
| URI | m2://inv/B4RXAA5GGZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05320#ZKHB (statement). In MVXZWHKEX8/e1, corollary B
History
- 2026-10-29: add by m2/v0.4.10
Statement B4S12JZHTQ
| URI | m2://inv/B4S12JZHTQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wholeness axiom#QOVV, Statement (statement)
History
- 2026-11-02: add by m2/dev
B4SHSJZ9YR B4SHSJZ9YR
| URI | m2://inv/B4SHSJZ9YR |
|---|---|
| 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.33383#E78Y (statement). In 8AHWRHTP5G/e1, theorem 10
History
- 2026-10-30: add by m2/v0.4.12
B4SJJXX8GV B4SJJXX8GV
| URI | m2://inv/B4SJJXX8GV |
|---|---|
| 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.01561#9LVK (statement). In W4G7BCHYEW/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.12
Transitivity principle B4SP6YTDXP
| URI | m2://inv/B4SP6YTDXP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farrell–Jones conjecture#BVPQ, Transitivity principle (statement)
History
- 2026-11-02: add by m2/dev
B4SRX6TCEX B4SRX6TCEX
| URI | m2://inv/B4SRX6TCEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2104.00162#MPE9 (statement). In HVGT9D84WV/e1, proposition 2.8
History
- 2026-10-27: add by m2/v0.3.5
mega B4SXJ15GS3
| URI | m2://inv/B4SXJ15GS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107205, mega (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/mega-
History
- 2026-10-26: add by m2/dev
B4T4KD4ZZK B4T4KD4ZZK
| URI | m2://inv/B4T4KD4ZZK |
|---|---|
| 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.26180#O91Q (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nathalie Japkowicz B4T75YQ4ZG
| URI | m2://inv/B4T75YQ4ZG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nathalie Japkowicz, Nathalie Japkowicz (topic). Also Wikidata Q65921584
History
- 2026-11-02: add by m2/dev
Reduction to classical multiple Laguerre of the second kind B4TFYFVYNP
| URI | m2://inv/B4TFYFVYNP |
|---|---|
| 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.22027#O12U, Reduction to classical multiple Laguerre of the second kind (statement)
History
- 2026-11-02: add by m2/v0.6.17
B4TGEVWJC7 B4TGEVWJC7
| URI | m2://inv/B4TGEVWJC7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#42KR (statement). In WAXS6FS388/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
B4TMNASGJ0 B4TMNASGJ0
| URI | m2://inv/B4TMNASGJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11047#JU3T (statement). In MNQAZ70XTH/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.3
B4TX1VND0Z B4TX1VND0Z
| URI | m2://inv/B4TX1VND0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29806#NYBY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Borel functional calculus B4V04HGPGY
| URI | m2://inv/B4V04HGPGY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel functional calculus, Borel functional calculus (topic). Also Wikidata Q829645
History
- 2026-11-02: add by m2/dev
Sven Bjarke Gudnason B4V0597SMC
| URI | m2://inv/B4V0597SMC |
|---|---|
| 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 Q60021982, Sven Bjarke Gudnason (unknown). Also nLab Sven Bjarke Gudnason
History
- 2026-10-26: add by m2/dev
Desidério Murcho B4V2YKC48H
| URI | m2://inv/B4V2YKC48H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Desidério Murcho, Desidério Murcho (topic). Also Wikidata Q5264232
History
- 2026-11-02: add by m2/dev
B4V7QZQXGD B4V7QZQXGD
| URI | m2://inv/B4V7QZQXGD |
|---|---|
| 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 2601.13428#RY54 (statement). In SM4QEDZSS6/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
Notation B4VCGYHFZK
| URI | m2://inv/B4VCGYHFZK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantifier (logic)#FLLX, Notation (definition)
History
- 2026-11-02: add by m2/dev
great rhombic triacontahedron B4VF1N8QAE
| URI | m2://inv/B4VF1N8QAE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18048486, great rhombic triacontahedron (object). Also MathWorld GreatRhombicTriacontahedron
- wikipedia: Wikipedia Great rhombic triacontahedron, Great rhombic triacontahedron (object). Also Wikidata Q18048486
History
- 2026-10-26: add by m2/dev
Split link B4VFV35ZMM
| URI | m2://inv/B4VFV35ZMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#K965, Split link (definition)
History
- 2026-11-02: add by m2/dev
siteswap B4VMWQVJD8
| URI | m2://inv/B4VMWQVJD8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1389933, siteswap (unknown). Also MathWorld Siteswap
- wikipedia: Wikipedia Siteswap, Siteswap (definition). Also Wikidata Q1389933
History
- 2026-10-26: add by m2/dev
Modularity theorem B4VP6X1RVZ
| URI | m2://inv/B4VP6X1RVZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#I7YK, Modularity theorem (statement)
History
- 2026-11-02: add by m2/dev
4500 B4VW7821ZS
| URI | m2://inv/B4VW7821ZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4000 (number)#SMY4, 4500 (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Gagliardo-Nirenberg in bounded domains) B4VZ65A67Q
| URI | m2://inv/B4VZ65A67Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gagliardo–Nirenberg interpolation inequality#UOF7, Theorem (Gagliardo-Nirenberg in bounded domains) (statement)
History
- 2026-11-02: add by m2/dev
\bf Trapping-or-descent dichotomy B4W45Z68XH
| URI | m2://inv/B4W45Z68XH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02791#KUMR, \bf Trapping-or-descent dichotomy (statement). In TT9BA4VMTW/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.12
Diagnostic equation B4WGCK3135
| URI | m2://inv/B4WGCK3135 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagnostic equation, Diagnostic equation (definition). Also Wikidata Q3366302
History
- 2026-11-02: add by m2/dev
Septic equation B4WK1ENNK3
| URI | m2://inv/B4WK1ENNK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Septic equation, Septic equation (definition). Also Wikidata Q13688
History
- 2026-11-02: add by m2/dev
Pillai, Vijayan K B4WMZ98K8Y
| URI | m2://inv/B4WMZ98K8Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FV7X, Pillai, Vijayan K (unknown)
History
- 2026-11-02: add by m2/dev
B4WRJ3BCJ6 B4WRJ3BCJ6
| URI | m2://inv/B4WRJ3BCJ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#lem:susp-loop-adj (statement). In N54F33XE07, lem, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Diocles of Carystus B4WVASFCA7
| URI | m2://inv/B4WVASFCA7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1226886, Diocles of Carystus (unknown). Also ProofWiki Mathematician:Diocles_of_Carystus
- wikipedia: Wikipedia Diocles (mathematician), Diocles (topic). Also Wikidata Q1226886
History
- 2026-10-26: add by m2/dev
African ethnicities B4WYA6G5AV
| URI | m2://inv/B4WYA6G5AV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Africa#P0TB, African ethnicities (unknown)
History
- 2026-11-02: add by m2/dev
Stochastic ordering B4WYAJMH39
| URI | m2://inv/B4WYAJMH39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic ordering, Stochastic ordering (definition). Also Wikidata Q475164
History
- 2026-11-02: add by m2/dev
B4WZCGKF72 B4WZCGKF72
| URI | m2://inv/B4WZCGKF72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21258#OY0F (statement). In PN98BKSKZP/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
Karl-Heinz Boseck B4X2PVNXFV
| URI | m2://inv/B4X2PVNXFV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl-Heinz Boseck, Karl-Heinz Boseck (topic). Also Wikidata Q4090238
History
- 2026-11-02: add by m2/dev
Pseudo-Riemannian geometry B4X4BXE7N6
| URI | m2://inv/B4X4BXE7N6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#3AYK, Pseudo-Riemannian geometry (definition)
History
- 2026-11-02: add by m2/dev
Information-theoretic lower bound B4X5CQP7QM
| URI | m2://inv/B4X5CQP7QM |
|---|---|
| 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.18935#ZKNR, Information-theoretic lower bound (statement). In HPEEJY1S3S/e1, theorem 4
History
- 2026-10-28: add by m2/v0.4.2
B4XBFWA7QW B4XBFWA7QW
| URI | m2://inv/B4XBFWA7QW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#prop-4 (statement). In E59CDZA4DP, prop, section 11.1.4
History
- 2026-11-01: add by m2/v0.6.13
Henry Briggs B4XJCQ6S3Z
| URI | m2://inv/B4XJCQ6S3Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Briggs (mathematician), Henry Briggs (topic). Also Wikidata Q335086
History
- 2026-11-02: add by m2/dev
Eckert VI projection B4Y09PJHM2
| URI | m2://inv/B4Y09PJHM2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5332894, Eckert VI projection (unknown). Also MathWorld EckertVIProjection
History
- 2026-10-26: add by m2/dev
Kadison–Kastler metric B4Y7QZJ3FE
| URI | m2://inv/B4Y7QZJ3FE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kadison–Kastler metric, Kadison–Kastler metric (definition). Also Wikidata Q25113054
History
- 2026-11-02: add by m2/dev
Gray code B4Y9C43T4W
| URI | m2://inv/B4Y9C43T4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#9F5R, Gray code (definition)
History
- 2026-11-02: add by m2/dev
B4YB4GBY90 B4YB4GBY90
| URI | m2://inv/B4YB4GBY90 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/schemas.tex#prob-5 (exercise). In PKGMM3P5QY, prob, section 54.7
History
- 2026-11-01: add by m2/v0.6.13
B4YB7EG6QC B4YB7EG6QC
| URI | m2://inv/B4YB7EG6QC |
|---|---|
| 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.05193#LM3I (statement). In XDMM0KNNZ9/e1, proposition 67
History
- 2026-10-29: add by m2/v0.4.10
B4YHFB1F7G B4YHFB1F7G
| URI | m2://inv/B4YHFB1F7G |
|---|---|
| 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#RH5E (statement). In JWNYJVH8XG/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Empirical weight measure and current B4YHV4KR3R
| URI | m2://inv/B4YHV4KR3R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05064#UWC2, Empirical weight measure and current (definition). In 11SW7NAN7M/e1, definition 3.9
History
- 2026-10-29: add by m2/v0.4.12
History of the function concept B4YQ1KW26P
| URI | m2://inv/B4YQ1KW26P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia History of the function concept, History of the function concept (definition). Also Wikidata Q5870804
History
- 2026-11-02: add by m2/dev
B4Z3ZCXXBB B4Z3ZCXXBB
| URI | m2://inv/B4Z3ZCXXBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#GCO1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Victor Guillemin B4Z6QTCRWF
| URI | m2://inv/B4Z6QTCRWF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q367252, Victor Guillemin (unknown). Also nLab Victor Guillemin
- wikipedia: Wikipedia Victor Guillemin, Victor Guillemin (topic). Also Wikidata Q367252
History
- 2026-10-26: add by m2/dev
Differential geometry B4Z7270BH7
| URI | m2://inv/B4Z7270BH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#ACW7, Differential geometry (definition)
History
- 2026-11-02: add by m2/dev
B4ZCQSKX63 B4ZCQSKX63
| URI | m2://inv/B4ZCQSKX63 |
|---|---|
| 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.16225#USC2 (statement). In H3DJV9YQW1/e1, lemma 2.16
History
- 2026-10-28: add by m2/v0.4.2
Examples B4ZDC97F9A
| URI | m2://inv/B4ZDC97F9A |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia LaSalle's invariance principle#59MW, Examples (example)
History
- 2026-11-02: add by m2/dev
Compound of five cuboctahedra B4ZDSQ23H6
| URI | m2://inv/B4ZDSQ23H6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of five cuboctahedra, Compound of five cuboctahedra (definition). Also Wikidata Q5156851
History
- 2026-11-02: add by m2/dev
B4ZMHAZ2VE B4ZMHAZ2VE
| URI | m2://inv/B4ZMHAZ2VE |
|---|---|
| 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 2610.05146#HM1K (statement). In 63MJS935N4/e1, lemma 4.8
History
- 2026-10-29: add by m2/v0.4.10
Instability of the Symmetric Turnover Before Changing Variables B4ZXSBV9AR
| URI | m2://inv/B4ZXSBV9AR |
|---|---|
| Kind | example |
| 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.12228#HDTJ, Instability of the Symmetric Turnover Before Changing Variables (example). In CTQDSD0HAD/e1, example 3.1
History
- 2026-10-28: add by m2/v0.4.2
B4ZZ195A25 B4ZZ195A25
| URI | m2://inv/B4ZZ195A25 |
|---|---|
| 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.18287#VMQZ (definition). In ZXZN6RMN38/e1, definition 17
History
- 2026-10-28: add by m2/v0.4.2