Inventory rows S7
The cards of the rows of the inventory whose ids start with S7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Statement S70221SJ1R
| URI | m2://inv/S70221SJ1R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slutsky's theorem#FFUJ, Statement (statement)
History
- 2026-11-02: add by m2/dev
Dedekind eta function S703HE6HS2
| URI | m2://inv/S703HE6HS2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Richard Dedekind#QV3U, Dedekind eta function (definition)
History
- 2026-11-02: add by m2/dev
S705Q5DHCA S705Q5DHCA
| URI | m2://inv/S705Q5DHCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32033#UHBW (statement). In 17W5G060QX/e1, proposition 8.2
History
- 2026-10-31: add by m2/v0.5.6
S70SABKVDJ S70SABKVDJ
| URI | m2://inv/S70SABKVDJ |
|---|---|
| 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#YQPE (statement). In AF465QFRGQ/e1, theorem I.1
History
- 2026-10-28: add by m2/v0.4.2
Jean-François Mertens S70YFJRP0H
| URI | m2://inv/S70YFJRP0H |
|---|---|
| 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#E4DY, Jean-François Mertens (unknown)
History
- 2026-11-02: add by m2/dev
Lax matrix S710PTEV06
| URI | m2://inv/S710PTEV06 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08018#SCZK, Lax matrix (definition). In TN93YFN45W/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
LDP for the empirical measure of clusters S711DFKSEY
| URI | m2://inv/S711DFKSEY |
|---|---|
| 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.39699#DPOQ, LDP for the empirical measure of clusters (statement). In 6M4TMC8G6X/e1, theorem 1
History
- 2026-10-30: add by m2/v0.4.12
Axiom schema of replacement S712WSCE6Y
| URI | m2://inv/S712WSCE6Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of axioms#MBS2, Axiom schema of replacement (statement)
History
- 2026-11-02: add by m2/dev
S7140FJ6J1 S7140FJ6J1
| URI | m2://inv/S7140FJ6J1 |
|---|---|
| Kind | definition |
| 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#SIWC (definition). In 46370P3Y9S/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.4.2
DAMTP S715JT9EAC
| URI | m2://inv/S715JT9EAC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faculty of Mathematics, University of Cambridge#A4I9, DAMTP (unknown)
History
- 2026-11-02: add by m2/dev
S71CBZW7Z4 S71CBZW7Z4
| URI | m2://inv/S71CBZW7Z4 |
|---|---|
| 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.30113#XP86 (statement)
History
- 2026-11-01: add by m2/v0.6.15
S71E5NCGVR S71E5NCGVR
| URI | m2://inv/S71E5NCGVR |
|---|---|
| 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.18620#MT5O (statement). In 6WJ0R9YEBR/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
Descents and ascents S71M6ENTXP
| URI | m2://inv/S71M6ENTXP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20656#GRE4, Descents and ascents (definition)
History
- 2026-11-02: add by m2/v0.6.18
S71Q7J6D84 S71Q7J6D84
| URI | m2://inv/S71Q7J6D84 |
|---|---|
| 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#IMMQ (statement). In WK2YHYEDZ9/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Uses S71X17J4FQ
| URI | m2://inv/S71X17J4FQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial differential#3O51, Uses (example)
History
- 2026-11-02: add by m2/dev
UComms S71XKHZPC2
| URI | m2://inv/S71XKHZPC2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#FEGA, UComms (unknown)
History
- 2026-11-02: add by m2/dev
S71YE4ZK84 S71YE4ZK84
| URI | m2://inv/S71YE4ZK84 |
|---|---|
| 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.26162#2UU2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions S720S7P6P8
| URI | m2://inv/S720S7P6P8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cook–Levin theorem#U5T1, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Motion blur S721SGDV41
| URI | m2://inv/S721SGDV41 |
|---|---|
| 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#2A67, Motion blur (unknown)
History
- 2026-11-02: add by m2/dev
S722GGSSJY S722GGSSJY
| URI | m2://inv/S722GGSSJY |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-5.xml#activity-4 (exercise). In 649HGZKE96, activity, section 6.5.5
History
- 2026-11-01: add by m2/v0.6.13
$d = 2, n = 3$ S72496V5G9
| URI | m2://inv/S72496V5G9 |
|---|---|
| Kind | example |
| 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 2409.03730#DMXY, $d = 2, n = 3$ (example). In ADEX39KM1T/e1, example 1.4
History
- 2026-10-27: add by m2/v0.4.0
absolute idealism S72B0EGEV3
| URI | m2://inv/S72B0EGEV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13474384, absolute idealism (unknown). Also nLab absolute idealism
History
- 2026-10-26: add by m2/dev
Alternating knot S72DETJ82E
| URI | m2://inv/S72DETJ82E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#TY3V, Alternating knot (definition)
History
- 2026-11-02: add by m2/dev
theorem, Schroeder--Bernstein S72FWPCNEV
| URI | m2://inv/S72FWPCNEV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.2/theorem-schroeder-bernstein, theorem, Schroeder--Bernstein (concept). In N54F33XE07, index, section C.2
History
- 2026-11-01: add by m2/v0.6.13
S72VGHJZN6 S72VGHJZN6
| URI | m2://inv/S72VGHJZN6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33794#XTP0 (statement). In W0PQMW25VY/e1, corollary 3.8
History
- 2026-10-30: add by m2/v0.4.12
S72XAPNME0 S72XAPNME0
| URI | m2://inv/S72XAPNME0 |
|---|---|
| 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.31458#4F7O (statement). In SNWC76WKWT/e1, lemma F.2
History
- 2026-10-31: add by m2/v0.5.6
Combinatorial mathematics S72XQTKCQT
| URI | m2://inv/S72XQTKCQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#5IBW, Combinatorial mathematics (definition)
History
- 2026-11-02: add by m2/dev
S72ZARDD80 S72ZARDD80
| URI | m2://inv/S72ZARDD80 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.19151#92ZV (statement). In DKVT74MANJ/e1, proposition A.1
History
- 2026-10-28: add by m2/v0.4.2
S72ZQVVJ64 S72ZQVVJ64
| URI | m2://inv/S72ZQVVJ64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10074#U4RA (statement). In BYAANB1NG0/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.5
Mathesis universalis S733D9S97G
| URI | m2://inv/S733D9S97G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathesis universalis, Mathesis universalis (definition). Also Wikidata Q1759788
History
- 2026-11-02: add by m2/dev
Exact clipped problem S734F7EC8Z
| URI | m2://inv/S734F7EC8Z |
|---|---|
| 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.11309#JYI8, Exact clipped problem (statement). In TTEAQA1XXR/e1, proposition C.8
History
- 2026-10-28: add by m2/v0.4.3
Sir Edmund Whittaker Memorial Prize S73F32AKVB
| URI | m2://inv/S73F32AKVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sir Edmund Whittaker Memorial Prize, Sir Edmund Whittaker Memorial Prize (definition). Also Wikidata Q1562007
History
- 2026-11-02: add by m2/dev
Smooth or entire instances without a shared derivative envelope S73KNF4TFK
| URI | m2://inv/S73KNF4TFK |
|---|---|
| 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.03638#CB9L, Smooth or entire instances without a shared derivative envelope (statement). In H39AZG67B6/e1, corollary G.1
History
- 2026-10-29: add by m2/v0.4.12
5-cell prism S73PBHXS71
| URI | m2://inv/S73PBHXS71 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform 5-polytope#VZZ9, 5-cell prism (unknown)
History
- 2026-11-02: add by m2/dev
Example S73VNT7C22
| URI | m2://inv/S73VNT7C22 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex compactification#KMXP, Example (example)
History
- 2026-11-02: add by m2/dev
Finite-sample recovery S744M46EGJ
| URI | m2://inv/S744M46EGJ |
|---|---|
| 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.05867#BOWY, Finite-sample recovery (statement). In E2TP3AKTNV/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
Hölder's inequality S74C1ASM1X
| URI | m2://inv/S74C1ASM1X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brascamp–Lieb inequality#Q1KW, Hölder's inequality (statement)
History
- 2026-11-02: add by m2/dev
S74CRDT5NF S74CRDT5NF
| URI | m2://inv/S74CRDT5NF |
|---|---|
| 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 2310.14879#I3FI (definition). In 3VZ55B2N0D/e1, definition 6.1
History
- 2026-10-27: add by m2/v0.4.0
S74HBD7GAR S74HBD7GAR
| URI | m2://inv/S74HBD7GAR |
|---|---|
| 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.18419#OBSJ (definition). In 7Q26JWKD7E/e1, definition 7
History
- 2026-10-28: add by m2/v0.4.2
sextactic point S74QCCE6PM
| URI | m2://inv/S74QCCE6PM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#54S5, sextactic point (definition)
History
- 2026-11-02: add by m2/dev
Chru{\'s}ciel--Grant approximations S74SR2MRHE
| URI | m2://inv/S74SR2MRHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#2IUQ, Chru{\'s}ciel--Grant approximations (statement). In 5BYE5NYB89/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.3
Robert M. Solovay S74WPSHCFF
| URI | m2://inv/S74WPSHCFF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#DA7R, Robert M. Solovay (topic)
History
- 2026-11-02: add by m2/dev
Calculus of constructions S74YKR5BJ7
| URI | m2://inv/S74YKR5BJ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#W46C, Calculus of constructions (definition)
History
- 2026-11-02: add by m2/dev
S74Z0YQKPJ S74Z0YQKPJ
| URI | m2://inv/S74Z0YQKPJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#KJQB (statement)
History
- 2026-11-01: add by m2/v0.6.15
Midsquare quadrilateral S75245HMYS
| URI | m2://inv/S75245HMYS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Midsquare quadrilateral, Midsquare quadrilateral (definition). Also Wikidata Q97317426
History
- 2026-11-02: add by m2/dev
S754HZH3FJ S754HZH3FJ
| URI | m2://inv/S754HZH3FJ |
|---|---|
| Kind | definition |
| 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#8LCB (definition)
History
- 2026-11-01: add by m2/v0.6.15
S75BERZ3KM S75BERZ3KM
| URI | m2://inv/S75BERZ3KM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-38 (proof). In VNMV985MXX, proof, section 3.1
History
- 2026-11-01: add by m2/v0.6.13
Jacob Golos S75C8E5XWJ
| URI | m2://inv/S75C8E5XWJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#UMRT, Jacob Golos (unknown)
History
- 2026-11-02: add by m2/dev
S75CV4104B S75CV4104B
| URI | m2://inv/S75CV4104B |
|---|---|
| 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.36725#HEFB (statement). In AR26SZ8JGN/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
S75JBHVS3D S75JBHVS3D
| URI | m2://inv/S75JBHVS3D |
|---|---|
| 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.37846#T7JP (statement). In DCA0M1EE4A/e1, lemma 6
History
- 2026-10-30: add by m2/v0.4.12
Non-examples S75N4VHTG6
| URI | m2://inv/S75N4VHTG6 |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring homomorphism#1CAZ, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Harmonic bound S75QGETCT0
| URI | m2://inv/S75QGETCT0 |
|---|---|
| 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.38375#R8RE, Harmonic bound (statement). In CHSB1TGAKB/e1, proposition 9
History
- 2026-10-30: add by m2/v0.4.12
supplementary angles S75RD7DGMG
| URI | m2://inv/S75RD7DGMG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1409132, supplementary angles (unknown). Also MathWorld SupplementaryAngles
History
- 2026-10-26: add by m2/dev
S75VZWAVA3 S75VZWAVA3
| URI | m2://inv/S75VZWAVA3 |
|---|---|
| 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.16081#PYUD (statement). In RS6WWZKMT6/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
Examples S75X3CC671
| URI | m2://inv/S75X3CC671 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Codomain#HGWZ, Examples (example)
History
- 2026-11-02: add by m2/dev
S7637X7K51 S7637X7K51
| URI | m2://inv/S7637X7K51 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2512.16003#YMZA (statement). In BJGS6ZCQ12/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.3.6
Applications S765WQ5BFJ
| URI | m2://inv/S765WQ5BFJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial type#NXMA, Applications (example)
History
- 2026-11-02: add by m2/dev
Kubo formula S765Z1BD66
| URI | m2://inv/S765Z1BD66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kubo formula, Kubo formula (statement). Also Wikidata Q114769
History
- 2026-11-02: add by m2/dev
S7682EETK3 S7682EETK3
| URI | m2://inv/S7682EETK3 |
|---|---|
| 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.19959#JCG8 (statement)
History
- 2026-11-02: add by m2/v0.6.18
S76CPTS175 S76CPTS175
| URI | m2://inv/S76CPTS175 |
|---|---|
| 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.28336#6ZUA (statement)
History
- 2026-11-01: add by m2/v0.6.15
Free-boundary minimal immersions and embeddings S76DPWGH74
| URI | m2://inv/S76DPWGH74 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09596#7EMT, Free-boundary minimal immersions and embeddings (definition). In HXFA55BREZ/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
S76PZYM70Q S76PZYM70Q
| URI | m2://inv/S76PZYM70Q |
|---|---|
| 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 2111.00832#0PSB (statement). In KM0XEAXFMF/e1, corollary 5.2
History
- 2026-10-27: add by m2/v0.3.5
Turbulence modeling S76Q2E1YM8
| URI | m2://inv/S76Q2E1YM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turbulence modeling, Turbulence modeling (definition). Also Wikidata Q1417609
History
- 2026-11-02: add by m2/dev
Parry point S76RRQYFAT
| URI | m2://inv/S76RRQYFAT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#9C52, Parry point (definition)
History
- 2026-11-02: add by m2/dev
experiment S76V202T4N
| URI | m2://inv/S76V202T4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#WX99, experiment (definition)
History
- 2026-11-02: add by m2/dev
Leonard Jimmie Savage S779RDNYG7
| URI | m2://inv/S779RDNYG7 |
|---|---|
| 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#WLYV, Leonard Jimmie Savage (unknown)
History
- 2026-11-02: add by m2/dev
S77FG4N9YK S77FG4N9YK
| URI | m2://inv/S77FG4N9YK |
|---|---|
| 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 1806.00752#YM3A (statement). In GGW2N4JHXM/e1, proposition 13
History
- 2026-10-27: add by m2/v0.3.5
Questionnaire S77J700187
| URI | m2://inv/S77J700187 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Questionnaire, Questionnaire (definition). Also Wikidata Q747810
History
- 2026-11-02: add by m2/dev
S77K8BS590 S77K8BS590
| URI | m2://inv/S77K8BS590 |
|---|---|
| Kind | problem |
| 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.09133#ZB5Q (problem). In E7BPGPP9Z5/e1, problem 2
History
- 2026-10-29: add by m2/v0.4.10
bow ties S77KAX9JZH
| URI | m2://inv/S77KAX9JZH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/2.7/bow-ties, bow ties (concept). In Y91XFCEVHQ, index, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Lebesgue's universal covering problem S77KD972CT
| URI | m2://inv/S77KD972CT |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue's universal covering problem, Lebesgue's universal covering problem (conjecture). Also Wikidata Q28456108
History
- 2026-11-02: add by m2/dev
S77QPN2GQW S77QPN2GQW
| URI | m2://inv/S77QPN2GQW |
|---|---|
| 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 2310.13621#I9LN (statement). In DG0EZ1BPV5/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
¬ S78DYPETC8
| URI | m2://inv/S78DYPETC8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3874245, ¬ (unknown). Also MathWorld NegationSign
History
- 2026-10-26: add by m2/dev
S78KNTRE7H S78KNTRE7H
| URI | m2://inv/S78KNTRE7H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#definition-5 (definition). In RZP28ERRZV, definition, section 60.3
History
- 2026-11-01: add by m2/v0.6.13
limit, infinite S78QE50CHF
| URI | m2://inv/S78QE50CHF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.3.4/limit-infinite, limit, infinite (concept). In E59CDZA4DP, index, section 10.3.4
History
- 2026-11-01: add by m2/v0.6.13
S78QHFNY5T S78QHFNY5T
| URI | m2://inv/S78QHFNY5T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/p-adic.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 33.3.3
History
- 2026-11-01: add by m2/v0.6.13
\bf $abc-$ conjecture S78YR5JKAP
| URI | m2://inv/S78YR5JKAP |
|---|---|
| Kind | conjecture |
| 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 2105.03715#8L3G, \bf $abc-$ conjecture (conjecture). In H3FWT3Z0J4/e1, conjecture 5
History
- 2026-10-27: add by m2/v0.3.5
stress–energy tensor S7913XV35C
| URI | m2://inv/S7913XV35C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q876346, stress–energy tensor (unknown). Also nLab stress-energy tensor
- wikipedia: Wikipedia Stress–energy tensor, Stress–energy tensor (definition). Also Wikidata Q876346
History
- 2026-10-26: add by m2/dev
Eilenberg's inequality S79BT8G6PR
| URI | m2://inv/S79BT8G6PR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eilenberg's inequality, Eilenberg's inequality (statement). Also Wikidata Q5349486
History
- 2026-11-02: add by m2/dev
Mann–Whitney U S79F2XMYFZ
| URI | m2://inv/S79F2XMYFZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#OU78, Mann–Whitney U (definition)
History
- 2026-11-02: add by m2/dev
Laplace transform of the Caputo derivative S79G8B2GVY
| URI | m2://inv/S79G8B2GVY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.06631#91D7, Laplace transform of the Caputo derivative (statement). In QR4SD83TFR/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Gross–Pitaevskii equation S79NYP9QBD
| URI | m2://inv/S79NYP9QBD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gross–Pitaevskii equation, Gross–Pitaevskii equation (definition). Also Wikidata Q910667
History
- 2026-11-02: add by m2/dev
Examples S79XS918YM
| URI | m2://inv/S79XS918YM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet convolution#5CSP, Examples (example)
History
- 2026-11-02: add by m2/dev
S79YHYECFF S79YHYECFF
| URI | m2://inv/S79YHYECFF |
|---|---|
| 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.37112#QBL4 (statement). In 5B10HAY4C3/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
Clarke, Richard W. B. S7A10RRR80
| URI | m2://inv/S7A10RRR80 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#BNSF, Clarke, Richard W. B. (unknown)
History
- 2026-11-02: add by m2/dev
Ofra Magidor S7A3CJZX6X
| URI | m2://inv/S7A3CJZX6X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#IRF1, Ofra Magidor (unknown)
History
- 2026-11-02: add by m2/dev
Applications S7A6MPFF6M
| URI | m2://inv/S7A6MPFF6M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Photonic crystal#PCJL, Applications (example)
History
- 2026-11-02: add by m2/dev
Mill's inequality S7A98FKCYT
| URI | m2://inv/S7A98FKCYT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concentration inequality#GDDM, Mill's inequality (statement)
History
- 2026-11-02: add by m2/dev
Properties S7AAEFNVQ8
| URI | m2://inv/S7AAEFNVQ8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Completely uniformizable space#M104, Properties (statement)
History
- 2026-11-02: add by m2/dev
Von Neumann's elephant S7AEJ04AZE
| URI | m2://inv/S7AEJ04AZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Von Neumann's elephant, Von Neumann's elephant (definition). Also Wikidata Q113835456
History
- 2026-11-02: add by m2/dev
Even degree S7AHMTZY8H
| URI | m2://inv/S7AHMTZY8H |
|---|---|
| Kind | conjecture |
| 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 2105.03715#GD3X, Even degree (conjecture). In H3FWT3Z0J4/e1, conjecture 4
History
- 2026-10-27: add by m2/v0.3.5
Examples S7AHVPNC3Q
| URI | m2://inv/S7AHVPNC3Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace diagram#W3BE, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications S7AKG6511B
| URI | m2://inv/S7AKG6511B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sagitta (geometry)#VTP5, Applications (example)
History
- 2026-11-02: add by m2/dev
S7AKVD4HMS S7AKVD4HMS
| URI | m2://inv/S7AKVD4HMS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31365#JK7Y (definition). In 19GENJ3NCP/e1, definition 3.3
History
- 2026-10-31: add by m2/v0.5.6
S7AMEFYDJ4 S7AMEFYDJ4
| URI | m2://inv/S7AMEFYDJ4 |
|---|---|
| Kind | proof |
| 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#proof-1 (proof). In PKGMM3P5QY, proof, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
Examples S7AQ3K7V0S
| URI | m2://inv/S7AQ3K7V0S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odds algorithm#KHS0, Examples (example)
History
- 2026-11-02: add by m2/dev
S7AY5CKCXG S7AY5CKCXG
| URI | m2://inv/S7AY5CKCXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-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.23527#NSRF (statement)
History
- 2026-11-02: add by m2/v0.6.17
Integration and finiteness for the resulting equations S7AYPSNDYS
| URI | m2://inv/S7AYPSNDYS |
|---|---|
| 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.14065#MQLP, Integration and finiteness for the resulting equations (statement). In PV7V3X78JH/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
S7B6T2P95K S7B6T2P95K
| URI | m2://inv/S7B6T2P95K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#WZ49 (statement). In YVK8EFSYNJ/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
order, non-strict S7BRVR7V3T
| URI | m2://inv/S7BRVR7V3T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.3/order-non-strict, order, non-strict (concept). In N54F33XE07, index, section B.3.3
History
- 2026-11-01: add by m2/v0.6.13
Definition. S7C3KTYQS3
| URI | m2://inv/S7C3KTYQS3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological rigidity#4EN1, Definition. (definition)
History
- 2026-11-02: add by m2/dev
Joubert's theorem S7C4H52779
| URI | m2://inv/S7C4H52779 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 12-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q104871594, Joubert's theorem (statement). Also Wikidata Q104871594
- thousand_plus: thousand_plus Q104871594, Joubert's theorem (statement). Also Wikidata Q104871594, Wikipedia Joubert's theorem
- wikipedia: Wikipedia Joubert's theorem, Joubert's theorem (statement). Also Wikidata Q104871594
History
- 2026-10-26: add by m2/dev
Lemma S7C4X556KK
| URI | m2://inv/S7C4X556KK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob–Dynkin lemma#YITX, Lemma (statement)
History
- 2026-11-02: add by m2/dev
S7CBMCYGKT S7CBMCYGKT
| URI | m2://inv/S7CBMCYGKT |
|---|---|
| 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.10325#KYGK (statement). In 66CDJ94PGW/e1, corollary 1.1
History
- 2026-10-29: add by m2/v0.4.10
S7CGQNK4WP S7CGQNK4WP
| URI | m2://inv/S7CGQNK4WP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31783#TXQJ (statement). In CGNVT4C47F/e1, theorem 5.2
History
- 2026-10-31: add by m2/v0.5.6
Closeness S7CJDKT2S5
| URI | m2://inv/S7CJDKT2S5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closeness (mathematics), Closeness (definition). Also Wikidata Q5135364
History
- 2026-11-02: add by m2/dev
S7CJSN1J1Y S7CJSN1J1Y
| URI | m2://inv/S7CJSN1J1Y |
|---|---|
| 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.07546#NJKP (statement). In H9YE46CGFN/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
Thinning S7CRE8HWTY
| URI | m2://inv/S7CRE8HWTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thinning (morphology), Thinning (definition). Also Wikidata Q7784630
History
- 2026-11-02: add by m2/dev
S7CT20SQ06 S7CT20SQ06
| URI | m2://inv/S7CT20SQ06 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16323#98DD (definition). In E215DFNY09/e1, definition Definition
History
- 2026-10-28: add by m2/v0.4.2
Feature extraction S7CVJNWWDA
| URI | m2://inv/S7CVJNWWDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4PLR, Feature extraction (definition)
History
- 2026-11-02: add by m2/dev
S7CX65DP56 S7CX65DP56
| URI | m2://inv/S7CX65DP56 |
|---|---|
| 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 2206.12966#OLIQ (statement). In VH93X5QZDV/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Van der Waerden notation S7CZXZKYYK
| URI | m2://inv/S7CZXZKYYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van der Waerden notation, Van der Waerden notation (definition). Also Wikidata Q3878705
History
- 2026-11-02: add by m2/dev
Bound on local steepness constant S7CZZJRSKD
| URI | m2://inv/S7CZZJRSKD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 51-XX, 52-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.21775#I2JG, Bound on local steepness constant (statement). In KM3Q791JY0/e1, proposition 2.33
History
- 2026-10-27: add by m2/v0.4.2
Sharpe ratio S7D3XXQPPZ
| URI | m2://inv/S7D3XXQPPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1501898, Sharpe ratio (unknown). Also MathWorld SharpeRatio
- wikipedia: Wikipedia Sharpe ratio, Sharpe ratio (definition). Also Wikidata Q1501898
History
- 2026-10-26: add by m2/dev
Canonical cospan-algebra presentation of BPMN S7D8825GA4
| URI | m2://inv/S7D8825GA4 |
|---|---|
| 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.20478#VWIK, Canonical cospan-algebra presentation of BPMN (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mathematical monism S7DE5H9WR4
| URI | m2://inv/S7DE5H9WR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philosophy of mathematics#2SH2, Mathematical monism (unknown)
History
- 2026-11-02: add by m2/dev
S7DEQ3E9EB S7DEQ3E9EB
| URI | m2://inv/S7DEQ3E9EB |
|---|---|
| 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.12640#FV5Y (statement). In QP9FE1D6PG/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
S7DF10PCF4 S7DF10PCF4
| URI | m2://inv/S7DF10PCF4 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-194 (exercise). In VNMV985MXX, exercise, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Example S7DMD2Q5XD
| URI | m2://inv/S7DMD2Q5XD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Roulette (curve)#OGD5, Example (example)
History
- 2026-11-02: add by m2/dev
Examples S7DN0VXH56
| URI | m2://inv/S7DN0VXH56 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolution (algebra)#PL48, Examples (example)
History
- 2026-11-02: add by m2/dev
Sparse Moment--SOS hierarchy S7DPTS5RVF
| URI | m2://inv/S7DPTS5RVF |
|---|---|
| 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.17371#Q7E1, Sparse Moment--SOS hierarchy (statement). In FF92TNYHQR/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
Berlekamp–Welch algorithm S7DT0PS96M
| URI | m2://inv/S7DT0PS96M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berlekamp–Welch algorithm, Berlekamp–Welch algorithm (definition). Also Wikidata Q4892328
History
- 2026-11-02: add by m2/dev
Continuum hypothesis S7DXWWRFMH
| URI | m2://inv/S7DXWWRFMH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#WBIA, Continuum hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Buffon's needle S7DYCECM5J
| URI | m2://inv/S7DYCECM5J |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#XRI4, Buffon's needle (problem)
- wikipedia: Wikipedia List of topics related to π#3JMY, Buffon's needle (problem)
- wikipedia: Wikipedia List of integration and measure theory topics#C614, Buffon's needle (problem)
History
- 2026-11-02: add by m2/dev
Properties S7E8PFPSAC
| URI | m2://inv/S7E8PFPSAC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Character theory#D14I, Properties (statement)
History
- 2026-11-02: add by m2/dev
S7EACTQCDS S7EACTQCDS
| URI | m2://inv/S7EACTQCDS |
|---|---|
| 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.39430#7U0E (statement). In 6FH24CYAMW/e1, theorem 5.7
History
- 2026-10-30: add by m2/v0.4.12
Examples S7EDJR4TT9
| URI | m2://inv/S7EDJR4TT9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert manifold#WH0A, Examples (example)
History
- 2026-11-02: add by m2/dev
S7EGCH7QEG S7EGCH7QEG
| URI | m2://inv/S7EGCH7QEG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/compactness.tex#example-1 (example). In RZP28ERRZV, example, section 95.1
History
- 2026-11-01: add by m2/v0.6.13
S7ENYNG85G S7ENYNG85G
| URI | m2://inv/S7ENYNG85G |
|---|---|
| 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 2011.08789#FNY5 (statement). In 43AGRMP7T3/e1, lemma 1.6
History
- 2026-10-27: add by m2/v0.3.5
Turing's proof S7ERPMCVQF
| URI | m2://inv/S7ERPMCVQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turing's proof, Turing's proof (definition). Also Wikidata Q7854954
History
- 2026-11-02: add by m2/dev
S7EX4268P2 S7EX4268P2
| URI | m2://inv/S7EX4268P2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-34 (exercise). In E59CDZA4DP, exercise, section 3.4.2
History
- 2026-11-01: add by m2/v0.6.13
S7EY24ZRST S7EY24ZRST
| URI | m2://inv/S7EY24ZRST |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/spec-sheaf.tex#proof-5 (proof). In RZP28ERRZV, proof, section 27.4.1
History
- 2026-11-01: add by m2/v0.6.13
S7F40YFYRS S7F40YFYRS
| URI | m2://inv/S7F40YFYRS |
|---|---|
| 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.05499#1FT6 (statement). In CQMD3382D6/e1, proposition 7
History
- 2026-10-29: add by m2/v0.4.10
Floor effect S7F8H9FWR9
| URI | m2://inv/S7F8H9FWR9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IH72, Floor effect (definition)
History
- 2026-11-02: add by m2/dev
digital root S7FBZJZVP5
| URI | m2://inv/S7FBZJZVP5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2532474, digital root (unknown). Also MathWorld DigitalRoot
- wikipedia: Wikipedia Digital root, Digital root (definition). Also Wikidata Q2532474
History
- 2026-10-26: add by m2/dev
precision of approximation S7FDTEM4TP
| URI | m2://inv/S7FDTEM4TP |
|---|---|
| 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.13741#5I2S, precision of approximation (statement). In Q43F8N7XDE/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Morera's theorem S7FJQJ9YAH
| URI | m2://inv/S7FJQJ9YAH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#OZ2L, Morera's theorem (statement)
History
- 2026-11-02: add by m2/dev
S7FM98BXVG S7FM98BXVG
| URI | m2://inv/S7FM98BXVG |
|---|---|
| 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.02983#WHOO (statement). In HMNKENER22/e1, theorem 4.2
History
- 2026-10-29: add by m2/v0.4.12
Saffman–Taylor instability S7FME7N1DB
| URI | m2://inv/S7FME7N1DB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Saffman–Taylor instability, Saffman–Taylor instability (definition). Also Wikidata Q3027832
History
- 2026-11-02: add by m2/dev
S7GG0W5FHX S7GG0W5FHX
| URI | m2://inv/S7GG0W5FHX |
|---|---|
| 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#ZXWA (statement). In 5KR3MHYVV6/e1, proposition 6.5
History
- 2026-10-28: add by m2/v0.4.2
S7GK5YJRAS S7GK5YJRAS
| URI | m2://inv/S7GK5YJRAS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.07710#GR39 (example). In NESGAWA54K/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
Smoothed finite element method S7GR6GN77H
| URI | m2://inv/S7GR6GN77H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smoothed finite element method, Smoothed finite element method (definition). Also Wikidata Q11007230
History
- 2026-11-02: add by m2/dev
Lazar Lyusternik S7GTDM30R6
| URI | m2://inv/S7GTDM30R6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7YCY, Lazar Lyusternik (topic)
History
- 2026-11-02: add by m2/dev
S7H3CYH8TA S7H3CYH8TA
| URI | m2://inv/S7H3CYH8TA |
|---|---|
| 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.02993#ARF0 (statement). In TJH58FRGEN/e1, proposition 8.18
History
- 2026-10-29: add by m2/v0.4.12
S7HCVEM3Y9 S7HCVEM3Y9
| URI | m2://inv/S7HCVEM3Y9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.23797#WD5P (definition). In PZCA01JXVR/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
S7HKFBV4TQ S7HKFBV4TQ
| URI | m2://inv/S7HKFBV4TQ |
|---|---|
| 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 2609.27301#NCU0 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Generating set of a module S7HTKP98YN
| URI | m2://inv/S7HTKP98YN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generating set of a module, Generating set of a module (definition). Also Wikidata Q25106477
History
- 2026-11-02: add by m2/dev
S7J19H2FSQ S7J19H2FSQ
| URI | m2://inv/S7J19H2FSQ |
|---|---|
| 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 2609.35682#W3QY (definition). In 7XM8WXVBWK/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
S7J1TV3YWK S7J1TV3YWK
| URI | m2://inv/S7J1TV3YWK |
|---|---|
| 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.38268#XZZA (statement). In TQ18V9TDQS/e1, proposition 4.3
History
- 2026-10-30: add by m2/v0.4.12
Historical demography S7J2Z8X6WY
| URI | m2://inv/S7J2Z8X6WY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Historical demography, Historical demography (definition). Also Wikidata Q580130
History
- 2026-11-02: add by m2/dev
S7J85TKWTX S7J85TKWTX
| URI | m2://inv/S7J85TKWTX |
|---|---|
| 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.38793#J9NQ (statement). In T2N92YSY5R/e1, proposition 4.17
History
- 2026-10-30: add by m2/v0.4.12
Full Derivation of the Kubo formula S7JC88TM3E
| URI | m2://inv/S7JC88TM3E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kubo formula#6I57, Full Derivation of the Kubo formula (statement)
History
- 2026-11-02: add by m2/dev
R.10 -- Mod-8 lift is \(\mathbb{F}_2\)-linear S7JHZPNFE5
| URI | m2://inv/S7JHZPNFE5 |
|---|---|
| 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.25543#7FZO, R.10 -- Mod-8 lift is \(\mathbb{F}_2\)-linear (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples S7JJJEB8NK
| URI | m2://inv/S7JJJEB8NK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Braess's paradox#1R7W, Examples (example)
History
- 2026-11-02: add by m2/dev
S7JTP7TVVC S7JTP7TVVC
| URI | m2://inv/S7JTP7TVVC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-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.06645#UC8R (statement). In 79H1DEK4M9/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
Medical test S7JYKGWJ8H
| URI | m2://inv/S7JYKGWJ8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medical test, Medical test (definition). Also Wikidata Q2671652
History
- 2026-11-02: add by m2/dev
Examples S7JYYVVW88
| URI | m2://inv/S7JYYVVW88 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Named set theory#ZVRT, Examples (example)
History
- 2026-11-02: add by m2/dev
Hardy's inequality S7K2MYA6FY
| URI | m2://inv/S7K2MYA6FY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hardy's inequality S7A8YFGG8X |
Mentions
- wikidata: Wikidata Q944228, Hardy's inequality (statement). Also MathWorld HardysInequality
- wikipedia: Wikipedia Hardy's inequality, Hardy's inequality (statement). Also Wikidata Q944228
History
- 2026-10-26: add by m2/dev
Tadashi Nakayama S7K7JQE0Y3
| URI | m2://inv/S7K7JQE0Y3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UPMD, Tadashi Nakayama (topic)
History
- 2026-11-02: add by m2/dev
Examples S7KFYD2ZG2
| URI | m2://inv/S7KFYD2ZG2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disjoint union (topology)#6SVN, Examples (example)
History
- 2026-11-02: add by m2/dev
Computation S7KHW6E2TW
| URI | m2://inv/S7KHW6E2TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resultant#BA7A, Computation (definition)
History
- 2026-11-02: add by m2/dev
Projective algebraic hypersurface S7KM4YXGV3
| URI | m2://inv/S7KM4YXGV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypersurface#Z58N, Projective algebraic hypersurface (unknown)
History
- 2026-11-02: add by m2/dev
Taub–NUT space S7KM5EVRZ5
| URI | m2://inv/S7KM5EVRZ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4016655, Taub–NUT space (unknown). Also nLab Taub-NUT space
- wikipedia: Wikipedia Taub–NUT space, Taub–NUT space (definition). Also Wikidata Q4016655
History
- 2026-10-26: add by m2/dev
Cauchy S7KP5KGK4G
| URI | m2://inv/S7KP5KGK4G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-28, Cauchy (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
S7KYERRR8M S7KYERRR8M
| URI | m2://inv/S7KYERRR8M |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#IDZJ (statement). In CY1FE8W1ZW/e1, lemma 0.277
History
- 2026-10-27: add by m2/v0.3.5
S7KZRV4QQ6 S7KZRV4QQ6
| URI | m2://inv/S7KZRV4QQ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#13VT (statement). In GXHKRV5BPY/e1, proposition 5.17
History
- 2026-10-29: add by m2/v0.4.10
Public Blockchain S7M0QMRMES
| URI | m2://inv/S7M0QMRMES |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blockchain#GKPG, Public Blockchain (unknown)
History
- 2026-11-02: add by m2/dev
S7M4056Q3B S7M4056Q3B
| URI | m2://inv/S7M4056Q3B |
|---|---|
| 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.26771#LAW1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definitions S7MCBY50ZM
| URI | m2://inv/S7MCBY50ZM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular submodule#HMID, Definitions (definition)
History
- 2026-11-02: add by m2/dev
S7MD6GVV6P S7MD6GVV6P
| URI | m2://inv/S7MD6GVV6P |
|---|---|
| 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.35421#AVP7 (statement). In KE8B8KMDJJ/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
The field conjugation causes no fusion for general $q$ S7MH2F9QK9
| URI | m2://inv/S7MH2F9QK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15340#PFFU, The field conjugation causes no fusion for general $q$ (statement). In 9NVKKW8HDH/e1, proposition 2.49
History
- 2026-10-28: add by m2/v0.4.2
451 (number) S7MMN28Y46
| URI | m2://inv/S7MMN28Y46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#8HGC, 451 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Graded orbits in relative special pieces S7MMRBB4WT
| URI | m2://inv/S7MMRBB4WT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16931#JN1I, Graded orbits in relative special pieces (statement). In H7DMRWBBJN/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
Exact standard SDP encoding S7MRPMGMM6
| URI | m2://inv/S7MRPMGMM6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20270#OK1N, Exact standard SDP encoding (statement). In GV0QGZH67P/e1, proposition B.1
History
- 2026-10-27: add by m2/v0.4.2
Main Theorem S7MV60Z62D
| URI | m2://inv/S7MV60Z62D |
|---|---|
| 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#XV0Y, Main Theorem (statement). In 4PF04DW3YP/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
S7MWW3QAXH S7MWW3QAXH
| URI | m2://inv/S7MWW3QAXH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.17626#TLJ3 (statement). In 54ATJS74DT/e1, proposition 3.5
History
- 2026-10-28: add by m2/v0.4.2
S7MYGK6J37 S7MYGK6J37
| URI | m2://inv/S7MYGK6J37 |
|---|---|
| Kind | problem |
| 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.16010#YLNE (problem). In AQJXKF6WZP/e1, problem A
History
- 2026-10-28: add by m2/v0.4.2
Václav Jeřábek S7NFR05BPS
| URI | m2://inv/S7NFR05BPS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Václav Jeřábek, Václav Jeřábek (topic). Also Wikidata Q37734967
History
- 2026-11-02: add by m2/dev
S7NSYS0J5G S7NSYS0J5G
| URI | m2://inv/S7NSYS0J5G |
|---|---|
| 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 2210.16706#OJIL (statement). In JSRVKPT87E/e1, lemma
History
- 2026-10-27: add by m2/v0.4.0
S7NX2TNR5K S7NX2TNR5K
| URI | m2://inv/S7NX2TNR5K |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#proof-2 (proof). In P1C114YBXG, proof, section F
History
- 2026-11-01: add by m2/v0.6.13
S7P8EV2NSE S7P8EV2NSE
| URI | m2://inv/S7P8EV2NSE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 18-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 2304.07398#N7KQ (statement). In JS5FKV1S9T/e1, lemma B.2
History
- 2026-10-27: add by m2/v0.3.5
Solovay S7PD5FWXJR
| URI | m2://inv/S7PD5FWXJR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#UOUM, Solovay (definition)
History
- 2026-11-02: add by m2/dev
S7PGKCBNWJ S7PGKCBNWJ
| URI | m2://inv/S7PGKCBNWJ |
|---|---|
| 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.32338#FVLG (statement). In HVY45JQRNK/e1, theorem 2.19
History
- 2026-10-31: add by m2/v0.5.6
Band S7PH9JRQX1
| URI | m2://inv/S7PH9JRQX1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Band (algebra), Band (definition). Also Wikidata Q4177774
History
- 2026-11-02: add by m2/dev
Gaussian processes S7PJCAHWXB
| URI | m2://inv/S7PJCAHWXB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Stochastic Processes > Gaussian processes, Gaussian processes (unknown). Also Mathlib ProbabilityTheory.IsGaussianProcess
History
- 2026-10-26: add by m2/dev
S7PJXHTDR8 S7PJXHTDR8
| URI | m2://inv/S7PJXHTDR8 |
|---|---|
| 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.15219#QQZ0 (statement). In QMKFWSF9QZ/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
S7PS6KWYDG S7PS6KWYDG
| URI | m2://inv/S7PS6KWYDG |
|---|---|
| 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.34011#8OQ3 (statement). In RAXRNDW2Z0/e1, corollary C
History
- 2026-10-30: add by m2/v0.4.12
Evaluation of the rate function S7PYC8Z8MB
| URI | m2://inv/S7PYC8Z8MB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40271#8SW6, Evaluation of the rate function (statement). In 9MXMRKFKDW/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
S7PYNZDX1R S7PYNZDX1R
| URI | m2://inv/S7PYNZDX1R |
|---|---|
| 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.15169#GAJG (statement). In V7SN19J84T/e1, lemma 5.8
History
- 2026-10-28: add by m2/v0.4.2
Faltings' theorem S7Q18XVP9A
| URI | m2://inv/S7Q18XVP9A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 4 |
| Outcome | open |
| Node | Faltings's theorem H0DB07WM20 |
Mentions
- mathlib_1000: mathlib_1000 Q240950, Faltings's theorem (statement). Also Wikidata Q240950
- thousand_plus: thousand_plus Q240950, Faltings's theorem (statement). Also Wikidata Q240950, Wikipedia Faltings's theorem
- wikidata: Wikidata Q240950, Faltings' theorem (conjecture). Also MathWorld MordellConjecture
- wikipedia: Wikipedia Faltings' theorem, Faltings' theorem (statement). Also Wikidata Q240950
History
- 2026-10-26: add by m2/dev
Laplacian matrix S7Q1XZCXSM
| URI | m2://inv/S7Q1XZCXSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Laplacian matrix TN6M6DVZRP |
Mentions
- wikidata: Wikidata Q772067, Laplacian matrix (unknown). Also MathWorld LaplacianMatrix
- wikipedia: Wikipedia Laplacian matrix, Laplacian matrix (definition). Also Wikidata Q772067
History
- 2026-10-26: add by m2/dev
S7Q57W2YXB S7Q57W2YXB
| URI | m2://inv/S7Q57W2YXB |
|---|---|
| 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 2609.24701#8H14 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Measurable and continuous recovery families S7Q70QYEM5
| URI | m2://inv/S7Q70QYEM5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#KA2T, Measurable and continuous recovery families (statement)
History
- 2026-11-02: add by m2/v0.6.18
Mirsky's theorem -- Theorem 4.11 S7QM58QFTY
| URI | m2://inv/S7QM58QFTY |
|---|---|
| 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.20944#R5Y8, Mirsky's theorem -- Theorem 4.11 (statement). In DRRKZR6CQC/e1, theorem 7
History
- 2026-10-27: add by m2/v0.4.2
S7QNJ0AEC3 S7QNJ0AEC3
| URI | m2://inv/S7QNJ0AEC3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#TGQR (statement)
History
- 2026-11-01: add by m2/v0.6.15
Supervaluationism S7QQBMZZKH
| URI | m2://inv/S7QQBMZZKH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Supervaluationism, Supervaluationism (definition). Also Wikidata Q17141227
History
- 2026-11-02: add by m2/dev
form S7QVW5VCT6
| URI | m2://inv/S7QVW5VCT6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#D9UK, form (definition)
History
- 2026-11-02: add by m2/dev
BBD decomposition theorem S7R3PS1YQX
| URI | m2://inv/S7R3PS1YQX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YBLP, BBD decomposition theorem (statement)
History
- 2026-11-02: add by m2/dev
Coefficient of inbreeding S7R3Q4NMJV
| URI | m2://inv/S7R3Q4NMJV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coefficient of inbreeding, Coefficient of inbreeding (definition). Also Wikidata Q353632
History
- 2026-11-02: add by m2/dev
S7R67PM8R9 S7R67PM8R9
| URI | m2://inv/S7R67PM8R9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23562#LQKP (statement)
History
- 2026-11-02: add by m2/v0.6.17
Nocturia S7RAM7PT2G
| URI | m2://inv/S7RAM7PT2G |
|---|---|
| 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#8K8L, Nocturia (unknown)
History
- 2026-11-02: add by m2/dev
real element S7RAS1XNXC
| URI | m2://inv/S7RAS1XNXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 50475634) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#OHK6, real element (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Michel S7RGAJ01HV
| URI | m2://inv/S7RGAJ01HV |
|---|---|
| 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.38664#4AHU, Michel (statement). In 7BCDS9M8MC/e1, theorem 1.3
History
- 2026-10-30: add by m2/v0.4.12
S7RKK8EJ9K S7RKK8EJ9K
| URI | m2://inv/S7RKK8EJ9K |
|---|---|
| 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.28403#WO8J (statement)
History
- 2026-11-01: add by m2/v0.6.15
S7RTD4MT3M S7RTD4MT3M
| URI | m2://inv/S7RTD4MT3M |
|---|---|
| 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.24640#VF2M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example S7RV7CFMBR
| URI | m2://inv/S7RV7CFMBR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier division#FC7C, Example (example)
History
- 2026-11-02: add by m2/dev
S7RVD94740 S7RVD94740
| URI | m2://inv/S7RVD94740 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10152#WJYG (statement). In KCJ53C7AXY/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
BHK-interpretation S7RVEH7VCC
| URI | m2://inv/S7RVEH7VCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#IYWS, BHK-interpretation (definition)
History
- 2026-11-02: add by m2/dev
S7RYVR1S37 S7RYVR1S37
| URI | m2://inv/S7RYVR1S37 |
|---|---|
| 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.00312#DI97 (statement). In 41NFABHFXH/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
Raghu Raj Bahadur S7RZJAZHR6
| URI | m2://inv/S7RZJAZHR6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#RYWH, Raghu Raj Bahadur (unknown)
History
- 2026-11-02: add by m2/dev
Statement S7S5FDJSE9
| URI | m2://inv/S7S5FDJSE9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bochner's theorem (orthogonal polynomials)#Z7TW, Statement (statement)
History
- 2026-11-02: add by m2/dev
S7SDGS371X S7SDGS371X
| URI | m2://inv/S7SDGS371X |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/substitution.tex#ex-1 (example). In PKGMM3P5QY, ex, section 54.8
History
- 2026-11-01: add by m2/v0.6.13
Multivariate statistics S7SH7QERPW
| URI | m2://inv/S7SH7QERPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate statistics, Multivariate statistics (definition). Also Wikidata Q1952580
History
- 2026-11-02: add by m2/dev
Polynomial Bott normal form S7SKR1NA7B
| URI | m2://inv/S7SKR1NA7B |
|---|---|
| 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#HMJ3, Polynomial Bott normal form (statement)
History
- 2026-11-01: add by m2/v0.6.15
S7SWT4HQVD S7SWT4HQVD
| URI | m2://inv/S7SWT4HQVD |
|---|---|
| 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#Y0PV (statement). In QHFP0837Q8/e1, proposition 4.9
History
- 2026-10-29: add by m2/v0.4.12
Kruskal's tree theorem S7SYQ11ZWB
| URI | m2://inv/S7SYQ11ZWB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 06-XX |
| Sources | 4 |
| Outcome | open |
| Node | Kruskal's tree theorem XVHKCX4F5Y |
Mentions
- mathlib_1000: mathlib_1000 Q3527100, Kruskal's tree theorem (statement). Also Wikidata Q3527100
- thousand_plus: thousand_plus Q3527100, Kruskal's tree theorem (statement). Also Wikidata Q3527100, Wikipedia Kruskal's tree theorem
- wikidata: Wikidata Q3527100, Kruskal's tree theorem (statement). Also MathWorld KruskalsTreeTheorem
- wikipedia: Wikipedia Kruskal's tree theorem, Kruskal's tree theorem (statement). Also Wikidata Q3527100
History
- 2026-10-26: add by m2/dev
S7T0PHGVQ8 S7T0PHGVQ8
| URI | m2://inv/S7T0PHGVQ8 |
|---|---|
| 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 1007.4365#GNKZ (statement). In 935WKCMD8C/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Monoidal localization S7T14WRVGZ
| URI | m2://inv/S7T14WRVGZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#6KPJ, Monoidal localization (definition). In TB1294GY5X/e1, definition A.1
History
- 2026-10-27: add by m2/v0.4.2
Hanner's inequalities S7T2AWXBXY
| URI | m2://inv/S7T2AWXBXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hanner's inequalities, Hanner's inequalities (definition). Also Wikidata Q5649096
History
- 2026-11-02: add by m2/dev
Order (logic) S7T2R522FN
| URI | m2://inv/S7T2R522FN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Higher-order logic#H0W6, Order (logic) (unknown)
History
- 2026-11-02: add by m2/dev
Undecidable language S7T77PPD44
| URI | m2://inv/S7T77PPD44 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#H743, Undecidable language (problem)
History
- 2026-11-02: add by m2/dev
Faltings height S7T8CC4XGZ
| URI | m2://inv/S7T8CC4XGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#IXKH, Faltings height (definition)
History
- 2026-11-02: add by m2/dev
Fleming–Viot process S7T8KRK72R
| URI | m2://inv/S7T8KRK72R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UDSD, Fleming–Viot process (definition)
History
- 2026-11-02: add by m2/dev
Czesław Ryll-Nardzewski S7TB9RGQSH
| URI | m2://inv/S7TB9RGQSH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Czesław Ryll-Nardzewski, Czesław Ryll-Nardzewski (topic). Also Wikidata Q828399
History
- 2026-11-02: add by m2/dev
S7TEFZCZAV S7TEFZCZAV
| URI | m2://inv/S7TEFZCZAV |
|---|---|
| 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 2404.05451#BB89 (statement). In 5YMFYAFFJ7/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.3.5
Examples S7TF0WN08B
| URI | m2://inv/S7TF0WN08B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetical set#G01H, Examples (example)
History
- 2026-11-02: add by m2/dev
S7TF3RDM6A S7TF3RDM6A
| URI | m2://inv/S7TF3RDM6A |
|---|---|
| Kind | example |
| 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.01737#L5BA (example). In M4JGP708F4/e1, example 1.1
History
- 2026-10-29: add by m2/v0.4.12
Bounds and nonstationarity after wrapping S7TSS3JDDP
| URI | m2://inv/S7TSS3JDDP |
|---|---|
| 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.03638#PUJW, Bounds and nonstationarity after wrapping (statement). In H39AZG67B6/e1, lemma D.1
History
- 2026-10-29: add by m2/v0.4.12
Properties S7TWR8P1ZF
| URI | m2://inv/S7TWR8P1ZF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Characteristic function (probability theory)#UGMF, Properties (statement)
History
- 2026-11-02: add by m2/dev
S7V2BY4T79 S7V2BY4T79
| URI | m2://inv/S7V2BY4T79 |
|---|---|
| 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 2609.30999#PHCI (statement). In J1BWCKW2QK/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
S7V5RH6K8S S7V5RH6K8S
| URI | m2://inv/S7V5RH6K8S |
|---|---|
| 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.03144#65NF (statement). In 9QW88325GS/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
S7VC7W9AHT S7VC7W9AHT
| URI | m2://inv/S7VC7W9AHT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#example-3 (example). In RZP28ERRZV, example, section 91.1
History
- 2026-11-01: add by m2/v0.6.13
Two Rivers, Alaska S7VEB12ARB
| URI | m2://inv/S7VEB12ARB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#AAYU, Two Rivers, Alaska (unknown)
History
- 2026-11-02: add by m2/dev
Entropy coding with known entropy characteristics S7VHMNX5RF
| URI | m2://inv/S7VHMNX5RF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#I4T6, Entropy coding with known entropy characteristics (definition)
History
- 2026-11-02: add by m2/dev
Passage to pointed mapping objects S7VM84C37Y
| URI | m2://inv/S7VM84C37Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#WU1X, Passage to pointed mapping objects (statement). In G3D1YR20BJ/e1, lemma 3.26
History
- 2026-10-29: add by m2/v0.4.12
Prime number theorem S7VRAQQ38A
| URI | m2://inv/S7VRAQQ38A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical discoveries by artificial intelligence#JE0V, Prime number theorem (statement)
History
- 2026-11-02: add by m2/dev
Jessica Utts S7VRP55QVD
| URI | m2://inv/S7VRP55QVD |
|---|---|
| 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#E7Q7, Jessica Utts (topic)
History
- 2026-11-02: add by m2/dev
Vault 8 S7VRREA6KQ
| URI | m2://inv/S7VRREA6KQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vault 7#949L, Vault 8 (unknown)
History
- 2026-11-02: add by m2/dev
Definition S7VV8EK8XC
| URI | m2://inv/S7VV8EK8XC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived category#00W0, Definition (definition)
History
- 2026-11-02: add by m2/dev
gamma distribution S7W20DAS3B
| URI | m2://inv/S7W20DAS3B |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 62E10 |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Gamma distribution 0B80PAQD3C |
Mentions
- wikidata: Wikidata Q117806, gamma distribution (topic). Also MathWorld GammaDistribution
- wikipedia: Wikipedia Gamma distribution, Gamma distribution (definition). Also Wikidata Q117806
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Properties S7W4C41S58
| URI | m2://inv/S7W4C41S58 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Goldner–Harary graph#2P2Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
Rayleigh–Taylor instability S7W9KKEP5E
| URI | m2://inv/S7W9KKEP5E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rayleigh–Taylor instability, Rayleigh–Taylor instability (definition). Also Wikidata Q899055
History
- 2026-11-02: add by m2/dev
Gnedenko-Kolmogorov central limit theorem revisited S7WF77BWZR
| URI | m2://inv/S7WF77BWZR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta wavelet#HXZU, Gnedenko-Kolmogorov central limit theorem revisited (statement)
History
- 2026-11-02: add by m2/dev
S7WH4K6069 S7WH4K6069
| URI | m2://inv/S7WH4K6069 |
|---|---|
| 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 2207.12181#L87Z (statement). In FSD8NE3XSR/e1, proposition 2.6
History
- 2026-10-27: add by m2/v0.4.0
Moore and Robson S7WPZJZJGM
| URI | m2://inv/S7WPZJZJGM |
|---|---|
| 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.15402#ICCC, Moore and Robson (statement). In WSE8SEHVXG/e1, theorem 17
History
- 2026-10-28: add by m2/v0.4.2
Telegraph process S7WZTFZ45X
| URI | m2://inv/S7WZTFZ45X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#ZZO1, Telegraph process (definition)
- wikipedia: Wikipedia List of statistics articles#WJGT, Telegraph process (definition)
History
- 2026-11-02: add by m2/dev
Fleissner grille S7XBDX8CJ8
| URI | m2://inv/S7XBDX8CJ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grille (cryptography)#BGWL, Fleissner grille (unknown)
History
- 2026-11-02: add by m2/dev
List of things named after Henri Poincaré S7XCGY41V0
| URI | m2://inv/S7XCGY41V0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré, List of things named after Henri Poincaré (topic). Also Wikidata Q16979485
History
- 2026-11-02: add by m2/dev
Definition S7XE0ZNND4
| URI | m2://inv/S7XE0ZNND4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laguerre's method#TS27, Definition (definition)
History
- 2026-11-02: add by m2/dev
Ugo Morin S7XE94YC1W
| URI | m2://inv/S7XE94YC1W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#UMBY, Ugo Morin (topic)
History
- 2026-11-02: add by m2/dev
S7XFKBW073 S7XFKBW073
| URI | m2://inv/S7XFKBW073 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#FHVV (statement)
History
- 2026-11-01: add by m2/v0.6.15
elliptic cohomology S7XHKD069E
| URI | m2://inv/S7XHKD069E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Elliptic cohomology XH68V2BP4K |
Mentions
- wikidata: Wikidata Q5365789, elliptic cohomology (unknown). Also nLab elliptic cohomology
- wikipedia: Wikipedia Elliptic cohomology, Elliptic cohomology (definition). Also Wikidata Q5365789
History
- 2026-10-26: add by m2/dev
Burnside's problem S7XS9WHQDG
| URI | m2://inv/S7XS9WHQDG |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#5IN2, Burnside's problem (conjecture)
- wikipedia: Wikipedia List of abstract algebra topics#BJOL, Burnside's problem (conjecture)
History
- 2026-11-02: add by m2/dev
Formulation S7XSEQY26M
| URI | m2://inv/S7XSEQY26M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment (mathematics)#KY3I, Formulation (definition)
History
- 2026-11-02: add by m2/dev
S7XYJBBBHS S7XYJBBBHS
| URI | m2://inv/S7XYJBBBHS |
|---|---|
| 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.29170#TVHM (statement)
History
- 2026-11-01: add by m2/v0.6.15
S7XYQNYX1D S7XYQNYX1D
| URI | m2://inv/S7XYQNYX1D |
|---|---|
| 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#8KOL (statement). In A8C1M9BSWH/e1, theorem 7.1
History
- 2026-10-27: add by m2/v0.4.2
Giuseppe Avanzini S7Y6DGENWF
| URI | m2://inv/S7Y6DGENWF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giuseppe Avanzini, Giuseppe Avanzini (topic). Also Wikidata Q3770033
History
- 2026-11-02: add by m2/dev
S7Y9YWR20M S7Y9YWR20M
| URI | m2://inv/S7Y9YWR20M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/FiniteSets.tex#definition-2 (definition). In P1C114YBXG, definition, section B
History
- 2026-11-01: add by m2/v0.6.13
S7YK5VYJY5 S7YK5VYJY5
| URI | m2://inv/S7YK5VYJY5 |
|---|---|
| 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#ELIF (statement). In HX63A1PH1W/e1, lemma 6.34
History
- 2026-10-28: add by m2/v0.4.3
Correlation bound S7YNR05EYE
| URI | m2://inv/S7YNR05EYE |
|---|---|
| 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#U565, Correlation bound (statement). In ZZER8ZBSCR/e1, theorem 4.8
History
- 2026-10-29: add by m2/v0.4.12
optimization S7YRDRPW4E
| URI | m2://inv/S7YRDRPW4E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of genetic algorithm applications#U11J, optimization (topic)
History
- 2026-11-02: add by m2/dev
Donald Pack S7YS817B14
| URI | m2://inv/S7YS817B14 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Donald Pack, Donald Pack (topic). Also Wikidata Q37736582
History
- 2026-11-02: add by m2/dev
S7YTMR5HZM S7YTMR5HZM
| URI | m2://inv/S7YTMR5HZM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 01-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.10591#JT26 (definition). In FTEA0TM35J/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
S7Z4GAC4X1 S7Z4GAC4X1
| URI | m2://inv/S7Z4GAC4X1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06521#3E9G (statement). In NVXWD513NM/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.10
◊ S7Z6FBWKPZ
| URI | m2://inv/S7Z6FBWKPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#ZD0J, ◊ (definition)
History
- 2026-11-02: add by m2/dev
S7ZCBN7KYJ S7ZCBN7KYJ
| URI | m2://inv/S7ZCBN7KYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26477#UEHQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
List of long mathematical proofs S7ZCFZPZN7
| URI | m2://inv/S7ZCFZPZN7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs, List of long mathematical proofs (topic). Also Wikidata Q17634342
History
- 2026-11-02: add by m2/dev
Randomized time-grid discretization bound S7ZE6RWR20
| URI | m2://inv/S7ZE6RWR20 |
|---|---|
| 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.05333#8IFM, Randomized time-grid discretization bound (statement). In N37WKFTR7Q/e1, proposition G.5
History
- 2026-10-29: add by m2/v0.4.10
S7ZM447ZXZ S7ZM447ZXZ
| URI | m2://inv/S7ZM447ZXZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21578#HO28 (statement). In 6M96RM3T7N/e1, corollary 5.4
History
- 2026-10-27: add by m2/v0.4.2
Stefan number S7ZQVRJ4B2
| URI | m2://inv/S7ZQVRJ4B2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefan number, Stefan number (definition). Also Wikidata Q909876
History
- 2026-11-02: add by m2/dev
Series Expansion S7ZRWB9HNX
| URI | m2://inv/S7ZRWB9HNX |
|---|---|
| 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.08007#LQXO, Series Expansion (statement). In MBFRRC83TH/e1, fact 1
History
- 2026-10-29: add by m2/v0.4.10