Inventory rows HV

Two-sample parent rule HV021F8B3E

URI	`m2://inv/HV021F8B3E`
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.00614#4BHX, Two-sample parent rule (statement). In NC5Z77F6H4/e1, proposition 3.1

History

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

Jo Hardin HV04JWBGEV

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#FI9K, Jo Hardin (topic)

History

2026-11-02: add by m2/dev

propositional logic HV0D5KSTTP

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

Mentions

wikipedia: Wikipedia Glossary of logic#8EUO, propositional logic (definition)

History

2026-11-02: add by m2/dev

Christina Kendziorski HV0E7NWM20

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

Mentions

wikipedia: Wikipedia Christina Kendziorski, Christina Kendziorski (topic). Also Wikidata Q42808785

History

2026-11-02: add by m2/dev

strength HV0MEQ3GZ6

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#Q2JZ, strength (definition)

History

2026-11-02: add by m2/dev

HV0NYQZXV6 HV0NYQZXV6

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-14 (exercise). In QKM9DD2H56, exercise, section 12

History

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

HV0VG3PFYA HV0VG3PFYA

URI	`m2://inv/HV0VG3PFYA`
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.30730#X42T (statement). In 7R7ANDMWG4/e1, proposition 2.1

History

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

HV0XGGABT0 HV0XGGABT0

URI	`m2://inv/HV0XGGABT0`
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 1806.00752#CS7U (statement). In GGW2N4JHXM/e1, lemma 12

History

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

Construction HV0XH0GXX9

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

Mentions

wikipedia: Wikipedia Developable roller#XHRK, Construction (definition)

History

2026-11-02: add by m2/dev

Definition of a Steiner conic HV10GZH9TZ

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

Mentions

wikipedia: Wikipedia Steiner conic#CJ5X, Definition of a Steiner conic (definition)

History

2026-11-02: add by m2/dev

HV124N6E8Q HV124N6E8Q

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

Mentions

arxiv: arXiv 2609.39700#Y0XF (statement). In E7W2HDNEKJ/e1, theorem 5.41

History

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

Peixoto's theorem HV12V7NHKX

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

Mentions

mathlib_1000: mathlib_1000 Q7160983, Peixoto's theorem (statement). Also Wikidata Q7160983
thousand_plus: thousand_plus Q7160983, Peixoto's theorem (statement). Also Wikidata Q7160983, Wikipedia Peixoto's theorem
wikipedia: Wikipedia Peixoto's theorem, Peixoto's theorem (statement). Also Wikidata Q7160983

History

2026-10-26: add by m2/dev

HV165DWVK8 HV165DWVK8

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#prop:limisunique (statement). In E59CDZA4DP, prop, section 10.1

History

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

HV189YRZS5 HV189YRZS5

URI	`m2://inv/HV189YRZS5`
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 2609.31126#9DMP (definition). In GK1V5GEHTK/e1, definition 2.1

History

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

HV19V0838X HV19V0838X

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/introduction.tex#defn:representable-fn (definition). In PKGMM3P5QY, defn, section 29.9

History

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

algebraic extension HV1GQ77341

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

Mentions

mathlib_overview: mathlib_overview General algebra > Field theory > algebraic extension, algebraic extension (unknown). Also Mathlib Algebra.IsAlgebraic
mathlib_undergrad: mathlib_undergrad Ring Theory > Field Theory > algebraic extensions, algebraic extensions (unknown). Also Mathlib Algebra.IsAlgebraic

History

2026-10-26: add by m2/dev

sum rule HV1J7YF5TA

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

Mentions

active_calculus: active_calculus index/2.1.4/sum-rule, sum rule (concept). In 907G4C4EJ1, index, section 2.1.4

History

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

Gotthold Eisenstein HV1RTAWPYX

URI	`m2://inv/HV1RTAWPYX`
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 Q61047, Gotthold Eisenstein (unknown). Also ProofWiki Mathematician:Ferdinand_Gotthold_Max_Eisenstein
wikipedia: Wikipedia Gotthold Eisenstein, Gotthold Eisenstein (topic). Also Wikidata Q61047

History

2026-10-26: add by m2/dev

Formal statement HV1TFXDWNA

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

Mentions

wikipedia: Wikipedia Inverse transform sampling#DWSO, Formal statement (statement)

History

2026-11-02: add by m2/dev

class number HV1YNFR2BZ

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

Mentions

wikipedia: Wikipedia Glossary of number theory#HGG0, class number (definition)

History

2026-11-02: add by m2/dev

Frank-Olaf Schreyer HV282134F9

URI	`m2://inv/HV282134F9`
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#7Z93, Frank-Olaf Schreyer (topic)

History

2026-11-02: add by m2/dev

HV2E6Z9RYY HV2E6Z9RYY

URI	`m2://inv/HV2E6Z9RYY`
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 2609.40214#OVV7 (statement). In XD603HRHKC/e1, lemma 5.7

History

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

Riemann mapping theorem HV2J29E43S

URI	`m2://inv/HV2J29E43S`
Kind	statement
Layer	textbook
MSC	30-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Riemann mapping theorem 02WHMEG5ZR

Mentions

mathlib_1000: mathlib_1000 Q927051, Riemann mapping theorem (statement). Also Wikidata Q927051
thousand_plus: thousand_plus Q927051, Riemann mapping theorem (statement). Also Wikidata Q927051, Wikipedia Riemann mapping theorem
wikidata: Wikidata Q927051, Riemann mapping theorem (statement). Also MathWorld RiemannMappingTheorem
wikipedia: Wikipedia Riemann mapping theorem, Riemann mapping theorem (statement). Also Wikidata Q927051

History

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

\myindex{Weierstrass preparation theorem} HV2MQQ6EJ5

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-21, \myindex{Weierstrass preparation theorem} (statement). In VNMV985MXX, thm, section 6.2

History

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

Examples HV2WC63MM1

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

Mentions

wikipedia: Wikipedia Polynomial remainder theorem#QOQ7, Examples (example)

History

2026-11-02: add by m2/dev

Evald Ilyenkov HV34J4YG8J

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

Mentions

wikipedia: Wikipedia Evald Ilyenkov, Evald Ilyenkov (topic). Also Wikidata Q1382977

History

2026-11-02: add by m2/dev

Siva Athreya HV3C590ATY

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

Mentions

wikipedia: Wikipedia Siva Athreya, Siva Athreya (topic). Also Wikidata Q16885710

History

2026-11-02: add by m2/dev

Edward Norton Lorenz HV3CRQ9GEA

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

Mentions

wikipedia: Wikipedia Edward Norton Lorenz, Edward Norton Lorenz (topic). Also Wikidata Q174808

History

2026-11-02: add by m2/dev

Simple linear regression HV3FBS88MX

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

Mentions

wikipedia: Wikipedia List of statistics articles#3BT1, Simple linear regression (definition)

History

2026-11-02: add by m2/dev

Transvectant HV3PKBJGMP

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

Mentions

wikipedia: Wikipedia Transvectant, Transvectant (definition). Also Wikidata Q7835403

History

2026-11-02: add by m2/dev

HV3QEYRJ6W HV3QEYRJ6W

URI	`m2://inv/HV3QEYRJ6W`
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.19285#LUFC (statement). In 6DJR9DKY5W/e1, lemma 4.5

History

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

HV3WW6AE4Q HV3WW6AE4Q

URI	`m2://inv/HV3WW6AE4Q`
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.29918#F5TL (statement)

History

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

HV3YR1AJJ1 HV3YR1AJJ1

URI	`m2://inv/HV3YR1AJJ1`
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.10477#H9N8 (statement). In 1NZSZ241WE/e1, lemma 5

History

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

sine integral HV3ZAB3GAM

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

Mentions

wikidata: Wikidata Q2732008, sine integral (unknown). Also EoM Integral_sine, MathWorld SineIntegral

History

2026-10-26: add by m2/dev

hertz HV4290H0KW

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

Mentions

wikidata: Wikidata Q39369, hertz (definition). Also ProofWiki Definition:Hertz

History

2026-10-26: add by m2/dev

Definition HV42JS5EVB

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

Mentions

wikipedia: Wikipedia Fejér kernel#6YBS, Definition (definition)

History

2026-11-02: add by m2/dev

Pre-Lie algebra HV45ZFWAPQ

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

Mentions

wikipedia: Wikipedia List of algebras#1A9L, Pre-Lie algebra (definition)

History

2026-11-02: add by m2/dev

Remark HV4H1WKFVY

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

Mentions

wikipedia: Wikipedia Artin transfer (group theory)#NTHL, Remark (unknown)

History

2026-11-02: add by m2/dev

Two-Boundary Reducibility Criterion HV4MQ2K1YG

URI	`m2://inv/HV4MQ2K1YG`
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.27120#W60L, Two-Boundary Reducibility Criterion (statement)

History

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

Stefan Hollands HV4RB2HKYQ

URI	`m2://inv/HV4RB2HKYQ`
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 Q19933982, Stefan Hollands (unknown). Also nLab Stefan Hollands

History

2026-10-26: add by m2/dev

HV4TR00328 HV4TR00328

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

Mentions

napkin: napkin tex/topology/metric-top.tex#proof-4 (proof). In RZP28ERRZV, proof, section 100.5

History

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

Strong duality HV4Y84A6QZ

URI	`m2://inv/HV4Y84A6QZ`
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.39449#4YDE, Strong duality (statement). In GWC70X14RG/e1, proposition 1

History

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

Pants complex HV52X9VAEN

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

Mentions

wikipedia: Wikipedia Pair of pants (mathematics)#HFIC, Pants complex (unknown)

History

2026-11-02: add by m2/dev

HV54YKB7J2 HV54YKB7J2

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

Mentions

wikipedia: Wikipedia Quantum gravity#EIQZ (problem)

History

2026-11-02: add by m2/dev

HV5CPMCKY3 HV5CPMCKY3

URI	`m2://inv/HV5CPMCKY3`
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 2609.20647#W30F (statement)

History

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

HV5ENJXWXV HV5ENJXWXV

URI	`m2://inv/HV5ENJXWXV`
Kind	statement
Layer	research
MSC	46-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 2503.19528#27T0 (statement). In EM5955MDHN/e1, theorem 1.3

History

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

Examples HV5FQ7NW1A

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

Mentions

wikipedia: Wikipedia Locus (mathematics)#G8P0, Examples (example)

History

2026-11-02: add by m2/dev

HV5M6ERQRH HV5M6ERQRH

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

Mentions

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

History

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

Choice HV5MR269ZX

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

Mentions

open_logic: open_logic content/set-theory/choice/wellorderingproblem.tex#axiom-1, Choice (statement). In PKGMM3P5QY, axiom, section 71.7

History

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

HV5RNKWQ2E HV5RNKWQ2E

URI	`m2://inv/HV5RNKWQ2E`
Kind	example
Layer	research
MSC	20-XX, 22-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.09319#X9KW (example). In GMRT5GHBZS/e1, example 3.7

History

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

HV5XCJ4ZAP HV5XCJ4ZAP

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

History

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

HV5XXQ780K HV5XXQ780K

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

Mentions

arxiv: arXiv 2610.03559#CAE3 (statement). In R68THJCHX6/e1, theorem 1

History

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

Erdős–Borwein constant HV64V1KTA5

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

Mentions

wikipedia: Wikipedia List of scientific constants named after people#ANII, Erdős–Borwein constant (definition)

History

2026-11-02: add by m2/dev

HV69JP6YEC HV69JP6YEC

URI	`m2://inv/HV69JP6YEC`
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.17408#31ZC (statement). In QR8H4M1X4N/e1, lemma 3.9

History

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

HV6DHRG3J5 HV6DHRG3J5

URI	`m2://inv/HV6DHRG3J5`
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.10243#BN25 (statement). In 6N7EAD1PYD/e1, lemma 2.8

History

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

HV6DNPMEBV HV6DNPMEBV

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

Mentions

open_logic: open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#prop-5 (statement). In PKGMM3P5QY, prop, section 66.6

History

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

Clay Research Award HV6J533P2Q

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

Mentions

wikipedia: Wikipedia Clay Research Award, Clay Research Award (definition). Also Wikidata Q1099219

History

2026-11-02: add by m2/dev

HV6JZS9783 HV6JZS9783

URI	`m2://inv/HV6JZS9783`
Kind	statement
Layer	research
MSC	01-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.10591#72Q9 (statement). In FTEA0TM35J/e1, theorem 4.2

History

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

Latent class model HV6N717RWK

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

Mentions

wikipedia: Wikipedia Latent class model, Latent class model (definition). Also Wikidata Q1806878

History

2026-11-02: add by m2/dev

semiperfect magic cube HV6SSMBJVQ

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

Mentions

wikidata: Wikidata Q3006692, semiperfect magic cube (concept). Also MathWorld SemiperfectMagicCube
wikipedia: Wikipedia Semiperfect magic cube, Semiperfect magic cube (definition). Also Wikidata Q3006692

History

2026-10-26: add by m2/dev

exportation HV71S1W1J0

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

Mentions

wikipedia: Wikipedia Glossary of logic#W04V, exportation (definition)

History

2026-11-02: add by m2/dev

Alexa Beiser HV739ZTMXW

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

Mentions

wikipedia: Wikipedia Alexa Beiser, Alexa Beiser (topic). Also Wikidata Q42561271

History

2026-11-02: add by m2/dev

HV7B0RVRF4 HV7B0RVRF4

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

Mentions

arxiv: arXiv 2609.36725#GNIA (statement). In AR26SZ8JGN/e1, lemma 3.3

History

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

Variational analysis HV7GEA7KT8

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

Mentions

wikipedia: Wikipedia Variational analysis, Variational analysis (definition). Also Wikidata Q17086892

History

2026-11-02: add by m2/dev

Statement HV7HV7SPPF

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

Mentions

wikipedia: Wikipedia Nekhoroshev estimates#RZPV, Statement (statement)

History

2026-11-02: add by m2/dev

Occupational Depression Inventory HV7VQ5GWK1

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

Mentions

wikipedia: Wikipedia Occupational Depression Inventory, Occupational Depression Inventory (definition). Also Wikidata Q118903148

History

2026-11-02: add by m2/dev

HV7X09DST6 HV7X09DST6

URI	`m2://inv/HV7X09DST6`
Kind	statement
Layer	research
MSC	37-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.23119#Y9GL (statement)

History

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

HV7XTTENDX HV7XTTENDX

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

Mentions

applied_combinatorics: applied_combinatorics source/s_induction_proofs.ptx#proof-3 (proof). In QKM9DD2H56, proof, section 3.8

History

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

Golly HV7XW1FMEF

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#1LW0, Golly (unknown)

History

2026-11-02: add by m2/dev

Hyperrectangular fattening HV84ATCKQ6

URI	`m2://inv/HV84ATCKQ6`
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 2203.10220#V02N, Hyperrectangular fattening (definition). In FX2SD1GFHT/e1, definition 3

History

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

Subcover HV89FJ2YQ8

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

Mentions

wikipedia: Wikipedia Cover (topology)#J2BD, Subcover (unknown)

History

2026-11-02: add by m2/dev

Lebombo bone HV8EZC20VY

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

Mentions

wikipedia: Wikipedia Lebombo bone, Lebombo bone (definition). Also Wikidata Q581731

History

2026-11-02: add by m2/dev

Maricopa HV8GA2M0D9

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#Z7CR, Maricopa (unknown)

History

2026-11-02: add by m2/dev

Copula criterion for index-one MRV HV8K30NPT3

URI	`m2://inv/HV8K30NPT3`
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 2609.29658#NWHX, Copula criterion for index-one MRV (statement)

History

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

Applications HV8KV9B8C9

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

Mentions

wikipedia: Wikipedia Kolkata Paise Restaurant Problem#F1O4, Applications (example)

History

2026-11-02: add by m2/dev

Fifteen puzzle HV8M3WZGXJ

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

Mentions

wikipedia: Wikipedia List of permutation topics#TI6D, Fifteen puzzle (problem)

History

2026-11-02: add by m2/dev

\textbf{Moufang property for polar spaces of infinite rank HV8QQJM8SP

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

Mentions

arxiv: arXiv 2609.23526#5WLF, \textbf{Moufang property for polar spaces of infinite rank (definition)

History

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

Cayley graph HV8SJM8Z2D

URI	`m2://inv/HV8SJM8Z2D`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Cayley graph 0GYQK9NDJF

Mentions

wikidata: Wikidata Q859174, Cayley graph (concept). Also MathWorld CayleyGraph, nLab Cayley graph
wikipedia: Wikipedia Cayley graph, Cayley graph (definition). Also Wikidata Q859174

History

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

$\cW_j$-Extension HV8ZSQZAY3

URI	`m2://inv/HV8ZSQZAY3`
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 2006.05158#2L7S, $\cW_j$-Extension (statement). In 4VCW6SZQXK/e1, lemma 11

History

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

HV9AGZQYT4 HV9AGZQYT4

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

Mentions

arxiv: arXiv 2302.04566#PZ5F (statement). In 80S2NP05HJ/e1, theorem 4.8

History

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

Sarvadaman Chowla HV9E1HB2B1

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#NFC6, Sarvadaman Chowla (topic)

History

2026-11-02: add by m2/dev

Hilbert's axioms HV9H5MWPVV

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

Mentions

wikipedia: Wikipedia List of axioms#D629, Hilbert's axioms (statement)

History

2026-11-02: add by m2/dev

HV9RBWBH2V HV9RBWBH2V

URI	`m2://inv/HV9RBWBH2V`
Kind	statement
Layer	research
MSC	13-XX, 19-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 2505.05539#GWNZ (statement). In 8SVVEVGMNE/e1, lemma 2.18

History

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

convexity properties with respect to arbitrary $N$ HVA2E2AJ9P

URI	`m2://inv/HVA2E2AJ9P`
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#1JSR, convexity properties with respect to arbitrary $N$ (statement). In 94RBNQA07A/e1, corollary 5.21

History

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

HVA59QX54R HVA59QX54R

URI	`m2://inv/HVA59QX54R`
Kind	statement
Layer	research
MSC	60-XX, 81-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 2610.16267#6ZH8 (statement). In 65GKPZ15VH/e1, proposition 4.8

History

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

Symmetry and block interchange HVA88SQ6MZ

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

Mentions

arxiv: arXiv 2609.27153#BDHM, Symmetry and block interchange (statement)

History

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

HVACDSEP7F HVACDSEP7F

URI	`m2://inv/HVACDSEP7F`
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.05611#H7NN (statement). In QDTX6NXFEB/e1, proposition 2.9

History

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

Free logic HVAJRY79WX

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

Mentions

wikipedia: Wikipedia Free logic, Free logic (definition). Also Wikidata Q3502887

History

2026-11-02: add by m2/dev

HVB38DF707 HVB38DF707

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

Mentions

arxiv: arXiv 2609.34193#9JTK (statement). In 9XMZTTSF5E/e1, lemma B.11

History

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

HVB7GBTGR3 HVB7GBTGR3

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

Mentions

arxiv: arXiv 2610.11545#O24X (statement). In VN084GGZGK/e1, lemma 3.8

History

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

Langlands reciprocity HVB9BF17ES

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

Mentions

wikipedia: Wikipedia Langlands program#JNV5, Langlands reciprocity (unknown)

History

2026-11-02: add by m2/dev

reflexive closure HVBMT5HKZ9

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

Mentions

wikidata: Wikidata Q1637549, reflexive closure (unknown). Also MathWorld ReflexiveClosure
wikipedia: Wikipedia Reflexive closure, Reflexive closure (definition). Also Wikidata Q1637549

History

2026-10-26: add by m2/dev

Calculation HVBYWPSW2C

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

Mentions

wikipedia: Wikipedia Calculation, Calculation (definition). Also Wikidata Q622821

History

2026-11-02: add by m2/dev

Ward's method HVBZG04H83

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

Mentions

wikipedia: Wikipedia Ward's method, Ward's method (definition). Also Wikidata Q3333621

History

2026-11-02: add by m2/dev

HVC6X0KQK4 HVC6X0KQK4

URI	`m2://inv/HVC6X0KQK4`
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.15421#CSRW (statement). In 3RBKH0DA74/e1, theorem 5.1

History

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

HVCDWNQQYC HVCDWNQQYC

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

Mentions

arxiv: arXiv 2610.06746#AWUM (statement). In B8A6BPP922/e1, lemma 2.5

History

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

Extensions HVCH3SWX7P

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

Mentions

wikipedia: Wikipedia Vector generalized linear model#4RSI, Extensions (statement)

History

2026-11-02: add by m2/dev

HVCNDZ41HG HVCNDZ41HG

URI	`m2://inv/HVCNDZ41HG`
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 2610.00909#IZJS (statement). In Z4TD36VFPW/e1, lemma 3.1

History

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

Algorithm HVCPEZJR6G

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

Mentions

wikipedia: Wikipedia Cantor–Zassenhaus algorithm#WW1T, Algorithm (definition)

History

2026-11-02: add by m2/dev

HVCTR3K639 HVCTR3K639

URI	`m2://inv/HVCTR3K639`
Kind	statement
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#6VCH (statement). In 6G1KBA0SXV/e1, theorem 3.32

History

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

HVCY4HDZ8A HVCY4HDZ8A

URI	`m2://inv/HVCY4HDZ8A`
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.18847#VGSG (statement). In DZ12XTTJSM/e1, lemma 2.4

History

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

HVD11NBWD4 HVD11NBWD4

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 2.1

History

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

HVD24QP957 HVD24QP957

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

Mentions

open_logic: open_logic content/set-theory/z/pairs.tex#prop:pairsconsequences (statement). In PKGMM3P5QY, prop, section 76.6

History

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

HVD8NAVE8P HVD8NAVE8P

URI	`m2://inv/HVD8NAVE8P`
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 2610.05259#BFX1 (statement). In X1J5HKPS3R/e1, theorem A

History

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

Uniform row-norm alignment HVDA850G89

URI	`m2://inv/HVDA850G89`
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.11309#WHZL, Uniform row-norm alignment (statement). In TTEAQA1XXR/e1, proposition C.7

History

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

Moralistic fallacy HVDA8X2GZY

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

Mentions

wikipedia: Wikipedia List of fallacies#DVD2, Moralistic fallacy (definition)

History

2026-11-02: add by m2/dev

Grandi series in education HVDE75CRQ8

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

Mentions

wikipedia: Wikipedia Grandi's series#1KOK, Grandi series in education (unknown)

History

2026-11-02: add by m2/dev

HVDMJ53ZXA HVDMJ53ZXA

URI	`m2://inv/HVDMJ53ZXA`
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.20514#4AAE (statement)

History

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

HVDNB1P69Q HVDNB1P69Q

URI	`m2://inv/HVDNB1P69Q`
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.11974#JJDZ (statement). In AW6S4XZ9ZZ/e1, lemma 7.3

History

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

Harold S. Shapiro HVDWEGHE47

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#N734, Harold S. Shapiro (topic)

History

2026-11-02: add by m2/dev

Seneca effect HVDYK6XAV1

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

Mentions

wikipedia: Wikipedia Seneca effect, Seneca effect (definition). Also Wikidata Q60794318

History

2026-11-02: add by m2/dev

HVE0N627M1 HVE0N627M1

URI	`m2://inv/HVE0N627M1`
Kind	statement
Layer	research
MSC	19-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.38735#UID7 (statement). In XZ71J0DQSE/e1, lemma 3.2

History

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

Definition HVE5F2AQMD

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

Mentions

wikipedia: Wikipedia Likelihood-ratio test#3OYW, Definition (definition)

History

2026-11-02: add by m2/dev

HVECK5XY69 HVECK5XY69

URI	`m2://inv/HVECK5XY69`
Kind	exercise
Layer	research
MSC	53-XX, 57-XX
Sources	1
Outcome	record (an exercise of a paper, which becomes a node only when a node, a project or a curriculum asks for it (corpus arxiv AX8.6))
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.15698#AVDM (exercise). In 69GJX04N6M/e1, exercise 2.1

History

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

HVEDT6CHJG HVEDT6CHJG

URI	`m2://inv/HVEDT6CHJG`
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#F00S (statement). In WRE0P7V6Z3/e1, corollary 8.7

History

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

Uses HVEFVYB9SG

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

Mentions

wikipedia: Wikipedia Diagnostic odds ratio#5S2Z, Uses (example)

History

2026-11-02: add by m2/dev

Pythagoras tree HVENE55PP3

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

Mentions

wikipedia: Wikipedia List of things named after Pythagoras#KF73, Pythagoras tree (definition)

History

2026-11-02: add by m2/dev

HVERWXQ1CG HVERWXQ1CG

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

Mentions

arxiv: arXiv 2609.37274#DHKM (statement). In FBBTEAY45P/e1, theorem 3.2

History

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

List of Ukrainian Jews HVESGCRQ0R

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews, List of Ukrainian Jews (topic). Also Wikidata Q6601334

History

2026-11-02: add by m2/dev

Real line HVETD4EY5A

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

Mentions

wikipedia: Wikipedia List of manifolds#Z8WO, Real line (definition)

History

2026-11-02: add by m2/dev

Paul Erdős HVEWAJZC6D

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#DXCW, Paul Erdős (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7C9Q, Paul Erdős (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H5AV, Paul Erdős (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#R0YH, Paul Erdős (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZDN7, Paul Erdős (topic)

History

2026-11-02: add by m2/dev

de Branges HVEXK0RZ82

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#22KA, de Branges (definition)

History

2026-11-02: add by m2/dev

Example of addition HVF631CE65

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

Mentions

wikipedia: Wikipedia Twisted Edwards curve#SNHK, Example of addition (example)

History

2026-11-02: add by m2/dev

matrix HVFBHZ0VMK

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

Mentions

wikipedia: Wikipedia Glossary of logic#2E3W, matrix (definition)

History

2026-11-02: add by m2/dev

HVFC5D3S6P HVFC5D3S6P

URI	`m2://inv/HVFC5D3S6P`
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.28848#0XC0 (statement)

History

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

Earley parser HVFFFKHF74

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

Mentions

wikipedia: Wikipedia List of algorithms#OMV0, Earley parser (unknown)

History

2026-11-02: add by m2/dev

HVFGHGJPQQ HVFGHGJPQQ

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

Mentions

arxiv: arXiv 2609.26769#WZFX (statement)

History

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

Properties HVFJ2H8706

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

Mentions

wikipedia: Wikipedia Bessel polynomials#W0K1, Properties (statement)

History

2026-11-02: add by m2/dev

HVFN24W2PZ HVFN24W2PZ

URI	`m2://inv/HVFN24W2PZ`
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.11693#ASJ9 (statement). In F8QNPNTBTZ/e1, theorem C.7

History

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

HVFPMET50X HVFPMET50X

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

Mentions

arxiv: arXiv 2609.26417#B7BY (definition)

History

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

Postage stamp HVFQKFV3W4

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

Mentions

wikipedia: Wikipedia List of steganography techniques#WVWK, Postage stamp (unknown)

History

2026-11-02: add by m2/dev

Frederick Macaulay HVFTSGTRMH

URI	`m2://inv/HVFTSGTRMH`
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#HSWM, Frederick Macaulay (unknown)

History

2026-11-02: add by m2/dev

Infinite element method HVFWB16ER6

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

Mentions

wikipedia: Wikipedia Infinite element method, Infinite element method (definition). Also Wikidata Q11092228

History

2026-11-02: add by m2/dev

HVFXNS1PFD HVFXNS1PFD

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

Mentions

arxiv: arXiv 2609.21914#19II (statement)

History

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

Young diagram HVFY9BQBP2

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

Mentions

wikipedia: Wikipedia Young tableau#W9D9, Young diagram (unknown)

History

2026-11-02: add by m2/dev

Local coboundary expansion HVGC4300FC

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

Mentions

arxiv: arXiv 2609.28028#TS6B, Local coboundary expansion (definition)

History

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

Compound of two small stellated dodecahedra HVGCEGAADH

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#Q3XG, Compound of two small stellated dodecahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#0NOM, Compound of two small stellated dodecahedra (definition)

History

2026-11-02: add by m2/dev

HVH0J2AMYK HVH0J2AMYK

URI	`m2://inv/HVH0J2AMYK`
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 2106.11898#AHM3 (statement). In KXXV5X8AG4/e1, proposition 2.1

History

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

HVH13XD4Y0 HVH13XD4Y0

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

Mentions

applied_combinatorics: applied_combinatorics source/s_ramsey_exercises.ptx#exercise-2 (exercise). In QKM9DD2H56, exercise, section 11

History

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

HVH1FAZJ6S HVH1FAZJ6S

URI	`m2://inv/HVH1FAZJ6S`
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.35252#5NST (statement). In RPFP34GH09/e1, proposition 5.2

History

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

HVH1SKY5VZ HVH1SKY5VZ

URI	`m2://inv/HVH1SKY5VZ`
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.02550#NAP1 (statement). In H154EDZR62/e1, proposition 2

History

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

Nudie Cohn HVH2VM1428

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#ELIC, Nudie Cohn (unknown)

History

2026-11-02: add by m2/dev

Formal statement HVH68KQ7MQ

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

Mentions

wikipedia: Wikipedia Bretagnolle–Huber inequality#8SZA, Formal statement (statement)

History

2026-11-02: add by m2/dev

Local-to-global criterion for flag filtrations HVH8NB6ZDW

URI	`m2://inv/HVH8NB6ZDW`
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.28160#4O05, Local-to-global criterion for flag filtrations (statement)

History

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

Setspn HVHDQG03BT

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

Mentions

wikipedia: Wikipedia Kerberos (protocol)#DV3T, Setspn (unknown)

History

2026-11-02: add by m2/dev

R. Hardt and H. Rosenberg (1990 HVHE98HDSM

URI	`m2://inv/HVHE98HDSM`
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.26701#JGUT, R. Hardt and H. Rosenberg (1990 (problem)

History

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

HVHR5HBCNZ HVHR5HBCNZ

URI	`m2://inv/HVHR5HBCNZ`
Kind	definition
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.10469#4AV5 (definition). In Q39BEKW6D9/e1, definition 1.1
arxiv: arXiv 2610.16875#32YD (definition). In KS30K5JXGB/e1, definition 1.1

History

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

Time–frequency analysis HVHVXQRH56

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

Mentions

wikipedia: Wikipedia List of statistics articles#4KXQ, Time–frequency analysis (definition)

History

2026-11-02: add by m2/dev

1871 United Kingdom census HVJA706ASW

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

Mentions

wikipedia: Wikipedia 1871 United Kingdom census, 1871 United Kingdom census (definition). Also Wikidata Q21279771

History

2026-11-02: add by m2/dev

HVJGT9DSQD HVJGT9DSQD

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

Mentions

arxiv: arXiv 2609.26769#TRNA (statement)

History

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

Signed upper branch and all-solution anchor HVJK17V6X9

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

Mentions

arxiv: arXiv 2610.18788#4XDK, Signed upper branch and all-solution anchor (statement). In KFEASG3ZHS/e1, lemma 5.10

History

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

Gabor–Wigner transform HVJM95YFJ1

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

Mentions

wikipedia: Wikipedia Gabor–Wigner transform, Gabor–Wigner transform (definition). Also Wikidata Q5515482

History

2026-11-02: add by m2/dev

Applications HVJWD742CY

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

Mentions

wikipedia: Wikipedia Rådström's embedding theorem#CW26, Applications (example)

History

2026-11-02: add by m2/dev

Miron Nicolesco HVJYTV5AZW

URI	`m2://inv/HVJYTV5AZW`
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#GQ0V, Miron Nicolesco (unknown)

History

2026-11-02: add by m2/dev

de Rham cohomology HVK10KNP5W

URI	`m2://inv/HVK10KNP5W`
Kind	statement
Layer	textbook
MSC	57-XX
Sources	4
Outcome	open
Node	de Rham cohomology GX74C07T0G

Mentions

mathlib_1000: mathlib_1000 Q1179446, De Rham's theorem (statement). Also Wikidata Q1179446
thousand_plus: thousand_plus Q1179446, De Rham's theorem (statement). Also Wikidata Q1179446, Wikipedia De Rham's theorem
wikidata: Wikidata Q1179446, de Rham cohomology (concept). Also MathWorld deRhamCohomology, nLab de Rham complex
wikipedia: Wikipedia De Rham cohomology, De Rham cohomology (definition). Also Wikidata Q1179446

History

2026-10-26: add by m2/dev

Jens Marklof HVK401DXD5

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

Mentions

wikipedia: Wikipedia Jens Marklof, Jens Marklof (topic). Also Wikidata Q1687292

History

2026-11-02: add by m2/dev

HVK4S1PHF7 HVK4S1PHF7

URI	`m2://inv/HVK4S1PHF7`
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.28403#3F1G (statement)

History

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

Statgraphics HVK83GC2F5

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

Mentions

wikipedia: Wikipedia List of statistics articles#09KC, Statgraphics (definition)

History

2026-11-02: add by m2/dev

HVKHJQ08BG HVKHJQ08BG

URI	`m2://inv/HVKHJQ08BG`
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#T8N2 (definition). In HX63A1PH1W/e1, definition 7.36

History

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

path, directed HVKJ96B5MD

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

Mentions

applied_combinatorics: applied_combinatorics index/12.2/path-directed, path, directed (concept). In QKM9DD2H56, index, section 12.2

History

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

HVKPS51WBS HVKPS51WBS

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

Mentions

napkin: napkin tex/topology/metric-top.tex#proof-2 (proof). In RZP28ERRZV, proof, section 100.3

History

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

Journal of Singularities HVKVYH6XXE

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

Mentions

wikipedia: Wikipedia Journal of Singularities, Journal of Singularities (definition). Also Wikidata Q85772171

History

2026-11-02: add by m2/dev

HVKWQMMSFW HVKWQMMSFW

URI	`m2://inv/HVKWQMMSFW`
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.11143#57LV (statement). In 9CS15SV662/e1, lemma 9.1

History

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

Behrend's theorem HVKZZE1H8C

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

Mentions

mathlib_1000: mathlib_1000 Q62051012, Behrend's theorem (statement). Also Wikidata Q62051012
thousand_plus: thousand_plus Q62051012, Behrend's theorem (statement). Also Wikidata Q62051012, Wikipedia Behrend's theorem
wikipedia: Wikipedia Behrend's theorem, Behrend's theorem (statement). Also Wikidata Q62051012

History

2026-10-26: add by m2/dev

hash function HVM7B8W5FR

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

Mentions

wikidata: Wikidata Q183427, hash function (unknown). Also MathWorld HashFunction

History

2026-10-26: add by m2/dev

Christopher Zeeman HVM8NNCVRD

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

Mentions

wikipedia: Wikipedia Christopher Zeeman, Christopher Zeeman (topic). Also Wikidata Q931311

History

2026-11-02: add by m2/dev

HVMDEQN96S HVMDEQN96S

URI	`m2://inv/HVMDEQN96S`
Kind	problem
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.32077#LCB5 (problem). In WYXQDSQR9B/e1, problem 3.19

History

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

HVMDPV71R4 HVMDPV71R4

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

Mentions

arxiv: arXiv 2610.09704#ZVA3 (statement). In FNG4B47MRV/e1, theorem 4.3

History

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

HVMHVQ41AX HVMHVQ41AX

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

Mentions

arxiv: arXiv 2610.20558#WALR (example). In 46370P3Y9S/e1, example 4.10

History

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

HVMNW80AS6 HVMNW80AS6

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_permutations.ptx#prop_strings_permutations (statement). In QKM9DD2H56, proposition, section 2.2

History

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

electron optics HVMTMGHTVJ

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

Mentions

wikidata: Wikidata Q905233, electron optics (topic)

History

2026-10-26: add by m2/dev

Prefix code HVMWFJ5HYN

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

Mentions

wikipedia: Wikipedia Prefix code, Prefix code (definition). Also Wikidata Q1278039

History

2026-11-02: add by m2/dev

HVMYH1P5MW HVMYH1P5MW

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

Mentions

arxiv: arXiv 2610.17139#T95D (statement). In AQWX60Z563/e1, proposition 1.9

History

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

local trivialization HVN35KCQZ9

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

Mentions

wikidata: Wikidata Q123472470, local trivialization (concept). Also MathWorld Trivialization, nLab local trivialization, ProofWiki Definition:Local_Trivialization

History

2026-10-26: add by m2/dev

extensor HVN3FRMW0S

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#I7BT, extensor (definition)

History

2026-11-02: add by m2/dev

coboundary HVN3R0GD0N

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

Mentions

wikidata: Wikidata Q78321178, coboundary (unknown). Also MathWorld Coboundary, nLab coboundary

History

2026-10-26: add by m2/dev

Cauchy integral estimates HVN9HTGR1P

URI	`m2://inv/HVN9HTGR1P`
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.27181#36X5, Cauchy integral estimates (statement)

History

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

Mei-Cheng Wang HVNA89YYJM

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

Mentions

wikipedia: Wikipedia Mei-Cheng Wang, Mei-Cheng Wang (topic). Also Wikidata Q42451917

History

2026-11-02: add by m2/dev

HVNAW1G561 HVNAW1G561

URI	`m2://inv/HVNAW1G561`
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 2610.20466#FG3J (statement). In M4ZVJWM8YA/e1, lemma 5.26

History

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

HVNBYZPMP2 HVNBYZPMP2

URI	`m2://inv/HVNBYZPMP2`
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.05623#87NF (definition). In 7PFNKZYB7D/e1, definition 3

History

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

HVNRVZBZP7 HVNRVZBZP7

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

Mentions

arxiv: arXiv 2610.20956#6HC0 (statement). In X9WFC1D9ZS/e1, theorem 46

History

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

HVNSYZCMS3 HVNSYZCMS3

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#prop-4 (statement). In E59CDZA4DP, prop, section 8.2.4

History

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

HVNVSRPNGE HVNVSRPNGE

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#proof-27 (proof). In E59CDZA4DP, proof, section 4.5.3

History

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

HVNWREX4RC HVNWREX4RC

URI	`m2://inv/HVNWREX4RC`
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 2610.15169#5KSZ (statement). In V7SN19J84T/e1, proposition 5.19

History

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

Euler's theorem on homogeneous functions HVP2ATX48P

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

Mentions

wikipedia: Wikipedia List of theorems#VCL1, Euler's theorem on homogeneous functions (definition)

History

2026-11-02: add by m2/dev

Lars Valerian Ahlfors HVPBKPZFY2

URI	`m2://inv/HVPBKPZFY2`
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#4Y7B, Lars Valerian Ahlfors (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OJYT, Lars Valerian Ahlfors (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WP5C, Lars Valerian Ahlfors (topic)

History

2026-11-02: add by m2/dev

Superposition HVPF9RYDHF

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#theorem-6, Superposition (statement). In E9HS8K3A52, theorem, section 6.3

History

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

Pseudo-differential operator HVPN9AHWPR

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

Mentions

wikipedia: Wikipedia Pseudo-differential operator, Pseudo-differential operator (definition). Also Wikidata Q1644451

History

2026-11-02: add by m2/dev

Bernt Øksendal HVPP7ZXH6T

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

Mentions

wikipedia: Wikipedia Bernt Øksendal, Bernt Øksendal (topic). Also Wikidata Q3375780

History

2026-11-02: add by m2/dev

Moreau's theorem HVPPSAGD2G

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

Mentions

mathlib_1000: mathlib_1000 Q6911202, Moreau's theorem (statement). Also Wikidata Q6911202
thousand_plus: thousand_plus Q6911202, Moreau's theorem (statement). Also Wikidata Q6911202, Wikipedia Moreau's theorem
wikipedia: Wikipedia Moreau's theorem, Moreau's theorem (statement). Also Wikidata Q6911202

History

2026-10-26: add by m2/dev

trefoil HVPRJ32BWD

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

Mentions

arxiv: arXiv 2610.18803#MVJB, trefoil (example). In VG8AF124T3/e1, example 5.6

History

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

HVPTHGK5FY HVPTHGK5FY

URI	`m2://inv/HVPTHGK5FY`
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.37815#Z9QR (statement). In SVJYA0171G/e1, corollary 2.6

History

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

HVPTKKZEDT HVPTKKZEDT

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

Mentions

arxiv: arXiv 2609.33578#AY0L (statement). In 3XTDDKY6YE/e1, lemma 5.2

History

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

Nicomedes HVPYWK2JNA

URI	`m2://inv/HVPYWK2JNA`
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 Q948708, Nicomedes (unknown). Also ProofWiki Mathematician:Nicomedes
wikipedia: Wikipedia Nicomedes (mathematician), Nicomedes (topic). Also Wikidata Q948708

History

2026-10-26: add by m2/dev

Reusable dynamic rounding HVQ71C3DK4

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

Mentions

arxiv: arXiv 2609.31641#GFXH, Reusable dynamic rounding (problem). In XC2HE3KXPM/e1, problem 8.2

History

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

Likelihood ratio HVQ8SGYD3R

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

Mentions

wikipedia: Wikipedia Likelihood function#IKWS, Likelihood ratio (unknown)

History

2026-11-02: add by m2/dev

Double integral HVQAT2T9MB

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

Mentions

wikipedia: Wikipedia List of multivariable calculus topics#P6LV, Double integral (definition)

History

2026-11-02: add by m2/dev

HVQBG08XV3 HVQBG08XV3

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

Mentions

arxiv: arXiv 2609.38138#QKKE (definition). In G97FA99ZEF/e1, definition 4.1

History

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

HVQBWKDBR6 HVQBWKDBR6

URI	`m2://inv/HVQBWKDBR6`
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 2201.04174#0DS4 (statement). In NVTHDNQQ4Q/e1, lemma 2.8

History

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

Kac ring HVQVQWCART

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

Mentions

wikipedia: Wikipedia Kac ring, Kac ring (definition). Also Wikidata Q121879025

History

2026-11-02: add by m2/dev

Real rank HVQXP0YPFR

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

Mentions

wikipedia: Wikipedia Real rank (C*-algebras), Real rank (definition). Also Wikidata Q25351845

History

2026-11-02: add by m2/dev

HVR2X1100H HVR2X1100H

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

Mentions

arxiv: arXiv 2206.11797#MKPE (statement). In 8SJWWZN4FH/e1, theorem 2.9

History

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

Normalized microlocal virtual character HVREK2KFF6

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

Mentions

arxiv: arXiv 2610.16931#KBYJ, Normalized microlocal virtual character (definition). In H7DMRWBBJN/e1, definition 2.4

History

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

Rational representation HVRP7T9001

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

Mentions

wikipedia: Wikipedia Rational representation, Rational representation (definition). Also Wikidata Q7295780

History

2026-11-02: add by m2/dev

Applications HVRQ1M988T

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

Mentions

wikipedia: Wikipedia Fermat pseudoprime#R4B6, Applications (example)

History

2026-11-02: add by m2/dev

Ṣubḥ al-aʿshā HVRT6MJ1KA

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

Mentions

wikipedia: Wikipedia Al-Qalqashandi#HZNT, Ṣubḥ al-aʿshā (unknown)

History

2026-11-02: add by m2/dev

HVRWW2CAXX HVRWW2CAXX

URI	`m2://inv/HVRWW2CAXX`
Kind	problem
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.39169#H6O9 (problem). In ANHWXYPQFX/e1, problem 4.12

History

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

Alfred Menezes HVSMC4ENZF

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

Mentions

wikipedia: Wikipedia List of cryptographers#S73B, Alfred Menezes (topic)

History

2026-11-02: add by m2/dev

Statement HVSNP16D0K

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

Mentions

wikipedia: Wikipedia Napkin ring problem#F0YD, Statement (statement)

History

2026-11-02: add by m2/dev

Local comparisons under doubling HVSR12W8BW

URI	`m2://inv/HVSR12W8BW`
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.20643#JI0Z, Local comparisons under doubling (statement)

History

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

Mazur's lemma HVSR6QAJEJ

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

Mentions

wikipedia: Wikipedia Mazur's lemma, Mazur's lemma (statement). Also Wikidata Q2226764

History

2026-11-02: add by m2/dev

Simply typed lambda calculus HVSRMFW5QJ

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

Mentions

wikipedia: Wikipedia Simply typed lambda calculus, Simply typed lambda calculus (definition). Also Wikidata Q855192

History

2026-11-02: add by m2/dev

HVSX76TZQV HVSX76TZQV

URI	`m2://inv/HVSX76TZQV`
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.18101#3N6Q (statement). In XXN6KKXPYF/e1, lemma 7.3

History

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

or HVT5MJQGK7

URI	`m2://inv/HVT5MJQGK7`
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.30779#77FL, or (statement). In 64V4DXGBKB/e1, lemma 2.1

History

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

HVTM477A74 HVTM477A74

URI	`m2://inv/HVTM477A74`
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.31274#GM2C (definition). In RK0ZMDJ23T/e1, definition 1.4.1

History

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

Joseph Parsi HVTQQSPM8X

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

Mentions

wikipedia: Wikipedia Joseph Parsi, Joseph Parsi (topic). Also Wikidata Q104520563

History

2026-11-02: add by m2/dev

Generalizations of Dijkstra's algorithm HVTTAHCASS

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

Mentions

wikipedia: Wikipedia Dijkstra's algorithm#UU34, Generalizations of Dijkstra's algorithm (unknown)

History

2026-11-02: add by m2/dev

HVTVJTBZV7 HVTVJTBZV7

URI	`m2://inv/HVTVJTBZV7`
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.20385#ZV3I (statement). In 54HS9AHWPE/e1, lemma 4.3

History

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

HVTWGXC6VY HVTWGXC6VY

URI	`m2://inv/HVTWGXC6VY`
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.10968#QNQF (statement). In KJRV9ZW833/e1, lemma 3.1

History

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

HVV9S2CE6V HVV9S2CE6V

URI	`m2://inv/HVV9S2CE6V`
Kind	statement
Layer	research
MSC	16-XX, 35-XX, 47-XX, 58-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.26058#C3ZR (statement)

History

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

HVVB08AVDF HVVB08AVDF

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

Mentions

wikipedia: Wikipedia Heilbronn triangle problem#HTIQ (problem)

History

2026-11-02: add by m2/dev

Helen C. Chase HVVBP6KGT1

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#TGZM, Helen C. Chase (topic)

History

2026-11-02: add by m2/dev

HVVCEK0EHZ HVVCEK0EHZ

URI	`m2://inv/HVVCEK0EHZ`
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.26307#WMS1 (statement)

History

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

Time reversibility HVVEX1GZ5Q

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

Mentions

wikipedia: Wikipedia Time reversibility, Time reversibility (definition). Also Wikidata Q186971

History

2026-11-02: add by m2/dev

HVVVY54AZX HVVVY54AZX

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

Mentions

napkin: napkin tex/set-theory/cardinal.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 89.3

History

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

HVVWAB0FSE HVVWAB0FSE

URI	`m2://inv/HVVWAB0FSE`
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.11047#C72R (statement). In MNQAZ70XTH/e1, lemma 13.2

History

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

loop space, iterated HVVY9FGRHG

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

Mentions

hott_book: hott_book index/6.2/loop-space-iterated, loop space, iterated (concept). In N54F33XE07, index, section 6.2

History

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

HVWED2G4T5 HVWED2G4T5

URI	`m2://inv/HVWED2G4T5`
Kind	definition
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.22657#WGW1 (definition)

History

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

List of things named after Carl Friedrich Gauss HVWEHWJYB3

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

Mentions

wikipedia: Wikipedia List of things named after Carl Friedrich Gauss, List of things named after Carl Friedrich Gauss (topic). Also Wikidata Q6151773

History

2026-11-02: add by m2/dev

Richard S. Varga HVWNSJT2Q9

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

Mentions

wikipedia: Wikipedia Richard S. Varga, Richard S. Varga (topic). Also Wikidata Q822832

History

2026-11-02: add by m2/dev

HVWQG2K6D8 HVWQG2K6D8

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

Mentions

arxiv: arXiv 2610.09704#T0IK (statement). In FNG4B47MRV/e1, proposition 3.2

History

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

Examples HVWTFWP6TD

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

Mentions

wikipedia: Wikipedia Henselian ring#HC7Z, Examples (example)

History

2026-11-02: add by m2/dev

Michael Lacey HVWVY9PHWH

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

Mentions

wikipedia: Wikipedia Michael Lacey (mathematician), Michael Lacey (topic). Also Wikidata Q1551977

History

2026-11-02: add by m2/dev

HVX6PFPBK6 HVX6PFPBK6

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

Mentions

arxiv: arXiv 2610.20801#SMV8 (definition). In A1GWWGRXPA/e1, definition 4.1

History

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

cumulative hierarchy HVXDDK9Q7P

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

Mentions

wikipedia: Wikipedia Glossary of set theory#151T, cumulative hierarchy (definition)

History

2026-11-02: add by m2/dev

Properties HVXKWQQCZA

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

Mentions

wikipedia: Wikipedia Rothberger space#VUZT, Properties (statement)

History

2026-11-02: add by m2/dev

The axioms in Kelley's General Topology HVXPBMXT2E

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

Mentions

wikipedia: Wikipedia Morse–Kelley set theory#7PI1, The axioms in Kelley's General Topology (statement)

History

2026-11-02: add by m2/dev

rank HVXPT2WHQ1

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#K80W, rank (definition)

History

2026-11-02: add by m2/dev

HVXS28C0EE HVXS28C0EE

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

Mentions

arxiv: arXiv 2405.10747#QTNK (statement). In X0PS03QCG0/e1, corollary 5.3

History

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

Primal--Dual Relations HVXTZE563A

URI	`m2://inv/HVXTZE563A`
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.20316#YY65, Primal--Dual Relations (statement)

History

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

HVXWTXFGZC HVXWTXFGZC

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

Mentions

arxiv: arXiv 2609.33015#T9ZD (statement). In W6Y6NPK648/e1, proposition 4.5

History

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

Pseudoline HVYBWZESAS

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

Mentions

wikipedia: Wikipedia Arrangement of lines#G1KE, Pseudoline (unknown)

History

2026-11-02: add by m2/dev

Quantifier negation HVYM11DQSA

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

Mentions

wikipedia: Wikipedia Negation#YUZ1, Quantifier negation (unknown)

History

2026-11-02: add by m2/dev

HVYPGCJ21S HVYPGCJ21S

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

Mentions

arxiv: arXiv 2610.21455#6DJB (example). In CY0E87QDED/e1, example 1

History

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

Banesh Hoffmann HVYT6RXB1Z

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

Mentions

wikipedia: Wikipedia Banesh Hoffmann, Banesh Hoffmann (topic). Also Wikidata Q247501

History

2026-11-02: add by m2/dev

Definition HVYXD8DN4F

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

Mentions

wikipedia: Wikipedia Random variable#T32G, Definition (definition)

History

2026-11-02: add by m2/dev

Cypherpunk mailing list HVYZDF290G

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

Mentions

wikipedia: Wikipedia Cypherpunk#B55P, Cypherpunk mailing list (unknown)

History

2026-11-02: add by m2/dev

HVZ0F1J23Q HVZ0F1J23Q

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

Mentions

arxiv: arXiv 2609.20606#WSES (definition)

History

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

HVZ8X62MBC HVZ8X62MBC

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

Mentions

arxiv: arXiv 2609.34856#AKMX (statement). In MRR92GQNZE/e1, lemma 3.16

History

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

Lipa's conjecture HVZCDJCSB4

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

Mentions

arxiv: arXiv 2609.24449#1UGT, Lipa's conjecture (conjecture)

History

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

HVZEF6AAWT HVZEF6AAWT

URI	`m2://inv/HVZEF6AAWT`
Kind	example
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.31274#K3DB (example). In RK0ZMDJ23T/e1, example 3.2.8

History

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

HVZPN7W1NP HVZPN7W1NP

URI	`m2://inv/HVZPN7W1NP`
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.38051#9R1A (statement). In 81CGKD8RTP/e1, theorem 2

History

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

Examples HVZR4TRK05

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

Mentions

wikipedia: Wikipedia Complete intersection#OYDR, Examples (example)

History

2026-11-02: add by m2/dev