Inventory rows 5P

Dual representation 5P049VR72K

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

Mentions

wikipedia: Wikipedia List of dualities#VDJD, Dual representation (definition)

History

2026-11-02: add by m2/dev

Formal definition 5P0DB9KVFM

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

Mentions

wikipedia: Wikipedia Approximation error#PQHV, Formal definition (definition)

History

2026-11-02: add by m2/dev

Remark 5P0DXJT20F

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

Mentions

wikipedia: Wikipedia Absolute presentation of a group#787Q, Remark (unknown)

History

2026-11-02: add by m2/dev

exact matching and robust scales 5P0EGJ8WWT

URI	`m2://inv/5P0EGJ8WWT`
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.22413#1YCZ, exact matching and robust scales (statement)

History

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

5P0FF5HCGY 5P0FF5HCGY

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

Mentions

arxiv: arXiv 1002.0879#9W5E (definition). In M0SQY5EZN5/e1, definition 1.1.5

History

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

Uses 5P0J1SNAE2

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

Mentions

wikipedia: Wikipedia Nimber#I8HY, Uses (example)

History

2026-11-02: add by m2/dev

capacity 5P0QH2EVTR

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#10WQ, capacity (definition)

History

2026-11-02: add by m2/dev

Sinkhorn OT 5P0QVC24PH

URI	`m2://inv/5P0QVC24PH`
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.31470#Y382, Sinkhorn OT (definition). In 4RS2WKVB7F/e1, definition 2.1

History

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

Vosper's theorem 5P0V17FG70

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

Mentions

wikipedia: Wikipedia Additive combinatorics#6O35, Vosper's theorem (statement)

History

2026-11-02: add by m2/dev

Cost-Free Direct Product of Impulsive CTMDPs 5P0X772EE0

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

Mentions

arxiv: arXiv 2610.20126#SC67, Cost-Free Direct Product of Impulsive CTMDPs (definition). In KVXDWX9B11/e1, definition 2.6

History

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

Generalization 5P1E0FV3TJ

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

Mentions

wikipedia: Wikipedia Doob decomposition theorem#GGOQ, Generalization (statement)

History

2026-11-02: add by m2/dev

Theorem 5P221TCH2H

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

Mentions

wikipedia: Wikipedia Graph flattenability#39VW, Theorem (statement)

History

2026-11-02: add by m2/dev

Statement 5P291RM7TM

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

Mentions

wikipedia: Wikipedia Price equation#F85P, Statement (statement)

History

2026-11-02: add by m2/dev

5P29A9CRNV 5P29A9CRNV

URI	`m2://inv/5P29A9CRNV`
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 Q1371086 (unknown). Also nLab Ethan Devinatz

History

2026-10-26: add by m2/dev

The algorithm 5P2ANCKYNB

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

Mentions

wikipedia: Wikipedia Elliptic curve primality#43XD, The algorithm (definition)

History

2026-11-02: add by m2/dev

5P2HTGHKP3 5P2HTGHKP3

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

Mentions

arxiv: arXiv 2610.12486#79E6 (statement). In CWQ2YHT24E/e1, proposition 6.6

History

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

Definition 5P2JXF4FK2

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

Mentions

wikipedia: Wikipedia Q-Meixner–Pollaczek polynomials#863J, Definition (definition)

History

2026-11-02: add by m2/dev

Olga Ladyzhenskaya 5P31DE5DPD

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#OE5A, Olga Ladyzhenskaya (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8IR9, Olga Ladyzhenskaya (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CN2S, Olga Ladyzhenskaya (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F3O2, Olga Ladyzhenskaya (topic)

History

2026-11-02: add by m2/dev

Random permutation statistics 5P3295JGXH

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

Mentions

wikipedia: Wikipedia Random permutation statistics, Random permutation statistics (definition). Also Wikidata Q17165867

History

2026-11-02: add by m2/dev

5P33C5KW0Q 5P33C5KW0Q

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

Mentions

arxiv: arXiv 2109.11684#U1TF (statement). In CHE1JCV3EK/e1, proposition 3.1

History

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

Multi-conformal symplectic PDE 5P38Z2Z7EF

URI	`m2://inv/5P38Z2Z7EF`
Kind	definition
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.29847#QK76, Multi-conformal symplectic PDE (definition)

History

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

Statement 5P39P9R39N

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

Mentions

wikipedia: Wikipedia Main conjecture of Iwasawa theory#FWRV, Statement (statement)

History

2026-11-02: add by m2/dev

Monte Carlo integration 5P3DYQ388V

URI	`m2://inv/5P3DYQ388V`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Monte Carlo integration DAR3QJ5H7Y

Mentions

wikidata: Wikidata Q39879, Monte Carlo integration (unknown). Also MathWorld MonteCarloIntegration
wikipedia: Wikipedia Monte Carlo integration, Monte Carlo integration (definition). Also Wikidata Q39879

History

2026-10-26: add by m2/dev

Original and reference observation laws 5P3K5GM1X8

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

Mentions

arxiv: arXiv 2610.05498#9QWM, Original and reference observation laws (definition). In TJT32RQ9GC/e1, definition 6.1

History

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

5P3YJ1C43M 5P3YJ1C43M

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

Mentions

arxiv: arXiv 2610.06806#OW15 (statement). In ZZQT0GFMT2/e1, theorem 1.8

History

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

Definition of a rough path 5P41FQZ9C2

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

Mentions

wikipedia: Wikipedia Rough path#QYLG, Definition of a rough path (definition)

History

2026-11-02: add by m2/dev

5P43MSH85Y 5P43MSH85Y

URI	`m2://inv/5P43MSH85Y`
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#DDEF (statement). In ZA7WXGZYWC/e1, theorem 2.6

History

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

5P440QTWVN 5P440QTWVN

URI	`m2://inv/5P440QTWVN`
Kind	example
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 1712.02437#B9GT (example). In GZDFK652T9/e1, example 6.3

History

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

Extension (theory) 5P45Z7B5JD

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

Mentions

wikipedia: Wikipedia Theory (mathematical logic)#P7IH, Extension (theory) (unknown)

History

2026-11-02: add by m2/dev

5P4MCKEA1H 5P4MCKEA1H

URI	`m2://inv/5P4MCKEA1H`
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.25568#N02Q (statement)

History

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

5P4N2BHZ3C 5P4N2BHZ3C

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-8 (proof). In E59CDZA4DP, proof, section 11.2.1

History

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

5P4NYQWD5Z 5P4NYQWD5Z

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

Mentions

arxiv: arXiv 2609.23884#9FTI (statement)

History

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

Julien Dubedat 5P4S2QEPM9

URI	`m2://inv/5P4S2QEPM9`
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#EDG8, Julien Dubedat (unknown)

History

2026-11-02: add by m2/dev

Scatterplot 5P4W2TTXM3

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

Mentions

wikipedia: Wikipedia List of graphical methods#5RNF, Scatterplot (definition)

History

2026-11-02: add by m2/dev

Covariance under nested uniform scrambling 5P4YDRQD9T

URI	`m2://inv/5P4YDRQD9T`
Kind	statement
Layer	research
MSC	62-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 1007.0842#354Q, Covariance under nested uniform scrambling (statement). In SEBS9D5AC5/e1, proposition 2.2

History

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

Paul Rabinowitz 5P5AFJN7XF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#NMJX, Paul Rabinowitz (topic)

History

2026-11-02: add by m2/dev

earliest days of the phone hacking scandal 5P5BDTYGXF

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#X70S, earliest days of the phone hacking scandal (definition)

History

2026-11-02: add by m2/dev

Simple Example 5P5BYEWZ5Y

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

Mentions

wikipedia: Wikipedia Felsenstein's tree-pruning algorithm#7R48, Simple Example (example)

History

2026-11-02: add by m2/dev

requires \sectionref{sec:moreonseries} 5P5DBT30VW

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-14, requires \sectionref{sec:moreonseries} (exercise). In E59CDZA4DP, exercise, section 9.1.4

History

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

5P5F54S8AA 5P5F54S8AA

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

Mentions

arxiv: arXiv 2610.13505#89L6 (statement). In 6Z1DDCYCQ8/e1, proposition 22

History

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

Examples 5P5N7A2CGR

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

Mentions

wikipedia: Wikipedia Pythagoras number#45N9, Examples (example)

History

2026-11-02: add by m2/dev

plural quantification 5P5R6540PR

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

Mentions

wikipedia: Wikipedia Glossary of logic#SH6F, plural quantification (definition)

History

2026-11-02: add by m2/dev

Examples 5P5RGHP3HS

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

Mentions

wikipedia: Wikipedia Metric tangent cone#LMOW, Examples (example)

History

2026-11-02: add by m2/dev

Kac–Bernstein theorem 5P5TM165QJ

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

Mentions

wikipedia: Wikipedia List of probability topics#1863, Kac–Bernstein theorem (statement)

History

2026-11-02: add by m2/dev

Sarah Glaz 5P5WC5QYDP

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

Mentions

wikipedia: Wikipedia Sarah Glaz, Sarah Glaz (topic). Also Wikidata Q58495642

History

2026-11-02: add by m2/dev

Repulsive Riesz and Coulomb pair interactions 5P64RRNJVK

URI	`m2://inv/5P64RRNJVK`
Kind	example
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.34402#6BII, Repulsive Riesz and Coulomb pair interactions (example). In FTTMZWSCMW/e1, example 2.2

History

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

Oscillator 5P683JTSXB

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#YL2I, Oscillator (unknown)

History

2026-11-02: add by m2/dev

Euclidean domain 5P6H86Z7RP

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#7O10, Euclidean domain (definition)

History

2026-11-02: add by m2/dev

Singular loci 5P6N152KBB

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

Mentions

wikipedia: Wikipedia Locus (mathematics)#DF5B, Singular loci (unknown)

History

2026-11-02: add by m2/dev

5P6QP6A0R5 5P6QP6A0R5

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

Mentions

open_logic: open_logic content/incompleteness/introduction/definitions.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 28.7

History

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

5P6TWMBV3P 5P6TWMBV3P

URI	`m2://inv/5P6TWMBV3P`
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 1805.04646#TK63 (statement). In WDDY7P9T66/e1, theorem 4.2

History

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

5P72FT6ZHA 5P72FT6ZHA

URI	`m2://inv/5P72FT6ZHA`
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 2508.17181#J53Q (statement). In 2QR18WK8KH/e1, corollary 1

History

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

The Hitchhiker's Guide to Calculus 5P75ENREHT

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

Mentions

wikipedia: Wikipedia Michael Spivak#OWUJ, The Hitchhiker's Guide to Calculus (unknown)

History

2026-11-02: add by m2/dev

Gregorio Fontana 5P75Y9T9J4

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

Mentions

wikipedia: Wikipedia Gregorio Fontana, Gregorio Fontana (topic). Also Wikidata Q1545263

History

2026-11-02: add by m2/dev

Smoothed Maximum Score Estimator 5P78D1D3WS

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

Mentions

wikipedia: Wikipedia Maximum score estimator#9LD2, Smoothed Maximum Score Estimator (unknown)

History

2026-11-02: add by m2/dev

5P797WXCGQ 5P797WXCGQ

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

Mentions

arxiv: arXiv 1907.01440#OU1H (statement). In QDRYC6WJJ7/e1, theorem 4

History

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

primitive recursion 5P7G2A02GH

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

Mentions

wikipedia: Wikipedia Glossary of logic#Y56V, primitive recursion (definition)

History

2026-11-02: add by m2/dev

5P7M41YSNM 5P7M41YSNM

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

Mentions

arxiv: arXiv 2610.01802#KVD6 (conjecture). In XGPZ0G9E1Q/e1, conjecture 2.1

History

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

Theorem 5P7NJM56GK

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

Mentions

wikipedia: Wikipedia Lyapunov equation#DUUU, Theorem (statement)

History

2026-11-02: add by m2/dev

5P7PR0WMW5 5P7PR0WMW5

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#proof-15 (proof). In E59CDZA4DP, proof, section 8.3.3

History

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

Remark 5P7QJ0P9BA

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

Mentions

wikipedia: Wikipedia Tautological bundle#5I6V, Remark (unknown)

History

2026-11-02: add by m2/dev

power reduction 5P85PM71X0

URI	`m2://inv/5P85PM71X0`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 46-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 2609.27458#1EHG, power reduction (statement)

History

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

Small Business Development Center 5P86CMJH16

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

Mentions

wikipedia: Wikipedia List of research centers at Boston College#BG81, Small Business Development Center (unknown)

History

2026-11-02: add by m2/dev

Harmonic mean 5P8G7MZ1E2

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

Mentions

wikipedia: Wikipedia List of sums of reciprocals#FOCU, Harmonic mean (definition)

History

2026-11-02: add by m2/dev

Full Version 5P8P74294K

URI	`m2://inv/5P8P74294K`
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.06321#BW6Z, Full Version (statement). In PGV1116XX4/e1, theorem C

History

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

5P8QA094RY 5P8QA094RY

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

Mentions

arxiv: arXiv 2609.21703#I6I1 (example)

History

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

5P92612YA9 5P92612YA9

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

Mentions

arxiv: arXiv 2610.21662#AE88 (statement). In 25B3WHEKH2/e1, lemma 5.1

History

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

integer composition 5P999NTC5K

URI	`m2://inv/5P999NTC5K`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Function composition 0THBK9V825

Mentions

wikidata: Wikidata Q141281347, integer composition (unknown). Also MathWorld Composition
wikidata: Wikidata Q244761, function composition (unknown). Also EoM Composition, MathWorld Composition
wikipedia: Wikipedia Function composition, Function composition (definition). Also Wikidata Q244761

History

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

5P9BQVWT8P 5P9BQVWT8P

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

Mentions

arxiv: arXiv 2204.01073#1RTU (definition). In W4TYN4PGE8/e1, definition 2.13

History

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

5P9CGMPZC9 5P9CGMPZC9

URI	`m2://inv/5P9CGMPZC9`
Kind	definition
Layer	research
MSC	55-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 2303.09207#A43U (definition). In 9DQKY7KGE8/e1, definition C.8

History

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

5P9CSXERRD 5P9CSXERRD

URI	`m2://inv/5P9CSXERRD`
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.27301#KJAP (statement)

History

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

5P9GXSZ7PQ 5P9GXSZ7PQ

URI	`m2://inv/5P9GXSZ7PQ`
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 math/9602216#XZ9B (statement). In SD43497T8C/e1, theorem 4.2

History

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

5P9H0JJJCW 5P9H0JJJCW

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

Mentions

arxiv: arXiv 1903.07030#XE0B (example). In 9H45HQE7AZ/e1, example 3.50

History

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

literal 5P9K2523H8

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

Mentions

wikipedia: Wikipedia Glossary of logic#QM86, literal (definition)

History

2026-11-02: add by m2/dev

Types of mesh 5P9PY2HNX6

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

Mentions

wikipedia: Wikipedia Types of mesh, Types of mesh (definition). Also Wikidata Q7860954

History

2026-11-02: add by m2/dev

5P9R1E5V8H 5P9R1E5V8H

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

Mentions

arxiv: arXiv 2610.03688#LLTO (statement). In HMWJQY9NAP/e1, lemma 2.1

History

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

Elastic-rebound theory 5P9VV0WRSR

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

Mentions

wikipedia: Wikipedia Elastic-rebound theory, Elastic-rebound theory (definition). Also Wikidata Q861025

History

2026-11-02: add by m2/dev

RinRin Doll 5P9XCX7RXV

URI	`m2://inv/5P9XCX7RXV`
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#BJ25, RinRin Doll (unknown)

History

2026-11-02: add by m2/dev

5P9ZTV6K9E 5P9ZTV6K9E

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

Mentions

arxiv: arXiv 2610.14502#02I2 (example). In 6BVBMTYXNZ/e1, example 2.10

History

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

5PAM9A3KPP 5PAM9A3KPP

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

Mentions

arxiv: arXiv 2411.16022#0EGF (statement). In QG9ATXTKJ6/e1, theorem 2.12

History

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

5PAR5BFWQP 5PAR5BFWQP

URI	`m2://inv/5PAR5BFWQP`
Kind	definition
Layer	research
MSC	55-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 2303.09207#MFKA (definition). In 9DQKY7KGE8/e1, definition C.20

History

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

5PB4XXZ29V 5PB4XXZ29V

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

Mentions

arxiv: arXiv 2610.02833#DD0L (statement). In TNREX5GDK2/e1, theorem 1.5

History

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

permutation involution 5PB87VZC38

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

Mentions

wikidata: Wikidata Q15847168, permutation involution (unknown). Also MathWorld PermutationInvolution

History

2026-10-26: add by m2/dev

5PBDCZY3EA 5PBDCZY3EA

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

Mentions

arxiv: arXiv 2609.26127#Z8ML (statement)

History

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

\bf Randomized derivative-only lower bound 5PBDFD2M4J

URI	`m2://inv/5PBDFD2M4J`
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.16295#FR4R, \bf Randomized derivative-only lower bound (statement). In J1SKCVMNCB/e1, theorem 3.1

History

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

5PBDK22GJV 5PBDK22GJV

URI	`m2://inv/5PBDK22GJV`
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.37093#8VB1 (statement). In GA6QH32CJQ/e1, theorem 22

History

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

Smooth scheme 5PBGVF7CXZ

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#QSSM, Smooth scheme (definition)

History

2026-11-02: add by m2/dev

5PBJXGFD10 5PBJXGFD10

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#proof-2 (proof). In E59CDZA4DP, proof, section 6.2.1

History

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

Definition 5PBMPR3GW2

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

Mentions

wikipedia: Wikipedia Sobol sequence#YMLC, Definition (definition)

History

2026-11-02: add by m2/dev

Principle of compositionality 5PBQ9RW337

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

Mentions

wikipedia: Wikipedia Truth function#NAPE, Principle of compositionality (statement)

History

2026-11-02: add by m2/dev

5PBY7FSCQ1 5PBY7FSCQ1

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

Mentions

open_logic: open_logic content/set-theory/ordinals/iso.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 72.5

History

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

Sobolev group bounds from coefficient regularity 5PBYHENXAZ

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

Mentions

arxiv: arXiv 2610.16094#EN81, Sobolev group bounds from coefficient regularity (statement). In RHBS9QDHC3/e1, proposition 4.4

History

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

Shor's algorithm 5PC1D044E5

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

Mentions

wikipedia: Wikipedia List of group theory topics#9SQ4, Shor's algorithm (definition)
wikipedia: Wikipedia List of number theory topics#A968, Shor's algorithm (definition)

History

2026-11-02: add by m2/dev

Gårding's inequality 5PC2F4Z0WC

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

Mentions

wikipedia: Wikipedia List of inequalities#QPZN, Gårding's inequality (statement)

History

2026-11-02: add by m2/dev

5PC9P21NT4 5PC9P21NT4

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

Mentions

arxiv: arXiv 2104.00162#M6HK (definition). In HVGT9D84WV/e1, definition 1.3

History

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

Covariance and correlation 5PCFSR6Y5T

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

Mentions

wikipedia: Wikipedia List of statistics articles#M2CX, Covariance and correlation (definition)

History

2026-11-02: add by m2/dev

5PCJWJH2NV 5PCJWJH2NV

URI	`m2://inv/5PCJWJH2NV`
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.13817#DPP0 (statement). In BMSAXTDV47/e1, theorem 3.4

History

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

5PCKKBRWA2 5PCKKBRWA2

URI	`m2://inv/5PCKKBRWA2`
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#S22N (statement). In V5PVKDKGGG/e1, theorem 5.2

History

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

Lemma 1 5PCVSZ3G6S

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

Mentions

wikipedia: Wikipedia Fejér's theorem#FE0I, Lemma 1 (statement)

History

2026-11-02: add by m2/dev

Rudolf Carnap 5PCWEDBSKD

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#XAX9, Rudolf Carnap (topic)

History

2026-11-02: add by m2/dev

Minimax 5PCYNXAHE1

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

Mentions

wikipedia: Wikipedia List of algorithms#58TD, Minimax (definition)

History

2026-11-02: add by m2/dev

5PD54J8RKR 5PD54J8RKR

URI	`m2://inv/5PD54J8RKR`
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.21438#F9E8 (statement)

History

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

Valid formula 5PDBF6S2E6

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

Mentions

wikipedia: Wikipedia Validity (logic)#952Z, Valid formula (statement)

History

2026-11-02: add by m2/dev

Axisymmetric spin convolution 5PDSA052M4

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

Mentions

arxiv: arXiv 2610.13892#JLVD, Axisymmetric spin convolution (definition). In HV9KKEBBDD/e1, definition III.6

History

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

Chebyshev concentration 5PE36TC8ZW

URI	`m2://inv/5PE36TC8ZW`
Kind	statement
Layer	research
MSC	11-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.14380#ENQR, Chebyshev concentration (statement). In 2ZRQP063HP/e1, lemma A.2

History

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

Lemma 3 5PE3CSYBPV

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

Mentions

wikipedia: Wikipedia Derivation of the conjugate gradient method#TK6X, Lemma 3 (statement)

History

2026-11-02: add by m2/dev

5PE3ZQR9M8 5PE3ZQR9M8

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

Mentions

arxiv: arXiv 2610.08581#WKXV (statement). In VCSPPW15BE/e1, theorem 6.2

History

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

Property 5PE48DTKS8

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

Mentions

wikipedia: Wikipedia Property (philosophy), Property (definition). Also Wikidata Q937228

History

2026-11-02: add by m2/dev

Example 5PE96GA19R

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

Mentions

wikipedia: Wikipedia Lucas primality test#SG9D, Example (example)

History

2026-11-02: add by m2/dev

Complete rank-three degree-zero formula 5PEEG5BK31

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

Mentions

arxiv: arXiv 2610.20649#5H8O, Complete rank-three degree-zero formula (statement). In XDTM624YPE/e1, theorem 13.1

History

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

5PEHNNPP0G 5PEHNNPP0G

URI	`m2://inv/5PEHNNPP0G`
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.15525#483E (statement). In EFDRME13PT/e1, lemma 6.8

History

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

Bruno Kahn 5PEPDYG3N7

URI	`m2://inv/5PEPDYG3N7`
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 Q102230257, Bruno Kahn (unknown). Also nLab Bruno Kahn

History

2026-10-26: add by m2/dev

5PEQZY9VD9 5PEQZY9VD9

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

Mentions

arxiv: arXiv 2610.01932#L66R (problem). In XDKWW6NR0K/e1, problem

History

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

Ida Rhodes 5PEVD81Z14

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#G6HW, Ida Rhodes (unknown)

History

2026-11-02: add by m2/dev

Complex root 5PEWXCDX9R

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

Mentions

wikipedia: Wikipedia Complex number#6TNN, Complex root (unknown)

History

2026-11-02: add by m2/dev

5PF0GTRFCF 5PF0GTRFCF

URI	`m2://inv/5PF0GTRFCF`
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 2507.03563#8R96 (statement). In R6DR6F68BJ/e1, proposition 3.2

History

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

Applications 5PF76GCAW4

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

Mentions

wikipedia: Wikipedia Hadamard factorization theorem#O6XF, Applications (example)

History

2026-11-02: add by m2/dev

5PF7KQ1SMS 5PF7KQ1SMS

URI	`m2://inv/5PF7KQ1SMS`
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.01915#JGXE (statement). In 6HJQXZS0A6/e1, corollary 2.3

History

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

Euler's constant 5PF7N2Q4EZ

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

Mentions

wikipedia: Wikipedia List of topics named after Leonhard Euler#5WFD, Euler's constant (conjecture)

History

2026-11-02: add by m2/dev

Schwinger model 5PF8JZE0S7

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

Mentions

wikipedia: Wikipedia Schwinger model, Schwinger model (definition). Also Wikidata Q3318083

History

2026-11-02: add by m2/dev

5PF981CSNC 5PF981CSNC

URI	`m2://inv/5PF981CSNC`
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.31907#ZQV4 (statement). In 6B2PCEGCYZ/e1, proposition 2.13

History

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

5PF9B5M7HB 5PF9B5M7HB

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

Mentions

arxiv: arXiv 2610.11047#3AON (statement). In MNQAZ70XTH/e1, theorem 7.1

History

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

Density transfer 5PFAQ3QHCE

URI	`m2://inv/5PFAQ3QHCE`
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 1806.05002#EBLB, Density transfer (statement). In JBAQ7DTW7B/e1, lemma 6.2

History

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

Bland's rule 5PFD5ND9XR

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

Mentions

wikipedia: Wikipedia Bland's rule, Bland's rule (definition). Also Wikidata Q4924975

History

2026-11-02: add by m2/dev

W. Magnus 5PFGA9FW8B

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

Mentions

wikipedia: Wikipedia List of group theory topics#XY9O, W. Magnus (topic)

History

2026-11-02: add by m2/dev

D. S. Malik 5PFXQ3J830

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

Mentions

wikipedia: Wikipedia D. S. Malik, D. S. Malik (topic). Also Wikidata Q5207099

History

2026-11-02: add by m2/dev

5PG02JDWS0 5PG02JDWS0

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

Mentions

arxiv: arXiv 2609.27151#LZPK (statement)

History

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

5PG0EKXSE0 5PG0EKXSE0

URI	`m2://inv/5PG0EKXSE0`
Kind	statement
Layer	research
MSC	14-XX, 19-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.31413#FJ08 (statement). In 1C68G64QZS/e1, lemma 3

History

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

5PG0TXPE0J 5PG0TXPE0J

URI	`m2://inv/5PG0TXPE0J`
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 2207.11097#F4N0 (statement). In 13H5BTAXHF/e1, corollary 4

History

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

5PG5K79PSH 5PG5K79PSH

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

Mentions

arxiv: arXiv 2610.15352#BPHQ (definition). In R39P7AFXM8/e1, definition 1.2

History

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

Algebraically closed extension 5PG95ZWSS8

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

Mentions

wikipedia: Wikipedia Algebraically closed field#H6LH, Algebraically closed extension (unknown)

History

2026-11-02: add by m2/dev

5PGS5YZH62 5PGS5YZH62

URI	`m2://inv/5PGS5YZH62`
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.23558#YA3Z (statement)

History

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

Vehicle routing problem 5PGVJTS1M8

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

Mentions

wikipedia: Wikipedia List of algorithms#GSH3, Vehicle routing problem (problem)
wikipedia: Wikipedia List of genetic algorithm applications#L76K, Vehicle routing problem (problem)

History

2026-11-02: add by m2/dev

edge set 5PGY2NEABC

URI	`m2://inv/5PGY2NEABC`
Kind	definition
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Edge set 0AQBSVMX9P

Mentions

wikidata: Wikidata Q124247109, edge set (definition). Also MathWorld EdgeSet, ProofWiki Definition:Edge_Set

History

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

5PH2ZB0DBE 5PH2ZB0DBE

URI	`m2://inv/5PH2ZB0DBE`
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 2312.06473#GBEF (statement). In P1MYSYHSGX/e1, lemma A.2

History

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

Application 5PH6150WZN

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

Mentions

wikipedia: Wikipedia Newton polynomial#SKRM, Application (example)

History

2026-11-02: add by m2/dev

5PHB4NVA1J 5PHB4NVA1J

URI	`m2://inv/5PHB4NVA1J`
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 2109.08858#RXGV (statement). In E6795TKR6R/e1, theorem 14

History

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

5PHFZ7B0BW 5PHFZ7B0BW

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

Mentions

arxiv: arXiv 2609.31331#HLI2 (statement). In TWB64HRHWZ/e1, theorem 6

History

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

5PHVACHWRJ 5PHVACHWRJ

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

Mentions

arxiv: arXiv 2204.01073#DKF3 (definition). In W4TYN4PGE8/e1, definition 3.38

History

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

Challenging 5PHVHB9ZY6

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise:contlimitbadcomposition, Challenging (exercise). In E59CDZA4DP, exercise, section 2.1.5

History

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

Banach–Tarski paradox 5PHVHGM5F3

URI	`m2://inv/5PHVHGM5F3`
Kind	statement
Layer	textbook
MSC	28-XX
Sources	4
Outcome	open
Node	Banach–Tarski paradox FH250K068Z

Mentions

mathlib_1000: mathlib_1000 Q737851, Banach–Tarski theorem (statement). Also Wikidata Q737851
thousand_plus: thousand_plus Q737851, Banach–Tarski theorem (statement). Also Wikidata Q737851, Wikipedia Banach–Tarski theorem
wikidata: Wikidata Q737851, Banach–Tarski paradox (statement). Also nLab Banach-Tarski paradox, ProofWiki Banach-Tarski_Paradox
wikipedia: Wikipedia Banach–Tarski paradox, Banach–Tarski paradox (statement). Also Wikidata Q737851

History

2026-10-26: add by m2/dev

Examples 5PHWE5G13R

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

Mentions

wikipedia: Wikipedia Dual (category theory)#D4WH, Examples (example)

History

2026-11-02: add by m2/dev

Generalizations 5PHZ3DXHMP

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

Mentions

wikipedia: Wikipedia Multiset#MMD3, Generalizations (statement)

History

2026-11-02: add by m2/dev

5PJ18G817V 5PJ18G817V

URI	`m2://inv/5PJ18G817V`
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 2306.08237#DZ3V (statement). In E22A2MFR4Y/e1, proposition 4.9

History

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

5PJ3XQ2GBW 5PJ3XQ2GBW

URI	`m2://inv/5PJ3XQ2GBW`
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.27046#VWER (statement)

History

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

5PJ4Z0S7Y1 5PJ4Z0S7Y1

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

Mentions

arxiv: arXiv 2609.20531#C485 (statement)

History

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

5PJ63HJWKP 5PJ63HJWKP

URI	`m2://inv/5PJ63HJWKP`
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 2504.14383#H97P (statement). In QD0X3XJS6T/e1, proposition 9.2

History

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

Examples 5PJ7MHK79T

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

Mentions

wikipedia: Wikipedia Many-valued logic#QINB, Examples (example)

History

2026-11-02: add by m2/dev

Sydney Opera House 5PJBQX19MG

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

Mentions

wikipedia: Wikipedia Sydney Opera House, Sydney Opera House (definition). Also Wikidata Q45178

History

2026-11-02: add by m2/dev

5PJDCS6GTC 5PJDCS6GTC

URI	`m2://inv/5PJDCS6GTC`
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.26386#D6CO (statement)

History

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

5PJKVQSER8 5PJKVQSER8

URI	`m2://inv/5PJKVQSER8`
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#N53M (unknown). In RQZGQG3PBR/e1, unknown II.12.11

History

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

Burnside's lemma 5PJT409EEX

URI	`m2://inv/5PJT409EEX`
Kind	statement
Layer	textbook
Sources	1
Outcome	deferred (the item has its own article, page 251900)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Group action#HAJP, Burnside's lemma (statement)

History

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

5PJYFYQQNG 5PJYFYQQNG

URI	`m2://inv/5PJYFYQQNG`
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.21692#1Y0O (statement)

History

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

Argmin inversion for approximate minimizers 5PK0FV56K9

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

Mentions

arxiv: arXiv 2610.05388#LPJ9, Argmin inversion for approximate minimizers (statement). In 4HJK1986EJ/e1, lemma C.23

History

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

5PK147R14F 5PK147R14F

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/unique-readability.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 39.3

History

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

5PK6M52HDP 5PK6M52HDP

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

Mentions

arxiv: arXiv 2208.07401#O2MN (statement). In GJD7HKCE56/e1, corollary 1.5

History

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

proof, assistant, Coq 5PKA57C0SK

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

Mentions

hott_book: hott_book index/1.15/proof-assistant-coq, proof, assistant, Coq (concept). In N54F33XE07, index, section 1.15

History

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

Baxter, Laurence 5PKADJV4G7

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

Mentions

wikipedia: Wikipedia List of statisticians#JWST, Baxter, Laurence (topic)

History

2026-11-02: add by m2/dev

Equation-case last-iterate bound 5PKCNAGKE8

URI	`m2://inv/5PKCNAGKE8`
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.35631#LT7W, Equation-case last-iterate bound (statement). In 9NCX0S6MTP/e1, corollary D.9

History

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

1035 5PKH4GWQV9

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

Mentions

wikidata: Wikidata Q6370925, 1035 (statement). Also ProofWiki 1035

History

2026-10-26: add by m2/dev

fluxes of the radial part 5PKKXCADSB

URI	`m2://inv/5PKKXCADSB`
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.08016#KOSO, fluxes of the radial part (statement). In YR3CSTYEJW/e1, corollary 2.6

History

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

Equivariant projections and lifts 5PKRSQRD6D

URI	`m2://inv/5PKRSQRD6D`
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.13892#RJJO, Equivariant projections and lifts (statement). In HV9KKEBBDD/e1, corollary V.6

History

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

Faà di Bruno's formula 5PM7V8B4ME

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

Mentions

wikidata: Wikidata Q1437653, Faà di Bruno's formula (unknown). Also MathWorld FaadiBrunosFormula
wikipedia: Wikipedia Faà di Bruno's formula, Faà di Bruno's formula (statement). Also Wikidata Q1437653

History

2026-10-26: add by m2/dev

5PMHK19GZX 5PMHK19GZX

URI	`m2://inv/5PMHK19GZX`
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 2409.03423#1AZD (statement). In 8C5YCMN81V/e1, lemma 4

History

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

Negative Exponents 5PMJ70GQJT

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

Mentions

wikipedia: Wikipedia Exponentiation#3MXD, Negative Exponents (unknown)

History

2026-11-02: add by m2/dev

5PMRB934Q7 5PMRB934Q7

URI	`m2://inv/5PMRB934Q7`
Kind	statement
Layer	research
MSC	11-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.05914#IPTC (statement). In V8MYP6MBAZ/e1, theorem 8

History

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

Triple bar 5PMT9NGHH1

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

Mentions

wikipedia: Wikipedia Triple bar, Triple bar (definition). Also Wikidata Q7843500

History

2026-11-02: add by m2/dev

Bondy–Chvátal Theorem (1976) 5PMV08P9W5

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

Mentions

wikipedia: Wikipedia Hamiltonian path#IKJJ, Bondy–Chvátal Theorem (1976) (statement)

History

2026-11-02: add by m2/dev

5PMX02GGQR 5PMX02GGQR

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

Mentions

arxiv: arXiv 1002.0879#16YZ (definition). In M0SQY5EZN5/e1, definition 2.7.1

History

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

5PN4GGAGMK 5PN4GGAGMK

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

Mentions

arxiv: arXiv 2610.21255#RA97 (statement). In FB4DAYJJ5F/e1, theorem E

History

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

5PNC1XQ80K 5PNC1XQ80K

URI	`m2://inv/5PNC1XQ80K`
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.15313#7RMK (statement). In KWKY1CWG1Z/e1, lemma 4.3

History

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

PI Controller 5PNEPD41WB

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

Mentions

wikipedia: Wikipedia PID controller#PAEI, PI Controller (unknown)

History

2026-11-02: add by m2/dev

Van Winitsky 5PNRAGC3MN

URI	`m2://inv/5PNRAGC3MN`
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#O91L, Van Winitsky (unknown)

History

2026-11-02: add by m2/dev

function, domain of 5PNVP3KRGA

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

Mentions

hott_book: hott_book index/A.2/function-domain-of, function, domain of (concept). In N54F33XE07, index, section A.2

History

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

5PP38H21QV 5PP38H21QV

URI	`m2://inv/5PP38H21QV`
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.18281#QM6A (statement). In QYD0EJM85G/e1, lemma 3.8

History

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

Applications 5PP6M648SV

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

Mentions

wikipedia: Wikipedia Superparabola#PFOQ, Applications (example)

History

2026-11-02: add by m2/dev

configuration space 5PPB6H48B5

URI	`m2://inv/5PPB6H48B5`
Kind	definition
Layer	textbook
MSC	55R80
Sources	2
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q41636387, configuration space (topic). Also nLab configuration space of points
wikipedia: Wikipedia Configuration space (mathematics), Configuration space (definition). Also Wikidata Q41636387

History

2026-10-26: add by m2/dev

5PPF6XGC0E 5PPF6XGC0E

URI	`m2://inv/5PPF6XGC0E`
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 2106.09062#IBPN (statement). In 8HAH8QVKDF/e1, lemma 5.1

History

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

5PPHNGXATD 5PPHNGXATD

URI	`m2://inv/5PPHNGXATD`
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.15472#HYHO (statement). In 5Z3FH46YSY/e1, lemma 3.12

History

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

Hans Sommer 5PPM3Q7XB1

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

Mentions

wikipedia: Wikipedia List of German mathematicians#3POU, Hans Sommer (unknown)

History

2026-11-02: add by m2/dev

5PPPHPGFQ5 5PPPHPGFQ5

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

Mentions

arxiv: arXiv 2610.13884#FJAH (statement). In N2NQ3QJYTW/e1, lemma B.2

History

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

Variational series 5PPR18ZGD8

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

Mentions

wikipedia: Wikipedia Variational series, Variational series (definition). Also Wikidata Q12378282

History

2026-11-02: add by m2/dev

5PQ008FPZP 5PQ008FPZP

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

Mentions

arxiv: arXiv 2610.10469#LQ1Z (definition). In Q39BEKW6D9/e1, definition 2.10

History

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

Solar System effect on moon 5PQ8BBKZE6

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

Mentions

wikipedia: Wikipedia Solar wind#FEV4, Solar System effect on moon (unknown)

History

2026-11-02: add by m2/dev

5PQFJDM7RF 5PQFJDM7RF

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_formal-num-sys.ptx#proposition-1 (statement). In QKM9DD2H56, proposition, section B.7

History

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

radical 5PQQZ3BXTG

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

Mentions

wikipedia: Wikipedia Glossary of Lie groups and Lie algebras#BQ8N, radical (definition)

History

2026-11-02: add by m2/dev

Lindelöf 5PQSGMNKWC

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

Mentions

wikipedia: Wikipedia Glossary of general topology#JY6A, Lindelöf (definition)

History

2026-11-02: add by m2/dev

Neil Sloane 5PQSY58NYM

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

Mentions

wikipedia: Wikipedia Neil Sloane, Neil Sloane (topic). Also Wikidata Q1333178

History

2026-11-02: add by m2/dev

Jerzy F. Plebański 5PQT8P25QS

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#A3OC, Jerzy F. Plebański (unknown)

History

2026-11-02: add by m2/dev

5PQVBBQE7A 5PQVBBQE7A

URI	`m2://inv/5PQVBBQE7A`
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.08912#SYRF (statement). In DK5QY64NGH/e1, lemma 5.7

History

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

Pesin Entropy Formula 5PQWNN82QM

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

Mentions

wikipedia: Wikipedia Pesin Entropy Formula, Pesin Entropy Formula (statement). Also Wikidata Q140882963

History

2026-11-02: add by m2/dev

5PR3AGTJHY 5PR3AGTJHY

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

Mentions

arxiv: arXiv 2609.21116#HXFZ (statement)

History

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

Bion of Abdera 5PR4R98DKD

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#RZ4Y, Bion of Abdera (topic)

History

2026-11-02: add by m2/dev

5PR4VHDPP6 5PR4VHDPP6

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

Mentions

arxiv: arXiv 2610.17325#JIK0 (statement). In SE16BAED46/e1, corollary 1

History

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

Variations 5PR77PJ4QC

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

Mentions

wikipedia: Wikipedia Kaleidocycle#MUJL, Variations (statement)

History

2026-11-02: add by m2/dev

Carnot's theorem 5PR77QPTJQ

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

Mentions

wikipedia: Wikipedia Carnot's theorem (conics), Carnot's theorem (statement). Also Wikidata Q62910735

History

2026-11-02: add by m2/dev

5PRBTV5E8C 5PRBTV5E8C

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

Mentions

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

History

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

tangent indicatrix 5PRHA1T9SR

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

Mentions

wikidata: Wikidata Q7682873, tangent indicatrix (unknown). Also MathWorld TangentIndicatrix
wikipedia: Wikipedia Tangent indicatrix, Tangent indicatrix (definition). Also Wikidata Q7682873

History

2026-10-26: add by m2/dev

Frieze group 5PRMRPABWW

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

Mentions

wikipedia: Wikipedia Frieze group, Frieze group (definition). Also Wikidata Q265785

History

2026-11-02: add by m2/dev

5PRNJNC4E8 5PRNJNC4E8

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

Mentions

arxiv: arXiv 2610.17677#TWAI (statement). In 5E9G06XJKC/e1, lemma C.10

History

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

5PRNTKNE6D 5PRNTKNE6D

URI	`m2://inv/5PRNTKNE6D`
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.21477#RCNC (statement)

History

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

5PRPD9RVCJ 5PRPD9RVCJ

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

Mentions

arxiv: arXiv 2610.19791#1OCJ (definition). In AVDB4KJ6XB/e1, definition 3.9

History

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

Vladimir Aleksandrovich Fock 5PRSW6PSKA

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#INER, Vladimir Aleksandrovich Fock (unknown)

History

2026-11-02: add by m2/dev

5PRZAG4E0P 5PRZAG4E0P

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

Mentions

arxiv: arXiv 2312.14445#MUII (definition). In V56MKF0KW2/e1, definition 3.1

History

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

5PS27T5FEE 5PS27T5FEE

URI	`m2://inv/5PS27T5FEE`
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.07040#6FXN (statement). In KMNXNW7FHP/e1, lemma 4.1

History

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

Kurt Gödel 5PS3YAAWFN

URI	`m2://inv/5PS3YAAWFN`
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 Q41390, Kurt Gödel (unknown). Also nLab Kurt Gödel
wikipedia: Wikipedia Kurt Gödel, Kurt Gödel (topic). Also Wikidata Q41390

History

2026-10-26: add by m2/dev

Leo Harrington 5PSETH1RAB

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

Mentions

wikipedia: Wikipedia Leo Harrington, Leo Harrington (topic). Also Wikidata Q1818602

History

2026-11-02: add by m2/dev

George Piranian 5PSJZWCGT3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#DSDI, George Piranian (topic)

History

2026-11-02: add by m2/dev

West New York 5PSSE5PGYS

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#67IQ, West New York (unknown)

History

2026-11-02: add by m2/dev

5PSX1MP17Y 5PSX1MP17Y

URI	`m2://inv/5PSX1MP17Y`
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.39104#VEVT (statement). In V2NTW27MSJ/e1, theorem 2.9

History

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

Definition 5PSX5F3536

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

Mentions

wikipedia: Wikipedia Mixed Poisson distribution#E4C6, Definition (definition)

History

2026-11-02: add by m2/dev

5PSYVACSB7 5PSYVACSB7

URI	`m2://inv/5PSYVACSB7`
Kind	definition
Layer	research
MSC	18-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.16241#VGBX (definition). In WNDHZVY4WK/e1, definition A.1

History

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

5PT0WD17B6 5PT0WD17B6

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

Mentions

arxiv: arXiv 2610.21260#J9WT (statement). In Z7WW536KA5/e1, proposition 2.1

History

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

5PT40ZXSCW 5PT40ZXSCW

URI	`m2://inv/5PT40ZXSCW`
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.01268#RIMY (statement). In 80Q4X3WT8W/e1, lemma 3.10

History

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

A cluster is a knot and one independent asset 5PT6NMG2G2

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

Mentions

arxiv: arXiv 2609.21271#CA1W, A cluster is a knot and one independent asset (statement)

History

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

5PTA3HCFJY 5PTA3HCFJY

URI	`m2://inv/5PTA3HCFJY`
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.21972#TIAY (statement)

History

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

5PTJ425E4F 5PTJ425E4F

URI	`m2://inv/5PTJ425E4F`
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 2606.20229#XK7B (statement). In 1B85G2QJC2/e1, corollary 6.5

History

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

James R. Norris 5PTW6CWZV8

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2B2M, James R. Norris (topic)

History

2026-11-02: add by m2/dev

Lawvere 5PTXWBXVXS

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

Mentions

hott_book: hott_book index/u1.u5/lawvere, Lawvere (concept). In N54F33XE07, index, section u1.u5

History

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

5PV67ZJQC2 5PV67ZJQC2

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

Mentions

arxiv: arXiv 2610.12329#JAVW (statement). In ZJQB9W60T6/e1, theorem 1.2

History

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

5PV7M6HNC3 5PV7M6HNC3

URI	`m2://inv/5PV7M6HNC3`
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.04466#CA7V (statement). In EHW82CK883/e1, theorem 6.1

History

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

5PVHT12Z9D 5PVHT12Z9D

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

Mentions

arxiv: arXiv 2609.40028#26EA (statement). In N8TDKGGC7S/e1, proposition 2.2
arxiv: arXiv 2609.40029#9JVS (statement). In 71C8YHM5A1/e1, proposition 2.2

History

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

5PVPH576PA 5PVPH576PA

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 19.4

History

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

5PVSPWV1ZG 5PVSPWV1ZG

URI	`m2://inv/5PVSPWV1ZG`
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.10773#0MHQ (statement). In 744Y8ZPEV7/e1, lemma 2.4

History

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

5PVVTQ0VAK 5PVVTQ0VAK

URI	`m2://inv/5PVVTQ0VAK`
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-40 (exercise). In E9HS8K3A52, exercise, section 6.3.3

History

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

5PW42E3RS0 5PW42E3RS0

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

Mentions

arxiv: arXiv 2610.11210#HU8Z (statement). In CRFDGFZHBF/e1, proposition 3.2

History

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

Statement of the lemma 5PW5WX5W30

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

Mentions

wikipedia: Wikipedia Stechkin's lemma#V9ZW, Statement of the lemma (statement)

History

2026-11-02: add by m2/dev

5PW7AN8D1R 5PW7AN8D1R

URI	`m2://inv/5PW7AN8D1R`
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.16233#0XUX (statement). In RNXMADQ33J/e1, lemma 2.1

History

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

5PWJ5X23AK 5PWJ5X23AK

URI	`m2://inv/5PWJ5X23AK`
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 2601.22681#B49H (statement). In 68VEQQX68G/e1, lemma 2.7

History

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

Brauer's height zero conjecture 5PWQ5FXMWF

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

Mentions

wikipedia: Wikipedia Brauer's height zero conjecture, Brauer's height zero conjecture (statement). Also Wikidata Q131191617

History

2026-11-02: add by m2/dev

The product of measures 5PWSP4998J

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

Mentions

arxiv: arXiv 2609.26270#ONHZ, The product of measures (statement)

History

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

Definition 5PWZZZKCPA

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

Mentions

wikipedia: Wikipedia Real rank (C*-algebras)#HPIP, Definition (definition)

History

2026-11-02: add by m2/dev

5PX2YY0SSW 5PX2YY0SSW

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

Mentions

wikipedia: Wikipedia Powerful number#FN81 (problem)

History

2026-11-02: add by m2/dev

Properties 5PX3F753HD

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

Mentions

wikipedia: Wikipedia Splitter (geometry)#KTDI, Properties (statement)

History

2026-11-02: add by m2/dev

Lattice Boltzmann methods 5PXEFT4QW7

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#RXO8, Lattice Boltzmann methods (definition)

History

2026-11-02: add by m2/dev

5PXF7R2T66 5PXF7R2T66

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

Mentions

arxiv: arXiv 2609.30730#6IQ2 (statement). In 7R7ANDMWG4/e1, proposition 8.1

History

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

ω 5PXGQCMSDY

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

Mentions

wikipedia: Wikipedia Glossary of set theory#FK5O, ω (definition)

History

2026-11-02: add by m2/dev

Strong four exponentials conjecture 5PXHS5W6MM

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

Mentions

wikipedia: Wikipedia Four exponentials conjecture#OTIN, Strong four exponentials conjecture (statement)

History

2026-11-02: add by m2/dev

Coaxal circles 5PXPG119VB

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

Mentions

wikipedia: Wikipedia Apollonian circles#PK9J, Coaxal circles (unknown)

History

2026-11-02: add by m2/dev

Winsorized mean 5PXVF8RSEY

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

Mentions

wikipedia: Wikipedia Winsorized mean, Winsorized mean (definition). Also Wikidata Q2989389

History

2026-11-02: add by m2/dev

5PXZYVE1JC 5PXZYVE1JC

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

Mentions

arxiv: arXiv 2609.35927#GNF2 (statement). In 7S0DWBCNS8/e1, theorem 6.1

History

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

Example 5PY4AQWSW9

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

Mentions

wikipedia: Wikipedia Multinomial theorem#0FHP, Example (example)

History

2026-11-02: add by m2/dev

Vilfredo Pareto 5PY4BNRHXQ

URI	`m2://inv/5PY4BNRHXQ`
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 Q11031, Vilfredo Pareto (unknown). Also EoM Pareto,_Vilfredo_Federigo_Samaso

History

2026-10-26: add by m2/dev

5PY6K6YSA6 5PY6K6YSA6

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

Mentions

arxiv: arXiv 2610.20385#66O9 (statement). In 54HS9AHWPE/e1, proposition 4.2

History

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

5PY70YVMR2 5PY70YVMR2

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

Mentions

arxiv: arXiv 2610.15831#ZNCG (statement). In CVESAPNMCQ/e1, lemma 3.13

History

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

Definition 5PYAZK7D52

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

Mentions

wikipedia: Wikipedia Marginal distribution#PVEY, Definition (definition)

History

2026-11-02: add by m2/dev

Properties 5PYNCH950E

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

Mentions

wikipedia: Wikipedia Dunce hat (topology)#625I, Properties (statement)

History

2026-11-02: add by m2/dev

Examples 5PYPW0024A

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

Mentions

wikipedia: Wikipedia Distance-regular graph#1A2M, Examples (example)

History

2026-11-02: add by m2/dev

5PYWV778TY 5PYWV778TY

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

Mentions

arxiv: arXiv 2609.26701#M3IX (problem)

History

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

The conditional MCSE misses nothing at first order 5PZ34044AP

URI	`m2://inv/5PZ34044AP`
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.17403#STPB, The conditional MCSE misses nothing at first order (statement). In 9EMNMAW8YH/e1, corollary 24

History

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

Painlevé transcendents 5PZACTQ5YM

URI	`m2://inv/5PZACTQ5YM`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Painlevé transcendents AZ17JCMRKB

Mentions

wikidata: Wikidata Q907724, Painlevé transcendents (unknown). Also MathWorld PainleveTranscendents
wikipedia: Wikipedia Painlevé transcendents, Painlevé transcendents (definition). Also Wikidata Q907724

History

2026-10-26: add by m2/dev

5PZAGBX8XD 5PZAGBX8XD

URI	`m2://inv/5PZAGBX8XD`
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.32599#7YM2 (statement). In E1Y93JNBJA/e1, theorem 4.10

History

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

5PZCTSPNKY 5PZCTSPNKY

URI	`m2://inv/5PZCTSPNKY`
Kind	definition
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 0903.1569#376S (definition). In ZM7WZ2A9H2/e1, definition 2.1

History

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

Generalizations 5PZQATTWH8

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

Mentions

wikipedia: Wikipedia Inner product space#P0KI, Generalizations (statement)

History

2026-11-02: add by m2/dev

Bray–Curtis dissimilarity 5PZSMVFAT7

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

Mentions

wikipedia: Wikipedia Bray–Curtis dissimilarity, Bray–Curtis dissimilarity (definition). Also Wikidata Q3030670

History

2026-11-02: add by m2/dev