Inventory rows 7R

Theorem 2 (fundamental theorem of Henstock-Kurzweil integral) 7R0KTQJ5YM

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

Mentions

wikipedia: Wikipedia McShane integral#I7PL, Theorem 2 (fundamental theorem of Henstock-Kurzweil integral) (statement)

History

2026-11-02: add by m2/dev

[X/G] 7R0QHT5JZB

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#FNWK, [X/G] (definition)

History

2026-11-02: add by m2/dev

Paley–Zygmund inequality 7R0SDAW0DA

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

Mentions

wikipedia: Wikipedia Concentration inequality#GV23, Paley–Zygmund inequality (statement)

History

2026-11-02: add by m2/dev

Definition 7R0YTVQQ14

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

Mentions

wikipedia: Wikipedia Efficient dominating set#HNHD, Definition (definition)

History

2026-11-02: add by m2/dev

cf.\ *{Lemma 3.4 7R17HSTX4V

URI	`m2://inv/7R17HSTX4V`
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 2403.15255#BASH, cf.\ *{Lemma 3.4 (statement). In G691MXMYW0/e1, proposition 3.11

History

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

7R1JM5RS46 7R1JM5RS46

URI	`m2://inv/7R1JM5RS46`
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.01354#QXWI (definition). In BWD76W20W8/e1, definition 4.5

History

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

7R1M5H53NH 7R1M5H53NH

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

Mentions

arxiv: arXiv 2204.01073#M1V7 (statement). In W4TYN4PGE8/e1, lemma 2.31

History

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

Lemma 7R1Y0D7K7Y

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

Mentions

wikipedia: Wikipedia Exponential mechanism#THGZ, Lemma (statement)

History

2026-11-02: add by m2/dev

Mihir Bellare 7R1ZTW9Y3J

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

Mentions

wikipedia: Wikipedia List of cryptographers#H1IV, Mihir Bellare (unknown)

History

2026-11-02: add by m2/dev

Application 7R214C6JMT

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

Mentions

wikipedia: Wikipedia Biaugmented triangular prism#9J67, Application (example)

History

2026-11-02: add by m2/dev

7R240VP7VC 7R240VP7VC

URI	`m2://inv/7R240VP7VC`
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.01561#ZKEJ (statement). In W4G7BCHYEW/e1, corollary 1.4

History

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

OR 7R254876XJ

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

Mentions

wikipedia: Wikipedia List of rules of inference#SZ9D, OR (unknown)

History

2026-11-02: add by m2/dev

7R2AKFM8MW 7R2AKFM8MW

URI	`m2://inv/7R2AKFM8MW`
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.29748#6RSY (definition)

History

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

7R2C0NHJW7 7R2C0NHJW7

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

Mentions

arxiv: arXiv 2610.09201#UYO3 (statement). In JQFPH09JG8/e1, theorem 4.2

History

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

Normal-band reduction 7R2EDVRVG6

URI	`m2://inv/7R2EDVRVG6`
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#T4N7, Normal-band reduction (statement). In E7W2HDNEKJ/e1, lemma H.6

History

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

Remy Denis 7R2EPQHKQZ

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

Mentions

wikipedia: Wikipedia Remy Denis, Remy Denis (topic). Also Wikidata Q7312259

History

2026-11-02: add by m2/dev

Properties 7R2MGK51PP

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

Mentions

wikipedia: Wikipedia 2-sided#2XSR, Properties (statement)

History

2026-11-02: add by m2/dev

The dual basis for $V^\vee$ 7R2N850J0T

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

Mentions

napkin: napkin tex/linalg/dual-trace.tex#proposition-2, The dual basis for $V^\vee$ (statement). In RZP28ERRZV, proposition, section 57.2

History

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

Bar and ring paradox 7R2QTEKSJQ

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

Mentions

wikipedia: Wikipedia Ladder paradox#S3CX, Bar and ring paradox (statement)

History

2026-11-02: add by m2/dev

Min-Consensus under Perturbations 7R2VGV1ADS

URI	`m2://inv/7R2VGV1ADS`
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.00660#9TQ7, Min-Consensus under Perturbations (example). In FF8A8FP4FB/e1, example 3

History

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

Properties 7R2Y6RRVAM

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

Mentions

wikipedia: Wikipedia Circular prime#1NI1, Properties (statement)

History

2026-11-02: add by m2/dev

P = PSPACE problem 7R31HR6622

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#P6T0, P = PSPACE problem (definition)

History

2026-11-02: add by m2/dev

Moshe Feldenkrais 7R32SESGTS

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#MTPD, Moshe Feldenkrais (unknown)

History

2026-11-02: add by m2/dev

Definitions 7R34FYRVTK

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

Mentions

wikipedia: Wikipedia Distribution function (measure theory)#RXCP, Definitions (definition)

History

2026-11-02: add by m2/dev

7R353VAHED 7R353VAHED

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

Mentions

arxiv: arXiv 2412.12141#K7P4 (statement). In V980ZMH759/e1, corollary 2.7

History

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

Inner limiting set 7R39WNHBVR

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

Mentions

wikipedia: Wikipedia Glossary of general topology#X7FA, Inner limiting set (definition)

History

2026-11-02: add by m2/dev

Salva veritate 7R3ABS1Y1S

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

Mentions

wikipedia: Wikipedia Salva veritate, Salva veritate (definition). Also Wikidata Q11892155

History

2026-11-02: add by m2/dev

Western Chain 7R3D42WH4B

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

Mentions

wikipedia: Wikipedia List of places with numeric names#KL8L, Western Chain (unknown)

History

2026-11-02: add by m2/dev

Variants 7R3JHE2DTB

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

Mentions

wikipedia: Wikipedia Ruler#YMM3, Variants (statement)

History

2026-11-02: add by m2/dev

Weighted interval comparison 7R3K4V9AW9

URI	`m2://inv/7R3K4V9AW9`
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.10188#DTX2, Weighted interval comparison (statement). In S608Z3ZBP6/e1, lemma 4.1

History

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

Algebra of sets 7R3RGRM4ET

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

Mentions

wikipedia: Wikipedia Algebra of sets, Algebra of sets (definition). Also Wikidata Q10565797

History

2026-11-02: add by m2/dev

Nonvanishing criterion for compactified Heun covers 7R3S6JW03Y

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

Mentions

arxiv: arXiv 2609.24807#6OX7, Nonvanishing criterion for compactified Heun covers (statement)

History

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

7R3V0606HA 7R3V0606HA

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

Mentions

arxiv: arXiv 2609.24353#D1BG (statement)

History

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

Yudin 7R450DZ9V1

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

Mentions

arxiv: arXiv 2609.26619#N4IU, Yudin (statement)

History

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

Gabor Herman 7R460XVWGV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#R3KQ, Gabor Herman (unknown)

History

2026-11-02: add by m2/dev

D4 lattice 7R46NZEMM9

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

Mentions

wikipedia: Wikipedia 16-cell honeycomb#IKGV, D4 lattice (unknown)

History

2026-11-02: add by m2/dev

theorem 7R4DPD7FJ9

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

Mentions

wikipedia: Wikipedia Glossary of logic#5CK7, theorem (definition)

History

2026-11-02: add by m2/dev

polydisc 7R4EJR2MWP

URI	`m2://inv/7R4EJR2MWP`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Polydisc DJBWP7D3M8

Mentions

wikidata: Wikidata Q2103196, polydisc (unknown). Also EoM Polydisc, MathWorld Polydisk, nLab polydisc
wikipedia: Wikipedia Polydisc, Polydisc (definition). Also Wikidata Q2103196

History

2026-10-26: add by m2/dev

nilradical of a ring 7R4F76WAH9

URI	`m2://inv/7R4F76WAH9`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Nilradical QQDN6EYQNJ

Mentions

wikidata: Wikidata Q3341881, nilradical of a ring (unknown). Also MathWorld Nilradical
wikipedia: Wikipedia Nilradical of a ring, Nilradical of a ring (definition). Also Wikidata Q3341881

History

2026-10-26: add by m2/dev

1/e-law of best choice 7R4JSPGDSP

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

Mentions

wikipedia: Wikipedia Secretary problem#USU1, 1/e-law of best choice (statement)

History

2026-11-02: add by m2/dev

Differentiation under the integral sign 7R4P4AMBJH

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

Mentions

wikipedia: Wikipedia List of calculus topics#BP79, Differentiation under the integral sign (definition)

History

2026-11-02: add by m2/dev

parabolic cylindrical coordinates 7R59SRM0BX

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

Mentions

wikidata: Wikidata Q2473905, parabolic cylindrical coordinates (unknown). Also MathWorld ParabolicCylindricalCoordinates
wikipedia: Wikipedia Parabolic cylindrical coordinates, Parabolic cylindrical coordinates (definition). Also Wikidata Q2473905

History

2026-10-26: add by m2/dev

Coloring Lemma 7R5G3YD4X3

URI	`m2://inv/7R5G3YD4X3`
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.26201#EYPD, Coloring Lemma (statement)

History

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

D'Alembert's principle 7R5H3JMNG8

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

Mentions

wikipedia: Wikipedia List of mathematical topics in classical mechanics#2DFP, D'Alembert's principle (statement)

History

2026-11-02: add by m2/dev

Definition 7R5PQPKPFT

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

Mentions

wikipedia: Wikipedia Functor category#7JHV, Definition (definition)

History

2026-11-02: add by m2/dev

Krzysztof Gawedzki 7R5Q1FS3HF

URI	`m2://inv/7R5Q1FS3HF`
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 Q1689580, Krzysztof Gawedzki (unknown). Also nLab Krzysztof Gawedzki
wikipedia: Wikipedia Krzysztof Gawedzki, Krzysztof Gawedzki (topic). Also Wikidata Q1689580

History

2026-10-26: add by m2/dev

Divine Proportions: Rational Trigonometry to Universal Geometry 7R5X96AYQT

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

Mentions

wikipedia: Wikipedia Divine Proportions: Rational Trigonometry to Universal Geometry, Divine Proportions: Rational Trigonometry to Universal Geometry (definition). Also Wikidata Q1960635

History

2026-11-02: add by m2/dev

7R681BSMN7 7R681BSMN7

URI	`m2://inv/7R681BSMN7`
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.03449#VTC2 (statement). In 3XM05SYQ8D/e1, proposition 2.7

History

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

operator K-theory 7R69K4MMD3

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

Mentions

wikidata: Wikidata Q7097836, operator K-theory (unknown). Also nLab operator K-theory
wikipedia: Wikipedia Operator K-theory, Operator K-theory (definition). Also Wikidata Q7097836

History

2026-10-26: add by m2/dev

7R6BP359RF 7R6BP359RF

URI	`m2://inv/7R6BP359RF`
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.02166#3QSZ (statement). In R6RF3P6D5A/e1, lemma 4.13

History

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

7R6FRWZPD3 7R6FRWZPD3

URI	`m2://inv/7R6FRWZPD3`
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.20165#NL8J (statement). In QTD3BP5GA0/e1, lemma 4.5

History

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

7R6G5E15F1 7R6G5E15F1

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

Mentions

lebl_scv: lebl_scv scv.tex#defn-13 (definition). In VNMV985MXX, defn, section 2.4

History

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

7R6HJEDD03 7R6HJEDD03

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

Mentions

arxiv: arXiv 2009.11127#36Z9 (statement). In QEFS0Y021A/e1, proposition 2.5

History

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

SI base unit 7R6Z4EC0W8

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

Mentions

wikidata: Wikidata Q223662, SI base unit (definition). Also ProofWiki Definition:SI_Units/Base_Units

History

2026-10-26: add by m2/dev

All finite natural inverse semirings 7R70RSG96C

URI	`m2://inv/7R70RSG96C`
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.12014#I55H, All finite natural inverse semirings (statement). In DR7BK4CQ0V/e1, theorem 5.17

History

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

Properties 7R742NJ3K0

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

Mentions

wikipedia: Wikipedia Crossed product#53V0, Properties (statement)

History

2026-11-02: add by m2/dev

Haboush's theorem 7R7ERAS8BJ

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

Mentions

mathlib_1000: mathlib_1000 Q3527088, Haboush's theorem (statement). Also Wikidata Q3527088
thousand_plus: thousand_plus Q3527088, Haboush's theorem (statement). Also Wikidata Q3527088, Wikipedia Haboush's theorem
wikipedia: Wikipedia Haboush's theorem, Haboush's theorem (statement). Also Wikidata Q3527088

History

2026-10-26: add by m2/dev

7R7EXV7Q2Z 7R7EXV7Q2Z

URI	`m2://inv/7R7EXV7Q2Z`
Kind	definition
Layer	research
MSC	16-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 2512.16003#JWSB (definition). In BJGS6ZCQ12/e1, definition 7.4

History

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

7R7GJ4WBAV 7R7GJ4WBAV

URI	`m2://inv/7R7GJ4WBAV`
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.10902#0G5W (statement). In 96T1K6C3NZ/e1, proposition 7

History

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

7R7JVEP2H3 7R7JVEP2H3

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_permutations.ptx#example-1 (example). In QKM9DD2H56, example, section 2.2

History

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

Lifted-Hamming toric code: a stack of toric codes enriched by translation 7R7QA9M0P2

URI	`m2://inv/7R7QA9M0P2`
Kind	example
Layer	research
MSC	05-XX, 51-XX, 52-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.04834#15S3, Lifted-Hamming toric code: a stack of toric codes enriched by translation (example). In YZNK67K060/e1, example 7.10

History

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

The step identities 7R7YB2757N

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

Mentions

arxiv: arXiv 2610.18512#F6T9, The step identities (statement). In 11JNM66Z09/e1, lemma E.1

History

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

Conjecture on prime triplets 7R8057WBHJ

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

Mentions

wikipedia: Wikipedia Prime triplet#433K, Conjecture on prime triplets (statement)

History

2026-11-02: add by m2/dev

7R86S926QF 7R86S926QF

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

Mentions

arxiv: arXiv 2610.03612#5W5U (definition). In REDG6QVHM3/e1, definition 9.5

History

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

Fitting a phase type distribution to data 7R89TTP7F0

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

Mentions

wikipedia: Wikipedia Phase-type distribution#75XX, Fitting a phase type distribution to data (unknown)

History

2026-11-02: add by m2/dev

7R8EPJNW2J 7R8EPJNW2J

URI	`m2://inv/7R8EPJNW2J`
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.39706#L722 (statement). In 79Y8JJMKP4/e1, proposition 6.5

History

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

List of finite simple groups 7R8KJCHPP0

URI	`m2://inv/7R8KJCHPP0`
Kind	topic
Layer	textbook
Sources	1
Outcome	deferred (the item has the flag informal (WP9.2))
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia List of finite simple groups, List of finite simple groups (topic). Also Wikidata Q840616

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

1950s and the Selberg trace formula 7R8N2AG7MP

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

Mentions

wikipedia: Wikipedia Hilbert–Pólya conjecture#55UZ, 1950s and the Selberg trace formula (statement)

History

2026-11-02: add by m2/dev

Threemiletown 7R8PTMTHAH

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

Mentions

wikipedia: Wikipedia List of places with numeric names#STZS, Threemiletown (unknown)

History

2026-11-02: add by m2/dev

Applications 7R91FBYGVT

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

Mentions

wikipedia: Wikipedia First passage percolation#HCNS, Applications (example)

History

2026-11-02: add by m2/dev

7R94P4XH7S 7R94P4XH7S

URI	`m2://inv/7R94P4XH7S`
Kind	statement
Layer	research
MSC	60-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.16069#NXO3 (statement). In MBJA03ES8N/e1, corollary 7.8

History

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

7R974A3WFF 7R974A3WFF

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

Mentions

arxiv: arXiv 2511.15212#CKJ1 (statement). In W99XBH6X5N/e1, theorem 2.8

History

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

paradox 7R9DAWYS1K

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

Mentions

wikipedia: Wikipedia Glossary of set theory#6XLT, paradox (definition)

History

2026-11-02: add by m2/dev

7R9EWRNVRJ 7R9EWRNVRJ

URI	`m2://inv/7R9EWRNVRJ`
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.26308#Z6OS (statement)

History

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

Kate Okikiolu 7R9HES8BDD

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

Mentions

wikipedia: Wikipedia Kate Okikiolu, Kate Okikiolu (topic). Also Wikidata Q15994553

History

2026-11-02: add by m2/dev

7R9P7HY97Z 7R9P7HY97Z

URI	`m2://inv/7R9P7HY97Z`
Kind	statement
Layer	research
MSC	20-XX, 37-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 2409.00806#WNT9 (statement). In SBN06J39DG/e1, theorem 4.1

History

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

7RA09PQ4N0 7RA09PQ4N0

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

Mentions

arxiv: arXiv 2610.16339#7QG1 (statement). In ER5EH4W919/e1, corollary 1.8

History

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

Flip 7RA5A343JT

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

Mentions

wikipedia: Wikipedia Flip (algebraic geometry), Flip (definition). Also Wikidata Q5459651

History

2026-11-02: add by m2/dev

Billy G. Mills 7RA701EYAG

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#WXJM, Billy G. Mills (unknown)

History

2026-11-02: add by m2/dev

7RA7KSDFNB 7RA7KSDFNB

URI	`m2://inv/7RA7KSDFNB`
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 2411.16655#9D4J (statement). In EJHAXRV685/e1, proposition 3.7

History

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

7RABZTKYZY 7RABZTKYZY

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

Mentions

arxiv: arXiv 2610.18894#USCQ (statement). In TJ8B49K7F1/e1, lemma 2.3

History

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

7RACMT5DZ1 7RACMT5DZ1

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

Mentions

arxiv: arXiv 2609.29450#RU48 (statement)

History

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

Silvio Micali 7RAFNCB3J2

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

Mentions

wikipedia: Wikipedia List of cryptographers#ZHQ8, Silvio Micali (unknown)

History

2026-11-02: add by m2/dev

Stationary class under norm pullback 7RAFZYSGPA

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

Mentions

arxiv: arXiv 2610.10583#ZX76, Stationary class under norm pullback (statement). In 5BZQS1KY9A/e1, corollary 6.3

History

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

Energy statistics (disambiguation) 7RAG596ND8

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

Mentions

wikipedia: Wikipedia List of statistics articles#KO2Z, Energy statistics (disambiguation) (unknown)

History

2026-11-02: add by m2/dev

Geometry of numbers 7RAG8QGM98

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

Mentions

wikipedia: Wikipedia List of number theory topics#4PQP, Geometry of numbers (definition)

History

2026-11-02: add by m2/dev

Fibre Nullstellens\"atze 7RAKHXSW5T

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

Mentions

arxiv: arXiv 2610.15887#98T2, Fibre Nullstellens\"atze (statement). In 87QYNZZ67Z/e1, theorem B

History

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

7RAV8ZD65J 7RAV8ZD65J

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

Mentions

napkin: napkin tex/set-theory/ordinal.tex#theorem-4 (statement). In RZP28ERRZV, theorem, section 92.4

History

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

7RAWF11C7F 7RAWF11C7F

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

Mentions

arxiv: arXiv 2609.27918#R11G (statement)

History

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

Additive map 7RB1MS9A3Z

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

Mentions

wikipedia: Wikipedia Additive map, Additive map (definition). Also Wikidata Q22963169

History

2026-11-02: add by m2/dev

7RB1NR4YA6 7RB1NR4YA6

URI	`m2://inv/7RB1NR4YA6`
Kind	conjecture
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#10M4 (conjecture)

History

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

7RBBH8FNEZ 7RBBH8FNEZ

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

Mentions

arxiv: arXiv 2610.03327#47E1 (statement). In EBNXA84CPM/e1, lemma 3.3

History

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

7RBGKYJ8Y5 7RBGKYJ8Y5

URI	`m2://inv/7RBGKYJ8Y5`
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.24065#U4AJ (statement)

History

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

$(-3)$-sieve; quadratic reciprocity 7RBSV4G4QW

URI	`m2://inv/7RBSV4G4QW`
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 2606.18859#6QWF, $(-3)$-sieve; quadratic reciprocity (statement). In EVRAASXEDY/e1, theorem 3.2

History

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

7RBT2177EM 7RBT2177EM

URI	`m2://inv/7RBT2177EM`
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.11823#AFU1 (statement). In YNQHA63Z2B/e1, proposition 3.3

History

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

Black–Karasinski model 7RBZ08FK8W

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

Mentions

wikipedia: Wikipedia Black–Karasinski model, Black–Karasinski model (definition). Also Wikidata Q4923653

History

2026-11-02: add by m2/dev

7RC0V347T4 7RC0V347T4

URI	`m2://inv/7RC0V347T4`
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 2610.02983#75W6 (statement). In HMNKENER22/e1, theorem 7.5

History

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

7RC1BN979B 7RC1BN979B

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

Mentions

arxiv: arXiv 2609.20140#RDFV (statement)

History

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

7RC68733D2 7RC68733D2

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

Mentions

arxiv: arXiv 2211.01586#CRCP (proof). In P39MF3ZJC0/e1, proof

History

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

Victor Ginzburg 7RCFKYJ9E4

URI	`m2://inv/7RCFKYJ9E4`
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 Q2522358, Victor Ginzburg (unknown). Also nLab Victor Ginzburg
wikipedia: Wikipedia Victor Ginzburg, Victor Ginzburg (topic). Also Wikidata Q2522358

History

2026-10-26: add by m2/dev

Zeta functions and primitive factors 7RCJE833F5

URI	`m2://inv/7RCJE833F5`
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.05652#ROZA, Zeta functions and primitive factors (statement). In 8BNPFYQDQX/e1, proposition 2.19

History

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

7RCQC1WCN2 7RCQC1WCN2

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

Mentions

arxiv: arXiv 2609.37450#UZ7N (statement). In FP05Z6EBV4/e1, lemma 3.5

History

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

Statistical field theory 7RCSWK7KNH

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

Mentions

wikipedia: Wikipedia Statistical field theory, Statistical field theory (definition). Also Wikidata Q644758

History

2026-11-02: add by m2/dev

7RCTQY9MQ6 7RCTQY9MQ6

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

Mentions

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

History

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

A useful lemma 7RCZKDT7FN

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

Mentions

wikipedia: Wikipedia Linear span#L1NI, A useful lemma (statement)

History

2026-11-02: add by m2/dev

7RCZR2MVAR 7RCZR2MVAR

URI	`m2://inv/7RCZR2MVAR`
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#S9FQ (statement). In 8TSZ2E32K3/e1, lemma 6.7

History

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

child regions 7RD3ND26W2

URI	`m2://inv/7RD3ND26W2`
Kind	definition
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.01753#UWW9, child regions (definition). In JY50YXMH5N/e1, definition 32

History

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

Eva E. Jacobs 7RD4MPMXGP

URI	`m2://inv/7RD4MPMXGP`
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#JPIK, Eva E. Jacobs (topic)

History

2026-11-02: add by m2/dev

Arthur Levenson 7RD4XG9FTV

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#BBFI, Arthur Levenson (unknown)

History

2026-11-02: add by m2/dev

Discrete orthogonal polynomials 7RD4YD9PTN

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

Mentions

wikipedia: Wikipedia Discrete orthogonal polynomials, Discrete orthogonal polynomials (definition). Also Wikidata Q5282055

History

2026-11-02: add by m2/dev

Sum of the Reciprocals of the Triangular Numbers 7RDDC0YRF8

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

Mentions

mathlib_100: mathlib_100 42, Sum of the Reciprocals of the Triangular Numbers (statement). Also Mathlib Theorems100.inverse_triangle_sum

History

2026-10-26: add by m2/dev

troy weight 7RDFCHGT9V

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

Mentions

wikidata: Wikidata Q1974806, troy weight (definition). Also ProofWiki Definition:Troy

History

2026-10-26: add by m2/dev

Omnitruncated triangular-hexagonal prismatic honeycomb 7RDVAX6FJM

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#OVHO, Omnitruncated triangular-hexagonal prismatic honeycomb (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#HZYQ, Omnitruncated triangular-hexagonal prismatic honeycomb (definition)

History

2026-11-02: add by m2/dev

Busemann quasicocycle 7RE1P1M6E4

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

Mentions

arxiv: arXiv 2610.09162#FMNT, Busemann quasicocycle (example). In TAPS8P2VYS/e1, example 1.4

History

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

Christof Geiß 7RE2770Y8S

URI	`m2://inv/7RE2770Y8S`
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#KTB2, Christof Geiß (topic)

History

2026-11-02: add by m2/dev

7RE3PD6NAC 7RE3PD6NAC

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

Mentions

arxiv: arXiv 2610.12691#25D2 (problem). In YVQKT91MYN/e1, problem 1

History

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

7RE527DEXB 7RE527DEXB

URI	`m2://inv/7RE527DEXB`
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.37584#GCTX (statement). In 66F6N3BJWV/e1, theorem 6.2

History

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

7RE8TR46W2 7RE8TR46W2

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

Mentions

arxiv: arXiv 2609.26386#7W07 (definition)

History

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

7REGXDX2XE 7REGXDX2XE

URI	`m2://inv/7REGXDX2XE`
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.18154#E241 (statement). In 4W7ARR1DAR/e1, corollary 7.4

History

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

K. Sandeep 7REXS2K23X

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

Mentions

wikipedia: Wikipedia K. Sandeep, K. Sandeep (topic). Also Wikidata Q22121190

History

2026-11-02: add by m2/dev

7REYN8XCAJ 7REYN8XCAJ

URI	`m2://inv/7REYN8XCAJ`
Kind	statement
Layer	research
MSC	35-XX, 46-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.05391#RCS0 (statement). In 9B5TNEBJHV/e1, lemma 3.16

History

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

Credibility theory 7RF02VCR0D

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

Mentions

wikipedia: Wikipedia Credibility theory, Credibility theory (topic). Also Wikidata Q3526803

History

2026-11-02: add by m2/dev

Mylar balloon 7RFA48DKA1

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

Mentions

wikipedia: Wikipedia Mylar balloon (geometry), Mylar balloon (definition). Also Wikidata Q17143471

History

2026-11-02: add by m2/dev

Semantic Judgment for Terms 7RFCZEZ210

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

Mentions

arxiv: arXiv 2610.21131#I00J, Semantic Judgment for Terms (definition). In CPYWHRTPKC/e1, definition 6.31

History

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

Multiple baseline design 7RFGE7V0FM

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

Mentions

wikipedia: Wikipedia Multiple baseline design, Multiple baseline design (definition). Also Wikidata Q17148646

History

2026-11-02: add by m2/dev

Maximal surface 7RFJZJRN3D

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

Mentions

wikipedia: Wikipedia Maximal surface, Maximal surface (definition). Also Wikidata Q104861061

History

2026-11-02: add by m2/dev

William Gemmell Cochran 7RFNP3GSW4

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#D1WO, William Gemmell Cochran (topic)
wikipedia: Wikipedia List of fellows of the American Statistical Association#2IBP, William Gemmell Cochran (topic)

History

2026-11-02: add by m2/dev

Perturbation of centered Gaussian laws 7RG17TZFX7

URI	`m2://inv/7RG17TZFX7`
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.39144#D53Q, Perturbation of centered Gaussian laws (statement). In 814ZF5WMMF/e1, lemma 10

History

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

7RG241GX0G 7RG241GX0G

URI	`m2://inv/7RG241GX0G`
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.28892#EGZR (statement)

History

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

Freezing one epoch 7RG5Y39ZNR

URI	`m2://inv/7RG5Y39ZNR`
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#290G, Freezing one epoch (statement). In TTEAQA1XXR/e1, lemma E.4

History

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

Cram\'er's theorem on $\R$ 7RGGV3TT3T

URI	`m2://inv/7RGGV3TT3T`
Kind	statement
Layer	research
MSC	60-XX, 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.27765#8VX8, Cram\'er's theorem on $\R$ (statement)

History

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

7RGJM72QZX 7RGJM72QZX

URI	`m2://inv/7RGJM72QZX`
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.10233#90QN (statement). In QR9WE79ERQ/e1, lemma 6.2

History

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

7RGQ5AHJFV 7RGQ5AHJFV

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

Mentions

hott_book: hott_book categories.tex#ex:dagger-rezk (exercise). In N54F33XE07, ex, section 2.9

History

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

7RGXHX1AAW 7RGXHX1AAW

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

Mentions

arxiv: arXiv 2609.27687#FLG6 (statement)

History

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

7RGY2RBTJA 7RGY2RBTJA

URI	`m2://inv/7RGY2RBTJA`
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 2011.07352#MAFG (statement). In 3VPC1GGZ3E/e1, lemma 4.3

History

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

7RH9DJMXQD 7RH9DJMXQD

URI	`m2://inv/7RH9DJMXQD`
Kind	definition
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 1806.05002#24M5 (definition). In JBAQ7DTW7B/e1, definition

History

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

Sue Whitesides 7RHAA3DSSG

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

Mentions

wikipedia: Wikipedia Sue Whitesides, Sue Whitesides (topic). Also Wikidata Q16481

History

2026-11-02: add by m2/dev

Lagrangian 7RHAG4EFKP

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

Mentions

wikipedia: Wikipedia Glossary of symplectic geometry#OHV4, Lagrangian (definition)

History

2026-11-02: add by m2/dev

2-out-of-3 property 7RHC417373

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

Mentions

hott_book: hott_book index/3.7/2-out-of-3-property, 2-out-of-3 property (concept). In N54F33XE07, index, section 3.7

History

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

7RHCGHGVGW 7RHCGHGVGW

URI	`m2://inv/7RHCGHGVGW`
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#6ABB (statement). In S26QVW5613/e1, lemma 4.1.2

History

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

Pascal triangle 7RHQ2M2BA5

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#K3KR, Pascal triangle (definition)

History

2026-11-02: add by m2/dev

7RHWDYNTQF 7RHWDYNTQF

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#proof-7 (proof). In E59CDZA4DP, proof, section 5.1.4

History

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

Construction 7RHXZH0N69

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

Mentions

wikipedia: Wikipedia Truncated 7-orthoplexes#Y4F5, Construction (definition)

History

2026-11-02: add by m2/dev

Proposition 7RJ4SFZX1H

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

Mentions

wikipedia: Wikipedia Ingleton's inequality#3RAF, Proposition (statement)

History

2026-11-02: add by m2/dev

Yuri Matiyasevich 7RJ5AQD18T

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#VX5T, Yuri Matiyasevich (topic)

History

2026-11-02: add by m2/dev

Michaelis–Menten–Monod kinetics 7RJ5H8505H

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

Mentions

wikipedia: Wikipedia Michaelis–Menten–Monod kinetics, Michaelis–Menten–Monod kinetics (definition). Also Wikidata Q30590684

History

2026-11-02: add by m2/dev

7RJ5ZQRZWH 7RJ5ZQRZWH

URI	`m2://inv/7RJ5ZQRZWH`
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.01802#V6MW (statement). In XGPZ0G9E1Q/e1, lemma 9.2

History

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

7RJ7HWQKXJ 7RJ7HWQKXJ

URI	`m2://inv/7RJ7HWQKXJ`
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.21632#ZH50 (statement). In Q4RZTN2EX6/e1, lemma 6.2

History

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

7RJBPXT7CC 7RJBPXT7CC

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

Mentions

arxiv: arXiv 2610.17060#17ST (statement). In 5KR3MHYVV6/e1, lemma 3.8

History

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

{$\QQ[x]$ is a Euclidean domain} 7RJE3DD9P4

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

Mentions

napkin: napkin tex/H113/ring-flavors.tex#example-10, {$\QQ[x]$ is a Euclidean domain} (example). In RZP28ERRZV, example, section 4.7

History

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

7RJN67G9PP 7RJN67G9PP

URI	`m2://inv/7RJN67G9PP`
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.08039#9684 (statement). In Y1K8WE4MDP/e1, lemma 2.3

History

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

7RJVWEYHAH 7RJVWEYHAH

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

Mentions

arxiv: arXiv 2609.29489#CL6F (statement)

History

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

Further examples 7RJY68YF5D

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

Mentions

wikipedia: Wikipedia Transcendental curve#FD60, Further examples (example)

History

2026-11-02: add by m2/dev

7RJZCSV5FB 7RJZCSV5FB

URI	`m2://inv/7RJZCSV5FB`
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.20740#RKN3 (statement)

History

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

7RJZQWF532 7RJZQWF532

URI	`m2://inv/7RJZQWF532`
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.19533#NGOH (statement). In RG4Z9C6ANS/e1, lemma 3.4

History

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

Properties 7RK1K4A71A

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

Mentions

wikipedia: Wikipedia Epimorphism#8RCA, Properties (statement)

History

2026-11-02: add by m2/dev

Hilbert continuity 7RK44NZJE5

URI	`m2://inv/7RK44NZJE5`
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.25026#6T66, Hilbert continuity (statement)

History

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

Internal Hom 7RK57KSVY2

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

Mentions

wikipedia: Wikipedia Hom functor#YL9A, Internal Hom (unknown)

History

2026-11-02: add by m2/dev

Definition 7RK60KM8NY

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

Mentions

wikipedia: Wikipedia Wald–Wolfowitz runs test#UU97, Definition (definition)

History

2026-11-02: add by m2/dev

3-4-6-12 tiling 7RKB2P6MGD

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

Mentions

wikipedia: Wikipedia 3-4-6-12 tiling, 3-4-6-12 tiling (object). Also Wikidata Q25047473

History

2026-11-02: add by m2/dev

Akivis algebra 7RKDGRV44A

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

Mentions

wikipedia: Wikipedia Akivis algebra, Akivis algebra (definition). Also Wikidata Q60794796

History

2026-11-02: add by m2/dev

7RKPA2Q20P 7RKPA2Q20P

URI	`m2://inv/7RKPA2Q20P`
Kind	statement
Layer	research
MSC	03-XX, 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.27872#11GG (statement)

History

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

Maclaurin's inequality 7RKRK8DZP6

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

Mentions

wikipedia: Wikipedia List of inequalities#774U, Maclaurin's inequality (statement)

History

2026-11-02: add by m2/dev

Clipped chain 7RKTN17KXH

URI	`m2://inv/7RKTN17KXH`
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.12641#UQWU, Clipped chain (statement). In X5BYGZZHPF/e1, lemma J.3

History

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

Coefficient of multiple correlation 7RKXFSB16W

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

Mentions

wikipedia: Wikipedia Coefficient of multiple correlation, Coefficient of multiple correlation (definition). Also Wikidata Q6934920

History

2026-11-02: add by m2/dev

Jiahua Chen 7RM4ZJ6ZQ2

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

Mentions

wikipedia: Wikipedia Jiahua Chen, Jiahua Chen (topic). Also Wikidata Q102109982

History

2026-11-02: add by m2/dev

7RMD01KCZH 7RMD01KCZH

URI	`m2://inv/7RMD01KCZH`
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 2609.33584#9SRY (statement). In 3HFBAWQCA1/e1, proposition 9.1

History

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

7RMN4Q2VKQ 7RMN4Q2VKQ

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

Mentions

open_logic: open_logic content/intuitionistic-logic/introduction/constructive-reasoning.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 31.3

History

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

7RMS48TBPV 7RMS48TBPV

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

Mentions

arxiv: arXiv 2609.22551#2XJA (statement)

History

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

Depth--width energy bounds 7RMSWT34MJ

URI	`m2://inv/7RMSWT34MJ`
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.02166#EIDQ, Depth--width energy bounds (statement). In R6RF3P6D5A/e1, proposition 3.6

History

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

7RMXWNMQY9 7RMXWNMQY9

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

Mentions

arxiv: arXiv 2610.08583#2T3S (statement). In 5EKTECQ2P1/e1, lemma 5.4

History

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

7RNJ4DGXXF 7RNJ4DGXXF

URI	`m2://inv/7RNJ4DGXXF`
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 2610.15817#RC1K (statement). In NVJMA8ARHP/e1, theorem 3.0.4

History

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

First-order 7RNJXV0AD3

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

Mentions

wikipedia: Wikipedia First-order, First-order (definition). Also Wikidata Q5452196

History

2026-11-02: add by m2/dev

7RP3C8FS2F 7RP3C8FS2F

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

Mentions

open_logic: open_logic content/proof-theory/cut-elimination/ce-topmost.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 56.2

History

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

Pauli-rotation normal form and nullity cost 7RP3EN3JTC

URI	`m2://inv/7RP3EN3JTC`
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.02166#KOI2, Pauli-rotation normal form and nullity cost (statement). In R6RF3P6D5A/e1, lemma B.5

History

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

7RP5XY7VQQ 7RP5XY7VQQ

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:consequences of axioms (statement). In P1C114YBXG, theorem, section u1

History

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

Event study 7RP8N31RSA

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

Mentions

wikipedia: Wikipedia List of statistics articles#J323, Event study (definition)

History

2026-11-02: add by m2/dev

7RPP76ETFF 7RPP76ETFF

URI	`m2://inv/7RPP76ETFF`
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.17677#N7BU (statement). In 5E9G06XJKC/e1, lemma F.5

History

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

Properties 7RPSX06P0Q

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

Mentions

wikipedia: Wikipedia Tensor product of modules#6XRV, Properties (statement)

History

2026-11-02: add by m2/dev

James Colliander 7RPT4FK184

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

Mentions

wikipedia: Wikipedia James Colliander, James Colliander (topic). Also Wikidata Q6131573

History

2026-11-02: add by m2/dev

Canonical predictive state 7RPXJZ2B5K

URI	`m2://inv/7RPXJZ2B5K`
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.13951#6YCR, Canonical predictive state (statement). In BDV8G2CV16/e1, theorem 2

History

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

7RQAEHRNYH 7RQAEHRNYH

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

Mentions

arxiv: arXiv 2610.09678#P8RJ (statement). In 9VG7PNZHZT/e1, lemma 4.1

History

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

7RQCPEADX8 7RQCPEADX8

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

Mentions

arxiv: arXiv 2610.13213#SLKY (statement). In V97F4YZ8B0/e1, lemma 5.3

History

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

7RQCYQRFAQ 7RQCYQRFAQ

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

Mentions

arxiv: arXiv 2204.01073#1B7M (statement). In W4TYN4PGE8/e1, theorem 4.2

History

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

Complete measure 7RQDN9SWEZ

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

Mentions

wikipedia: Wikipedia List of integration and measure theory topics#BOTI, Complete measure (definition)

History

2026-11-02: add by m2/dev

Generalization 7RQEAZYF3R

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

Mentions

wikipedia: Wikipedia Genus–degree formula#J3PC, Generalization (statement)

History

2026-11-02: add by m2/dev

7RQG3QKW7D 7RQG3QKW7D

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

Mentions

arxiv: arXiv 2609.24479#VME9 (statement)

History

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

Lemma (Chain bounding) 7RQJ9R08CF

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

Mentions

wikipedia: Wikipedia Bourbaki–Witt theorem#QFC8, Lemma (Chain bounding) (statement)
wikipedia: Wikipedia Hausdorff maximal principle#MENL, Lemma (statement)

History

2026-11-02: add by m2/dev

Survival of the squarefree projection 7RQMPXHNT0

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

Mentions

arxiv: arXiv 2610.17675#1Z0P, Survival of the squarefree projection (statement). In 7NMQ6QBYKZ/e1, lemma 5.1

History

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

Michel Brion 7RQNX9E2MB

URI	`m2://inv/7RQNX9E2MB`
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 Q97035267, Michel Brion (unknown). Also nLab Michel Brion

History

2026-10-26: add by m2/dev

7RQQQC1YB3 7RQQQC1YB3

URI	`m2://inv/7RQQQC1YB3`
Kind	statement
Layer	research
MSC	51-XX, 52-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.27931#UO2W (statement)

History

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

geometric genus 7RQS0DBTFQ

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#XFEP, geometric genus (definition)

History

2026-11-02: add by m2/dev

7RQT3ZP55G 7RQT3ZP55G

URI	`m2://inv/7RQT3ZP55G`
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.39104#PT1N (definition). In V2NTW27MSJ/e1, definition 2.14

History

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

Mittenpunkt 7RQTM4WS1G

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

Mentions

wikipedia: Wikipedia List of triangle topics#4TIC, Mittenpunkt (definition)

History

2026-11-02: add by m2/dev

7RQWZX64H0 7RQWZX64H0

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

Mentions

napkin: napkin tex/cats/categories.tex#definition-2 (definition). In RZP28ERRZV, definition, section 36.2

History

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

⊧ 7RQYVB1WEH

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

Mentions

wikipedia: Wikipedia Glossary of set theory#PMDX, ⊧ (definition)

History

2026-11-02: add by m2/dev

Hassler Whitney 7RR0T732Z6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#Q0AZ, Hassler Whitney (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#4TQ1, Hassler Whitney (topic)

History

2026-11-02: add by m2/dev

Unknotting number of positive torus links 7RR2SJBQES

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

Mentions

arxiv: arXiv 2610.10206#C3ZA, Unknotting number of positive torus links (statement). In 8TRCP1482Q/e1, theorem B.32

History

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

codensity monad 7RR39E9R8C

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

Mentions

wikidata: Wikidata Q97359844, codensity monad (unknown). Also nLab codensity monad
wikipedia: Wikipedia Codensity monad, Codensity monad (definition). Also Wikidata Q97359844

History

2026-10-26: add by m2/dev

Ludwig Schlesinger 7RRM94SBF3

URI	`m2://inv/7RRM94SBF3`
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#8ZR6, Ludwig Schlesinger (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BSWM, Ludwig Schlesinger (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QSY0, Ludwig Schlesinger (topic)
wikipedia: Wikipedia List of German mathematicians#7EZ1, Ludwig Schlesinger (topic)

History

2026-11-02: add by m2/dev

Hill–Beck land division problem 7RRMRTPGP0

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

Mentions

wikipedia: Wikipedia Hill–Beck land division problem, Hill–Beck land division problem (problem). Also Wikidata Q18349483

History

2026-11-02: add by m2/dev

\|\varphi\| 7RRNSZYRGC

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

Mentions

wikipedia: Wikipedia Glossary of set theory#R2Y2, \|\varphi\| (definition)

History

2026-11-02: add by m2/dev

The axioms of S5 7RRQE7VXRA

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

Mentions

wikipedia: Wikipedia S5 (modal logic)#MPF6, The axioms of S5 (statement)

History

2026-11-02: add by m2/dev

David Park 7RRQJF6H3V

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#N19L, David Park (unknown)

History

2026-11-02: add by m2/dev

Heyting arithmetic 7RRXQA7QSV

URI	`m2://inv/7RRXQA7QSV`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Heyting arithmetic CK8ZQRN183

Mentions

wikidata: Wikidata Q5548813, Heyting arithmetic (unknown). Also nLab Heyting arithmetic
wikipedia: Wikipedia Heyting arithmetic, Heyting arithmetic (definition). Also Wikidata Q5548813

History

2026-10-26: add by m2/dev

7RRXRR4HBM 7RRXRR4HBM

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

Mentions

arxiv: arXiv 2609.33805#D0F7 (statement). In XM98BX97RT/e1, lemma A.7

History

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

7RS0YCCKJE 7RS0YCCKJE

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-13 (proof). In VNMV985MXX, proof, section 1.5

History

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

7RS7R96YFY 7RS7R96YFY

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

Mentions

arxiv: arXiv 2609.23994#SDN9 (statement)

History

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

perfect group 7RSMZFNABT

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

Mentions

wikidata: Wikidata Q1571290, perfect group (unknown). Also LMFDB knowl group.perfect, MathWorld PerfectGroup
wikipedia: Wikipedia Perfect group, Perfect group (definition). Also Wikidata Q1571290

History

2026-10-26: add by m2/dev

Negative refraction 7RSQ63ZMZF

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

Mentions

wikipedia: Wikipedia Negative refraction, Negative refraction (definition). Also Wikidata Q3454804

History

2026-11-02: add by m2/dev

7RSQB7ACS0 7RSQB7ACS0

URI	`m2://inv/7RSQB7ACS0`
Kind	definition
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 2601.15403#J6UR (definition). In BSWNH3NW1M/e1, definition 2.1

History

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

7RSQWM1VDC 7RSQWM1VDC

URI	`m2://inv/7RSQWM1VDC`
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.02042#ZX8B (statement). In P3HWTYFDBX/e1, corollary D

History

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

7RSZHSJ4NR 7RSZHSJ4NR

URI	`m2://inv/7RSZHSJ4NR`
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 2109.11684#9Q29 (statement). In CHE1JCV3EK/e1, theorem B.2

History

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

7RT2YPYMPJ 7RT2YPYMPJ

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-22 (exercise). In QKM9DD2H56, exercise, section 5

History

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

Example 7RT2YSGWXN

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

Mentions

wikipedia: Wikipedia Ω-automaton#3YHJ, Example (example)

History

2026-11-02: add by m2/dev

Rose Whelan Sedgewick 7RT5AJRXTQ

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

Mentions

wikipedia: Wikipedia Rose Whelan Sedgewick, Rose Whelan Sedgewick (topic). Also Wikidata Q16014978

History

2026-11-02: add by m2/dev

septimic 7RT6VPB5GP

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#ANZZ, septimic (definition)

History

2026-11-02: add by m2/dev

Equivalent definitions 7RT845C7XP

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

Mentions

wikipedia: Wikipedia Walk-regular graph#CDKF, Equivalent definitions (definition)

History

2026-11-02: add by m2/dev

7RT9DMZ4BN 7RT9DMZ4BN

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

Mentions

arxiv: arXiv 2207.07461#VDXK (statement). In GAG532VMPF/e1, theorem 6.1.3

History

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

7RTDG3FPW7 7RTDG3FPW7

URI	`m2://inv/7RTDG3FPW7`
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 2203.00606#2OU9 (statement). In 3WBQFVX65D/e1, theorem 4.3

History

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

7RTGGB29B6 7RTGGB29B6

URI	`m2://inv/7RTGGB29B6`
Kind	statement
Layer	research
MSC	51-XX, 52-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.27931#477M (statement)

History

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

Mathematics in Education and Industry 7RTH0JCK4F

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

Mentions

wikipedia: Wikipedia Mathematics in Education and Industry, Mathematics in Education and Industry (definition). Also Wikidata Q6786904

History

2026-11-02: add by m2/dev

weighted average 7RTX0E59DD

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

Mentions

active_calculus: active_calculus index/5.6.4/weighted-average, weighted average (concept). In 907G4C4EJ1, index, section 5.6.4

History

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

Relevant-work comparison 7RV5FK9A2D

URI	`m2://inv/7RV5FK9A2D`
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.17329#ER4O, Relevant-work comparison (statement). In F6GD5JWK9M/e1, lemma 4.7

History

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

Quadratic probability correction 7RV7FMR3A2

URI	`m2://inv/7RV7FMR3A2`
Kind	statement
Layer	research
MSC	60-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.16069#OQY7, Quadratic probability correction (statement). In MBJA03ES8N/e1, lemma 8.4

History

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

Implementations 7RV7YQHHR3

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

Mentions

wikipedia: Wikipedia MD5#TJPA, Implementations (definition)

History

2026-11-02: add by m2/dev

7RVDPTMHDV 7RVDPTMHDV

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

Mentions

arxiv: arXiv 2610.06806#4PS7 (statement). In ZZQT0GFMT2/e1, proposition 5.8

History

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

Shigeo Sasaki 7RVES17926

URI	`m2://inv/7RVES17926`
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 Q7496367, Shigeo Sasaki (unknown). Also nLab Shigeo Sasaki

History

2026-10-26: add by m2/dev

Definitions 7RVH3D5PNM

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

Mentions

wikipedia: Wikipedia Dirac delta function#397L, Definitions (definition)

History

2026-11-02: add by m2/dev

Amy Roth McDuffie 7RVK3WHMV0

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

Mentions

wikipedia: Wikipedia Amy Roth McDuffie, Amy Roth McDuffie (topic). Also Wikidata Q134053440

History

2026-11-02: add by m2/dev

7RVRKZPTX3 7RVRKZPTX3

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

Mentions

hott_book: hott_book setmath.tex#proof-5 (proof). In N54F33XE07, proof, section C.1.2

History

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

7RVTFESNES 7RVTFESNES

URI	`m2://inv/7RVTFESNES`
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 2601.15010#BJ6S (statement). In K3WJ6ZN184/e1, lemma 10.7

History

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

7RVZ7EVCPR 7RVZ7EVCPR

URI	`m2://inv/7RVZ7EVCPR`
Kind	statement
Layer	research
MSC	37-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.20131#YG0I (statement). In 29D4TTE3J2/e1, lemma 9.3

History

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

Elastic wave 7RW0GP72D0

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

Mentions

wikipedia: Wikipedia Linear elasticity#S1PS, Elastic wave (unknown)

History

2026-11-02: add by m2/dev

The Universe in a Nutshell 7RW4Y3KYMF

URI	`m2://inv/7RW4Y3KYMF`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q918057, The Universe in a Nutshell (unknown). Also ProofWiki Book:Stephen_Hawking/The_Universe_in_a_Nutshell

History

2026-10-26: add by m2/dev

Phong reflection model 7RWDANH8QH

URI	`m2://inv/7RWDANH8QH`
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#0OPQ, Phong reflection model (unknown)

History

2026-11-02: add by m2/dev

Scheduling applications 7RWV52YCM8

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#7SX1, Scheduling applications (definition)

History

2026-11-02: add by m2/dev

Amol Aggarwal 7RWVCH09MB

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

Mentions

wikipedia: Wikipedia Amol Aggarwal, Amol Aggarwal (topic). Also Wikidata Q123249208

History

2026-11-02: add by m2/dev

Moderate net 7RWXPT649V

URI	`m2://inv/7RWXPT649V`
Kind	definition
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#J5CE, Moderate net (definition). In R9BC934K3E/e1, definition 3.1

History

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

linking number 7RX31ZVVNY

URI	`m2://inv/7RX31ZVVNY`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Linking number SFJ329YB9F

Mentions

wikidata: Wikidata Q2000614, linking number (concept). Also MathWorld LinkingNumber, nLab linking number
wikipedia: Wikipedia Linking number, Linking number (definition). Also Wikidata Q2000614

History

2026-10-26: add by m2/dev

Moderation 7RXEK0DWHH

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

Mentions

wikipedia: Wikipedia Moderation (statistics), Moderation (definition). Also Wikidata Q1941972

History

2026-11-02: add by m2/dev

tropical geometry 7RXKMHNKS1

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#RBE9, tropical geometry (definition)

History

2026-11-02: add by m2/dev

W. T. Tutte 7RXPE6ERKC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JUZM, W. T. Tutte (topic)

History

2026-11-02: add by m2/dev

Julia Gordon 7RXRQR0HGE

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

Mentions

wikipedia: Wikipedia Julia Gordon (mathematician), Julia Gordon (topic). Also Wikidata Q64016822

History

2026-11-02: add by m2/dev

History of geometry 7RXYPK3GVM

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

Mentions

wikipedia: Wikipedia History of geometry, History of geometry (definition). Also Wikidata Q2393733

History

2026-11-02: add by m2/dev

7RY2HY29VP 7RY2HY29VP

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-polyfit.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 3.3

History

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

Sparsity-of-effects principle 7RYCEQYYKW

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

Mentions

wikipedia: Wikipedia Sparsity-of-effects principle, Sparsity-of-effects principle (statement). Also Wikidata Q7573805

History

2026-11-02: add by m2/dev

Volumetric mesh 7RYCJNW1MM

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

Mentions

wikipedia: Wikipedia Volumetric mesh, Volumetric mesh (definition). Also Wikidata Q7940896

History

2026-11-02: add by m2/dev

7RYFEKCP9Z 7RYFEKCP9Z

URI	`m2://inv/7RYFEKCP9Z`
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.23362#MKI0 (statement)

History

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

7RZ188DWWK 7RZ188DWWK

URI	`m2://inv/7RZ188DWWK`
Kind	unknown
Layer	research
MSC	01-XX, 11-XX, 26-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33529#6D1X (unknown). In RQZGQG3PBR/e1, unknown II.12.17

History

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

Applications 7RZ5R3TM3K

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

Mentions

wikipedia: Wikipedia Mean-field particle methods#A3ON, Applications (example)

History

2026-11-02: add by m2/dev

7RZDVP6GZ6 7RZDVP6GZ6

URI	`m2://inv/7RZDVP6GZ6`
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#6LZ9 (statement). In Q5Z178SAHP/e1, proposition 5.1

History

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

7RZFN8NWWS 7RZFN8NWWS

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

Mentions

hott_book: hott_book setmath.tex#thm:set_regular (statement). In N54F33XE07, thm, section C.1.2

History

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

7RZKR77H65 7RZKR77H65

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

Mentions

arxiv: arXiv 2610.11545#C69W (definition). In VN084GGZGK/e1, definition 4.11

History

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

7RZRKKKS8S 7RZRKKKS8S

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

Mentions

napkin: napkin tex/diffgeo/manifolds.tex#example-2 (example). In RZP28ERRZV, example, section 44.1

History

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

7RZXZ3CH59 7RZXZ3CH59

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-2 (exercise). In VNMV985MXX, exercise, section 1.1

History

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