Inventory rows EZ
The cards of the rows of the inventory whose ids start with EZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
EZ030ETK60 EZ030ETK60
| URI | m2://inv/EZ030ETK60 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-69 (exercise). In E9HS8K3A52, exercise, section 7.5.1
History
- 2026-11-01: add by m2/v0.6.13
Ian R. Porteous EZ044XBMCT
| URI | m2://inv/EZ044XBMCT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ian R. Porteous, Ian R. Porteous (topic). Also Wikidata Q10564970
History
- 2026-11-02: add by m2/dev
EZ06T0Y6NW EZ06T0Y6NW
| URI | m2://inv/EZ06T0Y6NW |
|---|---|
| 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.34551#F137 (statement). In 3AF7G56AGE/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
EZ06WJQ69D EZ06WJQ69D
| URI | m2://inv/EZ06WJQ69D |
|---|---|
| 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.06463#I42U (statement). In 3WWY9K1K9V/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
EZ08BDABV4 EZ08BDABV4
| URI | m2://inv/EZ08BDABV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2609.33856#Y9BK (statement). In 47WN78VDDF/e1, corollary 3.19
History
- 2026-10-30: add by m2/v0.4.12
Paul Mahlo EZ08T4PXW1
| URI | m2://inv/EZ08T4PXW1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paul Mahlo, Paul Mahlo (topic). Also Wikidata Q111668
History
- 2026-11-02: add by m2/dev
EZ0DD5K5ZE EZ0DD5K5ZE
| URI | m2://inv/EZ0DD5K5ZE |
|---|---|
| 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.15242#ZJXX (statement). In 5NPFKE984E/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
EZ0DZ2BJQ0 EZ0DZ2BJQ0
| URI | m2://inv/EZ0DZ2BJQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12479#BFGH (statement). In WE001PR75Z/e1, proposition 30
History
- 2026-10-28: add by m2/v0.4.2
Vladimir Arnold EZ0FEXZAJF
| URI | m2://inv/EZ0FEXZAJF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#3R1H, Vladimir Arnold (topic)
History
- 2026-11-02: add by m2/dev
Main theorem EZ0G2BVBVD
| URI | m2://inv/EZ0G2BVBVD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrature of the Parabola#7NC2, Main theorem (statement)
History
- 2026-11-02: add by m2/dev
Čech-to-derived functor spectral sequence EZ0PMYKC2H
| URI | m2://inv/EZ0PMYKC2H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Čech-to-derived functor spectral sequence, Čech-to-derived functor spectral sequence (definition). Also Wikidata Q8079690
History
- 2026-11-02: add by m2/dev
Commutative property EZ0RR6PTFH
| URI | m2://inv/EZ0RR6PTFH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Commutative property#3ZHH, Commutative property (statement)
History
- 2026-11-02: add by m2/dev
Hodge–Tate module EZ17BBRXZE
| URI | m2://inv/EZ17BBRXZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after W. V. D. Hodge#6NM9, Hodge–Tate module (definition)
History
- 2026-11-02: add by m2/dev
Frobenius theorem EZ17Z7PH7A
| URI | m2://inv/EZ17Z7PH7A |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q837551, Frobenius theorem (differential topology) (statement). Also Wikidata Q837551
- thousand_plus: thousand_plus Q837551, Frobenius theorem (statement). Also Wikidata Q837551, Wikipedia Frobenius theorem (differential topology)
- wikipedia: Wikipedia Frobenius theorem (differential topology), Frobenius theorem (statement). Also Wikidata Q837551
History
- 2026-10-26: add by m2/dev
modification EZ18TBVA2P
| URI | m2://inv/EZ18TBVA2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#SY1X, modification (definition)
History
- 2026-11-02: add by m2/dev
specificity EZ1QB28H1H
| URI | m2://inv/EZ1QB28H1H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3494375, specificity (unknown). Also MathWorld Specificity
History
- 2026-10-26: add by m2/dev
EZ25MA23QK EZ25MA23QK
| URI | m2://inv/EZ25MA23QK |
|---|---|
| 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.23258#36P2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Convex Polytopes EZ2BNDXRYE
| URI | m2://inv/EZ2BNDXRYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex Polytopes, Convex Polytopes (definition). Also Wikidata Q104852926
History
- 2026-11-02: add by m2/dev
Lanczos convergence in terms of starting vector EZ2C8VJ7C6
| URI | m2://inv/EZ2C8VJ7C6 |
|---|---|
| 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.14620#E3PS, Lanczos convergence in terms of starting vector (statement). In B7ZR6RMWX8/e1, theorem 2
History
- 2026-10-28: add by m2/v0.4.2
synthetic geometry EZ2FV39C3M
| URI | m2://inv/EZ2FV39C3M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Synthetic geometry VY6ZCZY8DA |
Mentions
- wikidata: Wikidata Q249148, synthetic geometry (topic). Also nLab synthetic geometry
- wikipedia: Wikipedia Synthetic geometry, Synthetic geometry (definition). Also Wikidata Q249148
History
- 2026-10-26: add by m2/dev
EZ2GB709RT EZ2GB709RT
| URI | m2://inv/EZ2GB709RT |
|---|---|
| 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.14681#RMLG (statement). In 459W0NBS5Q/e1, theorem 17
History
- 2026-10-28: add by m2/v0.4.2
Proportional reduction in loss EZ2M47M3R1
| URI | m2://inv/EZ2M47M3R1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proportional reduction in loss, Proportional reduction in loss (definition). Also Wikidata Q7250357
History
- 2026-11-02: add by m2/dev
EZ2QT5EGPQ EZ2QT5EGPQ
| URI | m2://inv/EZ2QT5EGPQ |
|---|---|
| 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 2609.22759#RMF3 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Smoothing problem EZ2VSV9KEQ
| URI | m2://inv/EZ2VSV9KEQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smoothing problem (stochastic processes), Smoothing problem (problem). Also Wikidata Q30601854
History
- 2026-11-02: add by m2/dev
Graded matrix approximation EZ301XD7V8
| URI | m2://inv/EZ301XD7V8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29565#HBBR, Graded matrix approximation (statement)
History
- 2026-11-01: add by m2/v0.6.15
Itay Neeman EZ37FF6NCJ
| URI | m2://inv/EZ37FF6NCJ |
|---|---|
| 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#NIJ2, Itay Neeman (topic)
History
- 2026-11-02: add by m2/dev
EZ3A1XP3H3 EZ3A1XP3H3
| URI | m2://inv/EZ3A1XP3H3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:dagger-category (definition). In N54F33XE07, defn, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
EZ3KHAHGYF EZ3KHAHGYF
| URI | m2://inv/EZ3KHAHGYF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36181#CVL6 (statement). In 1KSE33PVS6/e1, theorem 75
History
- 2026-10-30: add by m2/v0.4.12
Collaborative Problem-Solving Groups EZ3M5F8WMX
| URI | m2://inv/EZ3M5F8WMX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem solving#Y1E1, Collaborative Problem-Solving Groups (unknown)
History
- 2026-11-02: add by m2/dev
EZ3ZZAVZMR EZ3ZZAVZMR
| URI | m2://inv/EZ3ZZAVZMR |
|---|---|
| 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.39103#AVUX (statement). In VGB0N93ES8/e1, corollary 1
History
- 2026-10-30: add by m2/v0.4.12
10th of Ramadan EZ40YBPE7C
| URI | m2://inv/EZ40YBPE7C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GEMH, 10th of Ramadan (unknown)
History
- 2026-11-02: add by m2/dev
Characterization of topological order EZ45X0GGK5
| URI | m2://inv/EZ45X0GGK5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological order#SZGD, Characterization of topological order (statement)
History
- 2026-11-02: add by m2/dev
List of coordinate charts EZ4ASQKFDS
| URI | m2://inv/EZ4ASQKFDS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of coordinate charts, List of coordinate charts (topic). Also Wikidata Q6613669
History
- 2026-11-02: add by m2/dev
EZ4E1MW51S EZ4E1MW51S
| URI | m2://inv/EZ4E1MW51S |
|---|---|
| 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 2610.02079#U899 (statement). In CNS2J2E4T2/e1, proposition 14
History
- 2026-10-29: add by m2/v0.4.12
Siegel zero EZ4JPMBAYD
| URI | m2://inv/EZ4JPMBAYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#C4F4, Siegel zero (definition)
History
- 2026-11-02: add by m2/dev
EZ4KCYYHCE EZ4KCYYHCE
| URI | m2://inv/EZ4KCYYHCE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 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.21960#KFM4 (definition). In QX77AN49J0/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
EZ4SKJ1GC1 EZ4SKJ1GC1
| URI | m2://inv/EZ4SKJ1GC1 |
|---|---|
| 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.37265#HC9J (statement). In BKYAWEC5XH/e1, theorem 4.5
History
- 2026-10-30: add by m2/v0.4.12
EZ4ZFP2TQX EZ4ZFP2TQX
| URI | m2://inv/EZ4ZFP2TQX |
|---|---|
| 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 2609.29759#7SSR (definition)
History
- 2026-11-01: add by m2/v0.6.15
Total correlation EZ50C0XYSQ
| URI | m2://inv/EZ50C0XYSQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#Q24J, Total correlation (definition)
History
- 2026-11-02: add by m2/dev
EZ54TMCBVM EZ54TMCBVM
| URI | m2://inv/EZ54TMCBVM |
|---|---|
| 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 2407.05730#GX15 (statement). In VQ7STN4KDC/e1, theorem 1.8
History
- 2026-10-27: add by m2/v0.3.5
Cryptocurrency EZ57F6XM4S
| URI | m2://inv/EZ57F6XM4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptocurrency, Cryptocurrency (definition). Also Wikidata Q13479982
History
- 2026-11-02: add by m2/dev
Calvin C. Moore EZ5GA5MWCN
| URI | m2://inv/EZ5GA5MWCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#MK6C, Calvin C. Moore (unknown)
History
- 2026-11-02: add by m2/dev
EZ5J5R22W8 EZ5J5R22W8
| URI | m2://inv/EZ5J5R22W8 |
|---|---|
| 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.04876#NPHU (statement). In 2TNAKVC0YP/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
EZ5JNP51B7 EZ5JNP51B7
| URI | m2://inv/EZ5JNP51B7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21005#EC6K (statement). In E63NRC7MBE/e1, theorem 2.21
History
- 2026-10-27: add by m2/v0.4.2
Peirce decomposition EZ5JR5B3T5
| URI | m2://inv/EZ5JR5B3T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Peirce decomposition B5GKNHH2SX |
Mentions
- wikidata: Wikidata Q7160950, Peirce decomposition (unknown). Also MathWorld PeirceDecomposition
- wikipedia: Wikipedia Peirce decomposition, Peirce decomposition (definition). Also Wikidata Q7160950
History
- 2026-10-26: add by m2/dev
EZ5VG28Y71 EZ5VG28Y71
| URI | m2://inv/EZ5VG28Y71 |
|---|---|
| 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#5VOP (statement). In BYAANB1NG0/e1, lemma 6.2
History
- 2026-10-27: add by m2/v0.3.5
Examples EZ5W33SNBR
| URI | m2://inv/EZ5W33SNBR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Petkovšek's algorithm#W4WX, Examples (example)
History
- 2026-11-02: add by m2/dev
EZ5YB2TPQB EZ5YB2TPQB
| URI | m2://inv/EZ5YB2TPQB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#JDDX (statement). In 5350Q52F6P/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Closed positive dynamics EZ64W22C0A
| URI | m2://inv/EZ64W22C0A |
|---|---|
| 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#NPX5, Closed positive dynamics (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stress majorization EZ6878CBHN
| URI | m2://inv/EZ6878CBHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress majorization, Stress majorization (definition). Also Wikidata Q7623444
History
- 2026-11-02: add by m2/dev
Reverse mathematics EZ6F4ZZZQP
| URI | m2://inv/EZ6F4ZZZQP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#2K3P, Reverse mathematics (topic)
History
- 2026-11-02: add by m2/dev
EZ6GCWRSQW EZ6GCWRSQW
| URI | m2://inv/EZ6GCWRSQW |
|---|---|
| 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 1903.07030#S39X (definition). In 9H45HQE7AZ/e1, definition 2.26
History
- 2026-10-27: add by m2/v0.3.5
Formulation EZ6XH7791S
| URI | m2://inv/EZ6XH7791S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M. Riesz extension theorem#OWUO, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Virtual knot EZ73AA437X
| URI | m2://inv/EZ73AA437X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#C5WU, Virtual knot (definition)
History
- 2026-11-02: add by m2/dev
power set EZ77QB9XMY
| URI | m2://inv/EZ77QB9XMY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/power-set, power set (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
EZ79J3VQS5 EZ79J3VQS5
| URI | m2://inv/EZ79J3VQS5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02689#7MY7 (statement). In 7BWXR38MNE/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Paul Painlevé EZ79WA3Z14
| URI | m2://inv/EZ79WA3Z14 |
|---|---|
| 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#FUO6, Paul Painlevé (topic)
History
- 2026-11-02: add by m2/dev
EZ7M3G8KDG EZ7M3G8KDG
| URI | m2://inv/EZ7M3G8KDG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20717#0KY5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Methods EZ7S0TJVDA
| URI | m2://inv/EZ7S0TJVDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential effects#848T, Methods (definition)
History
- 2026-11-02: add by m2/dev
Quasispecies model EZ8571T54Z
| URI | m2://inv/EZ8571T54Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasispecies model, Quasispecies model (definition). Also Wikidata Q456225
History
- 2026-11-02: add by m2/dev
Propagation of uncertainty EZ85YDZX42
| URI | m2://inv/EZ85YDZX42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propagation of uncertainty, Propagation of uncertainty (definition). Also Wikidata Q1364905
History
- 2026-11-02: add by m2/dev
Misinterpreted-effort hypothesis EZ86EEM5Q8
| URI | m2://inv/EZ86EEM5Q8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#C9GT, Misinterpreted-effort hypothesis (unknown)
History
- 2026-11-02: add by m2/dev
Artin–Schreier theorem EZ892Y3WVH
| URI | m2://inv/EZ892Y3WVH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Emil Artin#FB7Y, Artin–Schreier theorem (topic)
History
- 2026-11-02: add by m2/dev
Stochastic Analysis and Applications EZ8ABVJNW7
| URI | m2://inv/EZ8ABVJNW7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability journals#2133, Stochastic Analysis and Applications (unknown)
History
- 2026-11-02: add by m2/dev
Examples EZ8AQRJ0QG
| URI | m2://inv/EZ8AQRJ0QG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basketball statistics#PFYS, Examples (example)
History
- 2026-11-02: add by m2/dev
type, circle EZ8E9KVSQ3
| URI | m2://inv/EZ8E9KVSQ3 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.1/type-circle, type, circle (concept). In N54F33XE07, index, section 5.1
History
- 2026-11-01: add by m2/v0.6.13
EZ8M40SPYK EZ8M40SPYK
| URI | m2://inv/EZ8M40SPYK |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/translation-N2i.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 58.5
History
- 2026-11-01: add by m2/v0.6.13
EZ8MD55MMV EZ8MD55MMV
| URI | m2://inv/EZ8MD55MMV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14380#R6QG (definition). In 2ZRQP063HP/e1, definition 2.7
History
- 2026-10-28: add by m2/v0.4.2
EZ8MJDCWQC EZ8MJDCWQC
| URI | m2://inv/EZ8MJDCWQC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22317#NGPU (statement). In 2W5Z97BBW4/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.4.0
Definitions EZ8RFDFBQT
| URI | m2://inv/EZ8RFDFBQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order of a kernel#J00E, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Kappa calculus EZ8XF2TVDE
| URI | m2://inv/EZ8XF2TVDE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kappa calculus, Kappa calculus (definition). Also Wikidata Q17092977
History
- 2026-11-02: add by m2/dev
EZ8XQDRF6G EZ8XQDRF6G
| URI | m2://inv/EZ8XQDRF6G |
|---|---|
| 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.06463#HKXR (statement). In 3WWY9K1K9V/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
Hexadecimal EZ8Z0E48T3
| URI | m2://inv/EZ8Z0E48T3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#2P3O, Hexadecimal (definition)
History
- 2026-11-02: add by m2/dev
Ciprian Manolescu EZ92D592B8
| URI | m2://inv/EZ92D592B8 |
|---|---|
| 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#XAPQ, Ciprian Manolescu (topic)
History
- 2026-11-02: add by m2/dev
dependent variable EZ92XQK0ZS
| URI | m2://inv/EZ92XQK0ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9391534, dependent variable (definition). Also MathWorld DependentVariable, ProofWiki Definition:Dependent_Variable
History
- 2026-10-26: add by m2/dev
Properties EZ96DHW1QS
| URI | m2://inv/EZ96DHW1QS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular lattice#C7VJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
EZ9DJHJCTA EZ9DJHJCTA
| URI | m2://inv/EZ9DJHJCTA |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-17 (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
EZ9FPX6RA2 EZ9FPX6RA2
| URI | m2://inv/EZ9FPX6RA2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2009.11127#I8CY (statement). In QEFS0Y021A/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
EZ9H4K6MG6 EZ9H4K6MG6
| URI | m2://inv/EZ9H4K6MG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.06338#MN50 (statement). In W1VVK7WDPK/e1, theorem 4.5
History
- 2026-10-27: add by m2/v0.4.0
EZ9KHZ3947 EZ9KHZ3947
| URI | m2://inv/EZ9KHZ3947 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 5.7
History
- 2026-11-01: add by m2/v0.6.13
Information Projection Principle EZ9MWN8CR4
| URI | m2://inv/EZ9MWN8CR4 |
|---|---|
| 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.23994#Y79N, Information Projection Principle (statement)
History
- 2026-11-02: add by m2/v0.6.17
Knightian uncertainty EZ9Y0YM1VP
| URI | m2://inv/EZ9Y0YM1VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#5CAT, Knightian uncertainty (definition)
History
- 2026-11-02: add by m2/dev
EZACVSMEAA EZACVSMEAA
| URI | m2://inv/EZACVSMEAA |
|---|---|
| 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.26434#6DXO (statement)
History
- 2026-11-01: add by m2/v0.6.15
High-rate optimality of GRM for scalar GMMs EZAE0BMDKV
| URI | m2://inv/EZAE0BMDKV |
|---|---|
| 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.15549#8R25, High-rate optimality of GRM for scalar GMMs (statement). In S96K5CR1B7/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
EZAMAF7PR5 EZAMAF7PR5
| URI | m2://inv/EZAMAF7PR5 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 13-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.10925#FMJD (problem). In 9604WYX0BW/e1, problem 3.1
History
- 2026-10-28: add by m2/v0.4.3
Boundary Family EZARY5APCN
| URI | m2://inv/EZARY5APCN |
|---|---|
| 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 2610.02495#D7T8, Boundary Family (statement). In T4S7XVAJJC/e1, proposition 8.3
History
- 2026-10-29: add by m2/v0.4.12
EZAY80S3WM EZAY80S3WM
| URI | m2://inv/EZAY80S3WM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.25000#YMGK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties EZB1A4WKCJ
| URI | m2://inv/EZB1A4WKCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale cohomology#NU7S, Properties (statement)
History
- 2026-11-02: add by m2/dev
alternating multilinear form EZB4S7R8ZS
| URI | m2://inv/EZB4S7R8ZS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3077468, alternating multilinear form (unknown). Also MathWorld AlternatingMultilinearForm
History
- 2026-10-26: add by m2/dev
Real tree EZB6WZY662
| URI | m2://inv/EZB6WZY662 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#1KIO, Real tree (definition)
History
- 2026-11-02: add by m2/dev
Rehuel Lobatto EZC5423963
| URI | m2://inv/EZC5423963 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#TNBV, Rehuel Lobatto (topic)
History
- 2026-11-02: add by m2/dev
Rectified 120-cell EZC8QJWBBA
| URI | m2://inv/EZC8QJWBBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#TVKC, Rectified 120-cell (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#QHKJ, Rectified 120-cell (definition)
History
- 2026-11-02: add by m2/dev
Pareto interpolation EZC9S2NCB2
| URI | m2://inv/EZC9S2NCB2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#PIVP, Pareto interpolation (definition)
History
- 2026-11-02: add by m2/dev
Alperin–Brauer–Gorenstein theorem EZCCHA3W66
| URI | m2://inv/EZCCHA3W66 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4734844, Alperin–Brauer–Gorenstein theorem (statement). Also Wikidata Q4734844
- thousand_plus: thousand_plus Q4734844, Alperin–Brauer–Gorenstein theorem (statement). Also Wikidata Q4734844, Wikipedia Alperin–Brauer–Gorenstein theorem
- wikipedia: Wikipedia Alperin–Brauer–Gorenstein theorem, Alperin–Brauer–Gorenstein theorem (statement). Also Wikidata Q4734844
History
- 2026-10-26: add by m2/dev
Prediction of the entire private output EZCPFJAW79
| URI | m2://inv/EZCPFJAW79 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#IHB8, Prediction of the entire private output (statement). In 9YAE8FNQST/e1, corollary 28.17
History
- 2026-10-30: add by m2/v0.4.12
Wald's equation EZCWD71NQA
| URI | m2://inv/EZCWD71NQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Wald's equation CTDG4MZC8D |
Mentions
- wikidata: Wikidata Q937458, Wald's equation (statement). Also EoM Wald_identity, MathWorld WaldsEquation
- wikipedia: Wikipedia Wald's equation, Wald's equation (definition). Also Wikidata Q937458
History
- 2026-10-26: add by m2/dev
Applications EZCYPMPQH7
| URI | m2://inv/EZCYPMPQH7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hemicompact space#9TA1, Applications (example)
History
- 2026-11-02: add by m2/dev
EZD2J0VE7H EZD2J0VE7H
| URI | m2://inv/EZD2J0VE7H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/categories.tex#prob:associative_product (exercise). In RZP28ERRZV, problem, section 36.5
History
- 2026-11-01: add by m2/v0.6.13
EZD2Q29022 EZD2Q29022
| URI | m2://inv/EZD2Q29022 |
|---|---|
| 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.11455#DHSY (statement). In Z1EBVH5SP1/e1, proposition 9.2
History
- 2026-10-28: add by m2/v0.4.3
EZD6BKKESM EZD6BKKESM
| URI | m2://inv/EZD6BKKESM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35027#LRH6 (example). In MEA7NHMQKB/e1, example 2.3
History
- 2026-10-30: add by m2/v0.4.12
R\'enyi Differential Privacy (RDP EZD6Z919P5
| URI | m2://inv/EZD6Z919P5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19573#BF5F, R\'enyi Differential Privacy (RDP (definition). In NM6Z2R61CN/e1, definition 3
History
- 2026-10-28: add by m2/v0.4.2
Definition of the Mumford–Shah functional EZD9HV1TAM
| URI | m2://inv/EZD9HV1TAM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mumford–Shah functional#IOVT, Definition of the Mumford–Shah functional (definition)
History
- 2026-11-02: add by m2/dev
EZDEEY7YA3 EZDEEY7YA3
| URI | m2://inv/EZDEEY7YA3 |
|---|---|
| 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 2609.37706#62D9 (statement). In 6YY27KRJFN/e1, proposition 4.6
History
- 2026-10-30: add by m2/v0.4.12
Günter Hotz EZDEZMAMAE
| URI | m2://inv/EZDEZMAMAE |
|---|---|
| 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 Q76308, Günter Hotz (unknown). Also nLab Günter Hotz
History
- 2026-10-26: add by m2/dev
EZDHX33ZEV EZDHX33ZEV
| URI | m2://inv/EZDHX33ZEV |
|---|---|
| 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 2508.17135#D1H7 (statement). In 74MXJ2RX4B/e1, corollary 4.5
History
- 2026-10-27: add by m2/v0.3.5
Fourier integral theorem EZDXHHB03Y
| URI | m2://inv/EZDXHHB03Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fourier inversion theorem#C0HL, Fourier integral theorem (statement)
History
- 2026-11-02: add by m2/dev
EZDYZBDP83 EZDYZBDP83
| URI | m2://inv/EZDYZBDP83 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34193#PNME (statement). In 9XMZTTSF5E/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
EZE00QWCGC EZE00QWCGC
| URI | m2://inv/EZE00QWCGC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 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.21960#8AK7 (statement). In QX77AN49J0/e1, proposition 5.11
History
- 2026-10-27: add by m2/v0.4.2
Examples EZE8006APY
| URI | m2://inv/EZE8006APY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pairing function#S2S5, Examples (example)
History
- 2026-11-02: add by m2/dev
global class field theory EZEK36ATJQ
| URI | m2://inv/EZEK36ATJQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11R37 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140442241, global class field theory (topic)
History
- 2026-10-26: add by m2/dev
Kraft's inequality EZET52WKT2
| URI | m2://inv/EZET52WKT2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#KXG1, Kraft's inequality (statement)
History
- 2026-11-02: add by m2/dev
EZEZ8YT0TJ EZEZ8YT0TJ
| URI | m2://inv/EZEZ8YT0TJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40028#BUI7 (statement). In N8TDKGGC7S/e1, proposition 3.8
History
- 2026-10-30: add by m2/v0.4.12
absolutely integrable function EZFMCTSP0R
| URI | m2://inv/EZFMCTSP0R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25110568, absolutely integrable function (unknown). Also EoM Absolutely_integrable_function
History
- 2026-10-26: add by m2/dev
Garfield's proof of the Pythagorean theorem EZFP6ABY6V
| URI | m2://inv/EZFP6ABY6V |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Garfield's proof of the Pythagorean theorem, Garfield's proof of the Pythagorean theorem (statement). Also Wikidata Q852568
History
- 2026-11-02: add by m2/dev
Joan Lasenby EZFWYZ4C5H
| URI | m2://inv/EZFWYZ4C5H |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joan Lasenby, Joan Lasenby (topic). Also Wikidata Q131826341
History
- 2026-11-02: add by m2/dev
simple graph EZG02H75ZX
| URI | m2://inv/EZG02H75ZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15838309, simple graph (definition). Also MathWorld SimpleGraph, ProofWiki Definition:Simple_Graph
History
- 2026-10-26: add by m2/dev
Alfred van der Poorten EZG7A43ACX
| URI | m2://inv/EZG7A43ACX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#9X1E, Alfred van der Poorten (unknown)
History
- 2026-11-02: add by m2/dev
Robert J. T. Bell EZGCZ4ZN6N
| URI | m2://inv/EZGCZ4ZN6N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert J. T. Bell, Robert J. T. Bell (topic). Also Wikidata Q7345985
History
- 2026-11-02: add by m2/dev
Probability-radius calculus EZGETJBS6M
| URI | m2://inv/EZGETJBS6M |
|---|---|
| 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.40338#YP58, Probability-radius calculus (statement). In K5H6GS0SGQ/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Length two EZGMA8F3GJ
| URI | m2://inv/EZGMA8F3GJ |
|---|---|
| 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.04214#JVA2, Length two (example). In HWY7AQ4KT2/e1, example 4.5
History
- 2026-10-29: add by m2/v0.4.12
EZGN5R99Q3 EZGN5R99Q3
| URI | m2://inv/EZGN5R99Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16877#XC5I (statement). In YY4KFNMPC0/e1, theorem 6.2
History
- 2026-10-28: add by m2/v0.4.2
diagonal matrix EZGPZWYDK2
| URI | m2://inv/EZGPZWYDK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Diagonal matrix 044JNC7ZAA |
Mentions
- wikidata: Wikidata Q332791, diagonal matrix (definition). Also EoM Diagonal_matrix, MathWorld DiagonalMatrix, ProofWiki Definition:Diagonal_Matrix
- wikipedia: Wikipedia Diagonal matrix, Diagonal matrix (definition). Also Wikidata Q332791
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
EZGRZPC6KJ EZGRZPC6KJ
| URI | m2://inv/EZGRZPC6KJ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09694#5J68 (example). In 7VXBVQ5SAC/e1, example 3.8
History
- 2026-10-29: add by m2/v0.4.10
Howell Peregrine EZH9QRMMT0
| URI | m2://inv/EZH9QRMMT0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Howell Peregrine, Howell Peregrine (topic). Also Wikidata Q3141609
History
- 2026-11-02: add by m2/dev
Plane at infinity EZHH89P2ZA
| URI | m2://inv/EZHH89P2ZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plane at infinity, Plane at infinity (definition). Also Wikidata Q7201011
History
- 2026-11-02: add by m2/dev
EZHKZNF08D EZHKZNF08D
| URI | m2://inv/EZHKZNF08D |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-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 2403.16388#7OM7 (example). In HH4ADHZ8XD/e1, example 4.6
History
- 2026-10-27: add by m2/v0.4.0
Without loss of generality EZHVC0AT01
| URI | m2://inv/EZHVC0AT01 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#TDTB, Without loss of generality (definition)
History
- 2026-11-02: add by m2/dev
Atish Dabholkar EZJ0P45NBT
| URI | m2://inv/EZJ0P45NBT |
|---|---|
| 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 Q42415606, Atish Dabholkar (unknown). Also nLab Atish Dabholkar
History
- 2026-10-26: add by m2/dev
Weakly symmetric space EZJ14681V9
| URI | m2://inv/EZJ14681V9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakly symmetric space, Weakly symmetric space (definition). Also Wikidata Q7977985
History
- 2026-11-02: add by m2/dev
Primitive propositions EZJDA75KV4
| URI | m2://inv/EZJDA75KV4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principia Mathematica#80XJ, Primitive propositions (statement)
History
- 2026-11-02: add by m2/dev
Applications EZJGZBBZ0H
| URI | m2://inv/EZJGZBBZ0H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix coefficient#91QI, Applications (example)
History
- 2026-11-02: add by m2/dev
Statement of the inequality EZJHPF851W
| URI | m2://inv/EZJHPF851W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedrichs' inequality#F25X, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
EZJJSFYN7C EZJJSFYN7C
| URI | m2://inv/EZJJSFYN7C |
|---|---|
| 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.38220#9628 (statement). In 1AC4S19925/e1, statement
History
- 2026-10-30: add by m2/v0.4.12
Hidden matching problem EZJSYRXMNR
| URI | m2://inv/EZJSYRXMNR |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hidden matching problem, Hidden matching problem (problem). Also Wikidata Q104878068
History
- 2026-11-02: add by m2/dev
Duffy Waldorf EZJVCJT4NQ
| URI | m2://inv/EZJVCJT4NQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#OT76, Duffy Waldorf (unknown)
History
- 2026-11-02: add by m2/dev
EZJYW48B18 EZJYW48B18
| URI | m2://inv/EZJYW48B18 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#4E7H (statement). In Z7M2JSF6HA/e1, lemma 10.3
History
- 2026-10-31: add by m2/v0.5.6
EZK49P0S89 EZK49P0S89
| URI | m2://inv/EZK49P0S89 |
|---|---|
| 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#HA7K (statement). In 5YMFYAFFJ7/e1, theorem 3.2
History
- 2026-10-27: add by m2/v0.3.5
Quarter cubic honeycomb EZK8EQGE0M
| URI | m2://inv/EZK8EQGE0M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3CKU, Quarter cubic honeycomb (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#A6HV, Quarter cubic honeycomb (definition)
History
- 2026-11-02: add by m2/dev
EZKA15JH1N EZKA15JH1N
| URI | m2://inv/EZKA15JH1N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2511.07697#P1QD (statement). In 57P5P33HS3/e1, theorem 7
History
- 2026-10-27: add by m2/v0.3.5
Outliers ratio EZKRP1G649
| URI | m2://inv/EZKRP1G649 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outliers ratio, Outliers ratio (definition). Also Wikidata Q7112165
History
- 2026-11-02: add by m2/dev
Definition EZKW8FHC2G
| URI | m2://inv/EZKW8FHC2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skeleton (category theory)#KDFW, Definition (definition)
History
- 2026-11-02: add by m2/dev
ANOVA on ranks EZKXYGX8TW
| URI | m2://inv/EZKXYGX8TW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0H2F, ANOVA on ranks (definition)
History
- 2026-11-02: add by m2/dev
EZM3EA9JTT EZM3EA9JTT
| URI | m2://inv/EZM3EA9JTT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.21391#H9P2 (statement). In J9C7YMKJ33/e1, proposition 4.26
History
- 2026-10-27: add by m2/v0.3.5
Theorem EZM3M5C083
| URI | m2://inv/EZM3M5C083 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extreme value theorem#7NJK, Theorem (statement)
History
- 2026-11-02: add by m2/dev
EZMB5AS4SK EZMB5AS4SK
| URI | m2://inv/EZMB5AS4SK |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-21 (exercise). In P1C114YBXG, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
EZMB6MFWJJ EZMB6MFWJJ
| URI | m2://inv/EZMB6MFWJJ |
|---|---|
| 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.24325#TMBF (statement)
History
- 2026-11-01: add by m2/v0.6.15
554 (number) EZMD6060EV
| URI | m2://inv/EZMD6060EV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#QTSB, 554 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Definition EZMEXB39C1
| URI | m2://inv/EZMEXB39C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia J-multiplicity#ZOAD, Definition (definition)
History
- 2026-11-02: add by m2/dev
EZMYJVWXZ9 EZMYJVWXZ9
| URI | m2://inv/EZMYJVWXZ9 |
|---|---|
| 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.27114#6OH8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
EZMYN5XN4P EZMYN5XN4P
| URI | m2://inv/EZMYN5XN4P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21914#K38T (statement)
History
- 2026-11-02: add by m2/v0.6.17
EZN5DWPBNW EZN5DWPBNW
| URI | m2://inv/EZN5DWPBNW |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.07470#9482 (proof). In XPF72KTPMZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Catalan–Dickson conjecture on aliquot sequences EZN696XDYQ
| URI | m2://inv/EZN696XDYQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#3O4J, Catalan–Dickson conjecture on aliquot sequences (definition)
History
- 2026-11-02: add by m2/dev
theorem, Hedberg's EZN8J4KAC0
| URI | m2://inv/EZN8J4KAC0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.2/theorem-hedberg-s, theorem, Hedberg's (concept). In N54F33XE07, index, section 6.2
History
- 2026-11-01: add by m2/v0.6.13
2411 (number) EZNHMWY8E3
| URI | m2://inv/EZNHMWY8E3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2000 (number)#0N5B, 2411 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Paranormal subgroup EZNJW17EKB
| URI | m2://inv/EZNJW17EKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paranormal subgroup, Paranormal subgroup (definition). Also Wikidata Q7135558
History
- 2026-11-02: add by m2/dev
Orthogonality EZNKJ2RKFY
| URI | m2://inv/EZNKJ2RKFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3T9E, Orthogonality (definition)
History
- 2026-11-02: add by m2/dev
Definition and properties EZNS9NJVEY
| URI | m2://inv/EZNS9NJVEY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute value#P52M, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
George Gasper EZNSCA9JT6
| URI | m2://inv/EZNSCA9JT6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George Gasper, George Gasper (topic). Also Wikidata Q5539640
History
- 2026-11-02: add by m2/dev
Same-grid stochastic-rounding reference EZNV11JB28
| URI | m2://inv/EZNV11JB28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31641#YYRD, Same-grid stochastic-rounding reference (statement). In XC2HE3KXPM/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Algorithmic inference EZNW64WP6K
| URI | m2://inv/EZNW64WP6K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7DOP, Algorithmic inference (definition)
History
- 2026-11-02: add by m2/dev
Harold Shapiro EZNWQA6SGZ
| URI | m2://inv/EZNWQA6SGZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#JXKW, Harold Shapiro (topic)
History
- 2026-11-02: add by m2/dev
EZPFX5ESYQ EZPFX5ESYQ
| URI | m2://inv/EZPFX5ESYQ |
|---|---|
| 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.15088#1FRQ (statement). In 2BRTT5ZFC6/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Measure-theoretic $\mathrm{MTP}_2$ EZPP999H20
| URI | m2://inv/EZPP999H20 |
|---|---|
| Kind | definition |
| 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.14318#DW5F, Measure-theoretic $\mathrm{MTP}_2$ (definition). In HA4SZZJ831/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Mauro Francaviglia EZPQX4QFG3
| URI | m2://inv/EZPQX4QFG3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#HHK9, Mauro Francaviglia (topic)
History
- 2026-11-02: add by m2/dev
Pantograph EZPRN1YVC4
| URI | m2://inv/EZPRN1YVC4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#C4XK, Pantograph (unknown)
History
- 2026-11-02: add by m2/dev
EZPVMWVMST EZPVMWVMST
| URI | m2://inv/EZPVMWVMST |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-2.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
Modular representation theory EZPXW8FQ9K
| URI | m2://inv/EZPXW8FQ9K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#R98E, Modular representation theory (definition)
History
- 2026-11-02: add by m2/dev
EZQ21K6WDX EZQ21K6WDX
| URI | m2://inv/EZQ21K6WDX |
|---|---|
| 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#B5WH (statement). In E7W2HDNEKJ/e1, theorem 6.10
History
- 2026-10-30: add by m2/v0.4.12
Gaussian EZQ3BK4KQ0
| URI | m2://inv/EZQ3BK4KQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#M3F1, Gaussian (definition)
History
- 2026-11-02: add by m2/dev
EZQ96P5BZQ EZQ96P5BZQ
| URI | m2://inv/EZQ96P5BZQ |
|---|---|
| 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.23004#XTKI (statement)
History
- 2026-11-02: add by m2/v0.6.17
Implicit certificate EZQB30D6NT
| URI | m2://inv/EZQB30D6NT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit certificate, Implicit certificate (definition). Also Wikidata Q6007261
History
- 2026-11-02: add by m2/dev
First World problem EZQEDEDSM4
| URI | m2://inv/EZQEDEDSM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#XQ8L, First World problem (unknown)
History
- 2026-11-02: add by m2/dev
Alexander S. Kechris EZQFWCEN49
| URI | m2://inv/EZQFWCEN49 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#K72F, Alexander S. Kechris (topic)
History
- 2026-11-02: add by m2/dev
EZQHWK8T9X EZQHWK8T9X
| URI | m2://inv/EZQHWK8T9X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX, 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22161#49AP (definition). In FVM35KPN8C/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Multipole expansion EZQKMZJT3P
| URI | m2://inv/EZQKMZJT3P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multipole expansion, Multipole expansion (definition). Also Wikidata Q1027847
History
- 2026-11-02: add by m2/dev
EZQQ3FWNW3 EZQQ3FWNW3
| URI | m2://inv/EZQQ3FWNW3 |
|---|---|
| Kind | statement |
| 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 2610.20956#X61I (statement). In X9WFC1D9ZS/e1, lemma 9
History
- 2026-10-27: add by m2/v0.4.2
Equivariant linearization EZQTBS6H72
| URI | m2://inv/EZQTBS6H72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21093#SX1A, Equivariant linearization (statement). In TBFPBPQV3G/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.4.2
EZQV4ZY863 EZQV4ZY863
| URI | m2://inv/EZQV4ZY863 |
|---|---|
| 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.33531#E3T1 (statement). In HNMJEAR2ER/e1, theorem 3.6
History
- 2026-10-30: add by m2/v0.4.12
EZQYMT0T4K EZQYMT0T4K
| URI | m2://inv/EZQYMT0T4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13229#F0GO (statement). In 4WN20N5Z57/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
speed of light in vacuum EZQZ630MN9
| URI | m2://inv/EZQZ630MN9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2111, speed of light in vacuum (definition). Also nLab speed of light, ProofWiki Definition:Speed_of_Light
History
- 2026-10-26: add by m2/dev
Nancy M. Amato EZR74V85Q6
| URI | m2://inv/EZR74V85Q6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NRTW, Nancy M. Amato (unknown)
History
- 2026-11-02: add by m2/dev
factorials EZR9YM0HNY
| URI | m2://inv/EZR9YM0HNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#GSJ3, factorials (definition)
History
- 2026-11-02: add by m2/dev
Siegel zero EZRERDRMF5
| URI | m2://inv/EZRERDRMF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Siegel zero, Siegel zero (definition). Also Wikidata Q1773226
History
- 2026-11-02: add by m2/dev
Superposition EZRKWHAZH1
| URI | m2://inv/EZRKWHAZH1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14551697, Superposition (concept). Also MathWorld SuperpositionPrinciple
History
- 2026-10-26: add by m2/dev
EZRQW4AV0H EZRQW4AV0H
| URI | m2://inv/EZRQW4AV0H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#VEKL (statement). In BDN507RN7J/e1, proposition 3.2.21
History
- 2026-10-30: add by m2/v0.4.12
EZRR2GDXGG EZRR2GDXGG
| URI | m2://inv/EZRR2GDXGG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-51 (exercise). In E59CDZA4DP, exercise, section 5.6.1
History
- 2026-11-01: add by m2/v0.6.13
Discrete Poincar\'e inequality EZRSS9S8RK
| URI | m2://inv/EZRSS9S8RK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01504#2S2P, Discrete Poincar\'e inequality (statement). In JAVB10Q2YZ/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.12
Compound of 5-cube and 5-orthoplex EZS2YBSHY7
| URI | m2://inv/EZS2YBSHY7 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compound of 5-cube and 5-orthoplex, Compound of 5-cube and 5-orthoplex (object). Also Wikidata Q60756489
History
- 2026-11-02: add by m2/dev
Urine is not sterile EZS9KFN2Z7
| URI | m2://inv/EZS9KFN2Z7 |
|---|---|
| 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#7VG5, Urine is not sterile (unknown)
History
- 2026-11-02: add by m2/dev
Frank Denton EZSCE78X4E
| URI | m2://inv/EZSCE78X4E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#8JI7, Frank Denton (unknown)
History
- 2026-11-02: add by m2/dev
EZSCW0VSGW EZSCW0VSGW
| URI | m2://inv/EZSCW0VSGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#N92U (statement). In CGA36VE1C5/e1, fact 3.11.1
History
- 2026-10-27: add by m2/v0.3.6
Alignment to original family blocks EZSD85CFRR
| URI | m2://inv/EZSD85CFRR |
|---|---|
| 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#FBUV, Alignment to original family blocks (statement). In ZZER8ZBSCR/e1, lemma B.9
History
- 2026-10-29: add by m2/v0.4.12
Regularity of the lower solution and auxiliary target EZSF1T33AA
| URI | m2://inv/EZSF1T33AA |
|---|---|
| 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.01843#YA2A, Regularity of the lower solution and auxiliary target (statement). In EDG9ZFDSWK/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.12
Taylor's criterion EZSF37DGN1
| URI | m2://inv/EZSF37DGN1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor–Couette flow#XOV6, Taylor's criterion (statement)
History
- 2026-11-02: add by m2/dev
Hedonic regression EZSGRC4SNS
| URI | m2://inv/EZSGRC4SNS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UFTZ, Hedonic regression (definition)
History
- 2026-11-02: add by m2/dev
Definitions EZSHPFRWJK
| URI | m2://inv/EZSHPFRWJK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eccentricity (mathematics)#7PS1, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Segre cubic EZSKNK75QZ
| URI | m2://inv/EZSKNK75QZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segre cubic, Segre cubic (definition). Also Wikidata Q7446319
History
- 2026-11-02: add by m2/dev
EZT9JTWYGG EZT9JTWYGG
| URI | m2://inv/EZT9JTWYGG |
|---|---|
| Kind | example |
| 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#QBVV (example). In HX63A1PH1W/e1, example 3.29
History
- 2026-10-28: add by m2/v0.4.3
Notation EZTFWWX00H
| URI | m2://inv/EZTFWWX00H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural deduction#UPTV, Notation (definition)
History
- 2026-11-02: add by m2/dev
EZTJXVX4K2 EZTJXVX4K2
| URI | m2://inv/EZTJXVX4K2 |
|---|---|
| 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 0910.5574#69FK (statement). In 2TJRBRKYAY/e1, lemma 6.5
History
- 2026-10-27: add by m2/v0.3.5
EZTV6K2GCA EZTV6K2GCA
| URI | m2://inv/EZTV6K2GCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 1012.0963#8BFQ (statement). In TSA766V8F8/e1, lemma 3.8
History
- 2026-10-27: add by m2/v0.3.5
Jonathan Borwein EZTZ3P0H3Y
| URI | m2://inv/EZTZ3P0H3Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonathan Borwein, Jonathan Borwein (topic). Also Wikidata Q381329
History
- 2026-11-02: add by m2/dev
Special cases EZV6CPKRV4
| URI | m2://inv/EZV6CPKRV4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flower snark#7QQ5, Special cases (statement)
History
- 2026-11-02: add by m2/dev
Simpson's paradox EZVD0GQSBK
| URI | m2://inv/EZVD0GQSBK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DOKW, Simpson's paradox (statement)
History
- 2026-11-02: add by m2/dev
David Peleg EZVKM4FHD5
| URI | m2://inv/EZVKM4FHD5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#C3HV, David Peleg (unknown)
History
- 2026-11-02: add by m2/dev
Subtraction principle EZVWD0YPJ0
| URI | m2://inv/EZVWD0YPJ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Addition principle#X1WK, Subtraction principle (statement)
History
- 2026-11-02: add by m2/dev
Degree of a field extension EZVWXWK7ZE
| URI | m2://inv/EZVWXWK7ZE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Degree of a field extension 0EAJ2XXADC |
Mentions
- wikidata: Wikidata Q3493864, Degree of a field extension (unknown). Also MathWorld ExtensionFieldDegree
- wikipedia: Wikipedia Degree of a field extension, Degree of a field extension (definition). Also Wikidata Q3493864
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Gerald L. Alexanderson EZVYXZVTE9
| URI | m2://inv/EZVYXZVTE9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerald L. Alexanderson, Gerald L. Alexanderson (topic). Also Wikidata Q17305605
History
- 2026-11-02: add by m2/dev
EZVZ4TFGSC EZVZ4TFGSC
| URI | m2://inv/EZVZ4TFGSC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section3-3.xml#activity-2 (exercise). In 649HGZKE96, activity, section 3.3.3
History
- 2026-11-01: add by m2/v0.6.13
Examples EZW2W1JJMG
| URI | m2://inv/EZW2W1JJMG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Endowment effect#6WND, Examples (example)
History
- 2026-11-02: add by m2/dev
EZWPX3PNJH EZWPX3PNJH
| URI | m2://inv/EZWPX3PNJH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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 2204.00813#4FEX (statement). In ADKTJTBR9Z/e1, proposition 11
History
- 2026-10-27: add by m2/v0.3.5
EZWXKB7EY4 EZWXKB7EY4
| URI | m2://inv/EZWXKB7EY4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#TL90 (statement). In WJD9YPGGYH/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.3.5
EZX2CNJ391 EZX2CNJ391
| URI | m2://inv/EZX2CNJ391 |
|---|---|
| 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.20391#M7YZ (statement). In CTAS41TRM2/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.4.2
EZX57ZBSNY EZX57ZBSNY
| URI | m2://inv/EZX57ZBSNY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19285#W8QO (definition). In 6DJR9DKY5W/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
EZX66B9TVA EZX66B9TVA
| URI | m2://inv/EZX66B9TVA |
|---|---|
| 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 2103.12669#IJJN (definition). In ZA6XNBA90V/e1, definition 1.30
History
- 2026-10-27: add by m2/v0.3.5
EZXE6KABKQ EZXE6KABKQ
| URI | m2://inv/EZXE6KABKQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21931#UA56 (statement)
History
- 2026-11-02: add by m2/v0.6.17
EZXRB5JM9C EZXRB5JM9C
| URI | m2://inv/EZXRB5JM9C |
|---|---|
| Kind | definition |
| 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 2401.13523#8CUC (definition). In DDA62XQTWW/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.3.5
Large cardinals and the axiom of determinacy EZXTDZDA59
| URI | m2://inv/EZXTDZDA59 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of determinacy#XSUO, Large cardinals and the axiom of determinacy (statement)
History
- 2026-11-02: add by m2/dev
EZXV9ZVYG8 EZXV9ZVYG8
| URI | m2://inv/EZXV9ZVYG8 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.06387#R3OY (unknown). In 4YJH4FPWDA/e1, unknown 4.2
History
- 2026-10-30: add by m2/v0.4.12
acnode EZXZ0RYF07
| URI | m2://inv/EZXZ0RYF07 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q844451, acnode (concept). Also MathWorld Acnode
- wikipedia: Wikipedia Acnode, Acnode (definition). Also Wikidata Q844451
History
- 2026-10-26: add by m2/dev
EZY4Y5SCD9 EZY4Y5SCD9
| URI | m2://inv/EZY4Y5SCD9 |
|---|---|
| Kind | definition |
| 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 2610.00134#MPOG (definition). In S654779J5P/e1, definition
History
- 2026-10-30: add by m2/v0.4.12
Construction EZYBR6A537
| URI | m2://inv/EZYBR6A537 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truncated octahedron#RTV5, Construction (definition)
History
- 2026-11-02: add by m2/dev
Journal of Industrial and Management Optimization EZYCTZV4XJ
| URI | m2://inv/EZYCTZV4XJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Industrial and Management Optimization, Journal of Industrial and Management Optimization (definition). Also Wikidata Q6295341
History
- 2026-11-02: add by m2/dev
Menachem Magidor EZYJXS04QF
| URI | m2://inv/EZYJXS04QF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Menachem Magidor, Menachem Magidor (topic). Also Wikidata Q572680
History
- 2026-11-02: add by m2/dev
EZYMMKN3BM EZYMMKN3BM
| URI | m2://inv/EZYMMKN3BM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07790#5JGY (statement). In A5YJDDM0NX/e1, theorem 1.3
History
- 2026-10-29: add by m2/v0.4.10
EZYWB1GB17 EZYWB1GB17
| URI | m2://inv/EZYWB1GB17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21052#VA72 (statement)
History
- 2026-11-02: add by m2/v0.6.18
EZYX4KXCRR EZYX4KXCRR
| URI | m2://inv/EZYX4KXCRR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-13 (example). In E9HS8K3A52, example, section 7.3.1
History
- 2026-11-01: add by m2/v0.6.13
Courant–Friedrichs–Lewy condition EZYXQ5ZB0D
| URI | m2://inv/EZYXQ5ZB0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Courant–Friedrichs–Lewy condition FQVVNYV6N8 |
Mentions
- wikidata: Wikidata Q1023483, Courant–Friedrichs–Lewy condition (statement). Also EoM Courant-Friedrichs-Lewy_condition, MathWorld Courant-Friedrichs-LewyCondition
- wikipedia: Wikipedia Courant–Friedrichs–Lewy condition, Courant–Friedrichs–Lewy condition (definition). Also Wikidata Q1023483
History
- 2026-10-26: add by m2/dev
Fermat's Last Theorem EZYYF8ZYVG
| URI | m2://inv/EZYYF8ZYVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum of two cubes#3PE4, Fermat's Last Theorem (statement)
History
- 2026-11-02: add by m2/dev
Turing.jl EZZ1N9WDXG
| URI | m2://inv/EZZ1N9WDXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#FQNW, Turing.jl (definition)
History
- 2026-11-02: add by m2/dev
UPGMA EZZ2ZXZKWX
| URI | m2://inv/EZZ2ZXZKWX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#A51O, UPGMA (definition)
History
- 2026-11-02: add by m2/dev
Applications EZZ3M9GH7H
| URI | m2://inv/EZZ3M9GH7H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff–Grothendieck theorem#QI8Z, Applications (example)
History
- 2026-11-02: add by m2/dev
EZZ9J2KYBV EZZ9J2KYBV
| URI | m2://inv/EZZ9J2KYBV |
|---|---|
| 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.28594#OQBQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Feldman–Hájek EZZBRQJ4CJ
| URI | m2://inv/EZZBRQJ4CJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21969#62NB, Feldman–Hájek (statement)
History
- 2026-11-02: add by m2/v0.6.17
Process performance index EZZBTY3NST
| URI | m2://inv/EZZBTY3NST |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Process performance index, Process performance index (definition). Also Wikidata Q3502312
History
- 2026-11-02: add by m2/dev
EZZKEH8GPS EZZKEH8GPS
| URI | m2://inv/EZZKEH8GPS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#6E46 (statement)
History
- 2026-11-01: add by m2/v0.6.15
EZZYEDARFN EZZYEDARFN
| URI | m2://inv/EZZYEDARFN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#H28V (definition). In VN084GGZGK/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.3
Tierney EZZYF8MY6F
| URI | m2://inv/EZZYF8MY6F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/tierney, Tierney (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13