Inventory rows F2

F2021802ZK F2021802ZK

URI	`m2://inv/F2021802ZK`
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 2111.07409#GH40 (statement). In KWH4QJDPWC/e1, theorem 5.3

History

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

I.8 Ex. 7 F202RJRFRA

URI	`m2://inv/F202RJRFRA`
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.36181#31FC, I.8 Ex. 7 (statement). In 1KSE33PVS6/e1, proposition 43

History

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

F207N3P6Q9 F207N3P6Q9

URI	`m2://inv/F207N3P6Q9`
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.18358#PGB4 (statement). In SPZ446XNDW/e1, lemma 3.1

History

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

F2096W3JGP F2096W3JGP

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

Mentions

arxiv: arXiv 2609.26308#IIPF (statement)

History

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

F20D9FTECQ F20D9FTECQ

URI	`m2://inv/F20D9FTECQ`
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.12034#I800 (statement). In 1FRW4N1H90/e1, theorem 3

History

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

F20J0Y1CQK F20J0Y1CQK

URI	`m2://inv/F20J0Y1CQK`
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.24374#6K0D (statement)

History

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

F20JR3AMJD F20JR3AMJD

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

Mentions

arxiv: arXiv 2609.31220#5Y03 (statement). In JMWCGMNE84/e1, theorem 5.2

History

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

Marston Morse F210B2DX55

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0T4V, Marston Morse (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2HBB, Marston Morse (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S7KN, Marston Morse (topic)

History

2026-11-02: add by m2/dev

F211G74Z2A F211G74Z2A

URI	`m2://inv/F211G74Z2A`
Kind	problem
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 2506.07061#XSSS (problem). In G2PA4KAGRP/e1, problem 5.13

History

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

Path lifting F212SVCXFV

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

Mentions

arxiv: arXiv 2610.01346#WGA1, Path lifting (statement). In 44DQ7W1NW9/e1, lemma 4.5

History

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

recursion principle, for suspension F21A6C5TJK

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

Mentions

hott_book: hott_book index/5.5/recursion-principle-for-suspension, recursion principle, for suspension (concept). In N54F33XE07, index, section 5.5

History

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

Patrick Billingsley F21CQCW84E

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

Mentions

wikipedia: Wikipedia Patrick Billingsley, Patrick Billingsley (topic). Also Wikidata Q1679036

History

2026-11-02: add by m2/dev

Singular spectrum analysis F21HZ7YY28

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

Mentions

wikipedia: Wikipedia Singular spectrum analysis, Singular spectrum analysis (definition). Also Wikidata Q4048889

History

2026-11-02: add by m2/dev

Peierls–Bogoliubov inequality F21JJA54RY

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

Mentions

wikipedia: Wikipedia Trace inequality#R4EV, Peierls–Bogoliubov inequality (statement)

History

2026-11-02: add by m2/dev

F21NAXPH8A F21NAXPH8A

URI	`m2://inv/F21NAXPH8A`
Kind	definition
Layer	research
MSC	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 2610.09422#IHKH (definition). In MS7M2BJS9X/e1, definition 2.1

History

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

F21Y9EBAQH F21Y9EBAQH

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

Mentions

napkin: napkin tex/alg-NT/norm-trace.tex#example-4 (example). In RZP28ERRZV, example, section 15.2

History

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

Donald Kreider F223KSDTPR

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

Mentions

wikipedia: Wikipedia Donald Kreider, Donald Kreider (topic). Also Wikidata Q102194198

History

2026-11-02: add by m2/dev

Switch counts and scalar kinks F2266SJRFP

URI	`m2://inv/F2266SJRFP`
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.32695#4MDV, Switch counts and scalar kinks (statement). In VQSF2E35BX/e1, lemma A.3

History

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

F226XVD85M F226XVD85M

URI	`m2://inv/F226XVD85M`
Kind	definition
Layer	research
MSC	14-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.22326#79B0 (definition). In EAABRG99V8/e1, definition 6.1

History

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

F22C9AW5XV F22C9AW5XV

URI	`m2://inv/F22C9AW5XV`
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.36613#EBS3 (statement). In GX0K0ZM700/e1, lemma 3.15

History

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

rhumb line F22CPV2999

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

Mentions

wikidata: Wikidata Q215169, rhumb line (unknown). Also MathWorld Loxodrome

History

2026-10-26: add by m2/dev

Irène Waldspurger F22E0VMF99

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

Mentions

wikipedia: Wikipedia Irène Waldspurger, Irène Waldspurger (topic). Also Wikidata Q104516415

History

2026-11-02: add by m2/dev

F22H98KGR9 F22H98KGR9

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

Mentions

arxiv: arXiv 2610.05204#F34Z (statement). In ET0TQ8YF7Z/e1, lemma 3.3

History

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

semicovariant F22QKMS8HC

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#16IH, semicovariant (definition)

History

2026-11-02: add by m2/dev

Huixia Judy Wang F22RRYMXN4

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

Mentions

wikipedia: Wikipedia Huixia Judy Wang, Huixia Judy Wang (topic). Also Wikidata Q56044124

History

2026-11-02: add by m2/dev

F2310PDANM F2310PDANM

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

Mentions

arxiv: arXiv 2609.33015#ABO6 (statement). In W6Y6NPK648/e1, proposition 5.6

History

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

decimic F23JMT5F44

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#4BIP, decimic (definition)

History

2026-11-02: add by m2/dev

Vitali's Paradox (in $\ZFC$) F244M0CMKR

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

Mentions

open_logic: open_logic content/set-theory/choice/vitali.tex#vitaliparadox, Vitali's Paradox (in $\ZFC$) (statement). In PKGMM3P5QY, thm, section 71.6

History

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

Laura Schaposnik F247CKQXZV

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

Mentions

wikipedia: Wikipedia Laura Schaposnik, Laura Schaposnik (topic). Also Wikidata Q91763146

History

2026-11-02: add by m2/dev

F248QDYS6J F248QDYS6J

URI	`m2://inv/F248QDYS6J`
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.08599#DANP (statement). In DST9FWMHT6/e1, theorem 3.5

History

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

Bra-ket notation for outer product F248W6APDD

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

Mentions

wikipedia: Wikipedia Bra–ket notation#BZK5, Bra-ket notation for outer product (unknown)

History

2026-11-02: add by m2/dev

Gino Loria F2491X5PGF

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#2OGI, Gino Loria (topic)
wikipedia: Wikipedia List of Italian mathematicians#KL8O, Gino Loria (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8BCC, Gino Loria (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AKGV, Gino Loria (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CS9K, Gino Loria (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LANP, Gino Loria (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SHMQ, Gino Loria (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TXJE, Gino Loria (topic)

History

2026-11-02: add by m2/dev

Axiom of well-ordering (choice) - 9 F24J3NCDBG

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

Mentions

wikipedia: Wikipedia Zermelo–Fraenkel set theory#P7Q2, Axiom of well-ordering (choice) - 9 (statement)

History

2026-11-02: add by m2/dev

F24M6ATKTH F24M6ATKTH

URI	`m2://inv/F24M6ATKTH`
Kind	example
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.26948#O3SM (example)

History

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

F24W3DWF4S F24W3DWF4S

URI	`m2://inv/F24W3DWF4S`
Kind	statement
Layer	research
MSC	16-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.27420#ID0Q (statement)

History

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

vinculum F24Z1RK11N

URI	`m2://inv/F24Z1RK11N`
Kind	definition
Layer	textbook
Sources	2
Outcome	out_of_scope (a notation: the notation register holds it (corpus spec K10.4))
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q2917134, vinculum (unknown). Also MathWorld Vinculum, ProofWiki Symbols:Brackets/Vinculum
wikipedia: Wikipedia Vinculum (symbol), Vinculum (definition). Also Wikidata Q2917134

History

2026-10-26: add by m2/dev

F25M9ZDEVJ F25M9ZDEVJ

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

Mentions

arxiv: arXiv 2610.06747#VGLX (statement). In AB2WPR2FRR/e1, theorem 2.3

History

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

Algorithm F25N3ZM5TS

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

Mentions

wikipedia: Wikipedia Brent's method#5PZG, Algorithm (definition)

History

2026-11-02: add by m2/dev

F261B714XN F261B714XN

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

Mentions

hott_book: hott_book categories.tex#ct:precategory (definition). In N54F33XE07, defn, section 2.1

History

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

F264EBXX57 F264EBXX57

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/first-order-languages.tex#ex-2 (example). In PKGMM3P5QY, ex, section 19.7

History

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

F264NR743N F264NR743N

URI	`m2://inv/F264NR743N`
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 2608.23797#D618 (statement). In PZCA01JXVR/e1, proposition 1.4

History

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

F268VYAC3H F268VYAC3H

URI	`m2://inv/F268VYAC3H`
Kind	example
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.18287#UICW (example). In ZXZN6RMN38/e1, example 4

History

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

Overlapping size--depth transfer F26KD13CTZ

URI	`m2://inv/F26KD13CTZ`
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.02407#FTN6, Overlapping size--depth transfer (statement). In ZZER8ZBSCR/e1, theorem 6.19

History

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

Jarzynski's equality with survival and rejection sampling F26VGEF8E8

URI	`m2://inv/F26VGEF8E8`
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#FTEJ, Jarzynski's equality with survival and rejection sampling (statement). In WYE2JVEZBT/e1, lemma 3.16

History

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

F273N8DB0Q F273N8DB0Q

URI	`m2://inv/F273N8DB0Q`
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 2609.20588#ATIH (definition)

History

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

Michel Talagrand F274VV01MJ

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S13H, Michel Talagrand (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SXPJ, Michel Talagrand (topic)

History

2026-11-02: add by m2/dev

Statement F275CGAP7D

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

Mentions

wikipedia: Wikipedia Thomas precession#1UT2, Statement (statement)

History

2026-11-02: add by m2/dev

type, product F27E5A7K9X

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

Mentions

hott_book: hott_book index/A.5/type-product, type, product (concept). In N54F33XE07, index, section A.5

History

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

Congruence (geometry) F27PPWTCEP

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

Mentions

wikipedia: Wikipedia List of triangle topics#IGN2, Congruence (geometry) (definition)

History

2026-11-02: add by m2/dev

F27YQRFR3H F27YQRFR3H

URI	`m2://inv/F27YQRFR3H`
Kind	statement
Layer	research
MSC	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 2609.40017#LFJ7 (statement). In MBHJA0HT06/e1, proposition 5.1

History

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

Hodge filtration F2829TW15Y

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

Mentions

wikipedia: Wikipedia List of things named after W. V. D. Hodge#FW7B, Hodge filtration (definition)

History

2026-11-02: add by m2/dev

Segal category F289G7GGJ9

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

Mentions

wikidata: Wikidata Q7446188, Segal category (unknown). Also nLab Segal category

History

2026-10-26: add by m2/dev

Theorem (Szemerédi–Trotter) F28E42KX2G

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

Mentions

wikipedia: Wikipedia Incidence geometry#YIV0, Theorem (Szemerédi–Trotter) (statement)

History

2026-11-02: add by m2/dev

Determining class F28EZXXKR7

URI	`m2://inv/F28EZXXKR7`
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.14318#P5IC, Determining class (statement). In HA4SZZJ831/e1, lemma 3.2

History

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

Scrolling F28GZFXNX7

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#S22R, Scrolling (unknown)

History

2026-11-02: add by m2/dev

Steinhaus–Johnson–Trotter algorithm F28MKJW3J2

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

Mentions

wikipedia: Wikipedia List of permutation topics#IH8N, Steinhaus–Johnson–Trotter algorithm (unknown)

History

2026-11-02: add by m2/dev

Sherman–Morrison formula F28NARSQKY

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

Mentions

wikipedia: Wikipedia List of mathematical identities#YGOD, Sherman–Morrison formula (statement)

History

2026-11-02: add by m2/dev

fastest algorithm for matrix multiplication F28SAVAS0V

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#L15V, fastest algorithm for matrix multiplication (conjecture)

History

2026-11-02: add by m2/dev

Definition F28X8RJ96H

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

Mentions

wikipedia: Wikipedia Biharmonic map#MCXZ, Definition (definition)

History

2026-11-02: add by m2/dev

Guy L. Steele Jr. F28Z4W99CT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#5Y5D, Guy L. Steele Jr. (unknown)

History

2026-11-02: add by m2/dev

Grace Andrews F290WTD0W8

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

Mentions

wikipedia: Wikipedia Grace Andrews (mathematician), Grace Andrews (topic). Also Wikidata Q5590978

History

2026-11-02: add by m2/dev

F292CEKXX7 F292CEKXX7

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-58 (exercise). In E9HS8K3A52, exercise, section 4.4

History

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

F29GAN3SMD F29GAN3SMD

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

Mentions

arxiv: arXiv 2609.26058#5OXO (statement)

History

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

Cauchy-Davenport theorem F29V1SBD85

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

Mentions

mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Cauchy-Davenport theorem, Cauchy-Davenport theorem (unknown). Also Mathlib ZMod.cauchy_davenport

History

2026-10-26: add by m2/dev

Chevalley group F2A89W5K89

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

Mentions

wikipedia: Wikipedia List of group theory topics#A9O9, Chevalley group (definition)

History

2026-11-02: add by m2/dev

Electronic Communications in Probability F2A90EG8FE

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

Mentions

wikipedia: Wikipedia List of probability journals#HPCT, Electronic Communications in Probability (unknown)

History

2026-11-02: add by m2/dev

Examples F2AAWSDGWD

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

Mentions

wikipedia: Wikipedia Supergroup (physics)#RN1Q, Examples (example)

History

2026-11-02: add by m2/dev

Super-/sub-level set estimate of the logarithm F2AGWKBH25

URI	`m2://inv/F2AGWKBH25`
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.08434#LQPB, Super-/sub-level set estimate of the logarithm (statement). In VN8087G2FC/e1, lemma 6.1

History

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

F2AN6W4GFS F2AN6W4GFS

URI	`m2://inv/F2AN6W4GFS`
Kind	statement
Layer	research
MSC	05-XX, 37-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 2601.04559#5WWM (statement). In WWMHZKWZSM/e1, proposition 23

History

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

Rita Zemach F2AT5FXPMZ

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

Mentions

wikipedia: Wikipedia Rita Zemach, Rita Zemach (topic). Also Wikidata Q43117281

History

2026-11-02: add by m2/dev

F2ATAYFSG8 F2ATAYFSG8

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

Mentions

arxiv: arXiv 2610.01087#ARXG (statement). In 7QXAZXGNPQ/e1, theorem 1.5

History

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

Examples F2B29HKSKY

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

Mentions

wikipedia: Wikipedia Lamination (topology)#9MT6, Examples (example)

History

2026-11-02: add by m2/dev

F2B3XP9BQA F2B3XP9BQA

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

Mentions

arxiv: arXiv 2610.20466#42BI (statement). In M4ZVJWM8YA/e1, proposition 4.28

History

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

Example F2B7QJ57CS

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

Mentions

wikipedia: Wikipedia Body of constant brightness#P09X, Example (example)

History

2026-11-02: add by m2/dev

Tannakian duality F2BAJD748C

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#1OZ2, Tannakian duality (definition)

History

2026-11-02: add by m2/dev

Non-simple blow-up of mean-field type on the unit disk F2BG0AWP5Q

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

Mentions

arxiv: arXiv 2609.20042#MIV5, Non-simple blow-up of mean-field type on the unit disk (statement)

History

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

Yavaneśvara (2nd century) F2BQ2GVX19

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#1TTK, Yavaneśvara (2nd century) (unknown)

History

2026-11-02: add by m2/dev

Implementations F2BVTWDEKF

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

Mentions

wikipedia: Wikipedia Overline#GQUK, Implementations (definition)

History

2026-11-02: add by m2/dev

F2BW3Z5NEE F2BW3Z5NEE

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

Mentions

napkin: napkin tex/alg-geom/sheaves.tex#definition-1 (definition). In RZP28ERRZV, definition, section 25.2.1

History

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

Uniform Hessian lower bound F2C7G39NYS

URI	`m2://inv/F2C7G39NYS`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-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.22659#1JVI, Uniform Hessian lower bound (statement)

History

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

Dorabella Cipher F2C9QSANYH

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

Mentions

wikipedia: Wikipedia Dorabella Cipher, Dorabella Cipher (definition). Also Wikidata Q1243683

History

2026-11-02: add by m2/dev

Schatten F2CCJF8TSB

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#WHZD, Schatten (definition)

History

2026-11-02: add by m2/dev

Noiseless responses F2CR27ENTZ

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

Mentions

arxiv: arXiv 2610.00501#GWMX, Noiseless responses (example). In FTPW1SZ8D3/e1, example 5.6

History

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

Alexander Vilenkin F2CV3BKZA2

URI	`m2://inv/F2CV3BKZA2`
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 Q1399445, Alexander Vilenkin (unknown). Also nLab Alexander Vilenkin

History

2026-10-26: add by m2/dev

Löwenheim–Skolem theorem F2CZPV34NC

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#ELRX, Löwenheim–Skolem theorem (statement)

History

2026-11-02: add by m2/dev

Lagrangian Grassmannian F2D2VN6N1N

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

Mentions

wikidata: Wikidata Q3150398, Lagrangian Grassmannian (unknown). Also nLab Lagrangian Grassmannian
wikipedia: Wikipedia Lagrangian Grassmannian, Lagrangian Grassmannian (definition). Also Wikidata Q3150398

History

2026-10-26: add by m2/dev

F2D3A26ER2 F2D3A26ER2

URI	`m2://inv/F2D3A26ER2`
Kind	definition
Layer	research
MSC	05-XX, 11-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 2609.25168#A2NQ (definition)

History

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

Theories of semantics F2DN7ACHFJ

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

Mentions

wikipedia: Wikipedia Semantics#VALC, Theories of semantics (unknown)

History

2026-11-02: add by m2/dev

Colour-class identity and empty blocks F2DP2YV780

URI	`m2://inv/F2DP2YV780`
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.38993#7QVR, Colour-class identity and empty blocks (statement). In AFKQK866Y1/e1, proposition 4.3

History

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

Symmetry F2DSAM4VKV

URI	`m2://inv/F2DSAM4VKV`
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 1704.08191#D0XS, Symmetry (statement). In 8DATR785BJ/e1, theorem 5

History

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

Aggregation of square-root tails F2DVNAH3HD

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

Mentions

arxiv: arXiv 2609.38659#7JGL, Aggregation of square-root tails (statement). In DCJ23ZYXGK/e1, lemma C.3

History

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

Seven Oaks, Texas F2DWYQ8YDE

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

Mentions

wikipedia: Wikipedia List of places with numeric names#UOFY, Seven Oaks, Texas (unknown)

History

2026-11-02: add by m2/dev

Definition F2DZE11FEX

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

Mentions

wikipedia: Wikipedia Consistency#6MEC, Definition (definition)

History

2026-11-02: add by m2/dev

Alexander Razgulin F2E5T3KAB0

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

Mentions

wikipedia: Wikipedia Alexander Razgulin, Alexander Razgulin (topic). Also Wikidata Q53973613

History

2026-11-02: add by m2/dev

F2EAAD9D1R F2EAAD9D1R

URI	`m2://inv/F2EAAD9D1R`
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.00625#TDQ1 (definition). In BGA625B7W1/e1, definition 1.4

History

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

square-free integer F2EAN3B8SV

URI	`m2://inv/F2EAN3B8SV`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Square-free integer 004JW7A2N5

Mentions

wikidata: Wikidata Q50706, square-free integer (definition). Also MathWorld Squarefree, OEIS A005117, ProofWiki Definition:Square-Free_Integer
wikipedia: Wikipedia Square-free integer, Square-free integer (definition). Also Wikidata Q50706

History

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

Hadamard derivative F2EC65KYNQ

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

Mentions

wikipedia: Wikipedia List of things named after Jacques Hadamard#DEDV, Hadamard derivative (definition)

History

2026-11-02: add by m2/dev

F2EDFEEAE9 F2EDFEEAE9

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

Mentions

arxiv: arXiv 2610.14060#L9AZ (statement). In X47RYAZF8P/e1, lemma 7.4

History

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

Tripoli, Lebanon F2EDTRZEQE

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

Mentions

wikipedia: Wikipedia List of places with numeric names#J6QX, Tripoli, Lebanon (unknown)

History

2026-11-02: add by m2/dev

Alternation (geometry) F2ENZ08QCH

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3H3V, Alternation (geometry) (definition)

History

2026-11-02: add by m2/dev

F2EPG42Q9W F2EPG42Q9W

URI	`m2://inv/F2EPG42Q9W`
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.26701#KKM5 (statement)

History

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

F2EQW83BT6 F2EQW83BT6

URI	`m2://inv/F2EQW83BT6`
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.07546#QVYE (statement). In H9YE46CGFN/e1, lemma 6

History

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

Abu Bakr al-Hassar F2ESMRTXPB

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

Mentions

wikipedia: Wikipedia Abu Bakr al-Hassar, Abu Bakr al-Hassar (topic). Also Wikidata Q4116723

History

2026-11-02: add by m2/dev

Hibbert, Sir Jack F2ET7XAE5K

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

Mentions

wikipedia: Wikipedia List of statisticians#QZLZ, Hibbert, Sir Jack (unknown)

History

2026-11-02: add by m2/dev

F2EZBQZ7N7 F2EZBQZ7N7

URI	`m2://inv/F2EZBQZ7N7`
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.21092#I2ET (statement). In AGJE43FTF8/e1, proposition 5.10

History

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

F2F0A5W6TN F2F0A5W6TN

URI	`m2://inv/F2F0A5W6TN`
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.23873#EO07 (statement)

History

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

F2F1PM8TET F2F1PM8TET

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

Mentions

arxiv: arXiv 2609.36412#782K (example). In 6HKGGCMBCK/e1, example 2.6

History

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

Leo Smit F2F863F0ZE

URI	`m2://inv/F2F863F0ZE`
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#66AS, Leo Smit (unknown)

History

2026-11-02: add by m2/dev

F2FAJ66QXF F2FAJ66QXF

URI	`m2://inv/F2FAJ66QXF`
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#BQ86 (statement). In E22A2MFR4Y/e1, lemma 4.10

History

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

Maxwell-Cremona correspondence F2FHW0G459

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

Mentions

wikipedia: Wikipedia Steinitz's theorem#CKPX, Maxwell-Cremona correspondence (unknown)

History

2026-11-02: add by m2/dev

Differential Privacy F2FPTPZPAR

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

Mentions

arxiv: arXiv 2610.05867#010K, Differential Privacy (definition). In E2TP3AKTNV/e1, definition 1

History

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

p-adic absolute value F2FQG9SG5M

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

Mentions

wikidata: Wikidata Q18470053, p-adic absolute value (unknown). Also MathWorld p-adicNorm

History

2026-10-26: add by m2/dev

Mean of Phidias F2FRDQ4C5V

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

Mentions

wikipedia: Wikipedia List of scientific constants named after people#9S7Y, Mean of Phidias (definition)

History

2026-11-02: add by m2/dev

Half Acre, New Jersey F2FRE949P7

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

Mentions

wikipedia: Wikipedia List of places with numeric names#M55D, Half Acre, New Jersey (unknown)

History

2026-11-02: add by m2/dev

Integer sequence F2FTJARAC6

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

Mentions

wikipedia: Wikipedia List of recreational number theory topics#DKAC, Integer sequence (definition)

History

2026-11-02: add by m2/dev

Theorem (Schmidt 1981) F2FZBQZRZ0

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

Mentions

wikipedia: Wikipedia Congruence lattice problem#ELXR, Theorem (Schmidt 1981) (statement)

History

2026-11-02: add by m2/dev

F2G3HKAQ2Q F2G3HKAQ2Q

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#defn-9 (definition). In E59CDZA4DP, defn, section 11.9.4

History

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

Scheff\'e F2G5T9QZGD

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

Mentions

arxiv: arXiv 2610.10570#22D4, Scheff\'e (statement). In V0MA250K2P/e1, lemma 2.4

History

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

F2G96T8BGM F2G96T8BGM

URI	`m2://inv/F2G96T8BGM`
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.13076#1G0E (statement). In K7GJA4WGV7/e1, theorem 2.1

History

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

F2GAH2HQKF F2GAH2HQKF

URI	`m2://inv/F2GAH2HQKF`
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.22759#DSMK (statement)

History

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

F2GFR9Y7CT F2GFR9Y7CT

URI	`m2://inv/F2GFR9Y7CT`
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.01924#FAO5 (statement). In CB89152EQW/e1, lemma 18

History

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

Secondary measure F2GP01NJAQ

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

Mentions

wikipedia: Wikipedia Secondary measure, Secondary measure (definition). Also Wikidata Q3307156

History

2026-11-02: add by m2/dev

Examples F2GSADHZF5

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

Mentions

wikipedia: Wikipedia Filtration (mathematics)#B2E4, Examples (example)

History

2026-11-02: add by m2/dev

Gram sub-matrix positivity F2GZ7JJ52J

URI	`m2://inv/F2GZ7JJ52J`
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.37074#DYWG, Gram sub-matrix positivity (statement). In VTNV72MCVD/e1, lemma 4.1

History

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

F2GZD8CRVQ F2GZD8CRVQ

URI	`m2://inv/F2GZD8CRVQ`
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.07927#EA6B (statement). In GKM19DHQTM/e1, lemma 6.8

History

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

Bilinear comparison F2HAN2N3R7

URI	`m2://inv/F2HAN2N3R7`
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.04944#EG0G, Bilinear comparison (statement). In BHSY6QQCVK/e1, proposition 2

History

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

A normalized contraction stepsize separation from PLMC F2HB66DKGJ

URI	`m2://inv/F2HB66DKGJ`
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.09522#64EA, A normalized contraction stepsize separation from PLMC (statement). In KKR9167FPT/e1, theorem 30

History

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

F2HRX5F1G5 F2HRX5F1G5

URI	`m2://inv/F2HRX5F1G5`
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.29449#806H (statement)

History

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

Dupin cyclide F2HTT5PDTT

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

Mentions

wikidata: Wikidata Q4907706, Dupin cyclide (concept). Also MathWorld Cyclide
wikipedia: Wikipedia Dupin cyclide, Dupin cyclide (definition). Also Wikidata Q4907706

History

2026-10-26: add by m2/dev

matrix representation F2HWK7GAK1

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

Mentions

mathlib_overview: mathlib_overview Linear algebra > Bilinear and quadratic forms > matrix representation, matrix representation (unknown). Also Mathlib LinearMap.BilinForm.toMatrix
mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Bilinear forms > matrix representation, matrix representation (unknown). Also Mathlib LinearMap.BilinForm.toMatrix

History

2026-10-26: add by m2/dev

F2HXED2BFA F2HXED2BFA

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

Mentions

arxiv: arXiv 2610.20165#JPID (statement). In QTD3BP5GA0/e1, theorem 1.3

History

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

F2J4RDVZ03 F2J4RDVZ03

URI	`m2://inv/F2J4RDVZ03`
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.24206#8T3Z (statement)

History

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

Menelaus of Alexandria F2J75FFF1C

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#HDUW, Menelaus of Alexandria (topic)

History

2026-11-02: add by m2/dev

\probname{VertexCover F2J967V2VF

URI	`m2://inv/F2J967V2VF`
Kind	problem
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.38436#M25V, \probname{VertexCover (problem). In 702AF3E4AF/e1, problem 4.6

History

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

Definition F2JEGEYH64

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

Mentions

wikipedia: Wikipedia Siegel theta series#HTXH, Definition (definition)

History

2026-11-02: add by m2/dev

F2JW9S90W9 F2JW9S90W9

URI	`m2://inv/F2JW9S90W9`
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.27641#5FZK (statement)

History

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

F2K54YFB6S F2K54YFB6S

URI	`m2://inv/F2K54YFB6S`
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.14985#KGKQ (statement). In DGXJW3SCBR/e1, theorem 5

History

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

Theorem F2KETKNDFD

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

Mentions

wikipedia: Wikipedia Kharitonov's theorem#1FIL, Theorem (statement)

History

2026-11-02: add by m2/dev

F2KF4KDP3S F2KF4KDP3S

URI	`m2://inv/F2KF4KDP3S`
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 2407.08976#9GWN (statement). In ZVNM9X4NNG/e1, lemma 15

History

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

F2KF9JRJD9 F2KF9JRJD9

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

Mentions

arxiv: arXiv 2609.28357#ADLS (statement)

History

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

Extensions of Fisher's method F2KM10FHXS

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

Mentions

wikipedia: Wikipedia List of statistics articles#3XF8, Extensions of Fisher's method (definition)

History

2026-11-02: add by m2/dev

Expressions and formulas F2KPJB4FC4

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

Mentions

wikipedia: Wikipedia Mathematical notation#1INP, Expressions and formulas (statement)

History

2026-11-02: add by m2/dev

F2KREMJ341 F2KREMJ341

URI	`m2://inv/F2KREMJ341`
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.14616#1ZEH (statement). In 17ACAG0N9C/e1, lemma 9.2

History

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

F2KY415Z6X F2KY415Z6X

URI	`m2://inv/F2KY415Z6X`
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.11481#N0JI (statement). In 8XHK5ZCX7H/e1, lemma 6.1

History

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

F2M497S71Y F2M497S71Y

URI	`m2://inv/F2M497S71Y`
Kind	statement
Layer	research
MSC	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 2610.10505#GGS5 (statement). In JW8HH6EPG2/e1, proposition 3.40

History

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

F2M506GMYT F2M506GMYT

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

Mentions

arxiv: arXiv 2610.14837#XIXR (statement). In J4P6HXMJCH/e1, lemma 5.1

History

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

F2MC3FQZYB F2MC3FQZYB

URI	`m2://inv/F2MC3FQZYB`
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.25190#16LX (statement)

History

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

F2MFC9RB9S F2MFC9RB9S

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

Mentions

arxiv: arXiv 2609.28141#O9NV (statement)

History

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

F2MG4C406Z F2MG4C406Z

URI	`m2://inv/F2MG4C406Z`
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.10873#5Y4D (statement). In AYG8HYGW6V/e1, lemma A.9

History

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

F2MKVZ00HB F2MKVZ00HB

URI	`m2://inv/F2MKVZ00HB`
Kind	definition
Layer	research
MSC	11-XX, 13-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.02961#G3RH (definition). In 986DENWM1D/e1, definition 4.3

History

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

Herman Müntz F2MMZT8XT8

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#Y6FQ, Herman Müntz (topic)

History

2026-11-02: add by m2/dev

Construction F2MTFWKEBR

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

Mentions

wikipedia: Wikipedia Biaugmented truncated cube#MLUL, Construction (definition)

History

2026-11-02: add by m2/dev

Hongmei Zhang F2MVMZ850Z

URI	`m2://inv/F2MVMZ850Z`
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#F1F8, Hongmei Zhang (topic)

History

2026-11-02: add by m2/dev

Zassenhaus algorithm F2MW457TWD

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

Mentions

wikipedia: Wikipedia Zassenhaus algorithm, Zassenhaus algorithm (definition). Also Wikidata Q148212

History

2026-11-02: add by m2/dev

Extensions F2MX5C6Y8A

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

Mentions

wikipedia: Wikipedia Gradient descent#AJJO, Extensions (statement)

History

2026-11-02: add by m2/dev

F2N7JQ775K F2N7JQ775K

URI	`m2://inv/F2N7JQ775K`
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#K7RH (statement)

History

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

F2N9GXZ1P1 F2N9GXZ1P1

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

Mentions

arxiv: arXiv 2610.05259#DTDL (definition). In X1J5HKPS3R/e1, definition 1.22

History

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

F2N9X8J67G F2N9X8J67G

URI	`m2://inv/F2N9X8J67G`
Kind	definition
Layer	research
MSC	03-XX, 13-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 math/0406514#WG1C (definition). In CY1FE8W1ZW/e1, definition 0.31

History

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

F2NTRPFBDH F2NTRPFBDH

URI	`m2://inv/F2NTRPFBDH`
Kind	definition
Layer	research
MSC	20-XX, 22-XX, 30-XX, 32-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 math/0512416#CK58 (definition). In WJD9YPGGYH/e1, definition 3.3

History

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

Gradient comparison F2NY59SXDT

URI	`m2://inv/F2NY59SXDT`
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.30877#FXRR, Gradient comparison (statement). In QKNE21ABF3/e1, lemma 6

History

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

F2P3WZEJDG F2P3WZEJDG

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

Mentions

austin_ula: austin_ula src/section2-5.xml#activity-mt-intro (exercise). In 649HGZKE96, activity, section 2.5.2

History

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

F2P7607VFS F2P7607VFS

URI	`m2://inv/F2P7607VFS`
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.36717#PC6X (statement). In 69FBWG9P3B/e1, theorem 1.2

History

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

F2P8MCMEY2 F2P8MCMEY2

URI	`m2://inv/F2P8MCMEY2`
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 2102.09374#XCZG (statement). In TGAHH1F8K5/e1, lemma 4.4

History

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

Radical plane F2PFXB96BG

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

Mentions

wikipedia: Wikipedia Radical axis#Z8JW, Radical plane (unknown)

History

2026-11-02: add by m2/dev

Algorithm F2PQ0PTTGP

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

Mentions

wikipedia: Wikipedia Convergent cross mapping#SIKT, Algorithm (definition)

History

2026-11-02: add by m2/dev

F2Q1JYADN1 F2Q1JYADN1

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

Mentions

napkin: napkin tex/calculus/p-adic.tex#theorem-5 (statement). In RZP28ERRZV, theorem, section 33.4

History

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

Impossibility of modulus-free gap certification F2Q77ZR8RK

URI	`m2://inv/F2Q77ZR8RK`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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.00295#K4G3, Impossibility of modulus-free gap certification (statement). In 7HXP270BD0/e1, theorem 5.19

History

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

F2QANC7MJ9 F2QANC7MJ9

URI	`m2://inv/F2QANC7MJ9`
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.40138#PS0M (statement). In R60HR493TS/e1, proposition 3.2

History

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

F2QJ29M0CH F2QJ29M0CH

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

Mentions

arxiv: arXiv 2609.28848#ROI5 (statement)

History

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

Bosonic string theory F2QRVTXH9A

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

Mentions

wikipedia: Wikipedia List of string theory topics#CKDD, Bosonic string theory (unknown)

History

2026-11-02: add by m2/dev

Γ F2R46HDT5G

URI	`m2://inv/F2R46HDT5G`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a notation: the notation register holds it (corpus spec K10.4))
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q14387, Γ (unknown). Also ProofWiki Symbols:Greek/Gamma

History

2026-10-26: add by m2/dev

Use F2R5YPMZVR

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

Mentions

wikipedia: Wikipedia BusKill#S4CG, Use (example)

History

2026-11-02: add by m2/dev

Rectified truncated octahedron F2R9C158QC

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

Mentions

wikipedia: Wikipedia Rectified truncated octahedron, Rectified truncated octahedron (object). Also Wikidata Q18393744

History

2026-11-02: add by m2/dev

F2RCN0PMEV F2RCN0PMEV

URI	`m2://inv/F2RCN0PMEV`
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 1011.1990#NJOP (statement). In GV0JBN5DWQ/e1, lemma D.3

History

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

F2RHM1VDBT F2RHM1VDBT

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

Mentions

arxiv: arXiv 2505.05539#C1WJ (statement). In 8SVVEVGMNE/e1, lemma 3.11

History

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

Theodor Reye F2RQGJRC8R

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V2LO, Theodor Reye (topic)
wikipedia: Wikipedia List of German mathematicians#25D9, Theodor Reye (topic)

History

2026-11-02: add by m2/dev

F2S02RNYQS F2S02RNYQS

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

Mentions

arxiv: arXiv 2610.22074#SRFK (statement). In F3BKXXPR3K/e1, lemma 3.17

History

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

F2SG807H54 F2SG807H54

URI	`m2://inv/F2SG807H54`
Kind	problem
Layer	research
MSC	20-XX, 26-XX, 35-XX, 37-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 2311.00585#5PAD (problem). In 332PQD90SW/e1, problem 2.7

History

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

Examples F2SJZ0XMM4

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

Mentions

wikipedia: Wikipedia Specular reflection#P268, Examples (example)

History

2026-11-02: add by m2/dev

F2SMSEXFWN F2SMSEXFWN

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

Mentions

arxiv: arXiv 2610.21921#HQNN (example). In CM2YEK9T4F/e1, example 7.8

History

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

limitation result F2T4JNZVCV

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

Mentions

wikipedia: Wikipedia Glossary of logic#KD04, limitation result (definition)

History

2026-11-02: add by m2/dev

Mathiness F2TH56SEXE

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

Mentions

wikipedia: Wikipedia Mathiness, Mathiness (definition). Also Wikidata Q20640615

History

2026-11-02: add by m2/dev

Medial triambic icosahedron F2TW87YCXM

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

Mentions

wikipedia: Wikipedia List of regular polytopes#U0VI, Medial triambic icosahedron (definition)

History

2026-11-02: add by m2/dev

Properties F2TWFF2GN3

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

Mentions

wikipedia: Wikipedia Triangular matrix#2EF8, Properties (statement)

History

2026-11-02: add by m2/dev

Corollary F2TWH6Z3Y7

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

Mentions

wikipedia: Wikipedia Dual of BCH is an independent source#M7VE, Corollary (statement)

History

2026-11-02: add by m2/dev

F2TY4JAJWM F2TY4JAJWM

URI	`m2://inv/F2TY4JAJWM`
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.09084#LCLN (statement). In F5VT2K2QYX/e1, lemma 20

History

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

Lipschitz domain F2V2X3JVSP

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

Mentions

wikipedia: Wikipedia Lipschitz domain, Lipschitz domain (definition). Also Wikidata Q1158876

History

2026-11-02: add by m2/dev

Linked set F2V8RB447B

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

Mentions

wikipedia: Wikipedia List of order theory topics#L92F, Linked set (definition)

History

2026-11-02: add by m2/dev

Swiss cheese F2VB1ASGJA

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

Mentions

wikipedia: Wikipedia Swiss cheese (mathematics), Swiss cheese (definition). Also Wikidata Q7658927

History

2026-11-02: add by m2/dev

F2VEK61TYN F2VEK61TYN

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#defn-5 (definition). In E59CDZA4DP, defn, section 10.1.3

History

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

Statement F2VGR89WCT

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

Mentions

wikipedia: Wikipedia Brokard's theorem#BCIR, Statement (statement)

History

2026-11-02: add by m2/dev

Sensitivity of the local model update F2VH7RAT7P

URI	`m2://inv/F2VH7RAT7P`
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.13631#YOTU, Sensitivity of the local model update (statement). In N6PQQSYN73/e1, lemma 1

History

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

Ludwig Bieberbach F2VHQKPBV7

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2LJR, Ludwig Bieberbach (topic)

History

2026-11-02: add by m2/dev

Étienne Pascal F2VQZ90KCZ

URI	`m2://inv/F2VQZ90KCZ`
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 Q2140187, Étienne Pascal (unknown). Also ProofWiki Mathematician:Étienne_Pascal
wikipedia: Wikipedia Étienne Pascal, Étienne Pascal (topic). Also Wikidata Q2140187

History

2026-10-26: add by m2/dev

complete graph F2W25AJ93X

URI	`m2://inv/F2W25AJ93X`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Complete graph 03WKB2H474

Mentions

wikidata: Wikidata Q45715, complete graph (unknown). Also EoM Complete_graph, Mathlib SimpleGraph.completeGraph, MathWorld CompleteGraph
wikipedia: Wikipedia Complete graph, Complete graph (definition). Also Wikidata Q45715

History

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

Igor Rodnianski F2WETT50W7

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

Mentions

wikipedia: Wikipedia Igor Rodnianski, Igor Rodnianski (topic). Also Wikidata Q81887

History

2026-11-02: add by m2/dev

George Boole F2WGZ8XE23

URI	`m2://inv/F2WGZ8XE23`
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 Q134661 (unknown). Also EoM Boole,_George, nLab George Boole, ProofWiki Mathematician:George_Boole
wikipedia: Wikipedia George Boole, George Boole (topic). Also Wikidata Q134661

History

2026-10-26: add by m2/dev

Real computation F2WKNMBWSG

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#95KE, Real computation (definition)

History

2026-11-02: add by m2/dev

Schwarz reflection principle F2WMQ49S93

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-38, Schwarz reflection principle (statement). In VNMV985MXX, thm, section B

History

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

Generalized triangular array F2WQJXH1YD

URI	`m2://inv/F2WQJXH1YD`
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 2609.10840#IXXT, Generalized triangular array (definition). In P0HKF5DY7M/e1, definition C.2

History

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

Faltings height F2WTV8N8C3

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

Mentions

wikipedia: Wikipedia Height function#9087, Faltings height (unknown)

History

2026-11-02: add by m2/dev

F2XB5M5A9P F2XB5M5A9P

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

Mentions

open_logic: open_logic content/set-theory/choice/countablechoice.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 71.1

History

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

Fjalar Finnäs F2XBGT6WV0

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

Mentions

wikipedia: Wikipedia Fjalar Finnäs, Fjalar Finnäs (topic). Also Wikidata Q5456476

History

2026-11-02: add by m2/dev

Kodaira vanishing theorem F2XCJMXY07

URI	`m2://inv/F2XCJMXY07`
Kind	statement
Layer	textbook
MSC	32-XX
Sources	4
Outcome	open
Node	Kodaira vanishing theorem NY77DQ2AX8

Mentions

mathlib_1000: mathlib_1000 Q2518048, Kodaira vanishing theorem (statement). Also Wikidata Q2518048
thousand_plus: thousand_plus Q2518048, Kodaira vanishing theorem (statement). Also Wikidata Q2518048, Wikipedia Kodaira vanishing theorem
wikidata: Wikidata Q2518048, Kodaira vanishing theorem (statement). Also nLab Kodaira vanishing theorem
wikipedia: Wikipedia Kodaira vanishing theorem, Kodaira vanishing theorem (statement). Also Wikidata Q2518048

History

2026-10-26: add by m2/dev

Cohen, Jacob F2XGB0Z0GZ

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

Mentions

wikipedia: Wikipedia List of statisticians#WXG3, Cohen, Jacob (topic)

History

2026-11-02: add by m2/dev

Chirplet transform F2XH442REG

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

Mentions

wikipedia: Wikipedia Chirplet transform, Chirplet transform (definition). Also Wikidata Q4516253

History

2026-11-02: add by m2/dev

F2XR3W96JE F2XR3W96JE

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

Mentions

arxiv: arXiv 2609.39218#Q4KI (statement). In VPZSCE8HFP/e1, corollary 3.9

History

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

Christopher J. Bishop F2Y2P9YMPD

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

Mentions

wikipedia: Wikipedia Christopher J. Bishop, Christopher J. Bishop (topic). Also Wikidata Q56274242

History

2026-11-02: add by m2/dev

F2YA8C1T4S F2YA8C1T4S

URI	`m2://inv/F2YA8C1T4S`
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.32977#QB9A (statement). In 4KT9TK3MG4/e1, lemma E.6

History

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

Applications F2YDR430C3

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

Mentions

wikipedia: Wikipedia Riemann zeta function#V7PO, Applications (example)

History

2026-11-02: add by m2/dev

Macaulay representation of an integer F2YGE7B9YM

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

Mentions

wikipedia: Wikipedia List of factorial and binomial topics#881A, Macaulay representation of an integer (definition)

History

2026-11-02: add by m2/dev

equivalence, half adjoint F2YN0JPJC5

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

Mentions

hott_book: hott_book index/3.2/equivalence-half-adjoint, equivalence, half adjoint (concept). In N54F33XE07, index, section 3.2

History

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

Skew normal distribution F2YNBWVR9V

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

Mentions

wikipedia: Wikipedia List of statistics articles#NTNU, Skew normal distribution (definition)

History

2026-11-02: add by m2/dev

F2YWZEWTTJ F2YWZEWTTJ

URI	`m2://inv/F2YWZEWTTJ`
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.03728#BQZ4 (statement). In NXR84SNM8F/e1, corollary 9.1

History

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

Bayesian Model Selection at Fixed $\lpost$ F2YYY5JRBG

URI	`m2://inv/F2YYY5JRBG`
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 2212.14457#7A5G, Bayesian Model Selection at Fixed $\lpost$ (statement). In PNRHHWGHM2/e1, corollary 3.9

History

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

Curtis T. McMullen F2Z2RVPTTQ

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

Mentions

wikipedia: Wikipedia Curtis T. McMullen, Curtis T. McMullen (topic). Also Wikidata Q333959

History

2026-11-02: add by m2/dev

F2ZCEYP65Y F2ZCEYP65Y

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

Mentions

arxiv: arXiv 2610.18101#MZAP (statement). In XXN6KKXPYF/e1, lemma 9.4

History

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

F2ZEWHVH4S F2ZEWHVH4S

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

Mentions

arxiv: arXiv 2610.12513#XI0Q (definition). In VM9V8SXEA2/e1, definition 1

History

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

Stefan Banach Prize F2ZG997E2P

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

Mentions

wikipedia: Wikipedia Polish Mathematical Society#Q9IP, Stefan Banach Prize (unknown)

History

2026-11-02: add by m2/dev

Infrared dye F2ZJ2QRKHD

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

Mentions

wikipedia: Wikipedia Invisible ink#DQ4H, Infrared dye (unknown)

History

2026-11-02: add by m2/dev

double negation elimination F2ZZ599VY5

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

Mentions

wikipedia: Wikipedia Glossary of logic#206K, double negation elimination (definition)

History

2026-11-02: add by m2/dev