Inventory rows 7F

Definition 7F00AD6PF2

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

Mentions

wikipedia: Wikipedia Random generalized Lotka–Volterra model#U2L3, Definition (definition)

History

2026-11-02: add by m2/dev

7F01RHFT16 7F01RHFT16

URI	`m2://inv/7F01RHFT16`
Kind	problem
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.09482#W41G (problem). In VYMEQQVMBD/e1, problem

History

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

categorical distribution 7F030D7WZA

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

Mentions

wikidata: Wikidata Q5051810, categorical distribution (unknown). Also nLab categorical distribution
wikipedia: Wikipedia Categorical distribution, Categorical distribution (definition). Also Wikidata Q5051810

History

2026-10-26: add by m2/dev

Lagrange multipliers on Banach spaces 7F06KNZCYS

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

Mentions

wikipedia: Wikipedia Lagrange multipliers on Banach spaces, Lagrange multipliers on Banach spaces (definition). Also Wikidata Q17086206

History

2026-11-02: add by m2/dev

The Tor Project 7F0BWMY2XH

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

Mentions

wikipedia: Wikipedia The Tor Project, The Tor Project (definition). Also Wikidata Q20857740

History

2026-11-02: add by m2/dev

Fermi's interaction 7F0E3JH0S7

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#SOEV, Fermi's interaction (unknown)

History

2026-11-02: add by m2/dev

Jimmy Connors 7F0F9D1QV5

URI	`m2://inv/7F0F9D1QV5`
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#7HTW, Jimmy Connors (unknown)

History

2026-11-02: add by m2/dev

7F0RQCAEBR 7F0RQCAEBR

URI	`m2://inv/7F0RQCAEBR`
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.39269#0M3S (statement). In HS4X20TX33/e1, theorem 0.26

History

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

7F0TDMF24K 7F0TDMF24K

URI	`m2://inv/7F0TDMF24K`
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.01803#7MW6 (statement). In J6N4X33BME/e1, proposition 10

History

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

Application 7F0XEC8V0K

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

Mentions

wikipedia: Wikipedia Pollard's rho algorithm#B2UG, Application (example)

History

2026-11-02: add by m2/dev

7F0Z21DPTT 7F0Z21DPTT

URI	`m2://inv/7F0Z21DPTT`
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.26852#5WUP (statement)

History

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

Polynomial transformation 7F0ZM6STMZ

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

Mentions

wikipedia: Wikipedia List of polynomial topics#7R41, Polynomial transformation (definition)

History

2026-11-02: add by m2/dev

7F13W5ENFH 7F13W5ENFH

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

Mentions

arxiv: arXiv 2610.10248#7NIQ (statement). In TMV74X2725/e1, theorem 1.1

History

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

7F15CDZ41J 7F15CDZ41J

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

Mentions

hott_book: hott_book categories.tex#ct:adjointification (statement). In N54F33XE07, lem, section 2.4

History

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

Gabrielov's theorem 7F1D7F00FS

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

Mentions

wikipedia: Wikipedia Wilkie's theorem#TSTJ, Gabrielov's theorem (statement)

History

2026-11-02: add by m2/dev

7F1HF6T32G 7F1HF6T32G

URI	`m2://inv/7F1HF6T32G`
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 2610.11965#6UPJ (statement). In 48QX0QD0XR/e1, theorem 6.12

History

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

Zero-prior gap 7F1QX429X3

URI	`m2://inv/7F1QX429X3`
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.38453#9SFJ, Zero-prior gap (statement). In DWKWF242Y0/e1, lemma 12

History

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

algebraic number 7F1RMTPCP0

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

Mentions

wikipedia: Wikipedia Glossary of number theory#WZQM, algebraic number (definition)

History

2026-11-02: add by m2/dev

7F1V6NVTP7 7F1V6NVTP7

URI	`m2://inv/7F1V6NVTP7`
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 2610.19854#9HA3 (statement). In D50WST4CG3/e1, theorem 8.1

History

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

Barry Mitchell 7F1Y7K4TQH

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

Mentions

wikipedia: Wikipedia Barry Mitchell (mathematician), Barry Mitchell (topic). Also Wikidata Q102145243

History

2026-11-02: add by m2/dev

*{Conj.\ 6.2 7F253BXHV6

URI	`m2://inv/7F253BXHV6`
Kind	conjecture
Layer	research
MSC	16-XX, 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.20306#V3TG, *{Conj.\ 6.2 (conjecture). In YG5EX49042/e1, conjecture 1.2

History

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

Definition 7F283SSJ3D

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

Mentions

wikipedia: Wikipedia Polarization density#Z07M, Definition (definition)

History

2026-11-02: add by m2/dev

7F2DW3PEB5 7F2DW3PEB5

URI	`m2://inv/7F2DW3PEB5`
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 2602.19452#PPD4 (statement). In 3GF75S0XJ0/e1, corollary 3.7

History

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

7F2KVPDC1Q 7F2KVPDC1Q

URI	`m2://inv/7F2KVPDC1Q`
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 2610.03754#HPGA (statement). In J1Z9P0H13V/e1, proposition 1

History

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

3 21 polytope 7F2W5Q45A1

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

Mentions

wikipedia: Wikipedia 3 21 polytope, 3 21 polytope (object). Also Wikidata Q4636457

History

2026-11-02: add by m2/dev

Brown–Gitler spectrum 7F2YBQ42SQ

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

Mentions

wikidata: Wikidata Q30590144, Brown–Gitler spectrum (concept). Also nLab Brown-Gitler spectrum

History

2026-10-26: add by m2/dev

The minimum-variance end 7F3255A5YP

URI	`m2://inv/7F3255A5YP`
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.21271#DLO3, The minimum-variance end (statement)

History

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

Gaussification and Gaussian channels 7F32CDN8JY

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

Mentions

arxiv: arXiv 2610.22308#GSN1, Gaussification and Gaussian channels (statement). In 4QN87R0P1G/e1, fact 11

History

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

7F34K5X1N6 7F34K5X1N6

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

Mentions

arxiv: arXiv 2609.31278#A7U9 (statement). In KEP21CZFV9/e1, theorem #1

History

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

Gromov's compactness theorem 7F3ATJCSV4

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

Mentions

mathlib_1000: mathlib_1000 Q5610188, Gromov's compactness theorem (geometry) (statement). Also Wikidata Q5610188
thousand_plus: thousand_plus Q5610188, Gromov's compactness theorem (statement). Also Wikidata Q5610188, Wikipedia Gromov's compactness theorem (geometry)
wikipedia: Wikipedia Gromov's compactness theorem (geometry), Gromov's compactness theorem (statement). Also Wikidata Q5610188

History

2026-10-26: add by m2/dev

Definition 7F3CZ03YWN

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

Mentions

wikipedia: Wikipedia Schrödinger equation#HU8J, Definition (definition)

History

2026-11-02: add by m2/dev

Firewall paradox 7F3NYY2C0X

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

Mentions

wikipedia: Wikipedia Black hole information paradox#HS7J, Firewall paradox (statement)

History

2026-11-02: add by m2/dev

7F3QKSY1CG 7F3QKSY1CG

URI	`m2://inv/7F3QKSY1CG`
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.08599#S46R (statement). In DST9FWMHT6/e1, theorem 3.1

History

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

pentagonal orthobirotunda 7F43BJ93ZW

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

Mentions

wikidata: Wikidata Q528787, pentagonal orthobirotunda (object). Also MathWorld PentagonalOrthobirotunda
wikipedia: Wikipedia Pentagonal orthobirotunda, Pentagonal orthobirotunda (definition). Also Wikidata Q528787

History

2026-10-26: add by m2/dev

regular 7F43X31SC7

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

Mentions

wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#AWGJ, regular (definition)

History

2026-11-02: add by m2/dev

7F45MSW1PD 7F45MSW1PD

URI	`m2://inv/7F45MSW1PD`
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.11886#YC9J (statement). In T0APQY74CA/e1, theorem 13

History

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

Phenomenological laws 7F4FP1TZTN

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

Mentions

wikipedia: Wikipedia Law (mathematics)#PZSK, Phenomenological laws (statement)

History

2026-11-02: add by m2/dev

7F4MY9Z7GT 7F4MY9Z7GT

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

Mentions

napkin: napkin tex/alg-geom/bezout.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 20.2

History

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

Definition 7F59FVZGMZ

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

Mentions

wikipedia: Wikipedia Hadamard derivative#U60U, Definition (definition)

History

2026-11-02: add by m2/dev

7F5B1HJ7M6 7F5B1HJ7M6

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

Mentions

arxiv: arXiv 1002.0879#IK5I (definition). In M0SQY5EZN5/e1, definition 1.1.1

History

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

7F5BHY9QAG 7F5BHY9QAG

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

Mentions

arxiv: arXiv 2610.04434#IEJ3 (statement). In EY0QS456EC/e1, theorem 1.3

History

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

7F5JHAFDZG 7F5JHAFDZG

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#problem-2 (exercise). In P1C114YBXG, problem, section F

History

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

unification 7F5KRHDAMQ

URI	`m2://inv/7F5KRHDAMQ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Unification RJJ9D0WF53

Mentions

wikidata: Wikidata Q609057, unification (unknown). Also MathWorld Unification
wikipedia: Wikipedia Unification (computer science), Unification (definition). Also Wikidata Q609057

History

2026-10-26: add by m2/dev

Nonlinear dimensionality reduction 7F5RFQSNKX

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

Mentions

wikipedia: Wikipedia Nonlinear dimensionality reduction, Nonlinear dimensionality reduction (definition). Also Wikidata Q7049464

History

2026-11-02: add by m2/dev

7F6A22EBD6 7F6A22EBD6

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

Mentions

napkin: napkin tex/alg-geom/mor-scheme.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 22.9

History

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

7F6NN1RAGT 7F6NN1RAGT

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-13 (exercise). In P1C114YBXG, problem, section 1

History

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

Interval propagation 7F6PY6DC6C

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

Mentions

wikipedia: Wikipedia Interval propagation, Interval propagation (definition). Also Wikidata Q17092627

History

2026-11-02: add by m2/dev

Frobenius theorem 7F6RPFWHKJ

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

Mentions

wikipedia: Wikipedia List of misnamed theorems#DELT, Frobenius theorem (statement)

History

2026-11-02: add by m2/dev

Prismatic compound of antiprisms with rotational freedom 7F6W3JFNAW

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#N7KE, Prismatic compound of antiprisms with rotational freedom (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#18N2, Prismatic compound of antiprisms with rotational freedom (definition)

History

2026-11-02: add by m2/dev

Ivan Petrovsky 7F6WNH5ZWX

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

Mentions

wikipedia: Wikipedia Ivan Petrovsky, Ivan Petrovsky (topic). Also Wikidata Q1384966

History

2026-11-02: add by m2/dev

7F707FJ0EQ 7F707FJ0EQ

URI	`m2://inv/7F707FJ0EQ`
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.21544#BVDP (statement). In 5FMMWKNYWW/e1, proposition 3.23

History

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

7F717MJN4G 7F717MJN4G

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-30 (exercise). In Y91XFCEVHQ, exercise, section 1.3

History

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

Convergence of the normalized OM distance 7F74JS69T9

URI	`m2://inv/7F74JS69T9`
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.21985#XIMJ, Convergence of the normalized OM distance (statement)

History

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

7F78AQ80ZK 7F78AQ80ZK

URI	`m2://inv/7F78AQ80ZK`
Kind	statement
Layer	research
MSC	05-XX, 11-XX, 13-XX, 14-XX, 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.26127#HQOC (statement)

History

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

direction 7F7KBNM4H7

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

Mentions

wikidata: Wikidata Q3055344, direction (unknown). Also MathWorld Direction

History

2026-10-26: add by m2/dev

7F828P50G0 7F828P50G0

URI	`m2://inv/7F828P50G0`
Kind	statement
Layer	research
MSC	19-XX, 30-XX, 32-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.26808#PYNH (statement)

History

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

circular segment 7F847WV10D

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

Mentions

wikidata: Wikidata Q783081, circular segment (unknown). Also MathWorld CircularSegment
wikipedia: Wikipedia Circular segment, Circular segment (definition). Also Wikidata Q783081

History

2026-10-26: add by m2/dev

7F8DZDQ027 7F8DZDQ027

URI	`m2://inv/7F8DZDQ027`
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.13846#MTOU (statement). In DN3HGHGRYJ/e1, proposition 3.2

History

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

7F8QARZ6FD 7F8QARZ6FD

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

Mentions

arxiv: arXiv 2609.26479#I9AQ (statement)

History

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

Ascending chain condition 7F8R83287E

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

Mentions

wikipedia: Wikipedia List of order theory topics#61NR, Ascending chain condition (definition)

History

2026-11-02: add by m2/dev

7F8WWZHDGE 7F8WWZHDGE

URI	`m2://inv/7F8WWZHDGE`
Kind	statement
Layer	research
MSC	14-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.36509#W9CA (statement). In DPJ15KW23C/e1, lemma 7.8

History

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

Yoneda lemma 7F91RAPPR1

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

Mentions

wikipedia: Wikipedia List of theorems#NTAR, Yoneda lemma (statement)

History

2026-11-02: add by m2/dev

Leaf-count error identity 7F92WRXRAQ

URI	`m2://inv/7F92WRXRAQ`
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.40077#GJTD, Leaf-count error identity (statement). In F0HMNYB8WB/e1, proposition 5.1

History

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

Definitions 7F949G9QBC

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

Mentions

wikipedia: Wikipedia Big O in probability notation#7Y5D, Definitions (definition)

History

2026-11-02: add by m2/dev

Decay of the velocity 7F94J39H7M

URI	`m2://inv/7F94J39H7M`
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.13613#N54T, Decay of the velocity (statement). In 3HCT4TQ5PM/e1, lemma 8.2

History

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

Properties 7F95KQZ5YD

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

Mentions

wikipedia: Wikipedia Basis of a matroid#1EJ2, Properties (statement)

History

2026-11-02: add by m2/dev

Uniform linear escape 7F9A544P1S

URI	`m2://inv/7F9A544P1S`
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.05388#MS91, Uniform linear escape (statement). In 4HJK1986EJ/e1, lemma C.22

History

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

7F9AQTE7RA 7F9AQTE7RA

URI	`m2://inv/7F9AQTE7RA`
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.33406#S4TT (statement). In B23TX8G4E4/e1, lemma 2.1

History

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

Donald W. Blackett 7F9GH6B2F2

URI	`m2://inv/7F9GH6B2F2`
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 Q94929549, Donald W. Blackett (unknown). Also ProofWiki Mathematician:Donald_Watson_Blackett

History

2026-10-26: add by m2/dev

7F9GNC2EYV 7F9GNC2EYV

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

Mentions

napkin: napkin tex/topology/top-more.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 101.2.2

History

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

Austrian Ludwig Wittgenstein Society 7F9XBES09B

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

Mentions

wikipedia: Wikipedia Austrian Ludwig Wittgenstein Society, Austrian Ludwig Wittgenstein Society (definition). Also Wikidata Q4825482

History

2026-11-02: add by m2/dev

7F9YX607YE 7F9YX607YE

URI	`m2://inv/7F9YX607YE`
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.21388#R8NK (statement). In 3X4E9KSVWV/e1, theorem 3.5

History

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

Erdős–Graham conjecture 7F9ZJWXW2P

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

Mentions

wikipedia: Wikipedia List of number theory topics#NPT0, Erdős–Graham conjecture (conjecture)

History

2026-11-02: add by m2/dev

7FA3ST0GVR 7FA3ST0GVR

URI	`m2://inv/7FA3ST0GVR`
Kind	statement
Layer	research
MSC	35-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.01653#DG24 (statement). In WZMHJCQPB2/e1, corollary 3.4

History

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

7FA5W3VDNZ 7FA5W3VDNZ

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-18 (example). In E9HS8K3A52, example, section 7.5

History

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

BBT-based calculation of route RTFs 7FA8105CHC

URI	`m2://inv/7FA8105CHC`
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.29597#KISQ, BBT-based calculation of route RTFs (statement)

History

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

Noetherian ring 7FAAEHA70X

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

Mentions

wikipedia: Wikipedia List of things named after Emmy Noether#53D4, Noetherian ring (definition)
wikipedia: Wikipedia List of commutative algebra topics#BN24, Noetherian ring (definition)

History

2026-11-02: add by m2/dev

7FAAN66DV4 7FAAN66DV4

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-15 (exercise). In P1C114YBXG, exercise, section 1.1

History

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

7FAKWTV2AW 7FAKWTV2AW

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

History

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

Well-posedness and redundancy resolution 7FAQTP1P85

URI	`m2://inv/7FAQTP1P85`
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.21580#2M5M, Well-posedness and redundancy resolution (statement)

History

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

Matching (statistics) 7FARA81MZ6

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

Mentions

wikipedia: Wikipedia List of statistics articles#P1NP, Matching (statistics) (definition)

History

2026-11-02: add by m2/dev

Statement 7FATZXBP37

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

Mentions

wikipedia: Wikipedia Equioscillation theorem#7ZCG, Statement (statement)

History

2026-11-02: add by m2/dev

identity criteria 7FAWA1TJ5D

URI	`m2://inv/7FAWA1TJ5D`
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.22667#10EW, identity criteria (statement)

History

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

7FB2W9KCS3 7FB2W9KCS3

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

Mentions

napkin: napkin tex/set-theory/CH.tex#definition-2 (definition). In RZP28ERRZV, definition, section 88.2

History

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

Circle packing in an isosceles right triangle 7FB410VJB8

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

Mentions

wikipedia: Wikipedia Circle packing in an isosceles right triangle, Circle packing in an isosceles right triangle (definition). Also Wikidata Q5121503

History

2026-11-02: add by m2/dev

Information security 7FB44P41E6

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

Mentions

wikipedia: Wikipedia Information security, Information security (definition). Also Wikidata Q189900

History

2026-11-02: add by m2/dev

(Elveden #39) 7FB5SEMSF7

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#TQB9, (Elveden #39) (unknown)

History

2026-11-02: add by m2/dev

Examples 7FB7KDN2KY

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

Mentions

wikipedia: Wikipedia Shapley–Shubik power index#MZY6, Examples (example)

History

2026-11-02: add by m2/dev

Gauss's lemma (polynomials) 7FBDHBBA74

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

Mentions

wikipedia: Wikipedia List of lemmas#GJC1, Gauss's lemma (polynomials) (statement)

History

2026-11-02: add by m2/dev

EHP spectral sequence 7FBF6Y5CX3

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

Mentions

wikidata: Wikidata Q5323100, EHP spectral sequence (unknown). Also nLab EHP spectral sequence
wikipedia: Wikipedia EHP spectral sequence, EHP spectral sequence (definition). Also Wikidata Q5323100

History

2026-10-26: add by m2/dev

SPFA 7FBJZZHN6S

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

Mentions

wikipedia: Wikipedia Bellman–Ford algorithm#JF14, SPFA (unknown)

History

2026-11-02: add by m2/dev

Gaussian isoperimetric inequality 7FC5AHKGRS

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

Mentions

wikipedia: Wikipedia Gaussian isoperimetric inequality, Gaussian isoperimetric inequality (statement). Also Wikidata Q5527842

History

2026-11-02: add by m2/dev

Statement of inequality 7FC7D3G3JY

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

Mentions

wikipedia: Wikipedia Lorden's inequality#4FHE, Statement of inequality (statement)

History

2026-11-02: add by m2/dev

7FCM26ETDX 7FCM26ETDX

URI	`m2://inv/7FCM26ETDX`
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.30976#EGPZ (statement). In 4QY9J1A0KT/e1, theorem 5

History

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

Segment addition postulate 7FCMXMF16X

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

Mentions

wikipedia: Wikipedia Segment addition postulate, Segment addition postulate (definition). Also Wikidata Q7446262

History

2026-11-02: add by m2/dev

Banach-Steinhaus, Sequence Version 7FCQCQBYP4

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

Mentions

arxiv: arXiv 2609.20607#D6HE, Banach-Steinhaus, Sequence Version (statement)

History

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

7FD1X35DKC 7FD1X35DKC

URI	`m2://inv/7FD1X35DKC`
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.37450#QNDH (statement). In FP05Z6EBV4/e1, proposition 2.9

History

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

Jeff Cheeger 7FD2H02DHG

URI	`m2://inv/7FD2H02DHG`
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 Q526247, Jeff Cheeger (unknown). Also nLab Jeff Cheeger
wikipedia: Wikipedia Jeff Cheeger, Jeff Cheeger (topic). Also Wikidata Q526247

History

2026-10-26: add by m2/dev

Aberration 7FD53BJPMF

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

Mentions

wikipedia: Wikipedia Aberration (astronomy), Aberration (definition). Also Wikidata Q211728

History

2026-11-02: add by m2/dev

Generalization 7FDDN3P5NH

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

Mentions

wikipedia: Wikipedia Powerful number#Z4ZZ, Generalization (statement)

History

2026-11-02: add by m2/dev

7FDEK4S794 7FDEK4S794

URI	`m2://inv/7FDEK4S794`
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.22551#N66V (statement)

History

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

Both surgery manifolds are standard 7FDGHVN30D

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

Mentions

arxiv: arXiv 2609.29839#JUJW, Both surgery manifolds are standard (statement)

History

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

7FDVBDB829 7FDVBDB829

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

Mentions

arxiv: arXiv 2609.31445#W5X4 (definition). In 7V2PVZS04C/e1, definition 6.12

History

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

7FDYE4PFJA 7FDYE4PFJA

URI	`m2://inv/7FDYE4PFJA`
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.03555#DD1F (statement). In 9JZJTRRVR1/e1, proposition 4.6

History

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

7FDZ9DNEGH 7FDZ9DNEGH

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

Mentions

arxiv: arXiv 2609.28514#ZA5Y (statement)

History

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

7FE229HZWX 7FE229HZWX

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/verification.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 87.3

History

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

7FE3F2K3S7 7FE3F2K3S7

URI	`m2://inv/7FE3F2K3S7`
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 2412.12141#SZQG (statement). In V980ZMH759/e1, corollary 2.11

History

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

7FE4NJJTYA 7FE4NJJTYA

URI	`m2://inv/7FE4NJJTYA`
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#0356 (statement). In F8RC6AENB0/e1, lemma 6.11

History

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

Implementation 7FE7DANHF2

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

Mentions

wikipedia: Wikipedia Decision EXpert#MWZB, Implementation (definition)

History

2026-11-02: add by m2/dev

distance 7FEHPE0S5R

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

Mentions

hott_book: hott_book index/B.3.1/distance, distance (concept). In N54F33XE07, index, section B.3.1

History

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

Mathematics and fiber arts 7FEV561YPF

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

Mentions

wikipedia: Wikipedia Mathematics and fiber arts, Mathematics and fiber arts (definition). Also Wikidata Q6786898

History

2026-11-02: add by m2/dev

augmented matrix 7FF7WWJRZD

URI	`m2://inv/7FF7WWJRZD`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Augmented matrix 0T6MWGZSXA

Mentions

wikidata: Wikidata Q2750301, augmented matrix (unknown). Also MathWorld AugmentedMatrix
wikipedia: Wikipedia Augmented matrix, Augmented matrix (definition). Also Wikidata Q2750301

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

Uniform rigidity near a Clifford orbit 7FFDBZED98

URI	`m2://inv/7FFDBZED98`
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#YZHI, Uniform rigidity near a Clifford orbit (statement). In SRAS2DJJQH/e1, lemma 6.9

History

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

The construction 7FFDC721MB

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

Mentions

wikipedia: Wikipedia Q-construction#8Y8M, The construction (definition)

History

2026-11-02: add by m2/dev

Carola Doerr 7FFEHG2FFK

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#SXKA, Carola Doerr (unknown)

History

2026-11-02: add by m2/dev

Spheroidal wave function 7FFH7NBH0A

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

Mentions

wikipedia: Wikipedia Spheroidal wave function, Spheroidal wave function (definition). Also Wikidata Q7576728

History

2026-11-02: add by m2/dev

poristic 7FFM0CGXTJ

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#CZ1Q, poristic (definition)

History

2026-11-02: add by m2/dev

Schwinger's action principle 7FFZB0P9R9

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

Mentions

wikipedia: Wikipedia Action principles#87RA, Schwinger's action principle (statement)

History

2026-11-02: add by m2/dev

Totally Positive (TP 7FG46W0SPG

URI	`m2://inv/7FG46W0SPG`
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 2610.19861#33H8, Totally Positive (TP (definition). In 5ZPQ60TM6J/e1, definition 25

History

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

homomorphism, field 7FG50D6N2B

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

Mentions

hott_book: hott_book index/2.6/homomorphism-field, homomorphism, field (concept). In N54F33XE07, index, section 2.6

History

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

7FGEEY351D 7FGEEY351D

URI	`m2://inv/7FGEEY351D`
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.27911#EDCW (statement)

History

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

Simpson's second paradox 7FGEPNJHA8

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

Mentions

wikipedia: Wikipedia Simpson's paradox#G04X, Simpson's second paradox (statement)

History

2026-11-02: add by m2/dev

Explanandum and explanans 7FGHVG9W5J

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

Mentions

wikipedia: Wikipedia Explanandum and explanans, Explanandum and explanans (definition). Also Wikidata Q2675467

History

2026-11-02: add by m2/dev

7FGPTA68KJ 7FGPTA68KJ

URI	`m2://inv/7FGPTA68KJ`
Kind	statement
Layer	research
MSC	14-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.10147#FKH1 (statement). In WZWGAG2FSN/e1, theorem 1.2

History

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

7FGTFZJFDX 7FGTFZJFDX

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

Mentions

arxiv: arXiv 2609.38556#HSIR (definition). In GC2H0HS7ZM/e1, definition 4.5

History

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

Relative preservation of top-joins 7FGY09PXWR

URI	`m2://inv/7FGY09PXWR`
Kind	definition
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#SWT7, Relative preservation of top-joins (definition). In HX63A1PH1W/e1, definition 5.18

History

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

Dependent product of kernels 7FGYZMKERB

URI	`m2://inv/7FGYZMKERB`
Kind	statement
Layer	research
MSC	18-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.26270#EKRH, Dependent product of kernels (statement)

History

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

George W. Brown 7FH5HG2SXG

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

Mentions

wikipedia: Wikipedia George W. Brown (computer scientist), George W. Brown (topic). Also Wikidata Q21704986

History

2026-11-02: add by m2/dev

Euclidean domain 7FH8VCAA3H

URI	`m2://inv/7FH8VCAA3H`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same name as the row)
Node	Euclidean domain 0CHS7RBD39

Mentions

mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > Euclidean domain, Euclidean domain (unknown). Also Mathlib EuclideanDomain
mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > Euclidean rings, Euclidean rings (unknown). Also Mathlib EuclideanDomain
wikidata: Wikidata Q867345, Euclidean domain (definition). Also LMFDB knowl ring.euclidean_domain, Mathlib EuclideanDomain, MathWorld EuclideanDomain, nLab Euclidean domain, ProofWiki Definition:Euclidean_Domain
wikipedia: Wikipedia Euclidean domain, Euclidean domain (definition). Also Wikidata Q867345

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent

7FHAB59Y9S 7FHAB59Y9S

URI	`m2://inv/7FHAB59Y9S`
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#1NH3 (statement). In E63NRC7MBE/e1, proposition 3.9

History

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

Coherence theorem 7FHRJN45SE

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

Mentions

wikipedia: Wikipedia 2-category#8GR1, Coherence theorem (statement)

History

2026-11-02: add by m2/dev

7FJ0JKY3DC 7FJ0JKY3DC

URI	`m2://inv/7FJ0JKY3DC`
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.12852#SR5E (statement). In 1NRV3J17T7/e1, lemma 2.3

History

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

Ternary tree efficiency 7FJ395GFZN

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

Mentions

wikipedia: Wikipedia Optimal radix choice#TGMP, Ternary tree efficiency (unknown)

History

2026-11-02: add by m2/dev

Monge--Ampère measure 7FJ48HHTHS

URI	`m2://inv/7FJ48HHTHS`
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.17519#K7WI, Monge--Ampère measure (statement). In H2DNTQ5MKV/e1, lemma 3.3

History

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

Trace form 7FJ4QKD0V7

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

Mentions

wikipedia: Wikipedia Field trace#A0XR, Trace form (unknown)

History

2026-11-02: add by m2/dev

7FK28AE83P 7FK28AE83P

URI	`m2://inv/7FK28AE83P`
Kind	statement
Layer	research
MSC	03-XX, 14-XX, 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.20361#IN2N (statement)

History

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

Statement 7FK3ZMA58X

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

Mentions

wikipedia: Wikipedia Commutator collecting process#CT79, Statement (statement)

History

2026-11-02: add by m2/dev

7FK5P72XAE 7FK5P72XAE

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

Mentions

arxiv: arXiv 2609.23528#WDKM (statement)

History

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

7FK6376SQN 7FK6376SQN

URI	`m2://inv/7FK6376SQN`
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.25524#2J0K (statement)

History

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

Construction 7FK6J8VKD5

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

Mentions

wikipedia: Wikipedia Hoffman–Singleton graph#KJK9, Construction (definition)

History

2026-11-02: add by m2/dev

7FKFFX89KJ 7FKFFX89KJ

URI	`m2://inv/7FKFFX89KJ`
Kind	conjecture
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#LUSC (conjecture)

History

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

Local product structure 7FKG6TGCT4

URI	`m2://inv/7FKG6TGCT4`
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.11793#7XY1, Local product structure (statement). In GGCY8Z053Z/e1, proposition 2.3

History

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

7FKGQVEM58 7FKGQVEM58

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

Mentions

hott_book: hott_book reals.tex#proof-7 (proof). In N54F33XE07, proof, section B.2.3

History

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

Normal convergence 7FKKZBV8D6

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

Mentions

wikipedia: Wikipedia List of real analysis topics#B72V, Normal convergence (definition)

History

2026-11-02: add by m2/dev

7FKMQ1B8R9 7FKMQ1B8R9

URI	`m2://inv/7FKMQ1B8R9`
Kind	statement
Layer	research
MSC	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 2603.07541#9QMP (statement). In X3RFXWN6FW/e1, theorem 5.1

History

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

B-modes 7FMBXGZFGN

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

Mentions

wikipedia: Wikipedia Cosmic microwave background#C0TG, B-modes (unknown)

History

2026-11-02: add by m2/dev

Géza Grünwald 7FMEYKWFR3

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#KZ98, Géza Grünwald (topic)

History

2026-11-02: add by m2/dev

Brahmagupta 7FMN2Q708C

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#A2AZ, Brahmagupta (topic)

History

2026-11-02: add by m2/dev

One-step suspension 7FMRACGKYH

URI	`m2://inv/7FMRACGKYH`
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.00115#Q4P7, One-step suspension (statement). In JK8PYKCZRA/e1, proposition 7.2

History

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

Antiphon 7FNCK351B1

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

Mentions

wikipedia: Wikipedia Antiphon (orator), Antiphon (topic). Also Wikidata Q335560

History

2026-11-02: add by m2/dev

William J. Youden 7FNDH0X6DD

URI	`m2://inv/7FNDH0X6DD`
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#N1M1, William J. Youden (unknown)

History

2026-11-02: add by m2/dev

Spin network 7FNQWT32J1

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

Mentions

wikipedia: Wikipedia Spin network, Spin network (definition). Also Wikidata Q654081

History

2026-11-02: add by m2/dev

David Gamarnik 7FNZFP5JAN

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

Mentions

wikipedia: Wikipedia David Gamarnik, David Gamarnik (topic). Also Wikidata Q102246461

History

2026-11-02: add by m2/dev

7FP16TBGSP 7FP16TBGSP

URI	`m2://inv/7FP16TBGSP`
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 1612.08394#A223 (statement). In 1P8D88DKG5/e1, theorem 8.1

History

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

7FP2W83DMQ 7FP2W83DMQ

URI	`m2://inv/7FP2W83DMQ`
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#KTQD (statement). In ZKBG58PN1J/e1, theorem 4.3

History

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

7FP3MDHZEZ 7FP3MDHZEZ

URI	`m2://inv/7FP3MDHZEZ`
Kind	example
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.25111#Z6W9 (example)

History

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

7FP41WB42P 7FP41WB42P

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

Mentions

arxiv: arXiv 2610.17060#IIQL (statement). In 5KR3MHYVV6/e1, theorem 3.13

History

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

7FP5AB67MP 7FP5AB67MP

URI	`m2://inv/7FP5AB67MP`
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.21116#1HTX (statement)

History

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

7FP64CV7B8 7FP64CV7B8

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

Mentions

arxiv: arXiv 2102.09374#9RG8 (definition). In TGAHH1F8K5/e1, definition 2.3

History

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

Examples 7FPAYD4BK8

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

Mentions

wikipedia: Wikipedia Dual norm#YND5, Examples (example)

History

2026-11-02: add by m2/dev

Pythagorean interval 7FPBYC2VSG

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

Mentions

wikipedia: Wikipedia List of things named after Pythagoras#CIOK, Pythagorean interval (unknown)

History

2026-11-02: add by m2/dev

Hong Kong 7FPKESX5QZ

URI	`m2://inv/7FPKESX5QZ`
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 Q8646, Hong Kong (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Hong_Kong

History

2026-10-26: add by m2/dev

7FQ0ZQYAYT 7FQ0ZQYAYT

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

Mentions

arxiv: arXiv 2610.09678#0NET (statement). In 9VG7PNZHZT/e1, proposition 5.5

History

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

Explicit bounds for intersecting pairs 7FQ35K06SV

URI	`m2://inv/7FQ35K06SV`
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.33365#3V41, Explicit bounds for intersecting pairs (statement). In MCXCMR7V0T/e1, corollary 23

History

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

7FQ3ZFZZG4 7FQ3ZFZZG4

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-40 (exercise). In E59CDZA4DP, exercise, section 10.3.5

History

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

7FQ4S50FM0 7FQ4S50FM0

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

Mentions

arxiv: arXiv 2610.10257#MO2E (statement). In BQD9MJHKV8/e1, theorem 3.7

History

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

Separable space 7FQAE7Y1H6

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

Mentions

wikipedia: Wikipedia List of general topology topics#RBLW, Separable space (definition)

History

2026-11-02: add by m2/dev

7FQJFN28AF 7FQJFN28AF

URI	`m2://inv/7FQJFN28AF`
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.17675#SJG1 (statement). In 7NMQ6QBYKZ/e1, theorem 1.1

History

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

Poincaré conjecture 7FQPBWQVD8

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

Mentions

wikipedia: Wikipedia The Story of Maths#FC6R, Poincaré conjecture (statement)

History

2026-11-02: add by m2/dev

recreational mathematics 7FQYX1HWT6

URI	`m2://inv/7FQYX1HWT6`
Kind	definition
Layer	textbook
MSC	00A08
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1410503, recreational mathematics (topic). Also ProofWiki Definition:Recreational_Mathematics
wikipedia: Wikipedia Recreational mathematics, Recreational mathematics (definition). Also Wikidata Q1410503

History

2026-10-26: add by m2/dev

Matrix representation of quaternions 7FR509GJM8

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

Mentions

wikipedia: Wikipedia Quaternion#UWN2, Matrix representation of quaternions (unknown)

History

2026-11-02: add by m2/dev

Comprehension 7FRGFXNR20

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

Mentions

wikipedia: Wikipedia Comprehension (logic), Comprehension (definition). Also Wikidata Q5156948

History

2026-11-02: add by m2/dev

Effect size 7FRGRRMC7P

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

Mentions

wikipedia: Wikipedia Effect size, Effect size (definition). Also Wikidata Q1287978

History

2026-11-02: add by m2/dev

delta 7FRHKHJTAP

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#DLG2, delta (definition)

History

2026-11-02: add by m2/dev

Lacunary value 7FRN4Y4X3C

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

Mentions

wikipedia: Wikipedia Lacunary value, Lacunary value (definition). Also Wikidata Q6469121

History

2026-11-02: add by m2/dev

Piers Bohl 7FRP458FEM

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

Mentions

wikipedia: Wikipedia Piers Bohl, Piers Bohl (topic). Also Wikidata Q506711

History

2026-11-02: add by m2/dev

gradient 7FS5N7CVMX

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

Mentions

mathlib_undergrad: mathlib_undergrad Multivariable calculus > Submanifolds of $\R^n$ > gradient, gradient (unknown)

History

2026-10-26: add by m2/dev

7FSE2FAMWE 7FSE2FAMWE

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

Mentions

arxiv: arXiv 2609.39505#3PIC (statement). In WAXS6FS388/e1, lemma 2.14

History

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

Golomb sequence 7FSVQ8BM1J

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

Mentions

wikidata: Wikidata Q498247, Golomb sequence (unknown). Also MathWorld SilvermansSequence, OEIS A001462
wikipedia: Wikipedia Golomb sequence, Golomb sequence (definition). Also Wikidata Q498247

History

2026-10-26: add by m2/dev

7FSX9SQ1PB 7FSX9SQ1PB

URI	`m2://inv/7FSX9SQ1PB`
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.20237#KH8I (statement)

History

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

7FT292DBDS 7FT292DBDS

URI	`m2://inv/7FT292DBDS`
Kind	definition
Layer	research
MSC	03-XX, 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.07695#YMEQ (definition). In 8Z47D12KSX/e1, definition 8.5

History

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

7FT2ZHQB10 7FT2ZHQB10

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

Mentions

napkin: napkin tex/alg-geom/spec-zariski.tex#prob:artinian (exercise). In RZP28ERRZV, sproblem, section 28.6

History

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

Applications 7FT9WB2N6W

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

Mentions

wikipedia: Wikipedia Half graph#WZWK, Applications (example)

History

2026-11-02: add by m2/dev

Raghunātha Śiromaṇi 7FTCW9NEVG

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

Mentions

wikipedia: Wikipedia List of teachers of Nyaya#6XUI, Raghunātha Śiromaṇi (topic)

History

2026-11-02: add by m2/dev

Notation 7FTFZSMP8R

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

Mentions

wikipedia: Wikipedia Interval arithmetic#ZB9W, Notation (definition)

History

2026-11-02: add by m2/dev

\dbci Operator 7FTKCVZFNF

URI	`m2://inv/7FTKCVZFNF`
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 2609.27120#1Z55, \dbci Operator (definition)

History

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

Russell-style universe 7FTWAJRVJV

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

Mentions

wikipedia: Wikipedia Universe (mathematics)#31OJ, Russell-style universe (unknown)

History

2026-11-02: add by m2/dev

Nearest neighbor smoother 7FTY5KMRJD

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

Mentions

wikipedia: Wikipedia Kernel smoother#QCOF, Nearest neighbor smoother (unknown)

History

2026-11-02: add by m2/dev

7FV01N839G 7FV01N839G

URI	`m2://inv/7FV01N839G`
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 0909.2893#MOQC (statement). In JQ4JYAXCMK/e1, lemma 24

History

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

Fritz Noether 7FV0RWEMBS

URI	`m2://inv/7FV0RWEMBS`
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#QA51, Fritz Noether (topic)
wikipedia: Wikipedia List of German mathematicians#354G, Fritz Noether (topic)

History

2026-11-02: add by m2/dev

Generalization of a Lie algebra 7FVTXGA1YN

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

Mentions

wikipedia: Wikipedia Generalization of a Lie algebra, Generalization of a Lie algebra (definition). Also Wikidata Q134613717

History

2026-11-02: add by m2/dev

Existence of a maximizing disc 7FW08NE7KV

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

Mentions

arxiv: arXiv 2609.25762#7GAK, Existence of a maximizing disc (statement)

History

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

pure type system 7FW0S8BMF7

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

Mentions

wikidata: Wikidata Q7261163, pure type system (unknown). Also nLab pure type system
wikipedia: Wikipedia Pure type system, Pure type system (definition). Also Wikidata Q7261163

History

2026-10-26: add by m2/dev

Zassenhaus lemma 7FW58SVEKG

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

Mentions

wikipedia: Wikipedia Zassenhaus lemma, Zassenhaus lemma (statement). Also Wikidata Q3229348

History

2026-11-02: add by m2/dev

7FW9KWBTDM 7FW9KWBTDM

URI	`m2://inv/7FW9KWBTDM`
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.03422#2ZYI (statement). In SF88CM0957/e1, lemma 5.7

History

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

Recursive bound for momentum with MSS 7FWG1PVF8C

URI	`m2://inv/7FWG1PVF8C`
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.07290#4T5H, Recursive bound for momentum with MSS (statement). In WC7BN66XSN/e1, lemma 12

History

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

7FWG23QAGS 7FWG23QAGS

URI	`m2://inv/7FWG23QAGS`
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.08664#TQ0Z (statement). In 1YY0P4ZS0T/e1, proposition 58

History

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

Exact transport of the potential minimum 7FWHQXJ48M

URI	`m2://inv/7FWHQXJ48M`
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.15466#DLBU, Exact transport of the potential minimum (statement). In KJ7V6XG4M7/e1, corollary 7

History

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

7FWQTYA73Z 7FWQTYA73Z

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

Mentions

arxiv: arXiv 2609.20881#VN4U (example)

History

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

Lifted-class complexity 7FWVQ936M2

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

Mentions

arxiv: arXiv 2610.18935#3BEY, Lifted-class complexity (statement). In HPEEJY1S3S/e1, lemma 11

History

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

Properties 7FWW751GQT

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

Mentions

wikipedia: Wikipedia Chebyshev rational functions#UZD9, Properties (statement)

History

2026-11-02: add by m2/dev

Ulrich Kulisch 7FWZV2X1NB

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

Mentions

wikipedia: Wikipedia Ulrich Kulisch, Ulrich Kulisch (topic). Also Wikidata Q18222621

History

2026-11-02: add by m2/dev

American Community Survey 7FX3C5MKZD

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

Mentions

wikipedia: Wikipedia American Community Survey, American Community Survey (definition). Also Wikidata Q463769

History

2026-11-02: add by m2/dev

7FX8KRPH4V 7FX8KRPH4V

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

Mentions

arxiv: arXiv 2609.27136#F57L (statement)

History

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

Hadamard test 7FXC546Z6Q

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

Mentions

wikipedia: Wikipedia List of algorithms#OAGS, Hadamard test (unknown)

History

2026-11-02: add by m2/dev

Wesley S. B. Woolhouse 7FXF1C0QCW

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

Mentions

wikipedia: Wikipedia List of actuaries#OOOA, Wesley S. B. Woolhouse (unknown)

History

2026-11-02: add by m2/dev

Paired comparison analysis 7FXFY9NNHG

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

Mentions

wikipedia: Wikipedia List of statistics articles#4FLC, Paired comparison analysis (definition)

History

2026-11-02: add by m2/dev

List of complex reflection groups 7FXGGXK0YP

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#B50B, List of complex reflection groups (definition)

History

2026-11-02: add by m2/dev

7FXKE0ZMNV 7FXKE0ZMNV

URI	`m2://inv/7FXKE0ZMNV`
Kind	statement
Layer	research
MSC	35-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.05423#NLEO (statement). In 3ABGS3F1JG/e1, theorem 7.4

History

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

Double affine braid group 7FXTJB5QD3

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

Mentions

wikipedia: Wikipedia Double affine braid group, Double affine braid group (definition). Also Wikidata Q5299962

History

2026-11-02: add by m2/dev

Jan Camiel Willems 7FXXVNXAS7

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

Mentions

wikipedia: Wikipedia Jan Camiel Willems, Jan Camiel Willems (topic). Also Wikidata Q15429591

History

2026-11-02: add by m2/dev

Tourette's syndrome 7FXY8XT9V8

URI	`m2://inv/7FXY8XT9V8`
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#EY1M, Tourette's syndrome (unknown)

History

2026-11-02: add by m2/dev

Descriptive geometry 7FY9PWV1D2

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

Mentions

wikipedia: Wikipedia Descriptive geometry, Descriptive geometry (topic). Also Wikidata Q638755

History

2026-11-02: add by m2/dev

A sequence resisting diagonalization 7FZ0P52X81

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

Mentions

arxiv: arXiv 2609.20683#CY6U, A sequence resisting diagonalization (statement)

History

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

The weak essential norm 7FZ2Y1Z93P

URI	`m2://inv/7FZ2Y1Z93P`
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.26984#JYSV, The weak essential norm (statement)

History

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

Paul Cohn 7FZ6T0ZD4N

URI	`m2://inv/7FZ6T0ZD4N`
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 Q949132, Paul Cohn (unknown). Also ProofWiki Mathematician:Paul_Moritz_Cohn
wikipedia: Wikipedia Paul Cohn, Paul Cohn (topic). Also Wikidata Q949132

History

2026-10-26: add by m2/dev

Properties 7FZFSRR972

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

Mentions

wikipedia: Wikipedia Singleton (mathematics)#BHWZ, Properties (statement)

History

2026-11-02: add by m2/dev

7FZPCWPBRH 7FZPCWPBRH

URI	`m2://inv/7FZPCWPBRH`
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.25524#5KJR (statement)

History

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

7FZSAYSYG7 7FZSAYSYG7

URI	`m2://inv/7FZSAYSYG7`
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 1006.3331#5JH3 (statement). In AY6WYB9RR3/e1, proposition 3.1

History

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