Inventory rows ZR

The non-negative basis ZR04J5PT2G

URI	`m2://inv/ZR04J5PT2G`
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.18709#0YGN, The non-negative basis (statement). In K7VY50VFK6/e1, proposition 5.2

History

2026-10-28: add by m2/v0.4.2

ZR065PATS2 ZR065PATS2

URI	`m2://inv/ZR065PATS2`
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.09084#61OO (statement). In F5VT2K2QYX/e1, lemma 27

History

2026-10-29: add by m2/v0.4.10

ZR088CSQFX ZR088CSQFX

URI	`m2://inv/ZR088CSQFX`
Kind	statement
Layer	research
MSC	17-XX, 19-XX, 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 2504.00596#7ZVN (statement). In F8RC6AENB0/e1, lemma 7.10

History

2026-10-27: add by m2/v0.3.5

ZR0KD5YPZ5 ZR0KD5YPZ5

URI	`m2://inv/ZR0KD5YPZ5`
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.03062#EXAF (statement). In 5H7985A5SD/e1, lemma 2.9

History

2026-10-29: add by m2/v0.4.12

ZR0NWHFWZH ZR0NWHFWZH

URI	`m2://inv/ZR0NWHFWZH`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/homology/long-exact.tex#definition-1 (definition). In RZP28ERRZV, definition, section 54.1

History

2026-11-01: add by m2/v0.6.13

Bollob\'{a}s--Nikiforov ZR0S7HY58Z

URI	`m2://inv/ZR0S7HY58Z`
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.20225#3ZPE, Bollob\'{a}s--Nikiforov (statement)

History

2026-11-02: add by m2/v0.6.18

Kinship coefficient ZR0SBFZM96

URI	`m2://inv/ZR0SBFZM96`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Coefficient of relationship#OMF4, Kinship coefficient (unknown)

History

2026-11-02: add by m2/dev

Nordström's theory of gravitation ZR0VF6EJB6

URI	`m2://inv/ZR0VF6EJB6`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Nordström's theory of gravitation, Nordström's theory of gravitation (definition). Also Wikidata Q4455094

History

2026-11-02: add by m2/dev

ZR0X2AH9M9 ZR0X2AH9M9

URI	`m2://inv/ZR0X2AH9M9`
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 2506.00952#UJAU (statement). In GX0TV70D4N/e1, lemma 1

History

2026-10-27: add by m2/v0.3.5

Concurrence ZR18WZYWQZ

URI	`m2://inv/ZR18WZYWQZ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Concurrence (quantum computing), Concurrence (definition). Also Wikidata Q5159090

History

2026-11-02: add by m2/dev

Applications ZR1SZQ43XJ

URI	`m2://inv/ZR1SZQ43XJ`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Square antiprism#4E0J, Applications (example)

History

2026-11-02: add by m2/dev

ZR1XW8ZGR9 ZR1XW8ZGR9

URI	`m2://inv/ZR1XW8ZGR9`
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.11468#WIFY (statement). In FR4FDRHZJT/e1, proposition 2.4

History

2026-10-28: add by m2/v0.4.3

Face ZR1XWC02F5

URI	`m2://inv/ZR1XWC02F5`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3VCR, Face (definition)

History

2026-11-02: add by m2/dev

ZR1XXVRNVQ ZR1XXVRNVQ

URI	`m2://inv/ZR1XXVRNVQ`
Kind	statement
Layer	research
MSC	57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05232#57AG (statement). In DA3VN96YX2/e1, corollary 2.8

History

2026-10-29: add by m2/v0.4.10

ZR1Y3WJKVR ZR1Y3WJKVR

URI	`m2://inv/ZR1Y3WJKVR`
Kind	definition
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 2610.13972#14D6 (definition). In S1KHNS8XQM/e1, definition 7.2

History

2026-10-28: add by m2/v0.4.2

Schoen–Yau conjecture ZR2872AKG5

URI	`m2://inv/ZR2872AKG5`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Schoen–Yau conjecture, Schoen–Yau conjecture (statement). Also Wikidata Q7431987

History

2026-11-02: add by m2/dev

Hyperconnected ZR2GYCE436

URI	`m2://inv/ZR2GYCE436`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of general topology#YF3A, Hyperconnected (definition)

History

2026-11-02: add by m2/dev

ZR2JXR1QAK ZR2JXR1QAK

URI	`m2://inv/ZR2JXR1QAK`
Kind	example
Layer	research
MSC	18-XX, 55-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21052#9OT9 (example)

History

2026-11-02: add by m2/v0.6.18

ZR30NGYK88 ZR30NGYK88

URI	`m2://inv/ZR30NGYK88`
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.31489#V64O (statement). In ZKBG58PN1J/e1, theorem 4.5

History

2026-10-31: add by m2/v0.5.6

ZR33M3Y70G ZR33M3Y70G

URI	`m2://inv/ZR33M3Y70G`
Kind	statement
Layer	research
MSC	35-XX, 49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08764#OA3V (statement). In QVFHS1C9BW/e1, lemma \thethrm

History

2026-10-29: add by m2/v0.4.10

Transfinite recursion theorem ZR350E2060

URI	`m2://inv/ZR350E2060`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Transfinite recursion theorem#YM8R, Transfinite recursion theorem (statement)

History

2026-11-02: add by m2/dev

ZR36NK4P01 ZR36NK4P01

URI	`m2://inv/ZR36NK4P01`
Kind	problem
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28669#Y1UA (problem)

History

2026-11-01: add by m2/v0.6.15

vertical bar ZR3D1S459W

URI	`m2://inv/ZR3D1S459W`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1132051, vertical bar (unknown). Also MathWorld SingleBar
wikipedia: Wikipedia Vertical bar, Vertical bar (definition). Also Wikidata Q1132051

History

2026-10-26: add by m2/dev

ZR3NY9R1T1 ZR3NY9R1T1

URI	`m2://inv/ZR3NY9R1T1`
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.13864#3BNE (statement). In ZGZGGGCWD3/e1, theorem 5.3

History

2026-10-28: add by m2/v0.4.2

Brocard ZR3X2T2GDT

URI	`m2://inv/ZR3X2T2GDT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of number theory#DC6A, Brocard (definition)

History

2026-11-02: add by m2/dev

Fixed-$\delta$ consistency of the reflected operator ZR3Z18CQXG

URI	`m2://inv/ZR3Z18CQXG`
Kind	statement
Layer	research
MSC	65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29524#OB5F, Fixed-$\delta$ consistency of the reflected operator (statement)

History

2026-11-01: add by m2/v0.6.15

ZR446TQP90 ZR446TQP90

URI	`m2://inv/ZR446TQP90`
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 2609.21098#WA6S (statement)

History

2026-11-02: add by m2/v0.6.18

ZR4AJ05C1T ZR4AJ05C1T

URI	`m2://inv/ZR4AJ05C1T`
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#IT8R (statement). In APK7X4MFAX/e1, proposition 9

History

2026-10-30: add by m2/v0.4.12

ZR4MBP5B44 ZR4MBP5B44

URI	`m2://inv/ZR4MBP5B44`
Kind	statement
Layer	research
MSC	26-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.06152#TKFI (statement). In HH35K7S17H/e1, theorem E

History

2026-10-29: add by m2/v0.4.10

ZR4SHY52D1 ZR4SHY52D1

URI	`m2://inv/ZR4SHY52D1`
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.16518#6IPI (statement). In SAQBDG4FK1/e1, theorem 4.3

History

2026-10-28: add by m2/v0.4.2

ZR4XFPHXWQ ZR4XFPHXWQ

URI	`m2://inv/ZR4XFPHXWQ`
Kind	statement
Layer	research
MSC	35-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.24011#8878 (statement)

History

2026-11-02: add by m2/v0.6.17

Arc-transitive families ZR4Y2MBJ11

URI	`m2://inv/ZR4Y2MBJ11`
Kind	statement
Layer	research
MSC	20-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15340#PAH0, Arc-transitive families (statement). In 9NVKKW8HDH/e1, corollary 3.9

History

2026-10-28: add by m2/v0.4.2

Symmetry ZR4YZVVMGX

URI	`m2://inv/ZR4YZVVMGX`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Cubic-square tiling honeycomb#0NTG, Symmetry (statement)

History

2026-11-02: add by m2/dev

ZR51MJ19KH ZR51MJ19KH

URI	`m2://inv/ZR51MJ19KH`
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.01998#Q8J7 (statement). In 71YD1PGG8E/e1, proposition 2.1

History

2026-10-29: add by m2/v0.4.12

Brocard's problem ZR55HB7Z0Z

URI	`m2://inv/ZR55HB7Z0Z`
Kind	conjecture
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1052622, Brocard's problem (unknown). Also MathWorld BrocardsProblem, MathWorld BrownNumbers
wikipedia: Wikipedia Brocard's problem, Brocard's problem (conjecture). Also Wikidata Q1052622

History

2026-10-26: add by m2/dev

Shahid Khaqan Abbasi ZR5KHR2GB7

URI	`m2://inv/ZR5KHR2GB7`
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#MF3G, Shahid Khaqan Abbasi (unknown)

History

2026-11-02: add by m2/dev

ZR5QZS1ABE ZR5QZS1ABE

URI	`m2://inv/ZR5QZS1ABE`
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.33552#PCQ3 (statement). In SRAS2DJJQH/e1, theorem 1.3

History

2026-10-30: add by m2/v0.4.12

Bounds under anisotropic noise ZR5WF9VNGF

URI	`m2://inv/ZR5WF9VNGF`
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.08069#6IBO, Bounds under anisotropic noise (statement). In TVW9BTWJ3D/e1, proposition 7

History

2026-10-29: add by m2/v0.4.10

Occupation, terminal and initial measures ZR5YMB18AF

URI	`m2://inv/ZR5YMB18AF`
Kind	definition
Layer	research
MSC	37-XX, 49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.30821#JCY3, Occupation, terminal and initial measures (definition). In 1MZ9XBPTFQ/e1, definition 3

History

2026-10-31: add by m2/v0.5.6

Zdzisław Józef Porosiński ZR5YP1V91H

URI	`m2://inv/ZR5YP1V91H`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Zdzisław Józef Porosiński, Zdzisław Józef Porosiński (topic). Also Wikidata Q39039398

History

2026-11-02: add by m2/dev

Properties ZR634F64WT

URI	`m2://inv/ZR634F64WT`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Schönhardt polyhedron#OUND, Properties (statement)

History

2026-11-02: add by m2/dev

Applications ZR64Q7RFRJ

URI	`m2://inv/ZR64Q7RFRJ`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Alexander duality#ERAP, Applications (example)

History

2026-11-02: add by m2/dev

ZR67N7TAZ6 ZR67N7TAZ6

URI	`m2://inv/ZR67N7TAZ6`
Kind	statement
Layer	research
MSC	11-XX, 20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.28141#K2QS (statement)

History

2026-11-01: add by m2/v0.6.15

Negative curvature near the neck waists ZR691SSFNC

URI	`m2://inv/ZR691SSFNC`
Kind	statement
Layer	research
MSC	35-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12238#R9YH, Negative curvature near the neck waists (statement). In E31CZYM2H8/e1, lemma 6.6

History

2026-10-28: add by m2/v0.4.2

Giovanni Bordiga ZR6B8PE2N3

URI	`m2://inv/ZR6B8PE2N3`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Italian mathematicians#F282, Giovanni Bordiga (topic)
wikipedia: Wikipedia List of Italian mathematicians#UUXY, Giovanni Bordiga (topic)

History

2026-11-02: add by m2/dev

Applications ZR6C83D79B

URI	`m2://inv/ZR6C83D79B`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Compound Poisson distribution#H8HP, Applications (example)

History

2026-11-02: add by m2/dev

ZR6DW3KRHJ ZR6DW3KRHJ

URI	`m2://inv/ZR6DW3KRHJ`
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 2207.07461#WLQA (statement). In GAG532VMPF/e1, theorem 5.0.2

History

2026-10-27: add by m2/v0.3.5

Screw operation ZR6HDTKJMP

URI	`m2://inv/ZR6HDTKJMP`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Screw axis#RSNR, Screw operation (unknown)

History

2026-11-02: add by m2/dev

ZR6HQM9DM1 ZR6HQM9DM1

URI	`m2://inv/ZR6HQM9DM1`
Kind	statement
Layer	research
MSC	51-XX, 52-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 2609.25468#3VE2 (statement)

History

2026-11-01: add by m2/v0.6.15

Deterministic validity of Formulation 2 ZR6HZJ96Y6

URI	`m2://inv/ZR6HZJ96Y6`
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.20539#K393, Deterministic validity of Formulation 2 (statement). In 94KNW375B9/e1, proposition 1

History

2026-10-27: add by m2/v0.4.2

Mean square quantization error ZR6KS2RWCG

URI	`m2://inv/ZR6KS2RWCG`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#TUN8, Mean square quantization error (definition)

History

2026-11-02: add by m2/dev

ZR6MMX8CK0 ZR6MMX8CK0

URI	`m2://inv/ZR6MMX8CK0`
Kind	conjecture
Layer	research
MSC	57-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29432#ECFV (conjecture)

History

2026-11-01: add by m2/v0.6.15

State elimination for sequential samplers (small KL ZR6N20SEX8

URI	`m2://inv/ZR6N20SEX8`
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.14615#IKQQ, State elimination for sequential samplers (small KL (statement). In 7D5MMP8XB5/e1, theorem 4.3

History

2026-10-28: add by m2/v0.4.2

Examples ZR6S07RHX0

URI	`m2://inv/ZR6S07RHX0`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Split exact sequence#YC7A, Examples (example)

History

2026-11-02: add by m2/dev

ZR6VAWMYRT ZR6VAWMYRT

URI	`m2://inv/ZR6VAWMYRT`
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.39531#KC62 (statement). In SN9RSTHQ07/e1, lemma B.4

History

2026-10-30: add by m2/v0.4.12

Michell structures ZR76J92FCW

URI	`m2://inv/ZR76J92FCW`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Michell structures, Michell structures (definition). Also Wikidata Q60790440

History

2026-11-02: add by m2/dev

Chebyshev's inequality ZR7J23MMRM

URI	`m2://inv/ZR7J23MMRM`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#3IQU, Chebyshev's inequality (statement)

History

2026-11-02: add by m2/dev

Chandrasekhar limit ZR7JMJWVNF

URI	`m2://inv/ZR7JMJWVNF`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Chandrasekhar limit, Chandrasekhar limit (definition). Also Wikidata Q51366

History

2026-11-02: add by m2/dev

Definition ZR7N1AY5GQ

URI	`m2://inv/ZR7N1AY5GQ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Symmetric closure#TDV4, Definition (definition)

History

2026-11-02: add by m2/dev

ZR7PZVQ93D ZR7PZVQ93D

URI	`m2://inv/ZR7PZVQ93D`
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.00789#P9JT (statement). In 4WPYBTARS2/e1, proposition 4.15

History

2026-10-29: add by m2/v0.4.12

ZR7QBQ5SCW ZR7QBQ5SCW

URI	`m2://inv/ZR7QBQ5SCW`
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#04QM (statement)

History

2026-11-01: add by m2/v0.6.15

ZR7S156C2Z ZR7S156C2Z

URI	`m2://inv/ZR7S156C2Z`
Kind	statement
Layer	research
MSC	35-XX, 53-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08052#NO52 (statement). In 672XAVEQ34/e1, proposition 7.8

History

2026-10-29: add by m2/v0.4.10

Concatenating special deformation retracts ZR7WMM2YRF

URI	`m2://inv/ZR7WMM2YRF`
Kind	statement
Layer	research
MSC	17-XX, 57-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10262#DAOM, Concatenating special deformation retracts (statement). In MVSGDTN2PB/e1, lemma 6.5

History

2026-10-29: add by m2/v0.4.10

ZR81Z1JHPN ZR81Z1JHPN

URI	`m2://inv/ZR81Z1JHPN`
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 2204.01073#FXJE (statement). In W4TYN4PGE8/e1, lemma 6.8

History

2026-10-27: add by m2/v0.3.5

Multigrid ZR86P6RDD8

URI	`m2://inv/ZR86P6RDD8`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of partial differential equation topics#PODG, Multigrid (definition)

History

2026-11-02: add by m2/dev

comma category ZR8F2DYBAX

URI	`m2://inv/ZR8F2DYBAX`
Kind	definition
Layer	textbook
Sources	3
Outcome	open
Node	Comma category PC6HG1JEGM

Mentions

mathlib_overview: mathlib_overview General algebra > Category theory > comma category, comma category (unknown). Also Mathlib CategoryTheory.Comma
wikidata: Wikidata Q1780005, comma category (unknown). Also Mathlib CategoryTheory.Comma, nLab comma category
wikipedia: Wikipedia Comma category, Comma category (definition). Also Wikidata Q1780005

History

2026-10-26: add by m2/dev

ZR8FSFGBD2 ZR8FSFGBD2

URI	`m2://inv/ZR8FSFGBD2`
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.15444#TL00 (statement). In M2X9TEYRPC/e1, theorem 2.10

History

2026-10-28: add by m2/v0.4.2

Strong perfect graph theorem ZR8JG9GSTE

URI	`m2://inv/ZR8JG9GSTE`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of long mathematical proofs#2VSI, Strong perfect graph theorem (statement)

History

2026-11-02: add by m2/dev

Doodson numbers ZR940F2EKB

URI	`m2://inv/ZR940F2EKB`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Theory of tides#O255, Doodson numbers (unknown)

History

2026-11-02: add by m2/dev

Global LSE geometry ZR946VWG2Z

URI	`m2://inv/ZR946VWG2Z`
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.32558#Z7HZ, Global LSE geometry (statement). In SGQS629QNK/e1, theorem 5.1

History

2026-10-31: add by m2/v0.5.6

Alexander Vardy ZR97AMP4S4

URI	`m2://inv/ZR97AMP4S4`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#0ML6, Alexander Vardy (unknown)

History

2026-11-02: add by m2/dev

Exact target recovery ZR9AC273F4

URI	`m2://inv/ZR9AC273F4`
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.37247#0YGN, Exact target recovery (statement). In HMA5T6VHCN/e1, proposition 2.1

History

2026-10-30: add by m2/v0.4.12

Nessim Sibony ZR9CQPQ2CX

URI	`m2://inv/ZR9CQPQ2CX`
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#E3MC, Nessim Sibony (topic)

History

2026-11-02: add by m2/dev

ZR9HE50AGT ZR9HE50AGT

URI	`m2://inv/ZR9HE50AGT`
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.06461#IKEW (statement). In QXY3W2JV2N/e1, proposition 4.1

History

2026-10-29: add by m2/v0.4.10

ZR9VT5BBPM ZR9VT5BBPM

URI	`m2://inv/ZR9VT5BBPM`
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.20409#RJWR (statement)

History

2026-11-02: add by m2/v0.6.18

ZR9XZ5KBWB ZR9XZ5KBWB

URI	`m2://inv/ZR9XZ5KBWB`
Kind	statement
Layer	research
MSC	60-XX, 62-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11946#18CA (statement). In VQ96F8CY5M/e1, theorem C

History

2026-10-28: add by m2/v0.4.3

Ineke Stoop ZRA2P3SZYM

URI	`m2://inv/ZRA2P3SZYM`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ineke Stoop, Ineke Stoop (topic). Also Wikidata Q103838589

History

2026-11-02: add by m2/dev

Visible perimeter functional ZRA2WTRRNC

URI	`m2://inv/ZRA2WTRRNC`
Kind	definition
Layer	research
MSC	65-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05064#FRC8, Visible perimeter functional (definition). In 11SW7NAN7M/e1, definition 3.3

History

2026-10-29: add by m2/v0.4.12

ZRA3ZYADR3 ZRA3ZYADR3

URI	`m2://inv/ZRA3ZYADR3`
Kind	statement
Layer	research
MSC	17-XX, 57-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20558#4RTB (statement). In 46370P3Y9S/e1, lemma 6.14

History

2026-10-27: add by m2/v0.4.2

Moser, Claus ZRA6HCJSSF

URI	`m2://inv/ZRA6HCJSSF`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statisticians#83EG, Moser, Claus (topic)

History

2026-11-02: add by m2/dev

Peter Giblin ZRA74JZH12

URI	`m2://inv/ZRA74JZH12`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Peter Giblin, Peter Giblin (topic). Also Wikidata Q7174220

History

2026-11-02: add by m2/dev

ZRAH97RXHT ZRAH97RXHT

URI	`m2://inv/ZRAH97RXHT`
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.10365#RWPT (statement). In PRVQPSBVHK/e1, theorem 5

History

2026-10-29: add by m2/v0.4.10

Anderson–Kadec theorem ZRAV93C0ST

URI	`m2://inv/ZRAV93C0ST`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fréchet space#CWGO, Anderson–Kadec theorem (statement)

History

2026-11-02: add by m2/dev

Example ZRB3DHHYKX

URI	`m2://inv/ZRB3DHHYKX`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Hungarian algorithm#V8D7, Example (example)

History

2026-11-02: add by m2/dev

Bel decomposition ZRB7XAJWXB

URI	`m2://inv/ZRB7XAJWXB`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Bel decomposition, Bel decomposition (definition). Also Wikidata Q4881747

History

2026-11-02: add by m2/dev

ZRBCWS5NKF ZRBCWS5NKF

URI	`m2://inv/ZRBCWS5NKF`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

active_calculus: active_calculus source/activities/act-4-2-2.xml#act-4-2-2 (exercise). In 907G4C4EJ1, activity, section 4.2.3

History

2026-11-01: add by m2/v0.6.13

Mass correction ZRBNATJB1Y

URI	`m2://inv/ZRBNATJB1Y`
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.00241#UNHF, Mass correction (statement). In VBRQTN2RXN/e1, lemma 2.3

History

2026-10-30: add by m2/v0.4.12

Metric k-center ZRBVA7RSHG

URI	`m2://inv/ZRBVA7RSHG`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Metric k-center, Metric k-center (definition). Also Wikidata Q6824324

History

2026-11-02: add by m2/dev

ZRC7ZQFT5J ZRC7ZQFT5J

URI	`m2://inv/ZRC7ZQFT5J`
Kind	statement
Layer	research
MSC	19-XX, 20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.36823#C6H0 (statement). In 55WT8DME6Y/e1, theorem 3.4

History

2026-10-30: add by m2/v0.4.12

Lorenz, Max O. ZRC8HGGD08

URI	`m2://inv/ZRC8HGGD08`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statisticians#STTG, Lorenz, Max O. (unknown)

History

2026-11-02: add by m2/dev

Double ZRCDJF7JEM

URI	`m2://inv/ZRCDJF7JEM`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Double (manifold), Double (definition). Also Wikidata Q5299641

History

2026-11-02: add by m2/dev

ZRCFA32K5A ZRCFA32K5A

URI	`m2://inv/ZRCFA32K5A`
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.10795#0NQH (statement). In RXPSC74YPT/e1, theorem

History

2026-10-28: add by m2/v0.4.3

ZRCFTQFB9V ZRCFTQFB9V

URI	`m2://inv/ZRCFTQFB9V`
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#1Y0Z (statement). In ZFKZ6YDT62/e1, lemma 2

History

2026-10-27: add by m2/v0.4.0

ZRCHEVMX2Z ZRCHEVMX2Z

URI	`m2://inv/ZRCHEVMX2Z`
Kind	statement
Layer	research
MSC	13-XX, 14-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.02585#FBRS (statement). In V0KBBY82SY/e1, theorem 1.1

History

2026-10-29: add by m2/v0.4.12

ZRCM0JR379 ZRCM0JR379

URI	`m2://inv/ZRCM0JR379`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#mv:zeroinside (exercise). In E59CDZA4DP, exercise, section 5.1.6

History

2026-11-01: add by m2/v0.6.13

ZRCNDDXCWN ZRCNDDXCWN

URI	`m2://inv/ZRCNDDXCWN`
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 2604.10080#NRKM (statement). In KM2FWKP93A/e1, lemma 4.10

History

2026-10-27: add by m2/v0.4.0

ZRCR4E6HNV ZRCR4E6HNV

URI	`m2://inv/ZRCR4E6HNV`
Kind	statement
Layer	research
MSC	14-XX, 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 2609.31523#SBYD (statement). In 2BET1RE1F6/e1, corollary 3.5

History

2026-10-31: add by m2/v0.5.6

ZRCVZ81T59 ZRCVZ81T59

URI	`m2://inv/ZRCVZ81T59`
Kind	definition
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 2209.07892#N13Z (definition). In RGAFSKTAHM/e1, definition 2.6

History

2026-10-27: add by m2/v0.3.5

Surface code ZRCXD8B13N

URI	`m2://inv/ZRCXD8B13N`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Surface code, Surface code (definition). Also Wikidata Q134409768

History

2026-11-02: add by m2/dev

Definition ZRD9SD8CPX

URI	`m2://inv/ZRD9SD8CPX`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Rosenbrock system matrix#7TTE, Definition (definition)

History

2026-11-02: add by m2/dev

Correlates of crime ZRDC9BKK0C

URI	`m2://inv/ZRDC9BKK0C`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Correlates of crime, Correlates of crime (definition). Also Wikidata Q4159320

History

2026-11-02: add by m2/dev

Amnon Neeman ZRDDGM6XZ5

URI	`m2://inv/ZRDDGM6XZ5`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZLMT, Amnon Neeman (unknown)

History

2026-11-02: add by m2/dev

ZRDGXGK8CD ZRDGXGK8CD

URI	`m2://inv/ZRDGXGK8CD`
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.37739#2GJU (statement). In F5XF5VXTXY/e1, theorem 1.1

History

2026-10-30: add by m2/v0.4.12

ZRDJ3T7GZ0 ZRDJ3T7GZ0

URI	`m2://inv/ZRDJ3T7GZ0`
Kind	statement
Layer	research
MSC	14-XX, 20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.04730#A085 (statement). In QHFP0837Q8/e1, theorem 5.19

History

2026-10-29: add by m2/v0.4.12

ZRDKHQPDWF ZRDKHQPDWF

URI	`m2://inv/ZRDKHQPDWF`
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 2506.18195#VT4G (statement). In 6B8FNCHF1Z/e1, proposition 6

History

2026-10-27: add by m2/v0.3.6

Complex reflection group ZRDNF5RVZC

URI	`m2://inv/ZRDNF5RVZC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Complex reflection group, Complex reflection group (definition). Also Wikidata Q5156596

History

2026-11-02: add by m2/dev

ZRDNY77EB4 ZRDNY77EB4

URI	`m2://inv/ZRDNY77EB4`
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.03011#E7SJ (statement). In VE8FB6K8EN/e1, lemma 13

History

2026-10-29: add by m2/v0.4.12

Construction ZRDQ8P8DMC

URI	`m2://inv/ZRDQ8P8DMC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Compass equivalence theorem#A27A, Construction (definition)

History

2026-11-02: add by m2/dev

Theophrastus ZRDWT8E5ZP

URI	`m2://inv/ZRDWT8E5ZP`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of logicians#D86W, Theophrastus (topic)

History

2026-11-02: add by m2/dev

Wei Zhang ZRE3X8CH7G

URI	`m2://inv/ZRE3X8CH7G`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Wei Zhang (mathematician), Wei Zhang (topic). Also Wikidata Q8462959

History

2026-11-02: add by m2/dev

ZRE3ZETJB0 ZRE3ZETJB0

URI	`m2://inv/ZRE3ZETJB0`
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.20119#5M6E (statement)

History

2026-11-02: add by m2/v0.6.18

ZRE624Z87A ZRE624Z87A

URI	`m2://inv/ZRE624Z87A`
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 2610.20386#K70I (statement). In 4WC4V49KAC/e1, lemma 2.15

History

2026-10-27: add by m2/v0.4.2

Symmetry in Science and Art ZRE9FT528G

URI	`m2://inv/ZRE9FT528G`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Symmetry in Science and Art, Symmetry in Science and Art (definition). Also Wikidata Q125503780

History

2026-11-02: add by m2/dev

ZREFPPP8J1 ZREFPPP8J1

URI	`m2://inv/ZREFPPP8J1`
Kind	definition
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2506.16491#SFHW (definition). In P9J6P06Y40/e1, definition 5.8

History

2026-10-27: add by m2/v0.3.5

Tangent bundle and Riemann–Roch theorem ZREGXNBWRA

URI	`m2://inv/ZREGXNBWRA`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kähler differential#L9WC, Tangent bundle and Riemann–Roch theorem (statement)

History

2026-11-02: add by m2/dev

Sparre-Anderson model ZREHSG7H2P

URI	`m2://inv/ZREHSG7H2P`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Ruin theory#6ERQ, Sparre-Anderson model (unknown)

History

2026-11-02: add by m2/dev

ZREMXT13V8 ZREMXT13V8

URI	`m2://inv/ZREMXT13V8`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.29641#NIYY (statement)

History

2026-11-01: add by m2/v0.6.15

ZREQEXSZ19 ZREQEXSZ19

URI	`m2://inv/ZREQEXSZ19`
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.13260#JTA8 (statement). In ZBQX9341RV/e1, corollary 9.1

History

2026-10-28: add by m2/v0.4.2

ZRF0YHMYYS ZRF0YHMYYS

URI	`m2://inv/ZRF0YHMYYS`
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 2204.01073#I1GP (statement). In W4TYN4PGE8/e1, proposition 5.3

History

2026-10-27: add by m2/v0.3.5

Thousand Oaks, California ZRF316PNAA

URI	`m2://inv/ZRF316PNAA`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of places with numeric names#1XX9, Thousand Oaks, California (unknown)

History

2026-11-02: add by m2/dev

Raymundo Favila ZRF4CSWWKT

URI	`m2://inv/ZRF4CSWWKT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Raymundo Favila, Raymundo Favila (definition). Also Wikidata Q7299296

History

2026-11-02: add by m2/dev

Wall–Sun–Sun prime ZRF7A7N5ZT

URI	`m2://inv/ZRF7A7N5ZT`
Kind	conjecture
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#CNQ6, Wall–Sun–Sun prime (conjecture)

History

2026-11-02: add by m2/dev

Gillespie algorithm ZRF8SD0JWR

URI	`m2://inv/ZRF8SD0JWR`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#KBRA, Gillespie algorithm (definition)

History

2026-11-02: add by m2/dev

Change of variables ZRFD0D16QT

URI	`m2://inv/ZRFD0D16QT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Change of variables (PDE), Change of variables (definition). Also Wikidata Q11912046

History

2026-11-02: add by m2/dev

Multiplication theorem ZRFD3PYJ1H

URI	`m2://inv/ZRFD3PYJ1H`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Polygamma function#00OX, Multiplication theorem (statement)

History

2026-11-02: add by m2/dev

Computational finance ZRFDEVBWT0

URI	`m2://inv/ZRFDEVBWT0`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Computational finance, Computational finance (topic). Also Wikidata Q61715222

History

2026-11-02: add by m2/dev

ZRFQQ06SMQ ZRFQQ06SMQ

URI	`m2://inv/ZRFQQ06SMQ`
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.14692#PKS9 (statement). In NE5EH5FXRV/e1, lemma 4.2

History

2026-10-27: add by m2/v0.3.5

Nail H. Ibragimov ZRFVB88TG7

URI	`m2://inv/ZRFVB88TG7`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Nail H. Ibragimov, Nail H. Ibragimov (topic). Also Wikidata Q32362161

History

2026-11-02: add by m2/dev

centi ZRFVV70R4J

URI	`m2://inv/ZRFVV70R4J`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q108478, centi (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/centi-

History

2026-10-26: add by m2/dev

Compactification ZRG2JS11KY

URI	`m2://inv/ZRG2JS11KY`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of examples in general topology#PAEN, Compactification (definition)

History

2026-11-02: add by m2/dev

internal ZRG7TY0D4S

URI	`m2://inv/ZRG7TY0D4S`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of set theory#WEEP, internal (definition)

History

2026-11-02: add by m2/dev

ZRGA2DHFPE ZRGA2DHFPE

URI	`m2://inv/ZRGA2DHFPE`
Kind	statement
Layer	research
MSC	16-XX, 17-XX, 20-XX, 22-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.21860#SITZ (statement)

History

2026-11-02: add by m2/v0.6.18

Schwarz lemma ZRGFWCD7Q4

URI	`m2://inv/ZRGFWCD7Q4`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of lemmas#LS9S, Schwarz lemma (statement)

History

2026-11-02: add by m2/dev

Frequentist inference ZRGMS9C0W7

URI	`m2://inv/ZRGMS9C0W7`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Frequentist inference, Frequentist inference (definition). Also Wikidata Q2158281

History

2026-11-02: add by m2/dev

ZRGRHP35GB ZRGRHP35GB

URI	`m2://inv/ZRGRHP35GB`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/extensionality.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 19.6

History

2026-11-01: add by m2/v0.6.13

Lemma ZRGV6AMYK9

URI	`m2://inv/ZRGV6AMYK9`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Minkowski plane#AN92, Lemma (statement)

History

2026-11-02: add by m2/dev

ZRGX9V9N5D ZRGX9V9N5D

URI	`m2://inv/ZRGX9V9N5D`
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.06225#QT4H (statement). In RQVG8V4FJA/e1, proposition 2.1

History

2026-10-29: add by m2/v0.4.10

ZRH2GSVHBC ZRH2GSVHBC

URI	`m2://inv/ZRH2GSVHBC`
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.32478#DAPN (statement). In 5QBSYDC2XH/e1, proposition 3.2

History

2026-10-31: add by m2/v0.5.6

Cari Champion ZRH8PJFV22

URI	`m2://inv/ZRH8PJFV22`
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#09H7, Cari Champion (unknown)

History

2026-11-02: add by m2/dev

Theodorus' constant ZRHB57KC4F

URI	`m2://inv/ZRHB57KC4F`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of scientific constants named after people#NKBD, Theodorus' constant (definition)

History

2026-11-02: add by m2/dev

ZRHDM1MBFX ZRHDM1MBFX

URI	`m2://inv/ZRHDM1MBFX`
Kind	definition
Layer	research
MSC	05-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20775#IX9Q (definition). In XG27B81T0G/e1, definition 2.2

History

2026-10-27: add by m2/v0.4.2

inhabited type ZRHG7H9BMH

URI	`m2://inv/ZRHG7H9BMH`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/9.4/inhabited-type, inhabited type (concept). In N54F33XE07, index, section 9.4

History

2026-11-01: add by m2/v0.6.13

Examples ZRJ6Q4S286

URI	`m2://inv/ZRJ6Q4S286`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Rational singularity#AUMU, Examples (example)

History

2026-11-02: add by m2/dev

Generalized Wiener filter ZRJ94Q53WP

URI	`m2://inv/ZRJ94Q53WP`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Generalized Wiener filter, Generalized Wiener filter (definition). Also Wikidata Q18207332

History

2026-11-02: add by m2/dev

Stationary Bernstein inequality ZRJ973BKY4

URI	`m2://inv/ZRJ973BKY4`
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.13916#HJJO, Stationary Bernstein inequality (statement). In JS2JSD0507/e1, theorem A.1

History

2026-10-28: add by m2/v0.4.2

8 ZRJ9KHEEXY

URI	`m2://inv/ZRJ9KHEEXY`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q23355 (statement). Also MathWorld 8, ProofWiki 8
wikipedia: Wikipedia 8, 8 (definition). Also Wikidata Q23355

History

2026-10-26: add by m2/dev

Logrank test ZRJ9W8A3KW

URI	`m2://inv/ZRJ9W8A3KW`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of statistics articles#IQVU, Logrank test (definition)

History

2026-11-02: add by m2/dev

Phase retrieval {\normalfont ZRJGNDVKFM

URI	`m2://inv/ZRJGNDVKFM`
Kind	example
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.33238#GFFT, Phase retrieval {\normalfont (example). In MVWXMDFP3P/e1, example 2.4

History

2026-10-30: add by m2/v0.4.12

ZRJJT73KHT ZRJJT73KHT

URI	`m2://inv/ZRJJT73KHT`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_scv: lebl_scv scv.tex#example-21 (example). In VNMV985MXX, example, section 6.5

History

2026-11-01: add by m2/v0.6.13

ZRJM7BWCM9 ZRJM7BWCM9

URI	`m2://inv/ZRJM7BWCM9`
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.21752#A113 (statement). In E4DJTPKHAX/e1, proposition 5.8

History

2026-10-27: add by m2/v0.4.2

ZRJNN0X6BD ZRJNN0X6BD

URI	`m2://inv/ZRJNN0X6BD`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-109 (exercise). In E9HS8K3A52, exercise, section 10.9.4

History

2026-11-01: add by m2/v0.6.13

ZRJRD9GB3Q ZRJRD9GB3Q

URI	`m2://inv/ZRJRD9GB3Q`
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.09594#9UGO (statement). In TVE5WK2MH8/e1, corollary 4.5

History

2026-10-29: add by m2/v0.4.10

Definition ZRJVPXTXGC

URI	`m2://inv/ZRJVPXTXGC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Psychologism#VC3N, Definition (definition)

History

2026-11-02: add by m2/dev

Conformal algebra ZRJWCH4WC3

URI	`m2://inv/ZRJWCH4WC3`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of string theory topics#M4AV, Conformal algebra (definition)

History

2026-11-02: add by m2/dev

Principle of marginality ZRJWFKDWNP

URI	`m2://inv/ZRJWFKDWNP`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Principle of marginality, Principle of marginality (statement). Also Wikidata Q7245161

History

2026-11-02: add by m2/dev

Definition ZRJZ9WNJC2

URI	`m2://inv/ZRJZ9WNJC2`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quantum coin flipping#YYOE, Definition (definition)

History

2026-11-02: add by m2/dev

ZRK0FQ6PEF ZRK0FQ6PEF

URI	`m2://inv/ZRK0FQ6PEF`
Kind	statement
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#1RS8 (statement). In 7SRERSS1PF/e1, lemma 5.2

History

2026-10-29: add by m2/v0.4.12

ZRK0SFJDEJ ZRK0SFJDEJ

URI	`m2://inv/ZRK0SFJDEJ`
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.13884#E8NH (statement). In N2NQ3QJYTW/e1, theorem 6.3

History

2026-10-28: add by m2/v0.4.2

Berry–Esséen theorem ZRK2XD6424

URI	`m2://inv/ZRK2XD6424`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of theorems#R7D8, Berry–Esséen theorem (statement)

History

2026-11-02: add by m2/dev

ZRK9TF1APW ZRK9TF1APW

URI	`m2://inv/ZRK9TF1APW`
Kind	statement
Layer	research
MSC	18-XX, 55-XX, 81-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.03865#LMPB (statement). In G3D1YR20BJ/e1, lemma 4.20

History

2026-10-29: add by m2/v0.4.12

ZRKAQ8BZ7Y ZRKAQ8BZ7Y

URI	`m2://inv/ZRKAQ8BZ7Y`
Kind	statement
Layer	research
MSC	14-XX, 20-XX, 22-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.16362#9QVL (statement). In 4NJ4T3DEQB/e1, theorem 2.9

History

2026-10-28: add by m2/v0.4.2

Weighted cycling ZRKB5R1RD1

URI	`m2://inv/ZRKB5R1RD1`
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.17127#4PFR, Weighted cycling (statement). In NZJ5B5KSDQ/e1, theorem 3

History

2026-10-28: add by m2/v0.4.2

ZRKH5GK0BT ZRKH5GK0BT

URI	`m2://inv/ZRKH5GK0BT`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/H113/sylow.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 7.3

History

2026-11-01: add by m2/v0.6.13

Weston Observatory ZRKJ4EP6EB

URI	`m2://inv/ZRKJ4EP6EB`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of research centers at Boston College#HI2V, Weston Observatory (unknown)

History

2026-11-02: add by m2/dev

2D geometric model ZRKMQXBKZT

URI	`m2://inv/ZRKMQXBKZT`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#ONBA, 2D geometric model (definition)

History

2026-11-02: add by m2/dev

Set function ZRKR4E2EVB

URI	`m2://inv/ZRKR4E2EVB`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of types of functions#OV2N, Set function (definition)

History

2026-11-02: add by m2/dev

initial, set ZRKTPJ8EGA

URI	`m2://inv/ZRKTPJ8EGA`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

hott_book: hott_book index/C.1.4/initial-set, initial, set (concept). In N54F33XE07, index, section C.1.4

History

2026-11-01: add by m2/v0.6.13

Decisional composite residuosity assumption ZRM2PK3CZD

URI	`m2://inv/ZRM2PK3CZD`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Decisional composite residuosity assumption, Decisional composite residuosity assumption (definition). Also Wikidata Q5249247

History

2026-11-02: add by m2/dev

maximum principle, analytic functions ZRM2XP3VQX

URI	`m2://inv/ZRM2XP3VQX`
Kind	concept
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_ra: lebl_ra index/1.5/maximum-principle-analytic-functions, maximum principle, analytic functions (concept). In E59CDZA4DP, index, section 1.5

History

2026-11-01: add by m2/v0.6.13

Norman Levinson ZRMBD1BMXN

URI	`m2://inv/ZRMBD1BMXN`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#EWJ1, Norman Levinson (topic)

History

2026-11-02: add by m2/dev

A time density for nonintegral spectra ZRMHJXH3QR

URI	`m2://inv/ZRMHJXH3QR`
Kind	statement
Layer	research
MSC	05-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.10017#8RTH, A time density for nonintegral spectra (statement). In CJRBKR4JKT/e1, theorem 3.2

History

2026-10-29: add by m2/v0.4.10

Short-time growth of boundary local time ZRMNJ9J16B

URI	`m2://inv/ZRMNJ9J16B`
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.07380#848X, Short-time growth of boundary local time (statement). In XM2CDRKSGE/e1, lemma B.1

History

2026-10-29: add by m2/v0.4.10

Median algebra ZRMNP0E8XZ

URI	`m2://inv/ZRMNP0E8XZ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Median algebra, Median algebra (definition). Also Wikidata Q6806108

History

2026-11-02: add by m2/dev

ZRMQWRQGC1 ZRMQWRQGC1

URI	`m2://inv/ZRMQWRQGC1`
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.34813#858I (statement). In P3V3ZGCHV7/e1, lemma 3.2

History

2026-10-30: add by m2/v0.4.12

ZRMS1Z67S0 ZRMS1Z67S0

URI	`m2://inv/ZRMS1Z67S0`
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.24353#2FFL (statement)

History

2026-11-01: add by m2/v0.6.15

ZRMT0A719V ZRMT0A719V

URI	`m2://inv/ZRMT0A719V`
Kind	exercise
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/alg-geom/spec-sheaf.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 27.7

History

2026-11-01: add by m2/v0.6.13

ZRN6X52QT8 ZRN6X52QT8

URI	`m2://inv/ZRN6X52QT8`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#bvp:eig1ex (example). In E9HS8K3A52, example, section 5.1.2

History

2026-11-01: add by m2/v0.6.13

Concatenation theory ZRNDWRRY9Z

URI	`m2://inv/ZRNDWRRY9Z`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Concatenation theory, Concatenation theory (definition). Also Wikidata Q17084255

History

2026-11-02: add by m2/dev

List of complex analysis topics ZRNFYKCKDT

URI	`m2://inv/ZRNFYKCKDT`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Lists of mathematics topics#9SRW, List of complex analysis topics (topic)

History

2026-11-02: add by m2/dev

Partition vs. analytic rank problem ZRNJ8X82AS

URI	`m2://inv/ZRNJ8X82AS`
Kind	statement
Layer	research
MSC	05-XX, 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.33733#2HS5, Partition vs. analytic rank problem (statement). In QBAP8C82FG/e1, theorem 6

History

2026-10-30: add by m2/v0.4.12

ZRNM550K6W ZRNM550K6W

URI	`m2://inv/ZRNM550K6W`
Kind	statement
Layer	research
MSC	35-XX, 46-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.08074#ENVL (statement). In ZRPYF750AV/e1, lemma 2.8

History

2026-10-29: add by m2/v0.4.10

Walter E. Hoadley ZRNPJSJDC0

URI	`m2://inv/ZRNPJSJDC0`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Walter E. Hoadley, Walter E. Hoadley (topic). Also Wikidata Q107488444

History

2026-11-02: add by m2/dev

Buzen's algorithm ZRNVS6MKN3

URI	`m2://inv/ZRNVS6MKN3`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Buzen's algorithm, Buzen's algorithm (definition). Also Wikidata Q5003438

History

2026-11-02: add by m2/dev

Shigeru Mukai ZRNW0P2TCP

URI	`m2://inv/ZRNW0P2TCP`
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 Q7496384, Shigeru Mukai (unknown). Also nLab Shigeru Mukai
wikipedia: Wikipedia Shigeru Mukai, Shigeru Mukai (topic). Also Wikidata Q7496384

History

2026-10-26: add by m2/dev

ZRNY8P6JS9 ZRNY8P6JS9

URI	`m2://inv/ZRNY8P6JS9`
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.33015#CVK1 (statement). In W6Y6NPK648/e1, corollary 4.15

History

2026-10-27: add by m2/v0.3.5

ZRP03ZJSR8 ZRP03ZJSR8

URI	`m2://inv/ZRP03ZJSR8`
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 2405.13323#TTCF (statement). In 5KN5GD38KG/e1, theorem 2.3

History

2026-10-27: add by m2/v0.3.5

semisimple Lie group ZRP5PH5TVY

URI	`m2://inv/ZRP5PH5TVY`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q15819036, semisimple Lie group (unknown). Also MathWorld SemisimpleLieGroup, nLab semisimple Lie group

History

2026-10-26: add by m2/dev

ZRPERADNG3 ZRPERADNG3

URI	`m2://inv/ZRPERADNG3`
Kind	statement
Layer	research
MSC	05-XX, 13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.21866#2HKE (statement). In Q3NMYW8ANH/e1, theorem A

History

2026-10-27: add by m2/v0.4.2

Inclusive composite interval mapping ZRPFGC8M6G

URI	`m2://inv/ZRPFGC8M6G`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Inclusive composite interval mapping, Inclusive composite interval mapping (definition). Also Wikidata Q6014918

History

2026-11-02: add by m2/dev

Properties ZRPGSWXQ27

URI	`m2://inv/ZRPGSWXQ27`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Logical biconditional#5TQ9, Properties (statement)

History

2026-11-02: add by m2/dev

history of special relativity ZRPJKS087M

URI	`m2://inv/ZRPJKS087M`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1095704, history of special relativity (definition). Also ProofWiki Definition:Special_Theory_of_Relativity/Historical_Note

History

2026-10-26: add by m2/dev

ZRPNY9RPD0 ZRPNY9RPD0

URI	`m2://inv/ZRPNY9RPD0`
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.07164#245K (statement). In Q1XJ5VWE1N/e1, proposition 4.14

History

2026-10-29: add by m2/v0.4.10

ZRPQ7MZC6C ZRPQ7MZC6C

URI	`m2://inv/ZRPQ7MZC6C`
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.17258#NSM2 (statement). In F4M67ZVBF2/e1, proposition 3.1

History

2026-10-28: add by m2/v0.4.2

London equations ZRPQP97YRJ

URI	`m2://inv/ZRPQP97YRJ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of named differential equations#RBDI, London equations (definition)

History

2026-11-02: add by m2/dev

Stag hunt ZRPR7NKV6K

URI	`m2://inv/ZRPR7NKV6K`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Stag hunt, Stag hunt (definition). Also Wikidata Q1025469

History

2026-11-02: add by m2/dev

ZRPWZDADZM ZRPWZDADZM

URI	`m2://inv/ZRPWZDADZM`
Kind	statement
Layer	research
MSC	37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.03327#OTTD (statement). In EBNXA84CPM/e1, corollary 2

History

2026-10-29: add by m2/v0.4.12

ZRQ29757GD ZRQ29757GD

URI	`m2://inv/ZRQ29757GD`
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.24051#G1W4 (statement)

History

2026-11-02: add by m2/v0.6.17

ZRQAVXN5GB ZRQAVXN5GB

URI	`m2://inv/ZRQAVXN5GB`
Kind	proof
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

napkin: napkin tex/set-theory/cardinal.tex#proof-4 (proof). In RZP28ERRZV, proof, section 89.4

History

2026-11-01: add by m2/v0.6.13

Tilts with a product structure ZRQHFJECHE

URI	`m2://inv/ZRQHFJECHE`
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.32710#TGPT, Tilts with a product structure (statement). In KVYG6R7CGJ/e1, lemma A.4

History

2026-10-31: add by m2/v0.5.6

Necessity ZRQMEE9513

URI	`m2://inv/ZRQMEE9513`
Kind	statement
Layer	research
MSC	51-XX, 52-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.26129#SCG6, Necessity (statement)

History

2026-11-01: add by m2/v0.6.15

Matrices $\mathcal{R}_{\theta}$ and $\mathcal{I}_{\theta}$ associated with $\theta$ ZRQMY3VE6N

URI	`m2://inv/ZRQMY3VE6N`
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.12691#7SAK, Matrices $\mathcal{R}_{\theta}$ and $\mathcal{I}_{\theta}$ associated with $\theta$ (definition). In YVQKT91MYN/e1, definition 6

History

2026-10-28: add by m2/v0.4.2

Atiyah–Singer index theorem ZRQPWS9G3A

URI	`m2://inv/ZRQPWS9G3A`
Kind	statement
Layer	textbook
MSC	53-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q755991, Atiyah–Singer index theorem (statement). Also Wikidata Q755991
thousand_plus: thousand_plus Q755991, Atiyah–Singer index theorem (statement). Also Wikidata Q755991, Wikipedia Atiyah–Singer index theorem
wikidata: Wikidata Q755991, Atiyah–Singer index theorem (statement). Also MathWorld Atiyah-SingerIndexTheorem, nLab Atiyah-Singer index theorem
wikipedia: Wikipedia Atiyah–Singer index theorem, Atiyah–Singer index theorem (statement). Also Wikidata Q755991

History

2026-10-26: add by m2/dev

ZRQR4WNPX2 ZRQR4WNPX2

URI	`m2://inv/ZRQR4WNPX2`
Kind	statement
Layer	research
MSC	30-XX, 32-XX, 46-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.32650#L4H1 (statement). In PHXJ87HKYB/e1, lemma 3.4

History

2026-10-31: add by m2/v0.5.6

ZRQTMCG75S ZRQTMCG75S

URI	`m2://inv/ZRQTMCG75S`
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.12329#8IY9 (statement). In ZJQB9W60T6/e1, theorem 8.12

History

2026-10-28: add by m2/v0.4.2

analysis of variance ZRQYME0T0B

URI	`m2://inv/ZRQYME0T0B`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Analysis of variance M9AQ5HKGP4

Mentions

wikidata: Wikidata Q42297, analysis of variance (unknown). Also EoM ANOVA, MathWorld AnalysisofVariance
wikipedia: Wikipedia Analysis of variance, Analysis of variance (definition). Also Wikidata Q42297

History

2026-10-26: add by m2/dev

Applications ZRQZEKWS2P

URI	`m2://inv/ZRQZEKWS2P`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kazhdan–Margulis theorem#74V5, Applications (example)

History

2026-11-02: add by m2/dev

ZRR1K62022 ZRR1K62022

URI	`m2://inv/ZRR1K62022`
Kind	statement
Layer	research
MSC	11-XX, 60-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.00134#5M0G (statement). In S654779J5P/e1, theorem 3

History

2026-10-30: add by m2/v0.4.12

\textbf{Zig-Zag Walk Conjecture ZRR8W5ADVT

URI	`m2://inv/ZRR8W5ADVT`
Kind	conjecture
Layer	research
MSC	05-XX, 13-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.30086#EIDC, \textbf{Zig-Zag Walk Conjecture (conjecture)

History

2026-11-01: add by m2/v0.6.15

ZRR9EQDKQ0 ZRR9EQDKQ0

URI	`m2://inv/ZRR9EQDKQ0`
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 2110.02281#H7VM (statement). In KDBFPMN1A6/e1, corollary 1

History

2026-10-27: add by m2/v0.3.5

Properties ZRRDRWNBTK

URI	`m2://inv/ZRRDRWNBTK`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Fredholm determinant#MM33, Properties (statement)

History

2026-11-02: add by m2/dev

Identity gate ZRRET0DXPH

URI	`m2://inv/ZRRET0DXPH`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Quantum logic gate#SU0A, Identity gate (statement)

History

2026-11-02: add by m2/dev

Correlation breaking with intermediate variables ZRRJC49SJT

URI	`m2://inv/ZRRJC49SJT`
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#TPG6, Correlation breaking with intermediate variables (statement). In ZZER8ZBSCR/e1, lemma 3.1

History

2026-10-29: add by m2/v0.4.12

Marta Lewicka ZRS0576HCG

URI	`m2://inv/ZRS0576HCG`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of people by Erdős number#CX2Z, Marta Lewicka (topic)

History

2026-11-02: add by m2/dev

network ZRS0PS1WJD

URI	`m2://inv/ZRS0PS1WJD`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of graph theory#IULG, network (definition)

History

2026-11-02: add by m2/dev

ZRS13HA6CC ZRS13HA6CC

URI	`m2://inv/ZRS13HA6CC`
Kind	statement
Layer	research
MSC	03-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2601.01000#5VKO (statement). In RYFV9HGWWZ/e1, lemma 21

History

2026-10-27: add by m2/v0.3.5

Runge domain ZRS14SA7GR

URI	`m2://inv/ZRS14SA7GR`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Runge's theorem#HWMS, Runge domain (unknown)

History

2026-11-02: add by m2/dev

ZRS64H3PGT ZRS64H3PGT

URI	`m2://inv/ZRS64H3PGT`
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#J6LS (statement). In X47RYAZF8P/e1, lemma 6.3

History

2026-10-28: add by m2/v0.4.2

ZRSDGQ7JN6 ZRSDGQ7JN6

URI	`m2://inv/ZRSDGQ7JN6`
Kind	example
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.27775#JRLT (example)

History

2026-11-01: add by m2/v0.6.15

William Minicozzi II ZRSECX0XWX

URI	`m2://inv/ZRSECX0XWX`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#87L1, William Minicozzi II (unknown)

History

2026-11-02: add by m2/dev

Uniform Bounds on Discrete Integrals ZRSJRV8VN2

URI	`m2://inv/ZRSJRV8VN2`
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.13355#QROV, Uniform Bounds on Discrete Integrals (statement). In QJ1G1HBC6C/e1, lemma 3.4

History

2026-10-28: add by m2/v0.4.2

Constant chord theorem ZRSM849RSH

URI	`m2://inv/ZRSM849RSH`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	3
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q60681777, Constant chord theorem (statement). Also Wikidata Q60681777
thousand_plus: thousand_plus Q60681777, Constant chord theorem (statement). Also Wikidata Q60681777, Wikipedia Constant chord theorem
wikipedia: Wikipedia Constant chord theorem, Constant chord theorem (statement). Also Wikidata Q60681777

History

2026-10-26: add by m2/dev

Weyl-type bound ZRSR0D765K

URI	`m2://inv/ZRSR0D765K`
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 2606.02312#O64H, Weyl-type bound (statement). In 1SZV94R22Y/e1, lemma 6.1

History

2026-10-27: add by m2/v0.3.5

Cross cap ZRSS4KSVDT

URI	`m2://inv/ZRSS4KSVDT`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Möbius strip#TNQK, Cross cap (unknown)

History

2026-11-02: add by m2/dev

ZRT0GMFDN9 ZRT0GMFDN9

URI	`m2://inv/ZRT0GMFDN9`
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 2610.10545#20YR (statement). In ZA75D59G8K/e1, lemma 2.1

History

2026-10-29: add by m2/v0.4.10

Positive lower bound on the stationary variance ZRT2PTEQ96

URI	`m2://inv/ZRT2PTEQ96`
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 2607.28185#76EG, Positive lower bound on the stationary variance (statement). In EG1XXNSTXX/e1, theorem 5.4

History

2026-10-27: add by m2/v0.3.5

impossible world ZRTA920A0C

URI	`m2://inv/ZRTA920A0C`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of logic#FS1V, impossible world (definition)

History

2026-11-02: add by m2/dev

large set ZRTNP593GQ

URI	`m2://inv/ZRTNP593GQ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q6489176, large set (unknown). Also nLab large set
wikipedia: Wikipedia Large set (Ramsey theory), Large set (definition). Also Wikidata Q6489176

History

2026-10-26: add by m2/dev

Word square ZRTQ0C9VCC

URI	`m2://inv/ZRTQ0C9VCC`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Word square, Word square (definition). Also Wikidata Q2940408

History

2026-11-02: add by m2/dev

Flat lattice ZRTT6X4N92

URI	`m2://inv/ZRTT6X4N92`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Flat lattice, Flat lattice (definition). Also Wikidata Q135038514

History

2026-11-02: add by m2/dev

Method ZRTX1XGPSE

URI	`m2://inv/ZRTX1XGPSE`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Kitagawa–Oaxaca–Blinder decomposition#UAJV, Method (definition)

History

2026-11-02: add by m2/dev

ZRTZ34FDBA ZRTZ34FDBA

URI	`m2://inv/ZRTZ34FDBA`
Kind	statement
Layer	research
MSC	37-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.16339#XIWD (statement). In ER5EH4W919/e1, theorem 1.4

History

2026-10-28: add by m2/v0.4.2

admissible decision rule ZRTZ8P4REK

URI	`m2://inv/ZRTZ8P4REK`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#YACL, admissible decision rule (definition)

History

2026-11-02: add by m2/dev

Manim ZRV3CJC79M

URI	`m2://inv/ZRV3CJC79M`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#6BJD, Manim (definition)

History

2026-11-02: add by m2/dev

Projection from a point ZRV7RC2G4J

URI	`m2://inv/ZRV7RC2G4J`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Projective variety#QBJD, Projection from a point (unknown)

History

2026-11-02: add by m2/dev

ZRV96JRNCD ZRV96JRNCD

URI	`m2://inv/ZRV96JRNCD`
Kind	statement
Layer	research
MSC	37-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.05354#N5NL (statement). In TZ5BMDXRQZ/e1, lemma 2.10

History

2026-10-29: add by m2/v0.4.10

Local access to the simulator ZRVAP16XCS

URI	`m2://inv/ZRVAP16XCS`
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 2108.05533#U5GN, Local access to the simulator (definition). In 14DZA4M2C6/e1, definition 1.1

History

2026-10-27: add by m2/v0.3.5

Bug-eyed line ZRVE7J5FAQ

URI	`m2://inv/ZRVE7J5FAQ`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Non-Hausdorff manifold#06W1, Bug-eyed line (unknown)

History

2026-11-02: add by m2/dev

Joel Shapiro ZRVRXPNBKC

URI	`m2://inv/ZRVRXPNBKC`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Joel Shapiro (mathematician), Joel Shapiro (topic). Also Wikidata Q6213947

History

2026-11-02: add by m2/dev

Essential range ZRW1EZ1074

URI	`m2://inv/ZRW1EZ1074`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Essential range, Essential range (definition). Also Wikidata Q5399579

History

2026-11-02: add by m2/dev

ZRWXN2T7QV ZRWXN2T7QV

URI	`m2://inv/ZRWXN2T7QV`
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.20421#3977 (statement). In Q4R7J8JE3F/e1, theorem D

History

2026-10-27: add by m2/v0.4.2

2011 Census for England and Wales ZRX12ARAPQ

URI	`m2://inv/ZRX12ARAPQ`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia 2011 United Kingdom census#G91V, 2011 Census for England and Wales (unknown)

History

2026-11-02: add by m2/dev

pre-abelian category ZRX3E29A49

URI	`m2://inv/ZRX3E29A49`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q7239192, pre-abelian category (definition). Also nLab pre-abelian category, ProofWiki Definition:Pre-Abelian_Category
wikipedia: Wikipedia Pre-abelian category, Pre-abelian category (definition). Also Wikidata Q7239192

History

2026-10-26: add by m2/dev

sectrix of Maclaurin ZRX50T3APJ

URI	`m2://inv/ZRX50T3APJ`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q2026937, sectrix of Maclaurin (concept). Also MathWorld Arachnida
wikipedia: Wikipedia Sectrix of Maclaurin, Sectrix of Maclaurin (definition). Also Wikidata Q2026937

History

2026-10-26: add by m2/dev

ZRX7FGBG0K ZRX7FGBG0K

URI	`m2://inv/ZRX7FGBG0K`
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.05506#4NQW (statement). In FT53PMB1TE/e1, lemma 2.3.6

History

2026-10-29: add by m2/v0.4.10

3-manifold ZRXDWFD9GN

URI	`m2://inv/ZRXDWFD9GN`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	3-manifold R20TB2KEQQ

Mentions

wikidata: Wikidata Q526901, 3-manifold (unknown). Also EoM Three-dimensional_manifold, nLab 3-manifold
wikipedia: Wikipedia 3-manifold, 3-manifold (definition). Also Wikidata Q526901

History

2026-10-26: add by m2/dev

Meyer A. Girshick ZRXE74HMGP

URI	`m2://inv/ZRXE74HMGP`
Kind	topic
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#MP1Z, Meyer A. Girshick (topic)

History

2026-11-02: add by m2/dev

Generalised logistic function ZRXEPVPXQZ

URI	`m2://inv/ZRXEPVPXQZ`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Generalised logistic function, Generalised logistic function (definition). Also Wikidata Q5532414

History

2026-11-02: add by m2/dev

ZRXFRKXT22 ZRXFRKXT22

URI	`m2://inv/ZRXFRKXT22`
Kind	statement
Layer	research
MSC	49-XX, 62-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.11906#0FQ4 (statement). In 8S9TEAPCDJ/e1, lemma 3

History

2026-10-28: add by m2/v0.4.3

FC-group ZRXKSBTK2H

URI	`m2://inv/ZRXKSBTK2H`
Kind	definition
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia FC-group, FC-group (definition). Also Wikidata Q5424694

History

2026-11-02: add by m2/dev

ZRXQ1SXVPS ZRXQ1SXVPS

URI	`m2://inv/ZRXQ1SXVPS`
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 2012.05048#RGLU (statement). In NY9HW1E6DY/e1, lemma 5.2

History

2026-10-27: add by m2/v0.3.5

Examples ZRXSMMGBWK

URI	`m2://inv/ZRXSMMGBWK`
Kind	example
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Wheel theory#ZVON, Examples (example)

History

2026-11-02: add by m2/dev

Cel shading ZRY8YC2Q4R

URI	`m2://inv/ZRY8YC2Q4R`
Kind	unknown
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#YAM2, Cel shading (unknown)

History

2026-11-02: add by m2/dev

ZRZ7TG4854 ZRZ7TG4854

URI	`m2://inv/ZRZ7TG4854`
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.03011#JHUX (statement). In VE8FB6K8EN/e1, proposition 5

History

2026-10-29: add by m2/v0.4.12

ZRZ8QPPD8K ZRZ8QPPD8K

URI	`m2://inv/ZRZ8QPPD8K`
Kind	statement
Layer	research
MSC	46-XX, 49-XX, 90-XX, 93-XX
Sources	1
Outcome	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.20542#W9V2 (statement). In 8PZXZ8Y9FK/e1, lemma 5.1

History

2026-10-27: add by m2/v0.4.2

Chessboard estimate ZRZPJ7Y39P

URI	`m2://inv/ZRZPJ7Y39P`
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.29671#K46P, Chessboard estimate (statement)

History

2026-11-01: add by m2/v0.6.15

Open problems ZRZPKNZF9R

URI	`m2://inv/ZRZPKNZF9R`
Kind	statement
Layer	textbook
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Canadian traveller problem#2NZX, Open problems (statement)

History

2026-11-02: add by m2/dev