Inventory rows N3

John Pardon N300G1PD6A

URI	`m2://inv/N300G1PD6A`
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#M7HC, John Pardon (topic)

History

2026-11-02: add by m2/dev

Gamma function N302489EQH

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

Mentions

wikipedia: Wikipedia List of complex analysis topics#6PSQ, Gamma function (definition)
wikipedia: Wikipedia List of factorial and binomial topics#6NHB, Gamma function (definition)

History

2026-11-02: add by m2/dev

N302ZF5GQS N302ZF5GQS

URI	`m2://inv/N302ZF5GQS`
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.19464#KM0B (statement). In G8JCZ109A9/e1, lemma 2.2

History

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

Eldon Hansen N30FVE3NJY

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

Mentions

wikipedia: Wikipedia Eldon Hansen, Eldon Hansen (topic). Also Wikidata Q16225187

History

2026-11-02: add by m2/dev

Adaptive Dyson expansion N30RMV3J0Y

URI	`m2://inv/N30RMV3J0Y`
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.12731#DW40, Adaptive Dyson expansion (statement). In 2NCV1M6WYS/e1, theorem 3.1

History

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

N30Z10X10N N30Z10X10N

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_prop-integers.ptx#lemma-1 (statement). In QKM9DD2H56, lemma, section B.15

History

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

David Hilbert N310P0Z36N

URI	`m2://inv/N310P0Z36N`
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 Q41585, David Hilbert (unknown). Also nLab David Hilbert
wikipedia: Wikipedia David Hilbert, David Hilbert (topic). Also Wikidata Q41585

History

2026-10-26: add by m2/dev

Corollary 2 (Titchmarsh, 5.51, improved) N31BS85HCQ

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

Mentions

wikipedia: Wikipedia Borel–Carathéodory theorem#S06Y, Corollary 2 (Titchmarsh, 5.51, improved) (statement)

History

2026-11-02: add by m2/dev

Energy and pressure criterion N31C5S9EAD

URI	`m2://inv/N31C5S9EAD`
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#O7TW, Energy and pressure criterion (statement). In 3HCT4TQ5PM/e1, proposition 1.4

History

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

Statement N31E6STM5A

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

Mentions

wikipedia: Wikipedia T(1) theorem#L9PU, Statement (statement)

History

2026-11-02: add by m2/dev

György Elekes N31J92RH8R

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

Mentions

wikipedia: Wikipedia György Elekes, György Elekes (topic). Also Wikidata Q5625649

History

2026-11-02: add by m2/dev

N31JEGY53A N31JEGY53A

URI	`m2://inv/N31JEGY53A`
Kind	example
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#LVCI (example). In M0SQY5EZN5/e1, example 3.0.4

History

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

N31RNNJMAB N31RNNJMAB

URI	`m2://inv/N31RNNJMAB`
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 2609.21552#C0KP (statement)

History

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

N31TC4ATFE N31TC4ATFE

URI	`m2://inv/N31TC4ATFE`
Kind	problem
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.26745#VQC6 (problem)

History

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

N31TDBRAR5 N31TDBRAR5

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

Mentions

arxiv: arXiv 2609.35383#EDAH (statement). In HSR4748706/e1, proposition 2.2

History

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

constructible set N31V8GPAKQ

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

Mentions

wikidata: Wikidata Q3366885, constructible set (unknown). Also nLab constructible set
wikipedia: Wikipedia Constructible set (topology), Constructible set (definition). Also Wikidata Q3366885

History

2026-10-26: add by m2/dev

A pullback of the $n$-loop graph N32ABDQQQC

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

Mentions

arxiv: arXiv 2609.20230#BIHY, A pullback of the $n$-loop graph (example)

History

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

N32DSD2PJ2 N32DSD2PJ2

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

Mentions

open_logic: open_logic content/methods/proofs/example-1.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 44.7

History

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

N32EBT0AAJ N32EBT0AAJ

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise:subspacecompact (exercise). In E59CDZA4DP, exercise, section 4.4.3

History

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

N32EDKVDVR N32EDKVDVR

URI	`m2://inv/N32EDKVDVR`
Kind	statement
Layer	research
MSC	26-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.14811#1NHH (statement). In QA5CM6HNM1/e1, theorem 6.1

History

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

Compound of five truncated tetrahedra N32RY8DTW4

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#PJ71, Compound of five truncated tetrahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#G89R, Compound of five truncated tetrahedra (definition)

History

2026-11-02: add by m2/dev

Timeline of the far future N32YR325Q4

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

Mentions

wikipedia: Wikipedia Timeline of the far future, Timeline of the far future (topic). Also Wikidata Q472374

History

2026-11-02: add by m2/dev

Index of the curve N32Z8DMNQ5

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

Mentions

wikipedia: Wikipedia Winding number#UKWU, Index of the curve (unknown)

History

2026-11-02: add by m2/dev

Proposition N32ZY8BJPN

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

Mentions

wikipedia: Wikipedia Riesz–Thorin theorem#STPD, Proposition (statement)

History

2026-11-02: add by m2/dev

tangram N3320BFJSW

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

Mentions

wikidata: Wikidata Q245336, tangram (unknown). Also MathWorld tangram
wikipedia: Wikipedia Tangram, Tangram (definition). Also Wikidata Q245336

History

2026-10-26: add by m2/dev

Local time (mathematics) N332FSSWQN

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

Mentions

wikipedia: Wikipedia List of stochastic processes topics#ZQ7U, Local time (mathematics) (definition)

History

2026-11-02: add by m2/dev

Debye length N334RBH4Z6

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

Mentions

wikidata: Wikidata Q898268, Debye length (unknown). Also EoM Debye_length
wikipedia: Wikipedia Debye length, Debye length (definition). Also Wikidata Q898268

History

2026-10-26: add by m2/dev

Solomon Passy N3391J8TF7

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

Mentions

wikipedia: Wikipedia List of logicians#0H4O, Solomon Passy (unknown)

History

2026-11-02: add by m2/dev

Truncated differential cryptanalysis N33A3R8SGT

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

Mentions

wikipedia: Wikipedia Truncated differential cryptanalysis, Truncated differential cryptanalysis (definition). Also Wikidata Q3307263

History

2026-11-02: add by m2/dev

Jeffreys divergence N33F2T8HF0

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

Mentions

wikipedia: Wikipedia Kullback–Leibler divergence#SQIA, Jeffreys divergence (unknown)

History

2026-11-02: add by m2/dev

N33P1S378Y N33P1S378Y

URI	`m2://inv/N33P1S378Y`
Kind	statement
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#9EU2 (statement). In 7V3HG30ZGW/e1, lemma 3.15

History

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

Interior fractional TBC N33Y00JBJS

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

Mentions

arxiv: arXiv 2610.06631#9J0Z, Interior fractional TBC (statement). In QR4SD83TFR/e1, corollary 6

History

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

Supersampling N34063YSZ6

URI	`m2://inv/N34063YSZ6`
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#6Q6F, Supersampling (unknown)

History

2026-11-02: add by m2/dev

Turán's second theorem N345WB3M31

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

Mentions

wikipedia: Wikipedia Turán's method#4N2N, Turán's second theorem (statement)

History

2026-11-02: add by m2/dev

Combinatorics, Probability and Computing N34NMY95R6

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

Mentions

wikipedia: Wikipedia List of probability journals#LOP6, Combinatorics, Probability and Computing (definition)

History

2026-11-02: add by m2/dev

N34RGVG6XM N34RGVG6XM

URI	`m2://inv/N34RGVG6XM`
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.13658#TDB8 (statement). In R9BC934K3E/e1, lemma A.3

History

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

large cardinal axioms N355Q2G5BP

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

Mentions

wikipedia: Wikipedia List of first-order theories#GZB6, large cardinal axioms (topic)

History

2026-11-02: add by m2/dev

C. R. Rao N35D92QJH3

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#F6QR, C. R. Rao (topic)

History

2026-11-02: add by m2/dev

Complex hyperplane arrangement N35TKRYA6W

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

Mentions

wikipedia: Wikipedia Arrangement of hyperplanes#YLYH, Complex hyperplane arrangement (unknown)

History

2026-11-02: add by m2/dev

Queue area N35W3W1HXW

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

Mentions

wikipedia: Wikipedia Queue area, Queue area (definition). Also Wikidata Q1783115

History

2026-11-02: add by m2/dev

N3622CZ5WQ N3622CZ5WQ

URI	`m2://inv/N3622CZ5WQ`
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.36423#Q6F5 (statement). In Q5Z178SAHP/e1, lemma 3.12

History

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

Simplification of Koszul factorizations by a higher order polynomial N365RXA6R8

URI	`m2://inv/N365RXA6R8`
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#0Z4T, Simplification of Koszul factorizations by a higher order polynomial (statement). In MVSGDTN2PB/e1, lemma 4.16

History

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

Petty-Fitzmaurice, Henry N366HTS147

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

Mentions

wikipedia: Wikipedia List of statisticians#9EWX, Petty-Fitzmaurice, Henry (unknown)

History

2026-11-02: add by m2/dev

N36FQXWT1P N36FQXWT1P

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

Mentions

napkin: napkin tex/alg-NT/galois.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 14.2

History

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

Claim N36WCVDYKR

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

Mentions

wikipedia: Wikipedia Max-flow min-cut theorem#VNI6, Claim (statement)

History

2026-11-02: add by m2/dev

N36XA4V91F N36XA4V91F

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

Mentions

arxiv: arXiv 2610.12736#JAQ3 (definition). In 5350Q52F6P/e1, definition 5.2

History

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

David A. Cox N36XYFF00Z

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BGZK, David A. Cox (topic)

History

2026-11-02: add by m2/dev

Differential fault analysis N372SJD91R

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

Mentions

wikipedia: Wikipedia Differential fault analysis, Differential fault analysis (definition). Also Wikidata Q5275344

History

2026-11-02: add by m2/dev

Algebraic properties N3732N1DEX

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

Mentions

wikipedia: Wikipedia Desargues graph#31AR, Algebraic properties (statement)

History

2026-11-02: add by m2/dev

Scilab N375EB4K4N

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#LU2R, Scilab (unknown)

History

2026-11-02: add by m2/dev

regular N37D7KE957

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#8P04, regular (definition)

History

2026-11-02: add by m2/dev

Hash list N37DA127NC

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

Mentions

wikipedia: Wikipedia Hash list, Hash list (definition). Also Wikidata Q5678858

History

2026-11-02: add by m2/dev

N37JT78SVP N37JT78SVP

URI	`m2://inv/N37JT78SVP`
Kind	statement
Layer	research
MSC	11-XX, 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.29898#N16U (statement)

History

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

N37JVQ02AE N37JVQ02AE

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

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/entailment.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 54.1

History

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

Values of Henry's law constants N37NB2SYWD

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

Mentions

wikipedia: Wikipedia Henry's law#OMJL, Values of Henry's law constants (statement)

History

2026-11-02: add by m2/dev

Riesz' lemma (unit-ball characterization of finite dimension) N37NKTHZ1A

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

Mentions

mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > Riesz' lemma (unit-ball characterization of finite dimension), Riesz' lemma (unit-ball characterization of finite dimension) (unknown). Also Mathlib FiniteDimensional.of_isCompact_closedBall

History

2026-10-26: add by m2/dev

N37XCDEWYD N37XCDEWYD

URI	`m2://inv/N37XCDEWYD`
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 2405.14678#AQJ3 (example). In 9ZSNSJRJ5N/e1, example 38

History

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

N37YTEGBV0 N37YTEGBV0

URI	`m2://inv/N37YTEGBV0`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-XX, 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 2505.04593#TF8B (statement). In PEXJPV3NP8/e1, proposition 3.8

History

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

N3840ETBBT N3840ETBBT

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

Mentions

arxiv: arXiv 0906.4245#5KRU (definition). In GPVBE4SEVF/e1, definition 1.3

History

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

Detected row count N38C4QST9R

URI	`m2://inv/N38C4QST9R`
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.15291#F81C, Detected row count (statement). In YVS8268AG8/e1, proposition 4.1

History

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

Bounded complete N38DBNYBPN

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

Mentions

wikipedia: Wikipedia List of order theory topics#5DWT, Bounded complete (definition)

History

2026-11-02: add by m2/dev

Kappa curve N38EGQ3S4N

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#QVIQ, Kappa curve (definition)
wikipedia: Wikipedia List of curves#V608, Kappa curve (definition)

History

2026-11-02: add by m2/dev

N38G7MS70P N38G7MS70P

URI	`m2://inv/N38G7MS70P`
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.38803#0DXZ (statement). In DQ5R7R4DZK/e1, lemma C.1

History

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

Output controllability N38V45A5AD

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

Mentions

wikipedia: Wikipedia Controllability#OPZ4, Output controllability (definition)

History

2026-11-02: add by m2/dev

N38VGQYA24 N38VGQYA24

URI	`m2://inv/N38VGQYA24`
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.01392#H7P5 (statement). In WZFKY0RSM7/e1, theorem 1.1

History

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

N38W7055ED N38W7055ED

URI	`m2://inv/N38W7055ED`
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#XBKZ (statement). In ZKBG58PN1J/e1, proposition 2.5

History

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

N38WG8R7MW N38WG8R7MW

URI	`m2://inv/N38WG8R7MW`
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.23237#HDK3 (statement)

History

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

Normal closure (field theory) N396ZMVJT9

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

Mentions

wikipedia: Wikipedia Normal extension#RKMQ, Normal closure (field theory) (unknown)

History

2026-11-02: add by m2/dev

N39F29D2H5 N39F29D2H5

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

Mentions

arxiv: arXiv 2605.02634#LVPS (statement). In EZ6PAF0MXH/e1, lemma 5.6

History

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

N39FM8B76Q N39FM8B76Q

URI	`m2://inv/N39FM8B76Q`
Kind	definition
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.09809#371Y (definition). In 7NKQ6PR78N/e1, definition 2.3

History

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

N39HSACRCA N39HSACRCA

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

Mentions

hott_book: hott_book hlevels.tex#proof-17 (proof). In N54F33XE07, proof, section 6.3

History

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

N39PABCVT3 N39PABCVT3

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

Mentions

napkin: napkin tex/quantum/vectors.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 77.4

History

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

N39RA5DY5D N39RA5DY5D

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

Mentions

arxiv: arXiv 2609.21534#8JRC (definition)

History

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

Mitchell's embedding theorem N39SXCYS6Y

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

Mentions

wikipedia: Wikipedia List of theorems#QBZW, Mitchell's embedding theorem (statement)

History

2026-11-02: add by m2/dev

N3A17G3S2W N3A17G3S2W

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

Mentions

arxiv: arXiv 2607.00146#SFOR (example). In 6KR7Z5ETRY/e1, example A.5

History

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

Aleksander Pełczyński N3A8SMNBR8

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

Mentions

wikipedia: Wikipedia Aleksander Pełczyński, Aleksander Pełczyński (topic). Also Wikidata Q1772889

History

2026-11-02: add by m2/dev

N3ADXPMN7M N3ADXPMN7M

URI	`m2://inv/N3ADXPMN7M`
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 2609.25120#KU87 (definition)

History

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

Detlev Buchholz N3AJQ7RMR0

URI	`m2://inv/N3AJQ7RMR0`
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 Q91454, Detlev Buchholz (unknown). Also nLab Detlev Buchholz

History

2026-10-26: add by m2/dev

Gene co-expression network N3ANR827BF

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

Mentions

wikipedia: Wikipedia Gene co-expression network, Gene co-expression network (definition). Also Wikidata Q18207329

History

2026-11-02: add by m2/dev

Height (pyramid) N3ARMH3C7C

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

Mentions

wikipedia: Wikipedia Pyramid (geometry)#QNXE, Height (pyramid) (unknown)

History

2026-11-02: add by m2/dev

Convex envelope N3AS4ZRGZY

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

Mentions

arxiv: arXiv 2606.21391#PW12, Convex envelope (example). In J9C7YMKJ33/e1, example 4.27

History

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

prism N3ASVJBP64

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

Mentions

wikidata: Wikidata Q180544, prism (unknown). Also EoM Prism, MathWorld Prism
wikipedia: Wikipedia Prism (geometry), Prism (definition). Also Wikidata Q180544

History

2026-10-26: add by m2/dev

N3AX9CHP7W N3AX9CHP7W

URI	`m2://inv/N3AX9CHP7W`
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.18017#YEZR (statement). In EBSQEQYECS/e1, corollary 4

History

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

Branches N3AYPWCZD6

URI	`m2://inv/N3AYPWCZD6`
Kind	definition
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 2610.10821#Q162, Branches (definition). In RWNP4FEE65/e1, definition 3.8

History

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

Heuristic search N3B05AAZT0

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

Mentions

wikipedia: Wikipedia Heuristic (computer science)#OJWI, Heuristic search (unknown)

History

2026-11-02: add by m2/dev

N3B6A1X7MP N3B6A1X7MP

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

Mentions

arxiv: arXiv 2610.01932#MTAK (definition). In XDKWW6NR0K/e1, definition 3.7

History

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

N3B97N87FV N3B97N87FV

URI	`m2://inv/N3B97N87FV`
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 2609.40207#8ZH4 (definition). In JXTG8KP95P/e1, definition 2.6

History

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

Examples N3BB04KEB2

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

Mentions

wikipedia: Wikipedia TFNP#2X04, Examples (example)

History

2026-11-02: add by m2/dev

N3BCF2SA75 N3BCF2SA75

URI	`m2://inv/N3BCF2SA75`
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.02669#38QE (statement). In NSBSWH6XB4/e1, proposition 6.1

History

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

Britton's Lemma N3BT6P8B13

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

Mentions

wikipedia: Wikipedia HNN extension#PPDT, Britton's Lemma (statement)

History

2026-11-02: add by m2/dev

Corollary of Theorem 2.3 N3BTG9MW1H

URI	`m2://inv/N3BTG9MW1H`
Kind	statement
Layer	research
MSC	26-XX, 51-XX, 52-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.21768#9XUP, Corollary of Theorem 2.3 (statement). In VD53W58DS1/e1, theorem 2.1

History

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

Giovanni Gallavotti N3BWSKSW7X

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#FFCA, Giovanni Gallavotti (unknown)

History

2026-11-02: add by m2/dev

Statement N3C08NYFZA

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

Mentions

wikipedia: Wikipedia Selberg's identity#GRD7, Statement (statement)

History

2026-11-02: add by m2/dev

Exponential function N3CB5KYQ7G

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

Mentions

wikipedia: Wikipedia Lists of integrals#1JB8, Exponential function (definition)

History

2026-11-02: add by m2/dev

N3CE8X37TX N3CE8X37TX

URI	`m2://inv/N3CE8X37TX`
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.17267#BAAK (statement). In 5VWB4A47R5/e1, corollary 6.3

History

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

Solid geometry N3CK8BREHA

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#0KRT, Solid geometry (definition)

History

2026-11-02: add by m2/dev

dual bundle N3CNACAYMA

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

Mentions

wikidata: Wikidata Q5310186, dual bundle (unknown). Also MathWorld DualBundle
wikipedia: Wikipedia Dual bundle, Dual bundle (definition). Also Wikidata Q5310186

History

2026-10-26: add by m2/dev

Principles N3D1FTPBCF

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

Mentions

wikipedia: Wikipedia 3-manifold#4A6D, Principles (statement)

History

2026-11-02: add by m2/dev

N3D3CJ9X2R N3D3CJ9X2R

URI	`m2://inv/N3D3CJ9X2R`
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 2610.05784#QN6X (statement). In 6NVP3YRWVA/e1, lemma 2.6

History

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

Jean Delsarte N3D3WACAZH

URI	`m2://inv/N3D3WACAZH`
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#GED3, Jean Delsarte (unknown)

History

2026-11-02: add by m2/dev

Variations N3D4D8XVKN

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

Mentions

wikipedia: Wikipedia Tietze extension theorem#2X3A, Variations (statement)

History

2026-11-02: add by m2/dev

Definition and properties N3D6M7CF7D

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

Mentions

wikipedia: Wikipedia Quasiconvex function#7129, Definition and properties (definition)

History

2026-11-02: add by m2/dev

Approximate e-process N3D7ZFGB4F

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

Mentions

arxiv: arXiv 2610.11388#RDPT, Approximate e-process (definition). In PC1SZ68BPZ/e1, definition C.2

History

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

First-player and second-player win N3DN1X5494

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

Mentions

wikipedia: Wikipedia First-player and second-player win, First-player and second-player win (definition). Also Wikidata Q5454236

History

2026-11-02: add by m2/dev

N3DNFHARBJ N3DNFHARBJ

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

Mentions

arxiv: arXiv 2609.21931#KMO6 (definition)

History

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

N3DX8K24HD N3DX8K24HD

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

Mentions

arxiv: arXiv 2609.30519#PJPE (statement). In GQQZNRYK15/e1, theorem 3.15

History

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

Feret diameter N3DXFP1FS3

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

Mentions

wikipedia: Wikipedia Feret diameter, Feret diameter (definition). Also Wikidata Q5444078

History

2026-11-02: add by m2/dev

The field factor N3DZ902XKZ

URI	`m2://inv/N3DZ902XKZ`
Kind	statement
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.21662#QIM8, The field factor (statement). In 25B3WHEKH2/e1, lemma 6.5

History

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

N3EBRTGRRP N3EBRTGRRP

URI	`m2://inv/N3EBRTGRRP`
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.19132#DGUA (statement). In 3CQJND929F/e1, lemma 3.10

History

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

second fundamental theorem of calculus N3EJH7XNJ5

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

Mentions

active_calculus: active_calculus index/5.2.2/second-fundamental-theorem-of-calculus, second fundamental theorem of calculus (concept). In 907G4C4EJ1, index, section 5.2.2

History

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

N3EW491QM7 N3EW491QM7

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

Mentions

arxiv: arXiv 2610.08682#2BVT (statement). In Y306A1GPM5/e1, theorem 3.7

History

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

N3EX4TX975 N3EX4TX975

URI	`m2://inv/N3EX4TX975`
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.39293#IJUO (statement). In S26QVW5613/e1, proposition 2.5.1

History

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

Additive combinatorics N3F1TSK2JQ

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

Mentions

wikipedia: Wikipedia Additive combinatorics, Additive combinatorics (topic). Also Wikidata Q56313053

History

2026-11-02: add by m2/dev

N3F3DW2H06 N3F3DW2H06

URI	`m2://inv/N3F3DW2H06`
Kind	definition
Layer	research
MSC	20-XX, 22-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.32916#GDQT (definition). In G1RP4JY5PE/e1, definition 2.4.3

History

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

N3FD2BJKSD N3FD2BJKSD

URI	`m2://inv/N3FD2BJKSD`
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.29477#Y317 (statement)

History

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

N3FGN4QZK0 N3FGN4QZK0

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

Mentions

arxiv: arXiv 2311.06906#ZZZN (statement). In WRRPJ56917/e1, lemma 3.1

History

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

Decomposition group of an extension of valuations N3FQ0R8HKX

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

Mentions

wikipedia: Wikipedia Ramification group#DIOU, Decomposition group of an extension of valuations (unknown)

History

2026-11-02: add by m2/dev

Properties of the OM-induced alignment score N3FQJPXVH9

URI	`m2://inv/N3FQJPXVH9`
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#9EMC, Properties of the OM-induced alignment score (statement)

History

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

N3FWEGM6RC N3FWEGM6RC

URI	`m2://inv/N3FWEGM6RC`
Kind	unknown
Layer	research
MSC	35-XX, 65-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.13680#CFDW (unknown). In QNBFHFZ3H0/e1, unknown 93

History

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

Observable N3FZSPB8ZF

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

Mentions

wikipedia: Wikipedia Observable, Observable (definition). Also Wikidata Q845789

History

2026-11-02: add by m2/dev

Example N3G12PSF84

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

Mentions

wikipedia: Wikipedia Moderation (statistics)#0FU1, Example (example)

History

2026-11-02: add by m2/dev

Algorithms N3G7X330Z7

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

Mentions

wikipedia: Wikipedia Shortest path problem#OIOV, Algorithms (definition)

History

2026-11-02: add by m2/dev

N3GA4RQP9G N3GA4RQP9G

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

Mentions

austin_ula: austin_ula src/section2-4.xml#definition-linear-independence (definition). In 649HGZKE96, definition, section 2.4.2

History

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

EMS Prize N3GAWDAKGS

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

Mentions

wikipedia: Wikipedia European Mathematical Society#5FPA, EMS Prize (unknown)

History

2026-11-02: add by m2/dev

Lipschitz graph domains N3GBJJBZ6E

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

Mentions

arxiv: arXiv 2609.22407#R8KU, Lipschitz graph domains (statement)

History

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

Van der Waerden's theorem N3GGFDXFRV

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

Mentions

wikipedia: Wikipedia List of theorems#M0T8, Van der Waerden's theorem (statement)

History

2026-11-02: add by m2/dev

Sharpness of the diameter constant N3GH838H36

URI	`m2://inv/N3GH838H36`
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.00501#R25Z, Sharpness of the diameter constant (statement). In FTPW1SZ8D3/e1, lemma A.9

History

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

N3GJ25JDKX N3GJ25JDKX

URI	`m2://inv/N3GJ25JDKX`
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.27941#8F0I (statement)

History

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

minimization of the quadratic part N3GT11K58R

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

Mentions

arxiv: arXiv 2210.06147#OQAG, minimization of the quadratic part (statement). In 94RBNQA07A/e1, lemma 2.10

History

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

Alfred Tarski N3GVAFAT6S

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#1Y3U, Alfred Tarski (topic)

History

2026-11-02: add by m2/dev

N3GY8BCZSE N3GY8BCZSE

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-280 (exercise). In VNMV985MXX, exercise, section 6.2

History

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

State preparation pair N3H4WA259D

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

Mentions

arxiv: arXiv 2609.39992#MMGT, State preparation pair (definition). In WF64CGYVK1/e1, definition S25

History

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

N3HEJQSB4Z N3HEJQSB4Z

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

Mentions

arxiv: arXiv 2609.22514#X9M8 (statement)

History

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

N3HKZ0S4XB N3HKZ0S4XB

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

Mentions

arxiv: arXiv 2610.19455#UZL5 (statement). In CBF6TQS4DW/e1, lemma 4.1

History

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

Definition N3HPR1V75Z

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

Mentions

wikipedia: Wikipedia Parry–Sullivan invariant#P50D, Definition (definition)

History

2026-11-02: add by m2/dev

N3HR20JFE3 N3HR20JFE3

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

Mentions

open_logic: open_logic content/normal-modal-logic/tableaux/soundness.tex#cor:weak-soundness (statement). In PKGMM3P5QY, cor, section 55.12

History

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

N3HZ9NNX6N N3HZ9NNX6N

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

Mentions

arxiv: arXiv 2609.07644#6F1O (definition). In TFAN2DR6FD/e1, definition 9

History

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

Padmakar–Ivan index N3JB5KAWDV

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

Mentions

wikipedia: Wikipedia Padmakar–Ivan index, Padmakar–Ivan index (definition). Also Wikidata Q56291683

History

2026-11-02: add by m2/dev

Additivity over entangling points N3JJ1KDQXT

URI	`m2://inv/N3JJ1KDQXT`
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.27830#F8R5, Additivity over entangling points (statement)

History

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

N3JQSDSC5D N3JQSDSC5D

URI	`m2://inv/N3JQSDSC5D`
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.13518#A6VM (statement). In 613TY6V089/e1, lemma 9

History

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

N3JRYBT3A1 N3JRYBT3A1

URI	`m2://inv/N3JRYBT3A1`
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.33829#6LOO (statement). In S34H2JTJHH/e1, theorem 3.1

History

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

N3JSP07Y6F N3JSP07Y6F

URI	`m2://inv/N3JSP07Y6F`
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#MIBK (statement). In X47RYAZF8P/e1, corollary 3.13

History

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

N3JT03972K N3JT03972K

URI	`m2://inv/N3JT03972K`
Kind	definition
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.19463#8GHX (definition). In Q4HWFFK0R9/e1, definition

History

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

AB5 category N3K1K09V6A

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

Mentions

wikipedia: Wikipedia AB5 category, AB5 category (definition). Also Wikidata Q4650007

History

2026-11-02: add by m2/dev

N3KBDPV4HJ N3KBDPV4HJ

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

Mentions

arxiv: arXiv 2609.25391#VK9Y (definition)

History

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

N3KEBFK4P0 N3KEBFK4P0

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

Mentions

arxiv: arXiv 2610.11760#IC8H (definition). In NBNERWXW53/e1, definition S11.1

History

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

N3KM1P5CXE N3KM1P5CXE

URI	`m2://inv/N3KM1P5CXE`
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.31387#34KZ (statement). In GBD60VB1JX/e1, lemma 12

History

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

N3KMPMR5JV N3KMPMR5JV

URI	`m2://inv/N3KMPMR5JV`
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.01932#MFKQ (statement). In XDKWW6NR0K/e1, corollary 2.9

History

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

N3KNQ0XCHX N3KNQ0XCHX

URI	`m2://inv/N3KNQ0XCHX`
Kind	example
Layer	research
MSC	16-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.30637#IQCW (example). In 6G1KBA0SXV/e1, example 4.9

History

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

Hierarchy of beliefs N3KQRDET3T

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

Mentions

wikipedia: Wikipedia Hierarchy of beliefs, Hierarchy of beliefs (definition). Also Wikidata Q5313201

History

2026-11-02: add by m2/dev

N3KZ99598E N3KZ99598E

URI	`m2://inv/N3KZ99598E`
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.11210#SKX5 (statement). In CRFDGFZHBF/e1, lemma 7.2

History

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

Use N3M0DB39A1

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

Mentions

wikipedia: Wikipedia Krylov subspace#8H4S, Use (example)

History

2026-11-02: add by m2/dev

Set-theoretic topology N3M2JA9KDS

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

Mentions

wikipedia: Wikipedia Set-theoretic topology, Set-theoretic topology (definition). Also Wikidata Q3915190

History

2026-11-02: add by m2/dev

Auxiliary particle filter N3M832XVSG

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

Mentions

wikipedia: Wikipedia List of statistics articles#XX40, Auxiliary particle filter (definition)

History

2026-11-02: add by m2/dev

N3MCSWEVT2 N3MCSWEVT2

URI	`m2://inv/N3MCSWEVT2`
Kind	statement
Layer	research
MSC	26-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.09176#F618 (statement). In BANPR56FBR/e1, lemma 1

History

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

converges absolutely, complex series N3MH43GWHD

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

Mentions

lebl_ra: lebl_ra index/1.1.2/converges-absolutely-complex-series, converges absolutely, complex series (concept). In E59CDZA4DP, index, section 1.1.2

History

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

Krull–Schmidt N3MN5VPNN2

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

Mentions

wikipedia: Wikipedia Glossary of module theory#J01J, Krull–Schmidt (definition)

History

2026-11-02: add by m2/dev

computable number N3MP3W9AYR

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

Mentions

wikidata: Wikidata Q818895, computable number (unknown). Also MathWorld ComputableNumber
wikipedia: Wikipedia Computable number, Computable number (definition). Also Wikidata Q818895

History

2026-10-26: add by m2/dev

N3MWSDMNVR N3MWSDMNVR

URI	`m2://inv/N3MWSDMNVR`
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 2109.09268#OOCQ (statement). In SYZFEVFHC3/e1, theorem 2.3

History

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

Component N3MZN42SW5

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

Mentions

wikipedia: Wikipedia Glossary of general topology#2J6F, Component (definition)

History

2026-11-02: add by m2/dev

N3N0J7ZM5Y N3N0J7ZM5Y

URI	`m2://inv/N3N0J7ZM5Y`
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 2312.06581#NT6F (statement). In WXJ2V3HA2R/e1, lemma D.16

History

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

N3N2DR6XJ5 N3N2DR6XJ5

URI	`m2://inv/N3N2DR6XJ5`
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 2605.17536#JMVI (statement). In TG15VZ0P8R/e1, lemma 3.2

History

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

N3N57RW1D8 N3N57RW1D8

URI	`m2://inv/N3N57RW1D8`
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.03336#DSIK (statement). In 4ZD20W8BVF/e1, theorem 5.2

History

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

N3N5W3NAGG N3N5W3NAGG

URI	`m2://inv/N3N5W3NAGG`
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.20675#PG7W (statement)

History

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

Measurable function N3N8ZSPJ8R

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

Mentions

wikipedia: Wikipedia List of types of functions#TRO9, Measurable function (definition)

History

2026-11-02: add by m2/dev

A cofinal path in a maximal tail N3NBBW8F9S

URI	`m2://inv/N3NBBW8F9S`
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 2609.20230#5H3H, A cofinal path in a maximal tail (statement)

History

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

N3NCD30WZ3 N3NCD30WZ3

URI	`m2://inv/N3NCD30WZ3`
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 2311.01874#KCYA (statement). In A4TR95VGX2/e1, theorem 5.2.1

History

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

Split-quaternion N3NFQ8RXDS

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

Mentions

wikipedia: Wikipedia Split-quaternion, Split-quaternion (definition). Also Wikidata Q2996919

History

2026-11-02: add by m2/dev

N3NKCCGJZY N3NKCCGJZY

URI	`m2://inv/N3NKCCGJZY`
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.19449#BK93 (statement). In 8ZKPJ3CBDF/e1, lemma 3.8

History

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

Hadamard's inequality N3NMB0K3YP

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

Mentions

wikipedia: Wikipedia List of inequalities#J7WO, Hadamard's inequality (statement)
wikipedia: Wikipedia List of inequalities#VBLZ, Hadamard's inequality (statement)

History

2026-11-02: add by m2/dev

N3NN8EDPTF N3NN8EDPTF

URI	`m2://inv/N3NN8EDPTF`
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.16203#DF03 (statement). In 43TBS9P2PX/e1, lemma 4.3

History

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

large cardinal N3P4Y8ZG29

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

Mentions

wikipedia: Wikipedia Glossary of set theory#9RN1, large cardinal (definition)

History

2026-11-02: add by m2/dev

N3P5ZH3FQC N3P5ZH3FQC

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

Mentions

arxiv: arXiv 2610.07790#DSOM (statement). In A5YJDDM0NX/e1, lemma 5.4

History

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

Saito’s criterion N3P6884HSV

URI	`m2://inv/N3P6884HSV`
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 2406.19866#JVSE, Saito’s criterion (statement). In 9F94CEQ1ZM/e1, theorem 2.3

History

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

N3P9H6FD40 N3P9H6FD40

URI	`m2://inv/N3P9H6FD40`
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 2609.22847#VECU (definition)

History

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

Edward Wright N3PCW2KFK1

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

Mentions

wikipedia: Wikipedia Edward Wright (mathematician), Edward Wright (topic). Also Wikidata Q1294162

History

2026-11-02: add by m2/dev

N3PHBAY3P7 N3PHBAY3P7

URI	`m2://inv/N3PHBAY3P7`
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 2309.15424#QUCH (statement). In NXYZ1EAWKN/e1, corollary 3.4

History

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

Riemann–Roch-type theorem N3PSDD8W7B

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

Mentions

wikipedia: Wikipedia Riemann–Roch-type theorem, Riemann–Roch-type theorem (statement). Also Wikidata Q85797239

History

2026-11-02: add by m2/dev

Hadamard's method of descent N3PWCSB4Y1

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

Mentions

wikipedia: Wikipedia List of things named after Jacques Hadamard#USR2, Hadamard's method of descent (definition)

History

2026-11-02: add by m2/dev

N3Q11YA49R N3Q11YA49R

URI	`m2://inv/N3Q11YA49R`
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.21649#FRNL (statement)

History

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

Weirder quotient spaces N3Q4HTCF4K

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

Mentions

napkin: napkin tex/topology/constructions.tex#ex:quotient_by_open_set, Weirder quotient spaces (example). In RZP28ERRZV, example, section 96.2

History

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

Central carrier N3Q4WE3WHK

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

Mentions

wikipedia: Wikipedia Central carrier, Central carrier (definition). Also Wikidata Q5062078

History

2026-11-02: add by m2/dev

N3QAR4ZHKD N3QAR4ZHKD

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

Mentions

arxiv: arXiv 2610.03144#9C5F (statement). In 9QW88325GS/e1, theorem 5.4

History

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

Discrete exterior calculus N3QEB5ZA2D

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#S6N0, Discrete exterior calculus (definition)

History

2026-11-02: add by m2/dev

Eilenberg–Zilber theorem N3QKQ8SXNY

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

Mentions

wikipedia: Wikipedia List of theorems#QGXO, Eilenberg–Zilber theorem (statement)

History

2026-11-02: add by m2/dev

Boaz Tsaban N3QTQK0312

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#DTGK, Boaz Tsaban (topic)

History

2026-11-02: add by m2/dev

Definition N3QWDVTVAE

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

Mentions

wikipedia: Wikipedia Club principle#H2QM, Definition (definition)

History

2026-11-02: add by m2/dev

N3QX1S528F N3QX1S528F

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

Mentions

arxiv: arXiv 2411.17227#VMLM (statement). In DDNP38CHQJ/e1, lemma 7.3

History

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

Non-uniform discrete Fourier transform N3R2ZWT2AS

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

Mentions

wikipedia: Wikipedia Non-uniform discrete Fourier transform, Non-uniform discrete Fourier transform (definition). Also Wikidata Q7049066

History

2026-11-02: add by m2/dev

Formal statement N3R6WZEGZR

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

Mentions

wikipedia: Wikipedia Shadowing lemma#36FS, Formal statement (statement)

History

2026-11-02: add by m2/dev

N3R7K2820Z N3R7K2820Z

URI	`m2://inv/N3R7K2820Z`
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 2609.33590#UVP5 (statement). In WRE0P7V6Z3/e1, corollary 1.22

History

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

N3R7Z260N2 N3R7Z260N2

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#proof-27 (proof). In E59CDZA4DP, proof, section 10.5.4

History

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

Finite-time realization N3R819TVE2

URI	`m2://inv/N3R819TVE2`
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 2609.21552#DIHP, Finite-time realization (statement)

History

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

Gaussian quadrature N3REWJ80HN

URI	`m2://inv/N3REWJ80HN`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Gaussian quadrature FP37BTP93K

Mentions

wikidata: Wikidata Q767680, Gaussian quadrature (definition). Also MathWorld GaussianQuadrature, MathWorld Legendre-GaussQuadrature, ProofWiki Definition:Gaussian_Integration_Rule
wikipedia: Wikipedia Gaussian quadrature, Gaussian quadrature (definition). Also Wikidata Q767680

History

2026-10-26: add by m2/dev

Lewis Terman N3RJ9KM798

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

Mentions

wikipedia: Wikipedia Lewis Terman, Lewis Terman (topic). Also Wikidata Q919108

History

2026-11-02: add by m2/dev

Hopkins' formula N3RM6A3KV7

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

Mentions

wikipedia: Wikipedia Van Cittert–Zernike theorem#YUQB, Hopkins' formula (statement)

History

2026-11-02: add by m2/dev

scalar meson N3RMB03528

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

Mentions

wikidata: Wikidata Q7429686, scalar meson (unknown). Also nLab scalar meson

History

2026-10-26: add by m2/dev

Visibility graph analysis N3RQ3SN49A

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

Mentions

wikipedia: Wikipedia Visibility graph analysis, Visibility graph analysis (definition). Also Wikidata Q2845237

History

2026-11-02: add by m2/dev

N3RV1PRFVQ N3RV1PRFVQ

URI	`m2://inv/N3RV1PRFVQ`
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 2506.16491#3WW1 (statement). In P9J6P06Y40/e1, lemma 4.3

History

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

Matt Robshaw N3RYJGCK3X

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#29ZH, Matt Robshaw (topic)

History

2026-11-02: add by m2/dev

N3S0TQA0D5 N3S0TQA0D5

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

Mentions

arxiv: arXiv 2609.28552#A3UJ (statement)

History

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

Proposition 2 N3S22RQMHV

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

Mentions

wikipedia: Wikipedia Discontinuities of monotone functions#KI79, Proposition 2 (statement)

History

2026-11-02: add by m2/dev

Alexander Barvinok N3S4M7Q7GM

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

Mentions

wikipedia: Wikipedia Alexander Barvinok, Alexander Barvinok (topic). Also Wikidata Q20982614

History

2026-11-02: add by m2/dev

N3SA3JCHER N3SA3JCHER

URI	`m2://inv/N3SA3JCHER`
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.28597#NU83 (statement)

History

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

N3SG7HKRSY N3SG7HKRSY

URI	`m2://inv/N3SG7HKRSY`
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.21043#6Z7G (statement)

History

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

N3SHWMTNYT N3SHWMTNYT

URI	`m2://inv/N3SHWMTNYT`
Kind	statement
Layer	research
MSC	26-XX, 37-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 2610.06455#SL8W (statement). In N6GB5J5BAY/e1, proposition 1.2

History

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

N3SHZCAA05 N3SHZCAA05

URI	`m2://inv/N3SHZCAA05`
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.06868#H6AM (statement). In TV73V5E7JV/e1, theorem 3.6

History

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

Lemma (\partial \bar \partial-lemma) N3SNP08R93

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

Mentions

wikipedia: Wikipedia Ddbar lemma#RDX5, Lemma (\partial \bar \partial-lemma) (statement)

History

2026-11-02: add by m2/dev

Same-driver diffusion stability N3SRHZC3J5

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

Mentions

arxiv: arXiv 2609.38228#SOPF, Same-driver diffusion stability (statement). In 9YAE8FNQST/e1, corollary 16.10

History

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

Error estimate N3SSRGRNAB

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

Mentions

arxiv: arXiv 2608.16453#2NOF, Error estimate (statement). In BG3X7ZAEK1/e1, corollary 2.6

History

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

Common distribution of encoders N3ST4SV1AR

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

Mentions

arxiv: arXiv 2609.30525#BGPL, Common distribution of encoders (statement). In CHEZQEACQG/e1, theorem 4.1

History

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

Boundary layer N3SXY7YBDW

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

Mentions

wikipedia: Wikipedia Boundary layer, Boundary layer (definition). Also Wikidata Q752193

History

2026-11-02: add by m2/dev

L-system N3T2CW4G39

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#JKL7, L-system (definition)

History

2026-11-02: add by m2/dev

N3T3G6R3NM N3T3G6R3NM

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

Mentions

arxiv: arXiv 2610.21578#GKOF (definition). In 6M96RM3T7N/e1, definition 4.1

History

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

N3T9EQCEX0 N3T9EQCEX0

URI	`m2://inv/N3T9EQCEX0`
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 1512.06981#AP99 (statement). In X923ZEY423/e1, lemma 1.5.3

History

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

Metric tensor N3TASTXP1K

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

Mentions

wikipedia: Wikipedia Glossary of tensor theory#JRBF, Metric tensor (definition)

History

2026-11-02: add by m2/dev

N3TJBHFVWJ N3TJBHFVWJ

URI	`m2://inv/N3TJBHFVWJ`
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.17798#IU6Q (statement). In 66H5YPQCYV/e1, theorem 2.1

History

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

N3TQTEXFXY N3TQTEXFXY

URI	`m2://inv/N3TQTEXFXY`
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.37973#U6T8 (statement). In 7276BGZRMP/e1, fact 10

History

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

Jia-An Yan N3TV4HT4RZ

URI	`m2://inv/N3TV4HT4RZ`
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#75I2, Jia-An Yan (unknown)

History

2026-11-02: add by m2/dev

N3V30N9CDB N3V30N9CDB

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

Mentions

arxiv: arXiv 2609.40191#86UK (statement). In F0D8VSM4Z4/e1, theorem 6.9

History

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

Examples N3V9BM4SQR

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

Mentions

wikipedia: Wikipedia Conditional random field#I912, Examples (example)

History

2026-11-02: add by m2/dev

Linear speedup theorem N3V9C7VECP

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

Mentions

mathlib_1000: mathlib_1000 Q3527226, Linear speedup theorem (statement). Also Wikidata Q3527226
thousand_plus: thousand_plus Q3527226, Linear speedup theorem (statement). Also Wikidata Q3527226, Wikipedia Linear speedup theorem
wikipedia: Wikipedia Linear speedup theorem, Linear speedup theorem (statement). Also Wikidata Q3527226

History

2026-10-26: add by m2/dev

N3VK96Z31C N3VK96Z31C

URI	`m2://inv/N3VK96Z31C`
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 1903.11969#U4JC (statement). In 9N4EV3GRM7/e1, theorem 2.1

History

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

Properties N3VN2ZPMW9

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

Mentions

wikipedia: Wikipedia Image (mathematics)#KABG, Properties (statement)

History

2026-11-02: add by m2/dev

Gerber-Shiu function N3VQF6DAPF

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

Mentions

wikipedia: Wikipedia Ruin theory#DUW2, Gerber-Shiu function (unknown)

History

2026-11-02: add by m2/dev

Definition N3VQT4FX9Y

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

Mentions

wikipedia: Wikipedia Power diagram#VEXS, Definition (definition)

History

2026-11-02: add by m2/dev

Statement of the theorem N3VS1FB4FS

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

Mentions

wikipedia: Wikipedia Gleason's theorem#UOVG, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

General definition N3VVY1PKBC

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

Mentions

wikipedia: Wikipedia Homotopy colimit and limit#WQ3W, General definition (definition)

History

2026-11-02: add by m2/dev

Schuette–Nesbitt formula N3VWJKTSQA

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

Mentions

wikipedia: Wikipedia Schuette–Nesbitt formula, Schuette–Nesbitt formula (statement). Also Wikidata Q7432946

History

2026-11-02: add by m2/dev

zetta N3W25QJANW

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

Mentions

wikidata: Wikidata Q110796, zetta (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/zetta-

History

2026-10-26: add by m2/dev

N3W6QRN12W N3W6QRN12W

URI	`m2://inv/N3W6QRN12W`
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 2007.14459#JCZ0 (statement). In SGQ7VFEZ22/e1, proposition 3.12

History

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

N3W89TCH2R N3W89TCH2R

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

Mentions

arxiv: arXiv 1903.07030#H8JQ (definition). In 9H45HQE7AZ/e1, definition 2.3

History

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

Richard F. Bass N3W946WQVV

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

Mentions

wikipedia: Wikipedia Richard F. Bass, Richard F. Bass (topic). Also Wikidata Q7325570

History

2026-11-02: add by m2/dev

John Wallis N3W95W66T3

URI	`m2://inv/N3W95W66T3`
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 Q208359, John Wallis (unknown). Also ProofWiki Mathematician:John_Wallis
wikipedia: Wikipedia John Wallis, John Wallis (topic). Also Wikidata Q208359

History

2026-10-26: add by m2/dev

The effective sample size never exceeds the respondents N3W9ECZYAQ

URI	`m2://inv/N3W9ECZYAQ`
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.14695#L80S, The effective sample size never exceeds the respondents (statement). In T15EJSPCNG/e1, corollary 3.2

History

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

Strong Frobenius pseudoprime N3WBCTY8Q8

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

Mentions

wikipedia: Wikipedia Frobenius pseudoprime#VAHT, Strong Frobenius pseudoprime (unknown)

History

2026-11-02: add by m2/dev

Noncentral hypergeometric distributions N3WJ9JB2J6

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

Mentions

wikipedia: Wikipedia List of statistics articles#2NRY, Noncentral hypergeometric distributions (definition)

History

2026-11-02: add by m2/dev

N3WKR68T6S N3WKR68T6S

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

Mentions

arxiv: arXiv 2404.08319#M6AA (statement). In MA1CZ2GTAF/e1, theorem A

History

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

N3WN3226ZK N3WN3226ZK

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

Mentions

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

History

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

Construction of $v$ N3WYASM1PQ

URI	`m2://inv/N3WYASM1PQ`
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.18797#N9G7, Construction of $v$ (statement). In HVZW77G66Z/e1, lemma 4.4

History

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

Construction N3X35QD6DS

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

Mentions

wikipedia: Wikipedia Hjelmslev transformation#KF1G, Construction (definition)

History

2026-11-02: add by m2/dev

logic of conditionals N3X400XRTB

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

Mentions

wikipedia: Wikipedia Glossary of logic#6YJ0, logic of conditionals (definition)

History

2026-11-02: add by m2/dev

N3X7013H4G N3X7013H4G

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

Mentions

arxiv: arXiv 2609.28297#X5L1 (statement)

History

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

Compression body N3XB3WWZ66

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

Mentions

wikipedia: Wikipedia Compression body, Compression body (definition). Also Wikidata Q5157038

History

2026-11-02: add by m2/dev

Haag–Kastler axioms N3XC26FZQN

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

Mentions

wikipedia: Wikipedia List of axioms#5L39, Haag–Kastler axioms (definition)

History

2026-11-02: add by m2/dev

degree sum formula N3XG2AKMF0

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

Mentions

levin_dmoi: levin_dmoi index/5.1/degree-sum-formula, degree sum formula (concept). In Y91XFCEVHQ, index, section 5.1

History

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

Custom hardware attack N3XM4NCP6C

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

Mentions

wikipedia: Wikipedia Custom hardware attack, Custom hardware attack (definition). Also Wikidata Q3648857

History

2026-11-02: add by m2/dev

Orthocompact N3XZ3W88QF

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

Mentions

wikipedia: Wikipedia Glossary of general topology#SXME, Orthocompact (definition)

History

2026-11-02: add by m2/dev

Examples N3YHAM7HX2

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

Mentions

wikipedia: Wikipedia Faulty generalization#VJ3E, Examples (example)

History

2026-11-02: add by m2/dev

Riemann hypothesis N3YJ4KEKYW

URI	`m2://inv/N3YJ4KEKYW`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	4
Outcome	open
Node	Riemann hypothesis VCGF9YR36X

Mentions

mathlib_1000: mathlib_1000 Q205966, Critical line theorem (statement). Also Wikidata Q205966
thousand_plus: thousand_plus Q205966, Critical line theorem (statement). Also Wikidata Q205966, Wikipedia Critical line theorem
wikidata: Wikidata Q205966, Riemann hypothesis (problem). Also EoM Riemann_hypotheses, Mathlib RiemannHypothesis, MathWorld RiemannHypothesis, nLab Riemann hypothesis, nLab Riemann hypothesis and physics, ProofWiki Riemann_Hypothesis
wikipedia: Wikipedia Riemann hypothesis, Riemann hypothesis (conjecture). Also Wikidata Q205966

History

2026-10-26: add by m2/dev

N3YXADHBRR N3YXADHBRR

URI	`m2://inv/N3YXADHBRR`
Kind	example
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 2602.07485#3VON (example). In 8KAC1E81JQ/e1, example 2

History

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

N3Z2GDFCEX N3Z2GDFCEX

URI	`m2://inv/N3Z2GDFCEX`
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 2407.08004#S7WI (statement). In TYS65EG479/e1, lemma 3.4

History

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

Lambert Meertens N3Z2K7S5DH

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#7ZKU, Lambert Meertens (unknown)

History

2026-11-02: add by m2/dev

N3Z6PXKPPS N3Z6PXKPPS

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

Mentions

arxiv: arXiv 2610.11800#PE77 (statement). In 8TSZ2E32K3/e1, lemma 4.6

History

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

Quasi-HKZ profiles on Haar-random lattices N3ZB8SE72R

URI	`m2://inv/N3ZB8SE72R`
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 2610.15265#7R66, Quasi-HKZ profiles on Haar-random lattices (statement). In TCQ1JBR84Y/e1, proposition 3

History

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

fundamental, pregroupoid N3ZC59GGCB

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

Mentions

hott_book: hott_book index/7.7/fundamental-pregroupoid, fundamental, pregroupoid (concept). In N54F33XE07, index, section 7.7

History

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

Walter Ledermann N3ZE3CMZ27

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

Mentions

wikipedia: Wikipedia Walter Ledermann, Walter Ledermann (topic). Also Wikidata Q2545334

History

2026-11-02: add by m2/dev

N3ZEA806G2 N3ZEA806G2

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

Mentions

arxiv: arXiv 2609.30113#42RT (statement)

History

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

N3ZJ39C6P7 N3ZJ39C6P7

URI	`m2://inv/N3ZJ39C6P7`
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.31102#8SRB (statement). In 7CADATJMAA/e1, lemma 2.2

History

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

BoringSSL N3ZMMJKY5N

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

Mentions

wikipedia: Wikipedia OpenSSL#PYPE, BoringSSL (unknown)

History

2026-11-02: add by m2/dev

N3ZQPWJNHP N3ZQPWJNHP

URI	`m2://inv/N3ZQPWJNHP`
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.12777#D8OY (statement). In 1YFK2FB3JY/e1, theorem 2.5

History

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

Independent companions N3ZQTSEXWW

URI	`m2://inv/N3ZQTSEXWW`
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.00099#JRON, Independent companions (statement). In NNBY2AEHP4/e1, corollary 1.6

History

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

Examples N3ZS3J7DTJ

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

Mentions

wikipedia: Wikipedia Estimation theory#7AHH, Examples (example)

History

2026-11-02: add by m2/dev

N3ZYHACSQ8 N3ZYHACSQ8

URI	`m2://inv/N3ZYHACSQ8`
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.21403#8SLE (statement)

History

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