Inventory rows TB

Induced function TB014TVNQ2

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

Mentions

wikipedia: Wikipedia Surjective function#E744, Induced function (unknown)

History

2026-11-02: add by m2/dev

MI: moving-centre interpolation TB01EMWR1W

URI	`m2://inv/TB01EMWR1W`
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.10192#TJLT, MI: moving-centre interpolation (statement). In CEV9Q1KZY7/e1, theorem 2

History

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

Greatest element TB08RTHSJC

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

Mentions

wikipedia: Wikipedia List of order theory topics#HJ8S, Greatest element (definition)

History

2026-11-02: add by m2/dev

Conditional pseudoentropy, nonuniform setting TB0C8FZ6GF

URI	`m2://inv/TB0C8FZ6GF`
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 2610.14615#GWJ3, Conditional pseudoentropy, nonuniform setting (definition). In 7D5MMP8XB5/e1, definition 2.20

History

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

millimetre TB0EXV16FP

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

Mentions

wikidata: Wikidata Q174789, millimetre (definition). Also ProofWiki Definition:Metric_System/Length/Millimetre

History

2026-10-26: add by m2/dev

TB0GA0ZJN0 TB0GA0ZJN0

URI	`m2://inv/TB0GA0ZJN0`
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-20 (exercise). In QKM9DD2H56, exercise, section 5

History

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

TB0X45DB65 TB0X45DB65

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

Mentions

arxiv: arXiv 2606.02312#O5ZI (statement). In 1SZV94R22Y/e1, corollary 3.6

History

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

differentiable functions TB0ZMT5M3T

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

Mentions

mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential calculus > differentiable functions, differentiable functions (unknown). Also Mathlib Differentiable

History

2026-10-26: add by m2/dev

Guifré Vidal TB17YKFJ2K

URI	`m2://inv/TB17YKFJ2K`
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 Q5615682, Guifré Vidal (unknown). Also nLab Guifre Vidal

History

2026-10-26: add by m2/dev

TB1CC589ZX TB1CC589ZX

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

Mentions

arxiv: arXiv 2610.04046#DPG5 (example). In 3THDT8WNF7/e1, example 5

History

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

Initial condition and prediction in falsifiers of laws TB1D37W5NV

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

Mentions

wikipedia: Wikipedia Falsifiability#96ND, Initial condition and prediction in falsifiers of laws (statement)

History

2026-11-02: add by m2/dev

TB1FQAKTYR TB1FQAKTYR

URI	`m2://inv/TB1FQAKTYR`
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 2410.22045#0JGW (statement). In 81TAX528PQ/e1, theorem 2.2

History

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

Definition TB1FQP3BJM

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

Mentions

wikipedia: Wikipedia HMAC#1W2G, Definition (definition)

History

2026-11-02: add by m2/dev

PlumX TB1K65H574

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

Mentions

wikipedia: Wikipedia Plum Analytics#DJFJ, PlumX (unknown)

History

2026-11-02: add by m2/dev

TB1PE5GXCH TB1PE5GXCH

URI	`m2://inv/TB1PE5GXCH`
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.28518#VIFT (statement)

History

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

Multiplication operator TB1PPESJZ9

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

Mentions

wikipedia: Wikipedia Multiplication operator, Multiplication operator (definition). Also Wikidata Q6934990

History

2026-11-02: add by m2/dev

VIC cipher TB1SDVDKNR

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

Mentions

wikipedia: Wikipedia VIC cipher, VIC cipher (definition). Also Wikidata Q2304066

History

2026-11-02: add by m2/dev

TB1Y7J9NA5 TB1Y7J9NA5

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

Mentions

arxiv: arXiv 2605.17484#SWMH (statement). In 5E9GMPKEEP/e1, lemma A.1

History

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

TB21DZXQTV TB21DZXQTV

URI	`m2://inv/TB21DZXQTV`
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.36818#CDLN (statement). In SK6AP2B9JH/e1, theorem 1.2

History

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

TB21M5RQ13 TB21M5RQ13

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

Mentions

open_logic: open_logic content/proof-theory/cut-elimination/ce-largest.tex#lem:inv-G3c-cut (statement). In PKGMM3P5QY, lem, section 56.1

History

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

List of probability topics TB2CF50HE0

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

Mentions

wikipedia: Wikipedia List of statistics articles#7PNS, List of probability topics (topic)
wikipedia: Wikipedia Lists of statistics topics#579W, List of probability topics (topic)

History

2026-11-02: add by m2/dev

Marcia Groszek TB30MATD9K

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

Mentions

wikipedia: Wikipedia List of women logicians#LBVL, Marcia Groszek (topic)

History

2026-11-02: add by m2/dev

Examples TB363KR9RG

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

Mentions

wikipedia: Wikipedia Alternative algebra#B3G1, Examples (example)

History

2026-11-02: add by m2/dev

Kerberized Internet Negotiation of Keys TB377GYBST

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

Mentions

wikipedia: Wikipedia Kerberized Internet Negotiation of Keys, Kerberized Internet Negotiation of Keys (definition). Also Wikidata Q6393703

History

2026-11-02: add by m2/dev

TB3ARTX2AM TB3ARTX2AM

URI	`m2://inv/TB3ARTX2AM`
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.29552#YOYD (statement)

History

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

TB3E19PYA2 TB3E19PYA2

URI	`m2://inv/TB3E19PYA2`
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.09562#JJLF (statement). In 2XH87FWG8Y/e1, theorem 2.1

History

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

Wilkie's theorem TB3Q2ECHVH

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

Mentions

wikipedia: Wikipedia List of theorems#27UC, Wilkie's theorem (statement)

History

2026-11-02: add by m2/dev

TB3SZH78PE TB3SZH78PE

URI	`m2://inv/TB3SZH78PE`
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.16388#YK3N (statement). In Q62MDENP26/e1, proposition 3.1

History

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

TB40W22GDF TB40W22GDF

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

Mentions

arxiv: arXiv 2609.20588#IRDH (statement)

History

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

Representation of $S_n$ decomposes TB45JXRZHY

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

Mentions

napkin: napkin tex/rep-theory/rep-alg.tex#example-7, Representation of $S_n$ decomposes (example). In RZP28ERRZV, example, section 80.3

History

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

Fortunate Richard TB476DCKK6

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

Mentions

wikipedia: Wikipedia Charles-Joseph Mathon de la Cour#HMQO, Fortunate Richard (unknown)

History

2026-11-02: add by m2/dev

TB47GGRQKH TB47GGRQKH

URI	`m2://inv/TB47GGRQKH`
Kind	statement
Layer	research
MSC	53-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.39845#ZLFF (statement). In RK8DFVGQP1/e1, proposition 17

History

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

Differential structure TB4BM4FG0J

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

Mentions

wikipedia: Wikipedia Differential structure, Differential structure (definition). Also Wikidata Q1957365

History

2026-11-02: add by m2/dev

Mean ergodic theorem TB4K46A8A7

URI	`m2://inv/TB4K46A8A7`
Kind	statement
Layer	research
MSC	05-XX, 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 2108.01302#YF0F, Mean ergodic theorem (statement). In KTQS6YPA4E/e1, theorem 3.2

History

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

TB4W79RHG2 TB4W79RHG2

URI	`m2://inv/TB4W79RHG2`
Kind	example
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 2404.18704#3Z26 (example). In T4MQVXFGWC/e1, example 5.3

History

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

318 TB53G0Q93M

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

Mentions

wikipedia: Wikipedia 318 (number), 318 (definition). Also Wikidata Q572377

History

2026-11-02: add by m2/dev

TB548FNJKF TB548FNJKF

URI	`m2://inv/TB548FNJKF`
Kind	definition
Layer	research
MSC	16-XX, 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 2210.17066#6FXZ (definition). In X2AEJAQEP8/e1, definition 2.1

History

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

TB57MRHW47 TB57MRHW47

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

Mentions

arxiv: arXiv 2606.02312#NMSE (statement). In 1SZV94R22Y/e1, lemma 2.6

History

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

TB58BSQ064 TB58BSQ064

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

Mentions

arxiv: arXiv 0905.2248#SVEK (statement). In 7EWB9ZRD9Z/e1, theorem 2

History

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

Stochastic modelling (insurance) TB58ZM19Q1

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

Mentions

wikipedia: Wikipedia List of statistics articles#1VRJ, Stochastic modelling (insurance) (definition)

History

2026-11-02: add by m2/dev

Prime and semiprime objects TB5ACQVT28

URI	`m2://inv/TB5ACQVT28`
Kind	definition
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#68JF, Prime and semiprime objects (definition). In 87QYNZZ67Z/e1, definition 2.2

History

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

Linear regression with Gaussian prior TB5HGX9SKN

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

Mentions

arxiv: arXiv 2610.19573#EMJD, Linear regression with Gaussian prior (statement). In NM6Z2R61CN/e1, proposition 12

History

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

Rayleigh number TB5PV5CTZK

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

Mentions

wikipedia: Wikipedia Rayleigh number, Rayleigh number (definition). Also Wikidata Q898249

History

2026-11-02: add by m2/dev

TB5W40DG8R TB5W40DG8R

URI	`m2://inv/TB5W40DG8R`
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.20805#NZH5 (statement)

History

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

History: Fiction or Science? TB657N2J2J

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

Mentions

wikipedia: Wikipedia Anatoly Fomenko#QSXH, History: Fiction or Science? (unknown)

History

2026-11-02: add by m2/dev

TB67BER6GH TB67BER6GH

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

Mentions

arxiv: arXiv 2609.32174#7MYT (definition). In GHKR740SG3/e1, definition 20.5

History

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

Extensions TB682JN7CC

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

Mentions

wikipedia: Wikipedia Hall-type theorems for hypergraphs#9AM4, Extensions (statement)

History

2026-11-02: add by m2/dev

local parameter TB688QJY2Y

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

Mentions

wikidata: Wikidata Q6664485, local parameter (unknown). Also EoM Local_uniformizing_parameter
wikipedia: Wikipedia Local parameter, Local parameter (definition). Also Wikidata Q6664485

History

2026-10-26: add by m2/dev

Lazard's universal ring TB69MFWEEG

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

Mentions

wikipedia: Wikipedia Lazard's universal ring, Lazard's universal ring (definition). Also Wikidata Q6505810

History

2026-11-02: add by m2/dev

Examples TB6D9S0M08

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

Mentions

wikipedia: Wikipedia Log structure#US9W, Examples (example)

History

2026-11-02: add by m2/dev

cruciform curve TB6WGYDJXJ

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

Mentions

wikidata: Wikidata Q18368730, cruciform curve (definition). Also MathWorld Cruciform, ProofWiki Definition:Cruciform_Curve

History

2026-10-26: add by m2/dev

Lagrange form of the remainder TB6YGG505H

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

Mentions

wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#3POO, Lagrange form of the remainder (statement)

History

2026-11-02: add by m2/dev

von Mises distribution TB71ZK0M9S

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

Mentions

wikidata: Wikidata Q7941490, von Mises distribution (unknown). Also MathWorld vonMisesDistribution
wikipedia: Wikipedia Von Mises distribution, Von Mises distribution (definition). Also Wikidata Q7941490

History

2026-10-26: add by m2/dev

The opposite sign in the reduced problem TB74FY4N5B

URI	`m2://inv/TB74FY4N5B`
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.02790#3937, The opposite sign in the reduced problem (statement). In NB7HZ8W2K2/e1, proposition 21

History

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

Waveguide TB78JB80TN

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

Mentions

wikipedia: Wikipedia Waveguide (radio frequency), Waveguide (definition). Also Wikidata Q354724

History

2026-11-02: add by m2/dev

Joint Policy Board for Mathematics TB79NK5WBF

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

Mentions

wikipedia: Wikipedia Joint Policy Board for Mathematics, Joint Policy Board for Mathematics (definition). Also Wikidata Q6269321

History

2026-11-02: add by m2/dev

TB7F12VFJM TB7F12VFJM

URI	`m2://inv/TB7F12VFJM`
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.17518#M8UN (statement). In YA4JEWTVS4/e1, theorem A

History

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

TB7PARD5WR TB7PARD5WR

URI	`m2://inv/TB7PARD5WR`
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-18 (exercise). In QKM9DD2H56, exercise, section 5

History

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

Continuity and strict crossing TB7QNQB9W1

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

Mentions

arxiv: arXiv 2610.09472#6WRD, Continuity and strict crossing (statement). In 35925M9GJW/e1, lemma C.3

History

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

TB7R2ZA67F TB7R2ZA67F

URI	`m2://inv/TB7R2ZA67F`
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 2610.03661#TTKG (statement). In ESDKTYDHC8/e1, corollary 11

History

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

TB7SW55K6J TB7SW55K6J

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

Mentions

arxiv: arXiv 0809.1307#HQ3Y (statement). In TP09MNWY6B/e1, corollary 2.9

History

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

Pappus chain TB7X5JAQFG

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#2YCP, Pappus chain (definition)

History

2026-11-02: add by m2/dev

Properties of classical Wiener space TB83FQS69D

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

Mentions

wikipedia: Wikipedia Classical Wiener space#PMY6, Properties of classical Wiener space (statement)

History

2026-11-02: add by m2/dev

inscribed angle TB83Q1B023

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

Mentions

wikidata: Wikidata Q915985, inscribed angle (definition). Also MathWorld InscribedAngle, ProofWiki Definition:Angle_Inscribed_in_Circle
wikipedia: Wikipedia Inscribed angle, Inscribed angle (definition). Also Wikidata Q915985

History

2026-10-26: add by m2/dev

involution TB84K2VZK6

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#XZC0, involution (definition)

History

2026-11-02: add by m2/dev

𝔡 TB880J6MS3

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

Mentions

wikipedia: Wikipedia Glossary of set theory#NOQG, 𝔡 (definition)

History

2026-11-02: add by m2/dev

TB8A597HA0 TB8A597HA0

URI	`m2://inv/TB8A597HA0`
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 2610.18016#HC4U (statement). In V5PVKDKGGG/e1, theorem 8.7

History

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

Statement TB8AK8XT10

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

Mentions

wikipedia: Wikipedia Three utilities problem#X6BC, Statement (statement)

History

2026-11-02: add by m2/dev

TB8F0D5ZYE TB8F0D5ZYE

URI	`m2://inv/TB8F0D5ZYE`
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.19309#H65F (statement). In XKENQH35DW/e1, proposition 6.1

History

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

TB8HMG2Z4V TB8HMG2Z4V

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

Mentions

arxiv: arXiv 2610.20087#EHUA (statement). In ZRE2WQR5XA/e1, proposition III.2

History

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

P. A. P. Moran TB8NPY1608

URI	`m2://inv/TB8NPY1608`
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 Q3369720, P. A. P. Moran (unknown). Also ProofWiki Mathematician:Patrick_Alfred_Pierce_Moran
wikipedia: Wikipedia P. A. P. Moran, P. A. P. Moran (topic). Also Wikidata Q3369720

History

2026-10-26: add by m2/dev

TB8PFJ4T5Y TB8PFJ4T5Y

URI	`m2://inv/TB8PFJ4T5Y`
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.06206#0EJ0 (statement). In A7611PTXVQ/e1, proposition 4.5

History

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

TB8PP65F54 TB8PP65F54

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-13 (exercise). In E9HS8K3A52, exercise, section 7.1.4

History

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

Lemma (Brahmagupta) TB8QP4QRHY

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

Mentions

wikipedia: Wikipedia Indian mathematics#AFF8, Lemma (Brahmagupta) (statement)

History

2026-11-02: add by m2/dev

Planck's law TB8V4ZS4JJ

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

Mentions

wikipedia: Wikipedia Planck's law, Planck's law (statement). Also Wikidata Q212986

History

2026-11-02: add by m2/dev

TB8Z1FWCYY TB8Z1FWCYY

URI	`m2://inv/TB8Z1FWCYY`
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.15217#OVO2 (definition). In G70Q2FB591/e1, definition 2.5

History

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

10^63 TB93GHYNXC

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

Mentions

wikipedia: Wikipedia Orders of magnitude (numbers)#XRH0, 10^63 (unknown)

History

2026-11-02: add by m2/dev

Properties of the Zak transform TB96ANBS56

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

Mentions

wikipedia: Wikipedia Zak transform#LS6A, Properties of the Zak transform (statement)

History

2026-11-02: add by m2/dev

Uniqueness for the coupled vertex problem TB9A5E9M9M

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

Mentions

arxiv: arXiv 2610.06631#DY9P, Uniqueness for the coupled vertex problem (statement). In QR4SD83TFR/e1, proposition 10

History

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

TB9CH63ZR3 TB9CH63ZR3

URI	`m2://inv/TB9CH63ZR3`
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 2012.11507#Z86X (statement). In DZA5P853H9/e1, corollary 2

History

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

TB9DDKYT2S TB9DDKYT2S

URI	`m2://inv/TB9DDKYT2S`
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.12169#0X5F (statement). In 645GF9SFWM/e1, theorem 5

History

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

TB9EVRA17E TB9EVRA17E

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

Mentions

arxiv: arXiv 2610.06683#EWFM (statement). In NH7VBYH6PH/e1, theorem 2.5

History

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

GEOS circle TB9H3CCBVH

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

Mentions

wikidata: Wikidata Q5513191, GEOS circle (unknown). Also MathWorld GEOSCircle
wikipedia: Wikipedia GEOS circle, GEOS circle (definition). Also Wikidata Q5513191

History

2026-10-26: add by m2/dev

TB9H79PC0D TB9H79PC0D

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

Mentions

arxiv: arXiv 2610.03336#QYBG (statement). In 4ZD20W8BVF/e1, lemma 4.3

History

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

Decision-theoretic rough sets TB9W6ZKCS1

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

Mentions

wikipedia: Wikipedia Decision-theoretic rough sets, Decision-theoretic rough sets (definition). Also Wikidata Q5249205

History

2026-11-02: add by m2/dev

Definitions TB9WHREQJZ

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

Mentions

wikipedia: Wikipedia Prime manifold#FU1M, Definitions (definition)

History

2026-11-02: add by m2/dev

TBA4C41AQH TBA4C41AQH

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

Mentions

arxiv: arXiv 2610.04069#2TM8 (statement). In ZA7WXGZYWC/e1, lemma A.1

History

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

closed TBA4C4FVN8

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#LTSN, closed (definition)

History

2026-11-02: add by m2/dev

Laura DeMarco TBA6571Z68

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

Mentions

wikipedia: Wikipedia Laura DeMarco, Laura DeMarco (topic). Also Wikidata Q18685682

History

2026-11-02: add by m2/dev

TBA9JGDJPN TBA9JGDJPN

URI	`m2://inv/TBA9JGDJPN`
Kind	statement
Layer	research
MSC	14-XX, 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 2610.13100#2K03 (statement). In CC6S1HVK0T/e1, theorem 10.2

History

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

TBAG13QJ4E TBAG13QJ4E

URI	`m2://inv/TBAG13QJ4E`
Kind	statement
Layer	research
MSC	20-XX, 22-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.14045#0F8D (statement). In KZ71GXT2B0/e1, proposition 2.16

History

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

Derivation of the direct nome cube theorem TBAKC26F8M

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

Mentions

wikipedia: Wikipedia Nome (mathematics)#LU7P, Derivation of the direct nome cube theorem (statement)

History

2026-11-02: add by m2/dev

Area/volume separation in an adiabatically connected family TBAMTZKWVA

URI	`m2://inv/TBAMTZKWVA`
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.15199#FI8C, Area/volume separation in an adiabatically connected family (statement). In EVFTDVP4K4/e1, corollary G.2

History

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

TBAN4Q2G9J TBAN4Q2G9J

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

Mentions

arxiv: arXiv 2609.31523#GA49 (statement). In 2BET1RE1F6/e1, proposition 2.13

History

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

TBAR4C4ARX TBAR4C4ARX

URI	`m2://inv/TBAR4C4ARX`
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 2204.13401#FS7H (definition). In B8MJT0GGW8/e1, definition 4.8

History

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

Characterization TBB3T7QGFE

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

Mentions

wikipedia: Wikipedia Strangulated graph#9J4P, Characterization (statement)

History

2026-11-02: add by m2/dev

TBB5SQ14GM TBB5SQ14GM

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

Mentions

arxiv: arXiv 2610.01411#NY2Z (statement). In SD28S3K7BT/e1, proposition 43

History

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

Magnetic vector potential TBB69P1F6Z

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

Mentions

wikipedia: Wikipedia Magnetic vector potential, Magnetic vector potential (definition). Also Wikidata Q2299100

History

2026-11-02: add by m2/dev

Notation TBB8GRP7T0

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

Mentions

wikipedia: Wikipedia Atiyah–Singer index theorem#TR7M, Notation (definition)

History

2026-11-02: add by m2/dev

Fundamental --- \textsc{Ze-I TBBE12Y2GR

URI	`m2://inv/TBBE12Y2GR`
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.21131#OAOQ, Fundamental --- \textsc{Ze-I (statement). In CPYWHRTPKC/e1, lemma 6.57

History

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

TBBVNT5ACY TBBVNT5ACY

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

Mentions

arxiv: arXiv 2609.33733#XAD4 (statement). In QBAP8C82FG/e1, proposition 60

History

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

TBBXX8F1TP TBBXX8F1TP

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

Mentions

arxiv: arXiv 2605.00407#2T3P (statement). In TVFD0G3F2W/e1, proposition 2.6

History

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

Heptagonal tiling TBC01WHBYZ

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

Mentions

wikipedia: Wikipedia Heptagonal tiling, Heptagonal tiling (object). Also Wikidata Q5732023

History

2026-11-02: add by m2/dev

Fortuna TBC2KY4A47

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

Mentions

wikipedia: Wikipedia List of random number generators#Z0AU, Fortuna (definition)

History

2026-11-02: add by m2/dev

Pointwise NTK: existence, nullspace, and rank TBC9981AB3

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

Mentions

arxiv: arXiv 2610.04357#1RO3, Pointwise NTK: existence, nullspace, and rank (statement). In 6FY8BVP1F3/e1, proposition 3.1

History

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

Remark TBCDBHZ6DN

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

Mentions

wikipedia: Wikipedia Minkowski plane#4LLH, Remark (unknown)

History

2026-11-02: add by m2/dev

TBCG6WRSBG TBCG6WRSBG

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

Mentions

arxiv: arXiv 2609.11301#TW2I (definition). In YH1W5A0JTS/e1, definition 3.1

History

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

$\theta$-cobordism TBCP37Z303

URI	`m2://inv/TBCP37Z303`
Kind	definition
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.07608#MZOK, $\theta$-cobordism (definition). In X8FQD4TEVG/e1, definition 3.3

History

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

Bayesian epistemology TBCQAMFD3R

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

Mentions

wikipedia: Wikipedia Bayesian epistemology, Bayesian epistemology (definition). Also Wikidata Q22083546

History

2026-11-02: add by m2/dev

Statement TBCS67DT8R

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

Mentions

wikipedia: Wikipedia Axiom of choice#RG4P, Statement (statement)

History

2026-11-02: add by m2/dev

TBCSZZNHXT TBCSZZNHXT

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

Mentions

arxiv: arXiv 2310.01868#GD4Q (definition). In MQ8S73F6X7/e1, definition 3

History

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

TBD5YPTD52 TBD5YPTD52

URI	`m2://inv/TBD5YPTD52`
Kind	statement
Layer	research
MSC	46-XX, 47-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.04694#GZDY (statement). In W9A0Z2NBMA/e1, theorem 27

History

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

TBD8HQQYFS TBD8HQQYFS

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

Mentions

napkin: napkin tex/calculus/integrate.tex#example-3 (example). In RZP28ERRZV, example, section 31.2

History

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

Bounds on differences of resolvent products (analog TBDHK7ZPDR

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

Mentions

arxiv: arXiv 2609.30590#3O17, Bounds on differences of resolvent products (analog (statement). In WYE2JVEZBT/e1, lemma A.1

History

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

Categorification TBDJVFZ4ZC

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

Mentions

wikipedia: Wikipedia Categorification, Categorification (definition). Also Wikidata Q5051825

History

2026-11-02: add by m2/dev

TBDTARYCFS TBDTARYCFS

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

Mentions

arxiv: arXiv 2609.26357#TRS9 (statement)

History

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

Johannes Ledolter TBDWNEEGZ6

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

Mentions

wikipedia: Wikipedia Johannes Ledolter, Johannes Ledolter (topic). Also Wikidata Q90133869

History

2026-11-02: add by m2/dev

Examples TBDYFAT94T

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

Mentions

wikipedia: Wikipedia Raleigh plot#43I4, Examples (example)

History

2026-11-02: add by m2/dev

TBDYXXF1JC TBDYXXF1JC

URI	`m2://inv/TBDYXXF1JC`
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 2401.15490#69AN (problem). In AAY60GVERS/e1, problem 2

History

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

Magnus expansion formula TBE0BMQK88

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

Mentions

wikipedia: Wikipedia Magnus expansion#AN11, Magnus expansion formula (statement)

History

2026-11-02: add by m2/dev

TBE1YQGQ2K TBE1YQGQ2K

URI	`m2://inv/TBE1YQGQ2K`
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#9UKL (unknown). In RQZGQG3PBR/e1, unknown II.12.12

History

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

TBE3PP5DEB TBE3PP5DEB

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-4 (exercise). In E9HS8K3A52, exercise, section 6.1.1

History

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

TBE40HSJ0A TBE40HSJ0A

URI	`m2://inv/TBE40HSJ0A`
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.24043#Z9C4 (statement)

History

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

TBE7QM3HWA TBE7QM3HWA

URI	`m2://inv/TBE7QM3HWA`
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.26450#85WW (statement)

History

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

TBE9Y2J4P6 TBE9Y2J4P6

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

Mentions

hott_book: hott_book homotopy.tex#proof-35 (proof). In N54F33XE07, proof, section 7.6

History

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

TBEGYW38P0 TBEGYW38P0

URI	`m2://inv/TBEGYW38P0`
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.26896#9NLC (statement)

History

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

TBEHYHY8PK TBEHYHY8PK

URI	`m2://inv/TBEHYHY8PK`
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.28961#ZC7W (statement)

History

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

Compatibility With Outer Channel TBEK0T4DHZ

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

Mentions

arxiv: arXiv 2609.37578#S8Y7, Compatibility With Outer Channel (statement). In D7NDCWSDJE/e1, lemma 19

History

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

TBEN3MERTC TBEN3MERTC

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

Mentions

arxiv: arXiv 2610.21231#E6LG (statement). In 4RH9PS7MN1/e1, theorem 1

History

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

Associativity equation TBEQ3PVK8Q

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

Mentions

wikipedia: Wikipedia Associativity equation, Associativity equation (definition). Also Wikidata Q137690903

History

2026-11-02: add by m2/dev

TBEQT874RD TBEQT874RD

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

Mentions

open_logic: open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#lem:omega-cons-G-unref (statement). In PKGMM3P5QY, lem, section 27.9

History

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

Prokhorov's theorem TBETGA4DBM

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

Mentions

mathlib_1000: mathlib_1000 Q7249519, Prokhorov's theorem (statement). Also Mathlib isCompact_setOfPred_finiteMeasure_mass_le_compl_isCompact_le, Mathlib isCompact_setOfPred_finiteMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_setOfPred_probabilityMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_closure_of_isTightMeasureSet, Wikidata Q7249519
thousand_plus: thousand_plus Q7249519, Prokhorov's theorem (statement). Also Mathlib isCompact_setOf_finiteMeasure_mass_le_compl_isCompact_le, Mathlib isCompact_setOf_finiteMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_setOf_probabilityMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_closure_of_isTightMeasureSet, Wikidata Q7249519, Wikipedia Prokhorov's theorem
wikipedia: Wikipedia Prokhorov's theorem, Prokhorov's theorem (statement). Also Wikidata Q7249519

History

2026-10-26: add by m2/dev

symmetroid TBEWDE6H3X

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#04M2, symmetroid (definition)

History

2026-11-02: add by m2/dev

Thomas Ashland Chapman TBEZG25SX4

URI	`m2://inv/TBEZG25SX4`
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#4Y7F, Thomas Ashland Chapman (unknown)

History

2026-11-02: add by m2/dev

TBF42VCA6H TBF42VCA6H

URI	`m2://inv/TBF42VCA6H`
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.03264#FG5A (statement). In 5TXRSPPTHP/e1, proposition 2

History

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

Intersection complex TBF694N18A

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

Mentions

wikipedia: Wikipedia Intersection homology#N56L, Intersection complex (unknown)

History

2026-11-02: add by m2/dev

TBFAB3JDXJ TBFAB3JDXJ

URI	`m2://inv/TBFAB3JDXJ`
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.10338#N87U (statement). In WZ3GXRAB00/e1, lemma 4.2

History

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

C. T. C. Wall TBFF701ER4

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

Mentions

wikipedia: Wikipedia C. T. C. Wall, C. T. C. Wall (topic). Also Wikidata Q527698

History

2026-11-02: add by m2/dev

TBFH1S26FE TBFH1S26FE

URI	`m2://inv/TBFH1S26FE`
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.15588#O1WJ (statement). In M2VCJFGZ4P/e1, theorem 1.2

History

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

Bitruncated 24-cell honeycomb TBFK9FM1X9

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

Mentions

wikipedia: Wikipedia Bitruncated 24-cell honeycomb, Bitruncated 24-cell honeycomb (definition). Also Wikidata Q17003293

History

2026-11-02: add by m2/dev

A common full-rank fixed point does not make rapid mixing additive TBFKTCT3HK

URI	`m2://inv/TBFKTCT3HK`
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.36016#VCZ5, A common full-rank fixed point does not make rapid mixing additive (statement). In NAM9ZMPHZ9/e1, lemma 3.2

History

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

H. O. Hartley TBFV8X8P92

URI	`m2://inv/TBFV8X8P92`
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#AAVF, H. O. Hartley (topic)

History

2026-11-02: add by m2/dev

Gardening TBFVRYPWXM

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

Mentions

wikipedia: Wikipedia Gardening (cryptanalysis), Gardening (definition). Also Wikidata Q5522459

History

2026-11-02: add by m2/dev

John Heysham TBG62H62DW

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

Mentions

wikipedia: Wikipedia John Heysham, John Heysham (topic). Also Wikidata Q15994511

History

2026-11-02: add by m2/dev

Timoshenko–Ehrenfest beam theory TBG6GZQD4N

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

Mentions

wikipedia: Wikipedia Timoshenko–Ehrenfest beam theory, Timoshenko–Ehrenfest beam theory (definition). Also Wikidata Q2435044

History

2026-11-02: add by m2/dev

logicism TBG7RKVNMZ

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

Mentions

wikipedia: Wikipedia Glossary of logic#DAAJ, logicism (definition)

History

2026-11-02: add by m2/dev

Scherk's First Surface TBGAZW21A1

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

Mentions

wikipedia: Wikipedia Scherk surface#XT9M, Scherk's First Surface (unknown)

History

2026-11-02: add by m2/dev

TBGDGTTE92 TBGDGTTE92

URI	`m2://inv/TBGDGTTE92`
Kind	example
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.19260#TL91 (example). In PWXT7J9JX3/e1, example 5.8

History

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

TBGQ05G8GS TBGQ05G8GS

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

Mentions

arxiv: arXiv 2609.37124#N8D6 (statement). In 2QF1YG9DD0/e1, lemma 3.15

History

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

Kaufman's theorem TBGRDPW498

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

Mentions

wikipedia: Wikipedia Dimension doubling theorem#ZO1L, Kaufman's theorem (statement)

History

2026-11-02: add by m2/dev

Flatness equation for $\Ch^{r,\epsilon}$ TBGWB7TA15

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

Mentions

arxiv: arXiv 2609.36509#9RMB, Flatness equation for $\Ch^{r,\epsilon}$ (statement). In DPJ15KW23C/e1, corollary 5.2

History

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

TBH8R4QB8P TBH8R4QB8P

URI	`m2://inv/TBH8R4QB8P`
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.09390#JLEA (statement). In 7SSKW778T8/e1, theorem 7

History

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

TBHB3G0PY9 TBHB3G0PY9

URI	`m2://inv/TBHB3G0PY9`
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 2610.13585#OD9G (definition). In VM1H86JNN7/e1, definition 2.4

History

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

Z-test TBHJWBWZK8

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

Mentions

wikipedia: Wikipedia List of statistics articles#VX6U, Z-test (definition)

History

2026-11-02: add by m2/dev

primitive recursive set TBHMGJ4228

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

Mentions

wikipedia: Wikipedia Glossary of set theory#E1OG, primitive recursive set (definition)

History

2026-11-02: add by m2/dev

TBHRF90KWJ TBHRF90KWJ

URI	`m2://inv/TBHRF90KWJ`
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.33185#JHD3 (statement). In QX30H2WNA7/e1, lemma 5.2

History

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

Examples TBHTN9CE09

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

Mentions

wikipedia: Wikipedia Product rule#HC6E, Examples (example)

History

2026-11-02: add by m2/dev

Gilles Brassard TBHVTHC09J

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

Mentions

wikipedia: Wikipedia List of cryptographers#WZIA, Gilles Brassard (unknown)

History

2026-11-02: add by m2/dev

Boughattas , Theorem 2 TBHY52WXC5

URI	`m2://inv/TBHY52WXC5`
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 1003.2117#I2UA, Boughattas , Theorem 2 (statement). In H4D4RFNH2V/e1, theorem 1.2

History

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

Center for Corporate Citizenship (CCC) TBHZ97XKJJ

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

Mentions

wikipedia: Wikipedia List of research centers at Boston College#KOQZ, Center for Corporate Citizenship (CCC) (unknown)

History

2026-11-02: add by m2/dev

Example TBJ7NS32YB

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

Mentions

wikipedia: Wikipedia Luhn mod N algorithm#R5GY, Example (example)

History

2026-11-02: add by m2/dev

Proof of \thmref{thm:fourierlocalization} TBJ9NMFM7K

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#proof-32, Proof of \thmref{thm:fourierlocalization} (proof). In E59CDZA4DP, proof, section 1.8.5

History

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

TBJA85Q7G5 TBJA85Q7G5

URI	`m2://inv/TBJA85Q7G5`
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 2609.21305#8K1M (definition)

History

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

Aisenstadt Prize TBJD1C9KQC

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

Mentions

wikipedia: Wikipedia Aisenstadt Prize, Aisenstadt Prize (definition). Also Wikidata Q3404343

History

2026-11-02: add by m2/dev

TBJDGF4RQF TBJDGF4RQF

URI	`m2://inv/TBJDGF4RQF`
Kind	statement
Layer	research
MSC	05-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.10559#9X58 (statement). In WEP0PNJW09/e1, theorem 2.5

History

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

Gael M. Martin TBJHD5A10P

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

Mentions

wikipedia: Wikipedia Gael M. Martin, Gael M. Martin (topic). Also Wikidata Q101934592

History

2026-11-02: add by m2/dev

TBJWGW9RND TBJWGW9RND

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-77 (exercise). In E9HS8K3A52, exercise, section 10.7.3

History

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

Immigration and crime in the United Kingdom TBJWQ3KMQ3

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

Mentions

wikipedia: Wikipedia Immigration and crime#H8NM, Immigration and crime in the United Kingdom (unknown)

History

2026-11-02: add by m2/dev

Hans Schwerdtfeger TBJZWDC7A3

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

Mentions

wikipedia: Wikipedia List of German mathematicians#VRIO, Hans Schwerdtfeger (unknown)

History

2026-11-02: add by m2/dev

ZJ theorem TBK5HK7Y66

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

Mentions

mathlib_1000: mathlib_1000 Q8063120, ZJ theorem (statement). Also Wikidata Q8063120
thousand_plus: thousand_plus Q8063120, ZJ theorem (statement). Also Wikidata Q8063120, Wikipedia ZJ theorem
wikipedia: Wikipedia ZJ theorem, ZJ theorem (statement). Also Wikidata Q8063120

History

2026-10-26: add by m2/dev

TBM65M605X TBM65M605X

URI	`m2://inv/TBM65M605X`
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.34311#6SOK (statement). In YYV9SHAPCZ/e1, theorem 1.1

History

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

Algebrator TBM7PYQNRG

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

Mentions

wikipedia: Wikipedia Algebrator, Algebrator (definition). Also Wikidata Q4724028

History

2026-11-02: add by m2/dev

Playfair's axiom implies Euclid's fifth postulate TBM9VVTZMZ

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

Mentions

wikipedia: Wikipedia Playfair's axiom#KXIO, Playfair's axiom implies Euclid's fifth postulate (statement)

History

2026-11-02: add by m2/dev

TBMBXKFHFH TBMBXKFHFH

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

Mentions

arxiv: arXiv 2609.40123#EO88 (statement). In WK2YHYEDZ9/e1, lemma 7.1

History

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

TBME7HEW90 TBME7HEW90

URI	`m2://inv/TBME7HEW90`
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.33238#DH3R (statement). In MVWXMDFP3P/e1, theorem 4.11

History

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

TBMF5NTT6E TBMF5NTT6E

URI	`m2://inv/TBMF5NTT6E`
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.10377#51D7 (statement). In 6HP7BR9WZM/e1, proposition 3.24

History

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

Applications TBMJWBB1YD

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

Mentions

wikipedia: Wikipedia Fractal#B0CR, Applications (example)

History

2026-11-02: add by m2/dev

TBMNMY6RHM TBMNMY6RHM

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

Mentions

arxiv: arXiv 2610.16731#J6M7 (definition). In D68KBZQ4Q6/e1, definition 3.5

History

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

SMS design method TBMQPRV0F6

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

Mentions

wikipedia: Wikipedia Nonimaging optics#0MT5, SMS design method (unknown)

History

2026-11-02: add by m2/dev

Apologetics TBMSSC176A

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

Mentions

wikipedia: Wikipedia Apologetics, Apologetics (definition). Also Wikidata Q191776

History

2026-11-02: add by m2/dev

Concentration after saturation TBMX3Y4RDW

URI	`m2://inv/TBMX3Y4RDW`
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.31782#SZYH, Concentration after saturation (statement). In YAYP5VZ94H/e1, theorem 5.4

History

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

Log-linear modeling TBMYSWJ6MP

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

Mentions

wikipedia: Wikipedia List of statistics articles#Z0WI, Log-linear modeling (definition)

History

2026-11-02: add by m2/dev

TBMZTCR6HX TBMZTCR6HX

URI	`m2://inv/TBMZTCR6HX`
Kind	statement
Layer	research
MSC	05-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.06081#64PH (statement). In 7Z3KQRFEVG/e1, corollary C.4

History

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

TBN4VRVWXM TBN4VRVWXM

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

Mentions

arxiv: arXiv 2609.30262#P4EJ (example). In FWA5QW6FCF/e1, example 7.4

History

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

TBN605555H TBN605555H

URI	`m2://inv/TBN605555H`
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.14838#Z9AB (statement). In J7ZX3WWRQP/e1, corollary 2.8

History

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

M-cost TBN8GTVPCD

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

Mentions

arxiv: arXiv 2609.31607#CM3O, M-cost (definition). In H9X9WZ17TT/e1, definition 3

History

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

Modal μ-calculus TBN9EXD2R6

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

Mentions

wikipedia: Wikipedia Modal μ-calculus, Modal μ-calculus (definition). Also Wikidata Q5275729

History

2026-11-02: add by m2/dev

Subgroup analysis TBNEMSZXTM

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

Mentions

wikipedia: Wikipedia List of statistics articles#GW2A, Subgroup analysis (definition)

History

2026-11-02: add by m2/dev

TBNG8V6ZM6 TBNG8V6ZM6

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

Mentions

hott_book: hott_book setmath.tex#proof-32 (proof). In N54F33XE07, proof, section C.3

History

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

TBNN171JNR TBNN171JNR

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

Mentions

arxiv: arXiv 2405.14678#AAV0 (example). In 9ZSNSJRJ5N/e1, example 35

History

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

Conservation of energy TBNS2N67CR

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

Mentions

wikipedia: Wikipedia Conservation of energy, Conservation of energy (definition). Also Wikidata Q11382

History

2026-11-02: add by m2/dev

Carl Jockusch TBNV9XEY65

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QU3K, Carl Jockusch (topic)

History

2026-11-02: add by m2/dev

TBNWEDFJZ1 TBNWEDFJZ1

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

Mentions

arxiv: arXiv 2610.16461#A4J0 (statement). In XPT71YR4V7/e1, proposition 3.3

History

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

TBP9KK4X6Z TBP9KK4X6Z

URI	`m2://inv/TBP9KK4X6Z`
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.39747#VETB (definition). In 9H2KJ3W3JX/e1, definition 11

History

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

Properties TBPDERS5EY

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

Mentions

wikipedia: Wikipedia W-algebra#ZX33, Properties (statement)

History

2026-11-02: add by m2/dev

TBPDTYTNTM TBPDTYTNTM

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

Mentions

arxiv: arXiv 2610.18219#WD2P (statement). In X1AGBB90EH/e1, lemma 4.1

History

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

mathematical finance TBPFRGM9AX

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

Mentions

wikidata: Wikidata Q335632, mathematical finance (topic). Also ProofWiki Definition:Financial_Mathematics
wikipedia: Wikipedia Mathematical finance, Mathematical finance (definition). Also Wikidata Q335632

History

2026-10-26: add by m2/dev

Properties TBPH88271X

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

Mentions

wikipedia: Wikipedia Graph Fourier transform#JRAF, Properties (statement)

History

2026-11-02: add by m2/dev

Examples TBPNTCVYPV

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

Mentions

wikipedia: Wikipedia Quantile#8HPP, Examples (example)

History

2026-11-02: add by m2/dev

TBPSZYYH71 TBPSZYYH71

URI	`m2://inv/TBPSZYYH71`
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-10 (exercise). In QKM9DD2H56, exercise, section 5

History

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

Definition TBPW38FFS9

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

Mentions

wikipedia: Wikipedia Q-Laguerre polynomials#SOC7, Definition (definition)

History

2026-11-02: add by m2/dev

isomorphic TBPYH3178P

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#IUU2, isomorphic (definition)

History

2026-11-02: add by m2/dev

Circle criterion TBQ2MKV40R

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

Mentions

wikipedia: Wikipedia Circle criterion, Circle criterion (statement). Also Wikidata Q5121443

History

2026-11-02: add by m2/dev

TBQ36VME0G TBQ36VME0G

URI	`m2://inv/TBQ36VME0G`
Kind	statement
Layer	research
MSC	05-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 2609.39593#SGW0 (statement). In BF0RYHPMS1/e1, theorem 4.11

History

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

Thermal profile and visibility TBQ556D8A6

URI	`m2://inv/TBQ556D8A6`
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.30808#ME2F, Thermal profile and visibility (statement). In 4JCFPV48VG/e1, lemma 2.5

History

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

Preiss' theorem TBQ7YSFJ7P

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

Mentions

wikipedia: Wikipedia Hausdorff density#OOIX, Preiss' theorem (statement)

History

2026-11-02: add by m2/dev

EWMA chart TBQAKKAJ8Q

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

Mentions

wikipedia: Wikipedia EWMA chart, EWMA chart (definition). Also Wikidata Q5324652

History

2026-11-02: add by m2/dev

TBQP3R60CS TBQP3R60CS

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

Mentions

arxiv: arXiv 2610.13913#WMHH (statement). In BW5GVH97JE/e1, theorem 1.1

History

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

Slate Star Codex TBQY452ETZ

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

Mentions

wikipedia: Wikipedia Slate Star Codex, Slate Star Codex (definition). Also Wikidata Q96622866

History

2026-11-02: add by m2/dev

Complete spectral reduction TBQY4Y6MFF

URI	`m2://inv/TBQY4Y6MFF`
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.14081#YMOC, Complete spectral reduction (statement). In DCCKKQ7Y21/e1, theorem IV.3

History

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

TBR3WSZ3C0 TBR3WSZ3C0

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

Mentions

arxiv: arXiv 2610.11082#GKDC (statement). In GFPFFN0BXV/e1, lemma 19

History

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

Extremal graph theory TBR823P11G

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

Mentions

wikipedia: Wikipedia Extremal graph theory, Extremal graph theory (definition). Also Wikidata Q739245

History

2026-11-02: add by m2/dev

.000000001 TBRBG2ZRPX

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

Mentions

wikipedia: Wikipedia Orders of magnitude (numbers)#D95S, .000000001 (unknown)

History

2026-11-02: add by m2/dev

bipartite Kneser graph TBRBSSZ0V2

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

Mentions

wikidata: Wikidata Q8860529, bipartite Kneser graph (unknown). Also MathWorld BipartiteKneserGraph

History

2026-10-26: add by m2/dev

Tarski's plank problem TBRFF5YGZH

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

Mentions

mathlib_1000: mathlib_1000 Q7686760, Bang's theorem (statement). Also Wikidata Q7686760
thousand_plus: thousand_plus Q7686760, Bang's theorem (statement). Also Wikidata Q7686760, Wikipedia Tarski's plank problem
wikidata: Wikidata Q7686760, Tarski's plank problem (problem). Also MathWorld TarskisPlankProblem
wikipedia: Wikipedia Tarski's plank problem, Tarski's plank problem (problem). Also Wikidata Q7686760

History

2026-10-26: add by m2/dev

TBRJCKP8ZY TBRJCKP8ZY

URI	`m2://inv/TBRJCKP8ZY`
Kind	definition
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#1CS1 (definition). In 8SVVEVGMNE/e1, definition 3.10

History

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

List of mathematical theories TBRMPES8SJ

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

Mentions

wikipedia: Wikipedia List of mathematical theories, List of mathematical theories (topic). Also Wikidata Q6627335

History

2026-11-02: add by m2/dev

TBRMYP0214 TBRMYP0214

URI	`m2://inv/TBRMYP0214`
Kind	example
Layer	research
MSC	54-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.33841#Q541 (example). In 3CVQHT206K/e1, example 4.10

History

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

TBRQS13ZQG TBRQS13ZQG

URI	`m2://inv/TBRQS13ZQG`
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 2602.13510#EJF7 (statement). In Y75MQW7CFV/e1, lemma 3.1

History

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

Blandford–Znajek process TBRVXV3J14

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

Mentions

wikipedia: Wikipedia Blandford–Znajek process, Blandford–Znajek process (definition). Also Wikidata Q4925027

History

2026-11-02: add by m2/dev

Franz Mertens TBRXN9QBJZ

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#APRK, Franz Mertens (topic)

History

2026-11-02: add by m2/dev

TBRXPKBR3Y TBRXPKBR3Y

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

Mentions

arxiv: arXiv 2610.20386#0OYX (statement). In 4WC4V49KAC/e1, corollary 2.3

History

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

TBRZ3W7B3F TBRZ3W7B3F

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

Mentions

arxiv: arXiv 2610.12736#J33F (definition). In 5350Q52F6P/e1, definition 5.1

History

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

TBS476DGPY TBS476DGPY

URI	`m2://inv/TBS476DGPY`
Kind	problem
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.11759#CIYL (problem). In MWNFP97KRS/e1, problem

History

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

Prime factor TBSBJEPTTK

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

Mentions

wikipedia: Wikipedia List of number theory topics#8GCJ, Prime factor (definition)

History

2026-11-02: add by m2/dev

Montgomery TBSC1YZPM3

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

Mentions

arxiv: arXiv 2609.39505#HTN7, Montgomery (conjecture). In WAXS6FS388/e1, conjecture 1.5

History

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

TBSVFKMKKY TBSVFKMKKY

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

Mentions

napkin: napkin tex/calculus/p-adic.tex#exercise-2 (exercise). In RZP28ERRZV, exercise, section 33.2.3

History

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

Beam stack search TBSWE44SFJ

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

Mentions

wikipedia: Wikipedia List of algorithms#H3B2, Beam stack search (unknown)

History

2026-11-02: add by m2/dev

Universal first-order harmonic-mean and Half-Cauchy tails TBSWZGG4PG

URI	`m2://inv/TBSWZGG4PG`
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#H426, Universal first-order harmonic-mean and Half-Cauchy tails (statement)

History

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

TBT9MJAP7F TBT9MJAP7F

URI	`m2://inv/TBT9MJAP7F`
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 2207.11097#8XHU (definition). In 13H5BTAXHF/e1, definition 22

History

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

chord estimate for tubes TBT9XKG1DR

URI	`m2://inv/TBT9XKG1DR`
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.14050#AY07, chord estimate for tubes (statement). In RENT22YXW3/e1, lemma 5.3

History

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

Definition TBTBJGSJVF

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

Mentions

wikipedia: Wikipedia Arg max#2871, Definition (definition)

History

2026-11-02: add by m2/dev

RSA-280 TBTF9ZW8QV

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

Mentions

wikipedia: Wikipedia RSA numbers#6SYB, RSA-280 (unknown)

History

2026-11-02: add by m2/dev

Looman–Menchoff theorem TBTFZX9C6P

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

Mentions

mathlib_1000: mathlib_1000 Q2309760, Looman–Menchoff theorem (statement). Also Wikidata Q2309760
thousand_plus: thousand_plus Q2309760, Looman–Menchoff theorem (statement). Also Wikidata Q2309760, Wikipedia Looman–Menchoff theorem
wikipedia: Wikipedia Looman–Menchoff theorem, Looman–Menchoff theorem (statement). Also Wikidata Q2309760

History

2026-10-26: add by m2/dev

Definition TBTRRW3TH3

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

Mentions

wikipedia: Wikipedia Tolerance interval#VN9X, Definition (definition)

History

2026-11-02: add by m2/dev

Two-point bound with at most two defects TBTYG3B6RW

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

Mentions

arxiv: arXiv 2609.37479#5NGI, Two-point bound with at most two defects (statement). In P3RTT99C41/e1, proposition C.8

History

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

TBV377AF1C TBV377AF1C

URI	`m2://inv/TBV377AF1C`
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.03288#G50D (statement). In ZHP1MFSACN/e1, theorem 2.3

History

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

TBV6EPXH21 TBV6EPXH21

URI	`m2://inv/TBV6EPXH21`
Kind	statement
Layer	research
MSC	35-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 2311.00918#G8BL (statement). In 2SMJ5V7FZ7/e1, lemma 4.1

History

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

Stress–energy tensor TBVBGY3RRG

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

Mentions

wikipedia: Wikipedia Glossary of tensor theory#I6HP, Stress–energy tensor (definition)

History

2026-11-02: add by m2/dev

TBVD38FM3P TBVD38FM3P

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

Mentions

arxiv: arXiv 2404.08319#6BTY (statement). In MA1CZ2GTAF/e1, theorem C

History

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

TBVFN2NFQ4 TBVFN2NFQ4

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

Mentions

arxiv: arXiv 2405.01860#NOVS (definition). In 8HYS0MFE25/e1, definition 4.1

History

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

Affine linear motions TBVSEXSTM1

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

Mentions

arxiv: arXiv 2407.07642#SRZT, Affine linear motions (example). In 27HQYN07NQ/e1, example 1

History

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

Horn-satisfiability TBVWMY96M5

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

Mentions

wikipedia: Wikipedia Horn-satisfiability, Horn-satisfiability (definition). Also Wikidata Q1239194

History

2026-11-02: add by m2/dev

TBVX3SJ024 TBVX3SJ024

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

Mentions

austin_ula: austin_ula src/exercises/exercises3-2.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 3.2

History

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

TBVY643CYC TBVY643CYC

URI	`m2://inv/TBVY643CYC`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-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.28814#OKNV (statement)

History

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

TBW0GHN8D8 TBW0GHN8D8

URI	`m2://inv/TBW0GHN8D8`
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.18078#FUYH (statement). In YVK8EFSYNJ/e1, lemma B.1

History

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

TBW47SNHD6 TBW47SNHD6

URI	`m2://inv/TBW47SNHD6`
Kind	statement
Layer	research
MSC	20-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 2605.16669#LB87 (statement). In 1463YCCRP5/e1, lemma 7.1

History

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

Weighted $L^2$ estimates TBWCBAXA86

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

Mentions

arxiv: arXiv 2605.00407#E5KZ, Weighted $L^2$ estimates (statement). In TVFD0G3F2W/e1, lemma 4.1

History

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

Applications TBWH9P845G

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

Mentions

wikipedia: Wikipedia Goertzel algorithm#29RP, Applications (example)

History

2026-11-02: add by m2/dev

Dysnomia TBWVQCRZBB

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

Mentions

wikipedia: Wikipedia Dysnomia (deity), Dysnomia (definition). Also Wikidata Q1138207

History

2026-11-02: add by m2/dev

Ein HaShlosha TBWYSH1HQ3

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

Mentions

wikipedia: Wikipedia List of places with numeric names#LF90, Ein HaShlosha (unknown)

History

2026-11-02: add by m2/dev

Axioms TBWZ6FPQBK

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

Mentions

wikipedia: Wikipedia Second-order arithmetic#NLWT, Axioms (statement)

History

2026-11-02: add by m2/dev

Computational sociology TBWZS67FDR

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#6AKZ, Computational sociology (unknown)

History

2026-11-02: add by m2/dev

TBX1E04SXC TBX1E04SXC

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

Mentions

open_logic: open_logic content/applied-modal-logic/temporal-logic/temporal-logic-semantics.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 1.12

History

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

Dick Vermeil TBX3E0PR01

URI	`m2://inv/TBX3E0PR01`
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#ITKA, Dick Vermeil (unknown)

History

2026-11-02: add by m2/dev

Kenneth L. Clarkson TBX7XAP135

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#G4PO, Kenneth L. Clarkson (unknown)

History

2026-11-02: add by m2/dev

Properties TBXB523QJC

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

Mentions

wikipedia: Wikipedia Luzin N property#KBJH, Properties (statement)

History

2026-11-02: add by m2/dev

TBXQJWYSDX TBXQJWYSDX

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

Mentions

arxiv: arXiv 1012.0963#19J4 (statement). In TSA766V8F8/e1, lemma 3.3

History

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

TBXQKDPM4H TBXQKDPM4H

URI	`m2://inv/TBXQKDPM4H`
Kind	statement
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.09171#ZJ61 (statement). In 5ZPSZFE08Q/e1, theorem 5.9

History

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

ILNumerics TBXWAVZTRG

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#KD4L, ILNumerics (unknown)

History

2026-11-02: add by m2/dev

adjacent TBXYT615KY

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

Mentions

levin_dmoi: levin_dmoi index/5/adjacent, adjacent (concept). In Y91XFCEVHQ, index, section 5

History

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

Quasi-universal spaces TBY0N0NJ99

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

Mentions

arxiv: arXiv 2609.26270#U643, Quasi-universal spaces (definition)

History

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

TBYAZX0Q9M TBYAZX0Q9M

URI	`m2://inv/TBYAZX0Q9M`
Kind	example
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.20568#DI0X (example). In BCD0ATARNZ/e1, example 3.29

History

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

Melchior's inequality TBYDG41V84

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

Mentions

wikipedia: Wikipedia List of inequalities#PWNK, Melchior's inequality (statement)

History

2026-11-02: add by m2/dev

TBYH4S9D82 TBYH4S9D82

URI	`m2://inv/TBYH4S9D82`
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 2609.39269#0EIM (definition). In HS4X20TX33/e1, definition 0.3

History

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

Tim Palmer TBYHEPK4S2

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

Mentions

wikipedia: Wikipedia Tim Palmer (physicist), Tim Palmer (topic). Also Wikidata Q7804093

History

2026-11-02: add by m2/dev

TBYJDZJGD9 TBYJDZJGD9

URI	`m2://inv/TBYJDZJGD9`
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.32816#KNIF (statement). In 10YV2P9E8W/e1, theorem 4.2

History

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

Componentwise balanced boxes TBYMTKQE9R

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

Mentions

arxiv: arXiv 2610.14160#KH1P, Componentwise balanced boxes (definition). In Y4TP36M0C7/e1, definition 21

History

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

Definitions TBYR7EW81C

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

Mentions

wikipedia: Wikipedia Zonal spherical function#UYWC, Definitions (definition)

History

2026-11-02: add by m2/dev

Poncelet Prize TBYSK1EQQ0

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

Mentions

wikipedia: Wikipedia Poncelet Prize, Poncelet Prize (definition). Also Wikidata Q3405172

History

2026-11-02: add by m2/dev

function TBYXGVET84

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#3IWP, function (definition)

History

2026-11-02: add by m2/dev

Institute for Pure and Applied Mathematics TBZ11JWQJQ

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

Mentions

wikipedia: Wikipedia Institute for Pure and Applied Mathematics, Institute for Pure and Applied Mathematics (definition). Also Wikidata Q6039575

History

2026-11-02: add by m2/dev

TBZDS7VC87 TBZDS7VC87

URI	`m2://inv/TBZDS7VC87`
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 2609.20409#1WQV (definition)

History

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

Time derivative TBZHZRGEM1

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

Mentions

wikipedia: Wikipedia Time derivative, Time derivative (definition). Also Wikidata Q6960532

History

2026-11-02: add by m2/dev

set difference TBZMDSZHYD

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

Mentions

levin_dmoi: levin_dmoi index/1.3.3/set-difference, set difference (concept). In Y91XFCEVHQ, index, section 1.3.3

History

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

TBZN9DRZE1 TBZN9DRZE1

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#proof-14 (proof). In E59CDZA4DP, proof, section 7.4

History

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

Container method TBZPYJHX9A

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

Mentions

wikipedia: Wikipedia Container method, Container method (definition). Also Wikidata Q111954539

History

2026-11-02: add by m2/dev

Applications TBZQDXPZPT

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

Mentions

wikipedia: Wikipedia Logarithm#WD5G, Applications (example)

History

2026-11-02: add by m2/dev