Inventory rows AE
The cards of the rows of the inventory whose ids start with AE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Definition AE0264KRWM
| URI | m2://inv/AE0264KRWM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous group action#KW8O, Definition (definition)
History
- 2026-11-02: add by m2/dev
718 (number) AE02MGH0Y3
| URI | m2://inv/AE02MGH0Y3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number)#Q414, 718 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Procedure AE044ZX3ES
| URI | m2://inv/AE044ZX3ES |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-multiplication#CIYI, Procedure (definition)
History
- 2026-11-02: add by m2/dev
strong paraconsistency AE0FK50D1M
| URI | m2://inv/AE0FK50D1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GVHC, strong paraconsistency (definition)
History
- 2026-11-02: add by m2/dev
First fundamental theorem of welfare economics AE0NG9R3K4
| URI | m2://inv/AE0NG9R3K4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arrow–Debreu model#7APX, First fundamental theorem of welfare economics (statement)
History
- 2026-11-02: add by m2/dev
AE0NHTQ2FX AE0NHTQ2FX
| URI | m2://inv/AE0NHTQ2FX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.00806#5FRA (definition). In SBN06J39DG/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Van Lamoen circle AE0QX4JS18
| URI | m2://inv/AE0QX4JS18 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q781220, Van Lamoen circle (statement). Also MathWorld vanLamoenCircle
- wikipedia: Wikipedia Van Lamoen circle, Van Lamoen circle (definition). Also Wikidata Q781220
History
- 2026-10-26: add by m2/dev
Statement AE0RXRWPTF
| URI | m2://inv/AE0RXRWPTF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baik–Deift–Johansson theorem#GIGE, Statement (statement)
History
- 2026-11-02: add by m2/dev
AE1C9AKHPF AE1C9AKHPF
| URI | m2://inv/AE1C9AKHPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.23922#VBN5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Sparse binary reduction AE1CT9B1YY
| URI | m2://inv/AE1CT9B1YY |
|---|---|
| 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.30525#4FSQ, Sparse binary reduction (statement). In CHEZQEACQG/e1, proposition 2.4
History
- 2026-10-31: add by m2/v0.5.6
$(z-i)^{-3} \cdot (z-\infty)^{-4}$ as a divisor AE1G6F483V
| URI | m2://inv/AE1G6F483V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/riemann-roch.tex#example-3, $(z-i)^{-3} \cdot (z-\infty)^{-4}$ as a divisor (example). In RZP28ERRZV, example, section 87.2
History
- 2026-11-01: add by m2/v0.6.13
Fermat's little theorem AE1MBQZXKR
| URI | m2://inv/AE1MBQZXKR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#GHE7, Fermat's little theorem (statement)
History
- 2026-11-02: add by m2/dev
basis AE1SH7GNTE
| URI | m2://inv/AE1SH7GNTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Basis 0KCQ9Y3QKA |
Mentions
- wikidata: Wikidata Q189569, basis (definition). Also EoM basis, MathWorld VectorBasis, ProofWiki Definition:Basis_(Linear_Algebra)
- wikipedia: Wikipedia Basis (linear algebra), Basis (definition). Also Wikidata Q189569
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
AE1T51NHZW AE1T51NHZW
| URI | m2://inv/AE1T51NHZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26701#M41I (statement)
History
- 2026-11-01: add by m2/v0.6.15
AE1V8MYX7N AE1V8MYX7N
| URI | m2://inv/AE1V8MYX7N |
|---|---|
| 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.31289#U6O2 (statement). In CPDM7J0CC0/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
AE1ZNB6DFG AE1ZNB6DFG
| URI | m2://inv/AE1ZNB6DFG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.36332#6CZX (statement). In APK7X4MFAX/e1, proposition 5
History
- 2026-10-30: add by m2/v0.4.12
AE20AQ0BSH AE20AQ0BSH
| URI | m2://inv/AE20AQ0BSH |
|---|---|
| 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.20577#VCAP (statement). In 3P13XJQSVK/e1, proposition 1.2
History
- 2026-10-27: add by m2/v0.4.2
AE24V662K4 AE24V662K4
| URI | m2://inv/AE24V662K4 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31907#BMX3 (problem). In 6B2PCEGCYZ/e1, problem 5.2
History
- 2026-10-31: add by m2/v0.5.6
Flaws in hypothesis testing AE26R3TG3N
| URI | m2://inv/AE26R3TG3N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Estimation statistics#31EB, Flaws in hypothesis testing (statement)
History
- 2026-11-02: add by m2/dev
AE283ZJAZZ AE283ZJAZZ
| URI | m2://inv/AE283ZJAZZ |
|---|---|
| Kind | example |
| 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 2208.06310#D6TQ (example). In 9YR0E0T9XA/e1, example 4.2
History
- 2026-10-27: add by m2/v0.3.5
Euler's continued fraction formula AE29GQXXHY
| URI | m2://inv/AE29GQXXHY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continued fraction#T7IH, Euler's continued fraction formula (statement)
History
- 2026-11-02: add by m2/dev
Symmetry AE2JZ241NK
| URI | m2://inv/AE2JZ241NK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dodecagon#2SGF, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
AE2K6SKG8V AE2K6SKG8V
| URI | m2://inv/AE2K6SKG8V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/TasteNumberTheory.tex#definition-1 (definition). In P1C114YBXG, definition, section J
History
- 2026-11-01: add by m2/v0.6.13
Operator ideal AE2PNBT7SZ
| URI | m2://inv/AE2PNBT7SZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operator ideal, Operator ideal (definition). Also Wikidata Q25304193
History
- 2026-11-02: add by m2/dev
AE2WZC44DD AE2WZC44DD
| URI | m2://inv/AE2WZC44DD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/tautological-instances.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 55.1
History
- 2026-11-01: add by m2/v0.6.13
Pearson distribution AE35Y53EX2
| URI | m2://inv/AE35Y53EX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#ZQEH, Pearson distribution (definition)
History
- 2026-11-02: add by m2/dev
Euler circuit AE38W7J9RH
| URI | m2://inv/AE38W7J9RH |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/5.1/euler-circuit, Euler circuit (concept). In Y91XFCEVHQ, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
Representations of the empty string AE3GN9T9Q7
| URI | m2://inv/AE3GN9T9Q7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Empty string#18LU, Representations of the empty string (definition)
History
- 2026-11-02: add by m2/dev
One instance for span queries AE3PG9VQSQ
| URI | m2://inv/AE3PG9VQSQ |
|---|---|
| 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#U6BN, One instance for span queries (statement). In CHSB1TGAKB/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
parallel field AE3QB3CNNG
| URI | m2://inv/AE3QB3CNNG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4344911, parallel field (unknown). Also EoM Parallel_field
History
- 2026-10-26: add by m2/dev
AE3R0RRY7B AE3R0RRY7B
| URI | m2://inv/AE3R0RRY7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01806#DWKI (statement). In 4FXW9CRBXX/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Lemma AE3WH5NAD5
| URI | m2://inv/AE3WH5NAD5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function theorem#79U9, Lemma (statement)
History
- 2026-11-02: add by m2/dev
t-structure AE4TQT7YMY
| URI | m2://inv/AE4TQT7YMY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | t-structure 2GD9V7SA0E |
Mentions
- wikidata: Wikidata Q21071553, t-structure (unknown). Also nLab t-structure
- wikipedia: Wikipedia T-structure, T-structure (definition). Also Wikidata Q21071553
History
- 2026-10-26: add by m2/dev
Triple helix AE534DR0FD
| URI | m2://inv/AE534DR0FD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triple helix, Triple helix (definition). Also Wikidata Q7843514
History
- 2026-11-02: add by m2/dev
AE575A9Z08 AE575A9Z08
| URI | m2://inv/AE575A9Z08 |
|---|---|
| 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#O40R (statement). In HX63A1PH1W/e1, proposition 8.24
History
- 2026-10-28: add by m2/v0.4.3
AE5FEDBBJP AE5FEDBBJP
| URI | m2://inv/AE5FEDBBJP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#5CAN (statement). In F5STMSPR6X/e1, lemma 3.20
History
- 2026-10-29: add by m2/v0.4.12
Hermann von Helmholtz AE5PXAX5C1
| URI | m2://inv/AE5PXAX5C1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q60024, Hermann von Helmholtz (unknown). Also nLab Hermann von Helmholtz, ProofWiki Mathematician:Hermann_Ludwig_Ferdinand_von_Helmholtz
History
- 2026-10-26: add by m2/dev
coherent state AE5XXYZ5V3
| URI | m2://inv/AE5XXYZ5V3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1032070, coherent state (unknown). Also nLab coherent quantum state
- wikipedia: Wikipedia Coherent state, Coherent state (definition). Also Wikidata Q1032070
History
- 2026-10-26: add by m2/dev
AE5Z1W6DX3 AE5Z1W6DX3
| URI | m2://inv/AE5Z1W6DX3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX, 46-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35577#W28Y (definition). In 4F8QRV05BV/e1, definition 2.14
History
- 2026-10-30: add by m2/v0.4.12
Poincaré group AE690CYW4W
| URI | m2://inv/AE690CYW4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré group, Poincaré group (definition). Also Wikidata Q1066449
History
- 2026-11-02: add by m2/dev
Credit score in the United States AE6CZ4ESXK
| URI | m2://inv/AE6CZ4ESXK |
|---|---|
| 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#GASM, Credit score in the United States (unknown)
History
- 2026-11-02: add by m2/dev
Definition AE6K697G7Y
| URI | m2://inv/AE6K697G7Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized eigenvector#E8HV, Definition (definition)
History
- 2026-11-02: add by m2/dev
Aleksandrov–Clark measure AE6R7NE693
| URI | m2://inv/AE6R7NE693 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aleksandrov–Clark measure, Aleksandrov–Clark measure (definition). Also Wikidata Q4715615
History
- 2026-11-02: add by m2/dev
AE6YQ3G85F AE6YQ3G85F
| URI | m2://inv/AE6YQ3G85F |
|---|---|
| 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 1311.6044#HX4X (statement). In W4FFB6SVZD/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
Cartan subgroup AE75AXA014
| URI | m2://inv/AE75AXA014 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5047045, Cartan subgroup (concept). Also MathWorld CartanSubgroup, nLab Cartan subgroup
- wikipedia: Wikipedia Cartan subgroup, Cartan subgroup (definition). Also Wikidata Q5047045
History
- 2026-10-26: add by m2/dev
Torsors and the Hasse principle AE766Z5TEZ
| URI | m2://inv/AE766Z5TEZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reductive group#YAQ0, Torsors and the Hasse principle (statement)
History
- 2026-11-02: add by m2/dev
Uses AE76BVTES3
| URI | m2://inv/AE76BVTES3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Occam's razor#TYRB, Uses (example)
History
- 2026-11-02: add by m2/dev
AE7GA80ER5 AE7GA80ER5
| URI | m2://inv/AE7GA80ER5 |
|---|---|
| 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 2609.39246#DM79 (statement). In FVK0J9CFEF/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
AE7K6RG9HC AE7K6RG9HC
| URI | m2://inv/AE7K6RG9HC |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-27: add by m2/v0.3.5
Star quad AE7MQJ9E7D
| URI | m2://inv/AE7MQJ9E7D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transmission line#LPWX, Star quad (unknown)
History
- 2026-11-02: add by m2/dev
AE7NZP93WR AE7NZP93WR
| URI | m2://inv/AE7NZP93WR |
|---|---|
| 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.26769#CJ5J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties AE7RD604ER
| URI | m2://inv/AE7RD604ER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abstract Wiener space#1F0Y, Properties (statement)
History
- 2026-11-02: add by m2/dev
Local Morse inequalities AE8050PV1T
| URI | m2://inv/AE8050PV1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.17669#7DG2, Local Morse inequalities (statement). In RAWXJ72WWA/e1, proposition 3.8
History
- 2026-10-28: add by m2/v0.4.2
Population genetics AE86QHM12T
| URI | m2://inv/AE86QHM12T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#23QY, Population genetics (topic)
History
- 2026-11-02: add by m2/dev
AE89P9TH6X AE89P9TH6X
| URI | m2://inv/AE89P9TH6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12857#BYOS (statement). In XJWQ6Y83F8/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
AE8AVBPDPV AE8AVBPDPV
| URI | m2://inv/AE8AVBPDPV |
|---|---|
| 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.06556#ZPOW (statement). In KW8C7VE9XR/e1, proposition 17
History
- 2026-10-29: add by m2/v0.4.10
AE8F8N99X4 AE8F8N99X4
| URI | m2://inv/AE8F8N99X4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.03619#ECAG (definition). In 7SRERSS1PF/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.12
Cryptographic High Value Product AE8PCWV0XJ
| URI | m2://inv/AE8PCWV0XJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographic High Value Product, Cryptographic High Value Product (definition). Also Wikidata Q16910850
History
- 2026-11-02: add by m2/dev
AE8YZP53HB AE8YZP53HB
| URI | m2://inv/AE8YZP53HB |
|---|---|
| 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 2202.10212#16XW (statement). In E9ZQM8449P/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.6
Definition AE96B1QK9V
| URI | m2://inv/AE96B1QK9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radial basis function#X7G7, Definition (definition)
History
- 2026-11-02: add by m2/dev
p-Wielandt-Hoffman inequality AE98EX3PQ0
| URI | m2://inv/AE98EX3PQ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Min-max theorem#SLCM, p-Wielandt-Hoffman inequality (statement)
History
- 2026-11-02: add by m2/dev
AE9B3Y6MJR AE9B3Y6MJR
| URI | m2://inv/AE9B3Y6MJR |
|---|---|
| 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.01656#OFYR (statement). In AHGQZ89DY0/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.12
Properties AE9HMTMRR6
| URI | m2://inv/AE9HMTMRR6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block design#V7TB, Properties (statement)
History
- 2026-11-02: add by m2/dev
Luxembourg AE9M7SPGVX
| URI | m2://inv/AE9M7SPGVX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q32, Luxembourg (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Luxembourg
History
- 2026-10-26: add by m2/dev
Marcum Q-function AE9V6YV99N
| URI | m2://inv/AE9V6YV99N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1298498, Marcum Q-function (unknown). Also MathWorld MarcumQ-Function
- wikipedia: Wikipedia Marcum Q-function, Marcum Q-function (definition). Also Wikidata Q1298498
History
- 2026-10-26: add by m2/dev
AEA6P9FA14 AEA6P9FA14
| URI | m2://inv/AEA6P9FA14 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#4K8F (unknown). In QNBFHFZ3H0/e1, unknown 89
History
- 2026-10-28: add by m2/v0.4.2
AEACM552KX AEACM552KX
| URI | m2://inv/AEACM552KX |
|---|---|
| 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 2610.09897#J7WO (statement). In NYA085FW0M/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
AEAG4F4MXC AEAG4F4MXC
| URI | m2://inv/AEAG4F4MXC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-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 1204.5958#YD7I (definition). In XYCBKM4WKY/e1, definition 6
History
- 2026-10-27: add by m2/v0.3.5
AEASTXCE0S AEASTXCE0S
| URI | m2://inv/AEASTXCE0S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#example:simplesystem (example). In E9HS8K3A52, example, section 10.1.1
History
- 2026-11-01: add by m2/v0.6.13
Stamp, Josiah AEAVNDHASQ
| URI | m2://inv/AEAVNDHASQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#0K1G, Stamp, Josiah (unknown)
History
- 2026-11-02: add by m2/dev
Lefschetz AEAX1S1CBE
| URI | m2://inv/AEAX1S1CBE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#9R5Z, Lefschetz (definition)
History
- 2026-11-02: add by m2/dev
Cheap talk AEB0KYX9C7
| URI | m2://inv/AEB0KYX9C7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheap talk, Cheap talk (definition). Also Wikidata Q5088884
History
- 2026-11-02: add by m2/dev
423 (number) AEBC65B2P6
| URI | m2://inv/AEBC65B2P6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#SR94, 423 (number) (unknown)
History
- 2026-11-02: add by m2/dev
AEBFC4R2H7 AEBFC4R2H7
| URI | m2://inv/AEBFC4R2H7 |
|---|---|
| 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 2507.05923#6FJR (statement). In ZFKZ6YDT62/e1, lemma 6
History
- 2026-10-27: add by m2/v0.4.0
AEBPK73VPP AEBPK73VPP
| URI | m2://inv/AEBPK73VPP |
|---|---|
| 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 2012.11507#FZJ0 (statement). In DZA5P853H9/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
AEBQRRMSVF AEBQRRMSVF
| URI | m2://inv/AEBQRRMSVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09483#ZIM4 (statement). In N1MQ8F9JN6/e1, proposition 5.8
History
- 2026-10-29: add by m2/v0.4.10
Fermat prime AEBWG2VSPC
| URI | m2://inv/AEBWG2VSPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Fermat prime 06N6JAZF44 |
Mentions
- wikidata: Wikidata Q3327228, Fermat prime (definition). Also ProofWiki Definition:Fermat_Prime
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Extensions AEC00JZBBM
| URI | m2://inv/AEC00JZBBM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Functional additive model#4NMA, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Mutually avoiding skeleton AEC4TFHBYK
| URI | m2://inv/AEC4TFHBYK |
|---|---|
| Kind | definition |
| 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 1905.02785#X3ZW, Mutually avoiding skeleton (definition). In PF9KV74Q02/e1, definition 4.6
History
- 2026-10-27: add by m2/v0.3.5
AECANH4T9C AECANH4T9C
| URI | m2://inv/AECANH4T9C |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-125 (exercise). In E9HS8K3A52, exercise, section 5.10.4
History
- 2026-11-01: add by m2/v0.6.13
3-4 duoprism AECM229C70
| URI | m2://inv/AECM229C70 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3-4 duoprism, 3-4 duoprism (definition). Also Wikidata Q16001041
History
- 2026-11-02: add by m2/dev
AECSXJF26M AECSXJF26M
| URI | m2://inv/AECSXJF26M |
|---|---|
| Kind | definition |
| 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 0906.4245#JIQB (definition). In GPVBE4SEVF/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.3.5
Mark Green AECTFTTKDJ
| URI | m2://inv/AECTFTTKDJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T0MC, Mark Green (topic)
History
- 2026-11-02: add by m2/dev
group homomorphism AECVTC5TVF
| URI | m2://inv/AECVTC5TVF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 12396) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#7SRT, group homomorphism (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
AED2GYQPNK AED2GYQPNK
| URI | m2://inv/AED2GYQPNK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#UGKN (statement). In PA6JQDSKQT/e1, theorem 2.3
History
- 2026-10-28: add by m2/v0.4.2
AED917XTQE AED917XTQE
| URI | m2://inv/AED917XTQE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.01073#OHOJ (definition). In W4TYN4PGE8/e1, definition 3.10
History
- 2026-10-27: add by m2/v0.3.5
AED970VC7W AED970VC7W
| URI | m2://inv/AED970VC7W |
|---|---|
| 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 0904.3493#WZ45 (statement). In 1ARY7220P4/e1, proposition 1.2
History
- 2026-10-27: add by m2/v0.3.5
AEDCT01GSY AEDCT01GSY
| URI | m2://inv/AEDCT01GSY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#GT1P (statement). In ZA6XNBA90V/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
Examples AEDG272KDR
| URI | m2://inv/AEDG272KDR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative group#Y5C7, Examples (example)
History
- 2026-11-02: add by m2/dev
Applications AEDW6V74FH
| URI | m2://inv/AEDW6V74FH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rossmo's formula#0VDC, Applications (example)
History
- 2026-11-02: add by m2/dev
Nonabelian Hodge theorem (part 2) AEDWACKY8K
| URI | m2://inv/AEDWACKY8K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonabelian Hodge correspondence#FHU7, Nonabelian Hodge theorem (part 2) (statement)
History
- 2026-11-02: add by m2/dev
Echinacea AEDWPPX6JZ
| URI | m2://inv/AEDWPPX6JZ |
|---|---|
| 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#P9RU, Echinacea (unknown)
History
- 2026-11-02: add by m2/dev
AEE9SETX30 AEE9SETX30
| URI | m2://inv/AEE9SETX30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28282#Y1E3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Johannes Hudde AEEHZ1S9FQ
| URI | m2://inv/AEEHZ1S9FQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johannes Hudde, Johannes Hudde (topic). Also Wikidata Q1692000
History
- 2026-11-02: add by m2/dev
Snub hexagonal tiling AEEJHVHAY8
| URI | m2://inv/AEEJHVHAY8 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Euclidean uniform tilings#9YJJ, Snub hexagonal tiling (object)
History
- 2026-11-02: add by m2/dev
Normal-inverse Gaussian distribution AEENJ1S9ZC
| URI | m2://inv/AEENJ1S9ZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#WJP1, Normal-inverse Gaussian distribution (definition)
History
- 2026-11-02: add by m2/dev
AEEPMZN0HP AEEPMZN0HP
| URI | m2://inv/AEEPMZN0HP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/general-recursive-functions.tex#defn:general-recursive (definition). In PKGMM3P5QY, defn, section 3.21
History
- 2026-11-01: add by m2/v0.6.13
Think of the children AEEV84AZV9
| URI | m2://inv/AEEV84AZV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Think of the children, Think of the children (definition). Also Wikidata Q5098257
History
- 2026-11-02: add by m2/dev
AEF3JZHBGA AEF3JZHBGA
| URI | m2://inv/AEF3JZHBGA |
|---|---|
| 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 2409.17318#NZ5N (statement). In 2P63T9MJ4P/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
AEF4D5TVGC AEF4D5TVGC
| URI | m2://inv/AEF4D5TVGC |
|---|---|
| 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.29824#5831 (statement)
History
- 2026-11-01: add by m2/v0.6.15
acceptance AEFH3P418T
| URI | m2://inv/AEFH3P418T |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.4/acceptance, acceptance (concept). In N54F33XE07, index, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Transfer of the top-valued component AEFXWTSRXA
| URI | m2://inv/AEFXWTSRXA |
|---|---|
| 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.27641#UF0O, Transfer of the top-valued component (statement)
History
- 2026-11-01: add by m2/v0.6.15
Weak solution AEFZTDB8VA
| URI | m2://inv/AEFZTDB8VA |
|---|---|
| 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.38031#5RNR, Weak solution (definition). In RYSPG5TWYM/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
Box versus torus AEG2EZ2VPM
| URI | m2://inv/AEG2EZ2VPM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22301#UP7H, Box versus torus (statement)
History
- 2026-11-02: add by m2/v0.6.17
AEGCRYGDVX AEGCRYGDVX
| URI | m2://inv/AEGCRYGDVX |
|---|---|
| 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.26019#VF4T (statement)
History
- 2026-11-01: add by m2/v0.6.15
Location parameter AEH49XA5N4
| URI | m2://inv/AEH49XA5N4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Location parameter, Location parameter (definition). Also Wikidata Q2621185
History
- 2026-11-02: add by m2/dev
AEH6Q6WB2R AEH6Q6WB2R
| URI | m2://inv/AEH6Q6WB2R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#U7AJ (statement). In X47RYAZF8P/e1, lemma 5.14
History
- 2026-10-28: add by m2/v0.4.2
AEHB1HH3XW AEHB1HH3XW
| URI | m2://inv/AEHB1HH3XW |
|---|---|
| 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.17477#A4LB (statement). In 3A92NCWYN3/e1, lemma 1
History
- 2026-10-28: add by m2/v0.4.2
AEHBXCB2WR AEHBXCB2WR
| URI | m2://inv/AEHBXCB2WR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#ex:circle (example). In P1C114YBXG, example, section H
History
- 2026-11-01: add by m2/v0.6.13
Lagrangian intersection Floer homology AEHCBJ65DW
| URI | m2://inv/AEHCBJ65DW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#Y1DO, Lagrangian intersection Floer homology (definition)
History
- 2026-11-02: add by m2/dev
Poincaré conjecture and geometrization AEHD526DWG
| URI | m2://inv/AEHD526DWG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Low-dimensional topology#C4Y4, Poincaré conjecture and geometrization (statement)
History
- 2026-11-02: add by m2/dev
AEHNVBBQWY AEHNVBBQWY
| URI | m2://inv/AEHNVBBQWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28774#FTDX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Solomon Lefschetz AEHZGST3NZ
| URI | m2://inv/AEHZGST3NZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q371942, Solomon Lefschetz (unknown). Also nLab Solomon Lefschetz
- wikipedia: Wikipedia Solomon Lefschetz, Solomon Lefschetz (topic). Also Wikidata Q371942
History
- 2026-10-26: add by m2/dev
Haar wavelet properties AEJ5KMV28G
| URI | m2://inv/AEJ5KMV28G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Haar wavelet#1RDK, Haar wavelet properties (statement)
History
- 2026-11-02: add by m2/dev
conjunctive normal form AEJ8NZ3HRZ
| URI | m2://inv/AEJ8NZ3HRZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#3F5B, conjunctive normal form (definition)
History
- 2026-11-02: add by m2/dev
AEJ8SQFPWT AEJ8SQFPWT
| URI | m2://inv/AEJ8SQFPWT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_basics_exercises.ptx#exercise-2 (exercise). In QKM9DD2H56, exercise, section 4
History
- 2026-11-01: add by m2/v0.6.13
gambler's fallacy AEJ8YCGT9V
| URI | m2://inv/AEJ8YCGT9V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#1SSS, gambler's fallacy (definition)
History
- 2026-11-02: add by m2/dev
Ronald Jensen AEJABGGTBR
| URI | m2://inv/AEJABGGTBR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#0KBB, Ronald Jensen (topic)
History
- 2026-11-02: add by m2/dev
AEJJA7BWB4 AEJJA7BWB4
| URI | m2://inv/AEJJA7BWB4 |
|---|---|
| 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.08424#I7SA (statement). In BVD2HAAKD5/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Amenable group AEJN5S1MQW
| URI | m2://inv/AEJN5S1MQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amenable group, Amenable group (definition). Also Wikidata Q1857002
History
- 2026-11-02: add by m2/dev
Tomoyuki Arakawa AEJY590FQA
| URI | m2://inv/AEJY590FQA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tomoyuki Arakawa, Tomoyuki Arakawa (topic). Also Wikidata Q106548120
History
- 2026-11-02: add by m2/dev
Argument from ignorance AEK12KW3QM
| URI | m2://inv/AEK12KW3QM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#0EWI, Argument from ignorance (definition)
History
- 2026-11-02: add by m2/dev
Whitehead link AEKBFJZ91J
| URI | m2://inv/AEKBFJZ91J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#8WB9, Whitehead link (definition)
History
- 2026-11-02: add by m2/dev
AEKBRH86S1 AEKBRH86S1
| URI | m2://inv/AEKBRH86S1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#MW11 (definition). In M0SQY5EZN5/e1, definition 4.2.7
History
- 2026-10-27: add by m2/v0.3.5
Crelle's Journal AEKEDCDR73
| URI | m2://inv/AEKEDCDR73 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1368270, Crelle's Journal (unknown). Also ProofWiki Book:Journal/Journal_für_die_reine_und_angewandte_Mathematik
- wikipedia: Wikipedia Crelle's Journal, Crelle's Journal (definition). Also Wikidata Q1368270
History
- 2026-10-26: add by m2/dev
AEKEZ8SFPK AEKEZ8SFPK
| URI | m2://inv/AEKEZ8SFPK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#ex:2-out-of-6 (exercise). In N54F33XE07, ex, section 3.9
History
- 2026-11-01: add by m2/v0.6.13
AEKJZ37S9A AEKJZ37S9A
| URI | m2://inv/AEKJZ37S9A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02061#508L (definition). In F5STMSPR6X/e1, definition 3.8
History
- 2026-10-29: add by m2/v0.4.12
Rice–Shapiro theorem AEKPW7C3WD
| URI | m2://inv/AEKPW7C3WD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7323144, Rice–Shapiro theorem (statement). Also Wikidata Q7323144
- thousand_plus: thousand_plus Q7323144, Rice–Shapiro theorem (statement). Also Wikidata Q7323144, Wikipedia Rice–Shapiro theorem
- wikipedia: Wikipedia Rice–Shapiro theorem, Rice–Shapiro theorem (statement). Also Wikidata Q7323144
History
- 2026-10-26: add by m2/dev
AEKSS1ASA9 AEKSS1ASA9
| URI | m2://inv/AEKSS1ASA9 |
|---|---|
| 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.00021#YK4N (statement). In EX42AVA7CV/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
almost all AEKZWNRA55
| URI | m2://inv/AEKZWNRA55 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1397701, almost all (unknown). Also MathWorld AlmostAll
- wikipedia: Wikipedia Almost all, Almost all (definition). Also Wikidata Q1397701
History
- 2026-10-26: add by m2/dev
AEM18Y8ZCZ AEM18Y8ZCZ
| URI | m2://inv/AEM18Y8ZCZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/soundness.tex#cor:consistency-soundness (statement). In PKGMM3P5QY, cor, section 19.2
History
- 2026-11-01: add by m2/v0.6.13
AEM5F36ZAG AEM5F36ZAG
| URI | m2://inv/AEM5F36ZAG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#UKFQ (example). In 1KSE33PVS6/e1, example 46
History
- 2026-10-30: add by m2/v0.4.12
Subbotin targets below the Gaussian threshold AEM98PYSJB
| URI | m2://inv/AEM98PYSJB |
|---|---|
| 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.25380#Q4AL, Subbotin targets below the Gaussian threshold (statement)
History
- 2026-11-01: add by m2/v0.6.15
AEMFM8R0E8 AEMFM8R0E8
| URI | m2://inv/AEMFM8R0E8 |
|---|---|
| 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.24584#7FXD (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples AEMKHA4SQ5
| URI | m2://inv/AEMKHA4SQ5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete graph#TB4J, Examples (example)
History
- 2026-11-02: add by m2/dev
Pure tensor AEMP3919WC
| URI | m2://inv/AEMP3919WC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#M05L, Pure tensor (definition)
History
- 2026-11-02: add by m2/dev
Demographic history of Germany AEMPVVV0R5
| URI | m2://inv/AEMPVVV0R5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Germany#RT2C, Demographic history of Germany (unknown)
History
- 2026-11-02: add by m2/dev
AEMW7MHC6W AEMW7MHC6W
| URI | m2://inv/AEMW7MHC6W |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-70 (exercise). In E9HS8K3A52, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
Pythagorean theorem AEMYZFM70S
| URI | m2://inv/AEMYZFM70S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#M2FM, Pythagorean theorem (statement)
- wikipedia: Wikipedia List of mathematical proofs#ISPE, Pythagorean theorem (statement)
History
- 2026-11-02: add by m2/dev
AEN84JVNVE AEN84JVNVE
| URI | m2://inv/AEN84JVNVE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#J1P2 (definition). In QQFXT31CA5/e1, definition 2.6
History
- 2026-10-28: add by m2/v0.4.3
AENCVRXF38 AENCVRXF38
| URI | m2://inv/AENCVRXF38 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13271#RTBO (statement). In G8ZEBKZY8M/e1, theorem 4.2
History
- 2026-10-28: add by m2/v0.4.2
Statement AENHXJ2D3Y
| URI | m2://inv/AENHXJ2D3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matlis duality#N4W9, Statement (statement)
History
- 2026-11-02: add by m2/dev
The Book of Healing AENKWTAHG7
| URI | m2://inv/AENKWTAHG7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Book of Healing, The Book of Healing (definition). Also Wikidata Q1030940
History
- 2026-11-02: add by m2/dev
Riemann–Roch theorem AENY3CV2VK
| URI | m2://inv/AENY3CV2VK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#BB5K, Riemann–Roch theorem (unknown)
History
- 2026-11-02: add by m2/dev
AEP3S3GB8W AEP3S3GB8W
| URI | m2://inv/AEP3S3GB8W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#9IJ4 (statement). In E7W2HDNEKJ/e1, corollary 9.20
History
- 2026-10-30: add by m2/v0.4.12
Causal inference AEP6YPQ1DE
| URI | m2://inv/AEP6YPQ1DE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal inference, Causal inference (topic). Also Wikidata Q5054566
History
- 2026-11-02: add by m2/dev
AEPA21KAN6 AEPA21KAN6
| URI | m2://inv/AEPA21KAN6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00914#537F (definition). In TQ9CKHBTWN/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.12
Filter AEPF9NTG86
| URI | m2://inv/AEPF9NTG86 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#0D3O, Filter (definition)
History
- 2026-11-02: add by m2/dev
Applications AEPFC5EGMG
| URI | m2://inv/AEPFC5EGMG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daubechies wavelet#PINV, Applications (example)
History
- 2026-11-02: add by m2/dev
Coxcomb diagram AEPW8XYGW2
| URI | m2://inv/AEPW8XYGW2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pie chart#XC8B, Coxcomb diagram (unknown)
History
- 2026-11-02: add by m2/dev
determinant AEQ0VYVNCP
| URI | m2://inv/AEQ0VYVNCP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#ESLY, determinant (definition)
History
- 2026-11-02: add by m2/dev
Period AEQ7GRP1Y4
| URI | m2://inv/AEQ7GRP1Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Period (number theory), Period (definition). Also Wikidata Q2835973
History
- 2026-11-02: add by m2/dev
AEQ8S19X4W AEQ8S19X4W
| URI | m2://inv/AEQ8S19X4W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12565#5WBN (statement). In 9RYQ164FWA/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
Frucht graph AEQER21E4P
| URI | m2://inv/AEQER21E4P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2061755, Frucht graph (unknown). Also House of Graphs 1090, MathWorld FruchtGraph
- wikipedia: Wikipedia Frucht graph, Frucht graph (definition). Also Wikidata Q2061755
History
- 2026-10-26: add by m2/dev
Midpoint AEQK1QTHHT
| URI | m2://inv/AEQK1QTHHT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical properties of points#21G4, Midpoint (definition)
History
- 2026-11-02: add by m2/dev
List of mathematical abbreviations AEQK2E68FR
| URI | m2://inv/AEQK2E68FR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations, List of mathematical abbreviations (topic). Also Wikidata Q4434668
History
- 2026-11-02: add by m2/dev
Georg von Peuerbach AEQZW7X6BS
| URI | m2://inv/AEQZW7X6BS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georg von Peuerbach, Georg von Peuerbach (topic). Also Wikidata Q84289
History
- 2026-11-02: add by m2/dev
AER75221XT AER75221XT
| URI | m2://inv/AER75221XT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18226#HWP3 (example). In B3EHT1FRM5/e1, example 3.9
History
- 2026-10-28: add by m2/v0.4.2
Newton's laws of motion AERAN8F1SY
| URI | m2://inv/AERAN8F1SY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in classical mechanics#H5EU, Newton's laws of motion (statement)
History
- 2026-11-02: add by m2/dev
Louis Narens AERFQGMYKH
| URI | m2://inv/AERFQGMYKH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Narens, Louis Narens (topic). Also Wikidata Q15455698
History
- 2026-11-02: add by m2/dev
Luminița Vese AERQQ20EYT
| URI | m2://inv/AERQQ20EYT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Luminița Vese, Luminița Vese (topic). Also Wikidata Q64010068
History
- 2026-11-02: add by m2/dev
category of elements AERZ42W3G7
| URI | m2://inv/AERZ42W3G7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Category of elements S9EJKKRHW1 |
Mentions
- wikidata: Wikidata Q5051844, category of elements (unknown). Also nLab category of elements
- wikipedia: Wikipedia Category of elements, Category of elements (definition). Also Wikidata Q5051844
History
- 2026-10-26: add by m2/dev
Moore-Penrose inverse AERZJYWK3S
| URI | m2://inv/AERZJYWK3S |
|---|---|
| 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.07064#DUPG, Moore-Penrose inverse (definition). In GPK6W5XQM3/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
An associative affine additive group AERZMQFMW3
| URI | m2://inv/AERZMQFMW3 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#CZB9, An associative affine additive group (example)
History
- 2026-11-01: add by m2/v0.6.15
Ribet's theorem AES01TTTJV
| URI | m2://inv/AES01TTTJV |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7322366, Ribet's theorem (statement). Also Wikidata Q7322366
- thousand_plus: thousand_plus Q7322366, Ribet's theorem (statement). Also Wikidata Q7322366, Wikipedia Ribet's theorem
- wikidata: Wikidata Q7322366, Ribet's theorem (statement). Also MathWorld RibetsTheorem, nLab Ribet's theorem
- wikipedia: Wikipedia Ribet's theorem, Ribet's theorem (statement). Also Wikidata Q7322366
History
- 2026-10-26: add by m2/dev
Helmholtz free energy AES2GYDYHF
| URI | m2://inv/AES2GYDYHF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmholtz free energy, Helmholtz free energy (definition). Also Wikidata Q865821
History
- 2026-11-02: add by m2/dev
AES8H6TT35 AES8H6TT35
| URI | m2://inv/AES8H6TT35 |
|---|---|
| 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.28893#PHGZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Great-circle distance AES8RG3NBH
| URI | m2://inv/AES8RG3NBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#UZGT, Great-circle distance (definition)
History
- 2026-11-02: add by m2/dev
AESBJ4DDWQ AESBJ4DDWQ
| URI | m2://inv/AESBJ4DDWQ |
|---|---|
| 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.04069#3UD6 (statement). In ZA7WXGZYWC/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Examples of homeomorphisms AESF5AAGPQ
| URI | m2://inv/AESF5AAGPQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#example-10, Examples of homeomorphisms (example). In RZP28ERRZV, example, section 100.4
History
- 2026-11-01: add by m2/v0.6.13
AESYHQPGWX AESYHQPGWX
| URI | m2://inv/AESYHQPGWX |
|---|---|
| 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.22964#T9HJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples AET1E1N0BA
| URI | m2://inv/AET1E1N0BA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fully polynomial-time approximation scheme#XN6X, Examples (example)
History
- 2026-11-02: add by m2/dev
Residues $\pm1$, $\pm2$, and $\pm3$ AET36SS038
| URI | m2://inv/AET36SS038 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27153#00MD, Residues $\pm1$, $\pm2$, and $\pm3$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Geant4 AET76Y7FFX
| URI | m2://inv/AET76Y7FFX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#NR1Q, Geant4 (unknown)
History
- 2026-11-02: add by m2/dev
AET8J5KAWD AET8J5KAWD
| URI | m2://inv/AET8J5KAWD |
|---|---|
| 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 2609.33313#EEZW (statement). In HRCEFY172P/e1, proposition 2.11
History
- 2026-10-30: add by m2/v0.4.12
Definitions AETD8M1BCK
| URI | m2://inv/AETD8M1BCK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Genetic map function#I0YI, Definitions (definition)
History
- 2026-11-02: add by m2/dev
AETE3PYR7W AETE3PYR7W
| URI | m2://inv/AETE3PYR7W |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#DEDX (example). In 2W5Z97BBW4/e1, example 3.13
History
- 2026-10-27: add by m2/v0.4.0
Insertional decomposition AETJSF6ZYD
| URI | m2://inv/AETJSF6ZYD |
|---|---|
| Kind | definition |
| 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.14615#3NXV, Insertional decomposition (definition). In 7D5MMP8XB5/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
AETY5NP6S6 AETY5NP6S6
| URI | m2://inv/AETY5NP6S6 |
|---|---|
| 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.33820#YTFQ (statement). In S2ZMJENDHA/e1, proposition 3.2
History
- 2026-10-30: add by m2/v0.4.12
AETZHPPWFA AETZHPPWFA
| URI | m2://inv/AETZHPPWFA |
|---|---|
| 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.13962#45Y0 (statement). In 7NP5QKECVA/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
Bäcklund transform AETZTYV6KK
| URI | m2://inv/AETZTYV6KK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of transforms#AISQ, Bäcklund transform (definition)
- wikipedia: Wikipedia List of partial differential equation topics#J286, Bäcklund transform (definition)
History
- 2026-11-02: add by m2/dev
Properties AEV0X94XNK
| URI | m2://inv/AEV0X94XNK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial inverse of a matrix#PH69, Properties (statement)
History
- 2026-11-02: add by m2/dev
Properties AEV19HHBXT
| URI | m2://inv/AEV19HHBXT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolstenholme prime#BC4H, Properties (statement)
History
- 2026-11-02: add by m2/dev
non-strict order AEV685HKMD
| URI | m2://inv/AEV685HKMD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/non-strict-order, non-strict order (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
Properties of the Carmichael function AEV7S9MMF9
| URI | m2://inv/AEV7S9MMF9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carmichael function#B8JU, Properties of the Carmichael function (statement)
History
- 2026-11-02: add by m2/dev
Sofic models give devices AEV8CGDESW
| URI | m2://inv/AEV8CGDESW |
|---|---|
| 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.04271#XN45, Sofic models give devices (statement). In WBXAW9G4JB/e1, proposition 12.1
History
- 2026-10-29: add by m2/v0.4.12
Selberg's conjectures AEV8N9KJ66
| URI | m2://inv/AEV8N9KJ66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selberg class#7Z6B, Selberg's conjectures (statement)
History
- 2026-11-02: add by m2/dev
AEVNXSECGN AEVNXSECGN
| URI | m2://inv/AEVNXSECGN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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.11800#IRFM (statement). In 8TSZ2E32K3/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.3
Applications AEVRT4FSZ0
| URI | m2://inv/AEVRT4FSZ0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy–Littlewood maximal function#G5J9, Applications (example)
History
- 2026-11-02: add by m2/dev
Complete failure AEVYRTFHTT
| URI | m2://inv/AEVYRTFHTT |
|---|---|
| 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.07214#MH0J, Complete failure (definition). In 669PBFJX0Z/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
W. Hugh Woodin AEVYSBV0TZ
| URI | m2://inv/AEVYSBV0TZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W. Hugh Woodin, W. Hugh Woodin (topic). Also Wikidata Q1389897
History
- 2026-11-02: add by m2/dev
Five color theorem AEW6P6E8J3
| URI | m2://inv/AEW6P6E8J3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#206H, Five color theorem (statement)
History
- 2026-11-02: add by m2/dev
Table of Newtonian series AEWA7986K7
| URI | m2://inv/AEWA7986K7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Table of Newtonian series, Table of Newtonian series (definition). Also Wikidata Q7673219
History
- 2026-11-02: add by m2/dev
AEWMY18CZR AEWMY18CZR
| URI | m2://inv/AEWMY18CZR |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21976#O86U (unknown)
History
- 2026-11-02: add by m2/v0.6.17
AEWRYCSMC5 AEWRYCSMC5
| URI | m2://inv/AEWRYCSMC5 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 37-XX, 57-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.19787#64DZ (problem). In A4VP56CT7B/e1, problem 7.12
History
- 2026-10-28: add by m2/v0.4.2
type, family of AEX01JPC0P
| URI | m2://inv/AEX01JPC0P |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.8/type-family-of, type, family of (concept). In N54F33XE07, index, section A.8
History
- 2026-11-01: add by m2/v0.6.13
AEX7BQ4PVT AEX7BQ4PVT
| URI | m2://inv/AEX7BQ4PVT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#V9V6 (definition)
History
- 2026-11-01: add by m2/v0.6.15
AEXRTVRPXS AEXRTVRPXS
| URI | m2://inv/AEXRTVRPXS |
|---|---|
| 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.20915#1PXT (statement). In 5M1SXP75D9/e1, corollary 5.3
History
- 2026-10-27: add by m2/v0.4.2
Broader Ryser and Lander conjectures AEXYCG1Q12
| URI | m2://inv/AEXYCG1Q12 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ryser's conjecture on circulant Hadamard matrices#XT40, Broader Ryser and Lander conjectures (statement)
History
- 2026-11-02: add by m2/dev
Enzo Martinelli AEY228783Q
| URI | m2://inv/AEY228783Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enzo Martinelli, Enzo Martinelli (topic). Also Wikidata Q5381512
History
- 2026-11-02: add by m2/dev
AEY24BGGNG AEY24BGGNG
| URI | m2://inv/AEY24BGGNG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11021#P41A (statement). In R0SSJZYVTJ/e1, corollary 2.5
History
- 2026-10-28: add by m2/v0.4.3
Terminology AEY9FX5PPG
| URI | m2://inv/AEY9FX5PPG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subspace topology#CYNV, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Solovay–Kitaev theorem AEYBYXZ9KD
| URI | m2://inv/AEYBYXZ9KD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solovay–Kitaev theorem, Solovay–Kitaev theorem (statement). Also Wikidata Q48999814
History
- 2026-11-02: add by m2/dev
Examples AEYEMPY9YH
| URI | m2://inv/AEYEMPY9YH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual lattice#J50B, Examples (example)
History
- 2026-11-02: add by m2/dev
AEYH945C3Y AEYH945C3Y
| URI | m2://inv/AEYH945C3Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#I6ZT (definition). In 7V2PVZS04C/e1, definition 2.8
History
- 2026-10-31: add by m2/v0.5.6
Kneser neighborhood graph AEYHS95MWX
| URI | m2://inv/AEYHS95MWX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Niemeier lattice#KTZX, Kneser neighborhood graph (unknown)
History
- 2026-11-02: add by m2/dev
Applications AEYKXAWXCV
| URI | m2://inv/AEYKXAWXCV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Beta skeleton#85UV, Applications (example)
History
- 2026-11-02: add by m2/dev
AEYMKF8SEJ AEYMKF8SEJ
| URI | m2://inv/AEYMKF8SEJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-reduction.tex#thm:refl (statement). In PKGMM3P5QY, thm, section 36.3
History
- 2026-11-01: add by m2/v0.6.13
AEYNA3BWH0 AEYNA3BWH0
| URI | m2://inv/AEYNA3BWH0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-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.20410#QN9U (statement)
History
- 2026-11-02: add by m2/v0.6.18
Menachem Magidor AEYP1KFRC8
| URI | m2://inv/AEYP1KFRC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#AEQS, Menachem Magidor (topic)
History
- 2026-11-02: add by m2/dev
List coloring conjecture AEYV2NZM2P
| URI | m2://inv/AEYV2NZM2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#KGAA, List coloring conjecture (definition)
History
- 2026-11-02: add by m2/dev
AEZ1FR8PG1 AEZ1FR8PG1
| URI | m2://inv/AEZ1FR8PG1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-intro.ptx#example-3 (example). In Y91XFCEVHQ, example, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
AEZ6TN3YJ6 AEZ6TN3YJ6
| URI | m2://inv/AEZ6TN3YJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#ZB3V (statement)
History
- 2026-11-01: add by m2/v0.6.15
annulus AEZ978DFA3
| URI | m2://inv/AEZ978DFA3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#R0E6, annulus (definition)
History
- 2026-11-02: add by m2/dev
AEZMGVGBSG AEZMGVGBSG
| URI | m2://inv/AEZMGVGBSG |
|---|---|
| Kind | definition |
| 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.27741#SNU8 (definition)
History
- 2026-11-01: add by m2/v0.6.15
AEZWGVRHBF AEZWGVRHBF
| URI | m2://inv/AEZWGVRHBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32090#DQUG (statement). In HJWWFBA63D/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
Ozyorsk AEZWR71WCN
| URI | m2://inv/AEZWR71WCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#IN08, Ozyorsk (unknown)
History
- 2026-11-02: add by m2/dev