Inventory rows RB

Definition RB05S0Y6PW

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

Mentions

wikipedia: Wikipedia Cross-entropy#KK02, Definition (definition)

History

2026-11-02: add by m2/dev

RB06C45WNH RB06C45WNH

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

Mentions

arxiv: arXiv 0904.0817#LTI1 (definition). In 569FZDANV3/e1, definition 1.12

History

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

RB06ZQ7676 RB06ZQ7676

URI	`m2://inv/RB06ZQ7676`
Kind	statement
Layer	research
MSC	13-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.10925#9VKG (statement). In 9604WYX0BW/e1, proposition 3.6

History

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

Simon Antoine Jean L'Huilier RB09CDYAZG

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

Mentions

wikipedia: Wikipedia Simon Antoine Jean L'Huilier, Simon Antoine Jean L'Huilier (topic). Also Wikidata Q123478

History

2026-11-02: add by m2/dev

Isaac Newton RB0BSD92NT

URI	`m2://inv/RB0BSD92NT`
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 Q935, Isaac Newton (unknown). Also nLab Isaac Newton, ProofWiki Mathematician:Isaac_Newton
wikipedia: Wikipedia Isaac Newton, Isaac Newton (topic). Also Wikidata Q935

History

2026-10-26: add by m2/dev

Free product of associative algebras RB0CWN606J

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

Mentions

wikipedia: Wikipedia Free product of associative algebras, Free product of associative algebras (definition). Also Wikidata Q30716041

History

2026-11-02: add by m2/dev

Penrose tile RB0EVYYRCM

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#RJ38, Penrose tile (object)
wikipedia: Wikipedia List of mathematical shapes#89X5, Penrose tile (object)

History

2026-11-02: add by m2/dev

Fixed-step approximation of the full Gaussian process RB0G4KGCJ7

URI	`m2://inv/RB0G4KGCJ7`
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 2609.38228#PGFS, Fixed-step approximation of the full Gaussian process (statement). In 9YAE8FNQST/e1, corollary 13.8

History

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

Formal definition RB0H557JDA

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

Mentions

wikipedia: Wikipedia Levi-Civita connection#UCU9, Formal definition (definition)

History

2026-11-02: add by m2/dev

reproducing kernel Hilbert space RB0SAXBGHH

URI	`m2://inv/RB0SAXBGHH`
Kind	statement
Layer	textbook
MSC	46-XX
Sources	4
Outcome	open
Node	Reproducing kernel Hilbert space 4CK2GSRAGD

Mentions

mathlib_1000: mathlib_1000 Q3345678, Moore–Aronszajn theorem (statement). Also Wikidata Q3345678
thousand_plus: thousand_plus Q3345678, Moore–Aronszajn theorem (statement). Also Wikidata Q3345678, Wikipedia Moore–Aronszajn theorem
wikidata: Wikidata Q3345678, reproducing kernel Hilbert space (unknown). Also EoM Reproducing-kernel_Hilbert_space
wikipedia: Wikipedia Reproducing kernel Hilbert space, Reproducing kernel Hilbert space (definition). Also Wikidata Q3345678

History

2026-10-26: add by m2/dev

Solvers for propositional logic formulas RB0VXBA3M3

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

Mentions

wikipedia: Wikipedia Propositional logic#UQ0W, Solvers for propositional logic formulas (unknown)

History

2026-11-02: add by m2/dev

Negation introduction RB144AM0SG

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

Mentions

wikipedia: Wikipedia Negation introduction, Negation introduction (definition). Also Wikidata Q16155098

History

2026-11-02: add by m2/dev

table of integrals RB17SKS2RF

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

Mentions

wikipedia: Wikipedia Glossary of calculus#FZ1E, table of integrals (definition)

History

2026-11-02: add by m2/dev

Finitely generated RB1A49CDAE

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

Mentions

wikipedia: Wikipedia Glossary of general topology#9Y3B, Finitely generated (definition)

History

2026-11-02: add by m2/dev

RB1B7YS5N8 RB1B7YS5N8

URI	`m2://inv/RB1B7YS5N8`
Kind	example
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#ECKJ (example). In 9DQKY7KGE8/e1, example A.15

History

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

Pythagorean theorem RB1BNQJW1J

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

Mentions

wikipedia: Wikipedia Hypotenuse#RXFN, Pythagorean theorem (statement)

History

2026-11-02: add by m2/dev

Poincaré and the Three-Body Problem RB1EPTP9T2

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

Mentions

wikipedia: Wikipedia Poincaré and the Three-Body Problem, Poincaré and the Three-Body Problem (problem). Also Wikidata Q85793791

History

2026-11-02: add by m2/dev

Louis Antoine Debrauz de Saldapenna RB1GJ7J798

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

Mentions

wikipedia: Wikipedia Louis Antoine Debrauz de Saldapenna, Louis Antoine Debrauz de Saldapenna (topic). Also Wikidata Q876706

History

2026-11-02: add by m2/dev

derivative RB1M94KCDB

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

Mentions

wikipedia: Wikipedia Glossary of calculus#7HRS, derivative (definition)

History

2026-11-02: add by m2/dev

RB1PSWXGR1 RB1PSWXGR1

URI	`m2://inv/RB1PSWXGR1`
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#NUSG (definition). In X1J5HKPS3R/e1, definition 2.12

History

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

Generalizations RB26R0JP0E

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

Mentions

wikipedia: Wikipedia Racetrack principle#BXF4, Generalizations (statement)

History

2026-11-02: add by m2/dev

The Procedure RB279WY517

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

Mentions

wikipedia: Wikipedia Selfridge–Conway procedure#DPUL, The Procedure (definition)

History

2026-11-02: add by m2/dev

Bow-tie diagram RB2JN0PRC6

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

Mentions

wikipedia: Wikipedia Bow-tie diagram, Bow-tie diagram (definition). Also Wikidata Q108795146

History

2026-11-02: add by m2/dev

Maximum likelihood RB2RS9SBTS

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

Mentions

wikipedia: Wikipedia List of statistics articles#7FD2, Maximum likelihood (definition)
wikipedia: Wikipedia List of probability topics#IQK6, Maximum likelihood (definition)

History

2026-11-02: add by m2/dev

RB2X4Q9JY3 RB2X4Q9JY3

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

Mentions

austin_ula: austin_ula src/exercises/exercises7-4.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 7.4

History

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

joule RB2XAG0R31

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

Mentions

wikidata: Wikidata Q25269, joule (definition). Also ProofWiki Definition:SI/Energy/Joule

History

2026-10-26: add by m2/dev

RB2ZWZM2RD RB2ZWZM2RD

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

Mentions

arxiv: arXiv 2610.15340#5ECD (example). In 9NVKKW8HDH/e1, example 2.100

History

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

RB3FPXGJ74 RB3FPXGJ74

URI	`m2://inv/RB3FPXGJ74`
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.28898#M1NM (statement)

History

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

Demographics of Armenia RB3G9WQY83

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

Mentions

wikipedia: Wikipedia Demographics of Armenia, Demographics of Armenia (definition). Also Wikidata Q2382992

History

2026-11-02: add by m2/dev

RB3KGGEJJ7 RB3KGGEJJ7

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

Mentions

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

History

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

Applications RB3MHN46JZ

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

Mentions

wikipedia: Wikipedia Graph traversal#WII1, Applications (example)

History

2026-11-02: add by m2/dev

Applications RB3PREHJP7

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

Mentions

wikipedia: Wikipedia Topological order#ZVXM, Applications (example)

History

2026-11-02: add by m2/dev

RB3PSBXZFJ RB3PSBXZFJ

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

Mentions

arxiv: arXiv 2610.03497#DTC1 (definition). In RRNHC0CAC9/e1, definition

History

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

RB43495N8S RB43495N8S

URI	`m2://inv/RB43495N8S`
Kind	definition
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#OH8S (definition). In JW8HH6EPG2/e1, definition 4.8

History

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

set RB47HBQFAN

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

Mentions

hott_book: hott_book index/6.1/set, set (concept). In N54F33XE07, index, section 6.1

History

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

RB47RJX1P9 RB47RJX1P9

URI	`m2://inv/RB47RJX1P9`
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 2308.07021#IGGE (statement). In H4CM84JVPC/e1, corollary 7.3

History

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

Haar null set RB49PMT893

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

Mentions

wikipedia: Wikipedia List of types of sets#LK08, Haar null set (definition)

History

2026-11-02: add by m2/dev

Tropical hypersurface RB4A3R5WXK

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

Mentions

wikipedia: Wikipedia Tropical geometry#YNJU, Tropical hypersurface (unknown)

History

2026-11-02: add by m2/dev

RB4BAN1XAN RB4BAN1XAN

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-10 (exercise). In P1C114YBXG, problem, section G

History

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

Definition RB4HRRCDY0

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

Mentions

wikipedia: Wikipedia Discrete Fourier transform over a ring#TSHI, Definition (definition)

History

2026-11-02: add by m2/dev

RB4K43Y86D RB4K43Y86D

URI	`m2://inv/RB4K43Y86D`
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 1311.6044#6JRH (statement). In W4FFB6SVZD/e1, lemma 5.1

History

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

deductivism RB4T4QJM0A

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

Mentions

wikipedia: Wikipedia Glossary of logic#O1XY, deductivism (definition)

History

2026-11-02: add by m2/dev

RB52FBDCM0 RB52FBDCM0

URI	`m2://inv/RB52FBDCM0`
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.00292#B90L (statement). In NX3EFW0D0X/e1, theorem 6.1

History

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

RB595TY9AK RB595TY9AK

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

Mentions

arxiv: arXiv 2610.16461#AG20 (statement). In XPT71YR4V7/e1, theorem 1.2

History

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

Eugen Netto RB5CAD4MZJ

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

Mentions

wikipedia: Wikipedia Eugen Netto, Eugen Netto (topic). Also Wikidata Q68553

History

2026-11-02: add by m2/dev

RB5DJA5HD9 RB5DJA5HD9

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

Mentions

arxiv: arXiv 2610.17060#AWO0 (statement). In 5KR3MHYVV6/e1, proposition 3.14

History

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

Classification of Clifford algebras RB5S6H6MY7

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

Mentions

wikipedia: Wikipedia Classification of Clifford algebras, Classification of Clifford algebras (definition). Also Wikidata Q662523

History

2026-11-02: add by m2/dev

Darboux cubic RB5TJT35ZQ

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

Mentions

wikidata: Wikidata Q1995504, Darboux cubic (concept). Also MathWorld DarbouxCubic

History

2026-10-26: add by m2/dev

RB5VWS1KDY RB5VWS1KDY

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

Mentions

arxiv: arXiv 2609.34570#ILPU (statement). In EVFX1R7ZDD/e1, theorem 8

History

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

Examples RB5ZBRE12C

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

Mentions

wikipedia: Wikipedia Moralistic fallacy#4GSX, Examples (example)

History

2026-11-02: add by m2/dev

Examples RB60674D0G

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

Mentions

wikipedia: Wikipedia Group isomorphism#YBE9, Examples (example)

History

2026-11-02: add by m2/dev

RB61KS1SPF RB61KS1SPF

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

Mentions

napkin: napkin tex/alg-NT/dedekind.tex#definition-2 (definition). In RZP28ERRZV, definition, section 10.2

History

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

Herglotz–Zagier function RB624XSMWH

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

Mentions

wikipedia: Wikipedia Herglotz–Zagier function, Herglotz–Zagier function (definition). Also Wikidata Q5738393

History

2026-11-02: add by m2/dev

RB6904RVMP RB6904RVMP

URI	`m2://inv/RB6904RVMP`
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.26041#D4SL (statement)

History

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

Examples RB69XPRAF5

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

Mentions

wikipedia: Wikipedia Affine variety#CZWN, Examples (example)

History

2026-11-02: add by m2/dev

RB6D1N3TP7 RB6D1N3TP7

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

Mentions

arxiv: arXiv 2609.28323#TGVC (statement)

History

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

Ralf Seppelt RB6M8X2HMS

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

Mentions

wikipedia: Wikipedia Ralf Seppelt, Ralf Seppelt (topic). Also Wikidata Q2129400

History

2026-11-02: add by m2/dev

RB6P8X825S RB6P8X825S

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

Mentions

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

History

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

RB6PEJJWWT RB6PEJJWWT

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

Mentions

arxiv: arXiv 2609.24701#NA6N (statement)

History

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

Harmonic spectrum RB6WRW01K7

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

Mentions

wikipedia: Wikipedia Harmonic spectrum, Harmonic spectrum (definition). Also Wikidata Q5659284

History

2026-11-02: add by m2/dev

RB70PW831R RB70PW831R

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

Mentions

arxiv: arXiv 2609.36884#7E9O (statement). In Z7E16PFFCP/e1, theorem D

History

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

Selberg's integral formula RB74KBBS0H

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

Mentions

wikipedia: Wikipedia Selberg integral#YN22, Selberg's integral formula (statement)

History

2026-11-02: add by m2/dev

RB77AM411W RB77AM411W

URI	`m2://inv/RB77AM411W`
Kind	statement
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.02244#AM3G (statement). In 3REM2EXQK7/e1, theorem 3.3

History

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

RB7E3YZP9X RB7E3YZP9X

URI	`m2://inv/RB7E3YZP9X`
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.21475#F5AG (statement). In TTRSZVT4VX/e1, theorem 2.24

History

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

Boy or Girl paradox RB82PWRWT7

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

Mentions

wikipedia: Wikipedia List of probability topics#0GT3, Boy or Girl paradox (statement)

History

2026-11-02: add by m2/dev

RB897J6Y01 RB897J6Y01

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

Mentions

arxiv: arXiv 2609.23093#N8NS (statement)

History

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

RB89XHD4MR RB89XHD4MR

URI	`m2://inv/RB89XHD4MR`
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.13850#LHEO (statement). In KJY735KSMF/e1, theorem 8.2

History

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

SWIFFT RB8GVSRRRT

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

Mentions

wikipedia: Wikipedia SWIFFT, SWIFFT (definition). Also Wikidata Q7395188

History

2026-11-02: add by m2/dev

RB8JTWH21A RB8JTWH21A

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

Mentions

arxiv: arXiv 2610.14450#2KNC (definition). In ZHTGQT07PE/e1, definition 2.1

History

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

Trusted Computing Group RB8NC0BSKH

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

Mentions

wikipedia: Wikipedia Trusted Computing Group, Trusted Computing Group (definition). Also Wikidata Q144250

History

2026-11-02: add by m2/dev

Renard series RB93PN1BC8

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

Mentions

wikipedia: Wikipedia Renard series, Renard series (definition). Also Wikidata Q28031362

History

2026-11-02: add by m2/dev

Statement RB94SNBFMR

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

Mentions

wikipedia: Wikipedia Matrix determinant lemma#2YCN, Statement (statement)

History

2026-11-02: add by m2/dev

RB98JA6TT0 RB98JA6TT0

URI	`m2://inv/RB98JA6TT0`
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.25301#VGA2 (statement)

History

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

A resource-limited stepping stone model RB995H99AZ

URI	`m2://inv/RB995H99AZ`
Kind	example
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.02669#YIVP, A resource-limited stepping stone model (example). In NSBSWH6XB4/e1, example 1.1

History

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

Flat segments break the identity of curves RB9HA8XTYK

URI	`m2://inv/RB9HA8XTYK`
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.25704#46OZ, Flat segments break the identity of curves (statement)

History

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

RB9J2X04W2 RB9J2X04W2

URI	`m2://inv/RB9J2X04W2`
Kind	statement
Layer	research
MSC	26-XX, 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.34295#8GVT (statement). In A93R925Z24/e1, theorem 11.2

History

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

RB9M8EA1RT RB9M8EA1RT

URI	`m2://inv/RB9M8EA1RT`
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.20344#FHFF (statement)

History

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

RB9NJHE1H7 RB9NJHE1H7

URI	`m2://inv/RB9NJHE1H7`
Kind	example
Layer	research
MSC	11-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 2609.32138#IPQM (example). In ZG0GNHTCWB/e1, example 6.15

History

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

Conformal geometry RB9PVDESH0

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

Mentions

wikipedia: Wikipedia Conformal geometry, Conformal geometry (topic). Also Wikidata Q513175

History

2026-11-02: add by m2/dev

Ernesto Cesàro RB9PZBVBQ1

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

Mentions

wikipedia: Wikipedia Ernesto Cesàro, Ernesto Cesàro (topic). Also Wikidata Q353422

History

2026-11-02: add by m2/dev

Examples RB9XAWD45X

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

Mentions

wikipedia: Wikipedia Projective tensor product#1YCZ, Examples (example)

History

2026-11-02: add by m2/dev

RBACA9RS4N RBACA9RS4N

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

Mentions

arxiv: arXiv 2610.13214#DBJ9 (statement). In 4GRNWWH88J/e1, lemma 5.6

History

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

Decision matrix RBAFD26W1V

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

Mentions

wikipedia: Wikipedia Decision matrix, Decision matrix (definition). Also Wikidata Q5249239

History

2026-11-02: add by m2/dev

RBAJCMWW9B RBAJCMWW9B

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

Mentions

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

History

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

RBAX01EME6 RBAX01EME6

URI	`m2://inv/RBAX01EME6`
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.38138#05NM (statement). In G97FA99ZEF/e1, theorem 1.3

History

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

MCAR RBAXWBZV4D

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

Mentions

wikipedia: Wikipedia List of statistics articles#Q2YP, MCAR (definition)

History

2026-11-02: add by m2/dev

intermediate value theorem RBAZ7AJ0ZN

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

Mentions

lebl_ra: lebl_ra index/2.3.2/intermediate-value-theorem, intermediate value theorem (concept). In E59CDZA4DP, index, section 2.3.2

History

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

RBB1S30YA5 RBB1S30YA5

URI	`m2://inv/RBB1S30YA5`
Kind	definition
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 2610.19455#AWVO (definition). In CBF6TQS4DW/e1, definition ENP

History

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

RBB68GVEWA RBB68GVEWA

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_seq-induction.ptx#example-3 (example). In Y91XFCEVHQ, example, section 3.5.3

History

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

RBB9FGEMG6 RBB9FGEMG6

URI	`m2://inv/RBB9FGEMG6`
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 2610.14811#NJ74 (statement). In QA5CM6HNM1/e1, theorem 7.1

History

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

Approximate formula for monthly payment RBBJ6Z6YSM

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

Mentions

wikipedia: Wikipedia Compound interest#LH7V, Approximate formula for monthly payment (statement)

History

2026-11-02: add by m2/dev

Mohr–Mascheroni theorem RBBKY7NZAS

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

Mentions

wikipedia: Wikipedia List of theorems#NN2I, Mohr–Mascheroni theorem (statement)

History

2026-11-02: add by m2/dev

RBBP21QZ8N RBBP21QZ8N

URI	`m2://inv/RBBP21QZ8N`
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 2607.26169#RM40 (definition). In Q46QV3B0NF/e1, definition 2.2

History

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

RBBQE69Y3Z RBBQE69Y3Z

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

Mentions

napkin: napkin tex/H113/structure.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 6.5

History

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

RBBQM1ZSA1 RBBQM1ZSA1

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#theorem-5 (statement). In E9HS8K3A52, theorem, section 6.2.3

History

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

Renewal theorem RBBRPAF0TC

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

Mentions

wikipedia: Wikipedia Renewal theory#KA0Q, Renewal theorem (statement)

History

2026-11-02: add by m2/dev

RBBVE389S8 RBBVE389S8

URI	`m2://inv/RBBVE389S8`
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.20153#KVV7 (statement). In EYB107TM4Q/e1, lemma 5.1

History

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

RBBZHSXSB9 RBBZHSXSB9

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

Mentions

arxiv: arXiv 2610.08638#RSC5 (statement). In 113VZ5XX7J/e1, corollary 2

History

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

RBC1M5HZ3N RBC1M5HZ3N

URI	`m2://inv/RBC1M5HZ3N`
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.14839#NGLS (statement). In CYB41667NA/e1, theorem 3.5

History

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

RBC4GKZPD5 RBC4GKZPD5

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

Mentions

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

History

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

RBCN97WGXT RBCN97WGXT

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

Mentions

arxiv: arXiv 2610.22317#DRK4 (definition). In 2W5Z97BBW4/e1, definition 2.3

History

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

RBCRD3CQ08 RBCRD3CQ08

URI	`m2://inv/RBCRD3CQ08`
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.03353#UT5I (statement). In 8W61T5CSRB/e1, proposition 10.1

History

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

RBCSKTAK51 RBCSKTAK51

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

Mentions

arxiv: arXiv 2610.03661#5CJ7 (statement). In ESDKTYDHC8/e1, theorem 16

History

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

Special case: RBCTMNK47V

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

Mentions

wikipedia: Wikipedia Autonomous system (mathematics)#VE96, Special case: (statement)

History

2026-11-02: add by m2/dev

Admissible trajectory RBCVQ8D07J

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

Mentions

arxiv: arXiv 2609.30821#TZMR, Admissible trajectory (definition). In 1MZ9XBPTFQ/e1, definition 2

History

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

RBD3QJYT55 RBD3QJYT55

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#proof-6 (proof). In E59CDZA4DP, proof, section 1.3.4

History

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

Theorems of Tannaka and Krein RBD9S3WCQQ

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

Mentions

wikipedia: Wikipedia Tannaka–Krein duality#MKWX, Theorems of Tannaka and Krein (statement)

History

2026-11-02: add by m2/dev

Construction RBDEDGPT7X

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

Mentions

wikipedia: Wikipedia Augmented pentagonal prism#XNQC, Construction (definition)

History

2026-11-02: add by m2/dev

RBDK4NBBR8 RBDK4NBBR8

URI	`m2://inv/RBDK4NBBR8`
Kind	example
Layer	research
MSC	19-XX, 37-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.31883#FS2Q (example). In XBHQRTBH62/e1, example 5.7

History

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

RBDRTTWG4J RBDRTTWG4J

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

Mentions

arxiv: arXiv 2610.07471#TSST (statement). In 7DHCS5SEHT/e1, proposition 11

History

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

RBDT8CND5J RBDT8CND5J

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

Mentions

arxiv: arXiv 2610.08052#4D8M (statement). In 672XAVEQ34/e1, lemma 7.7

History

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

RBDXKGCNXE RBDXKGCNXE

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

Mentions

hott_book: hott_book logic.tex#ex:brck-qinv (exercise). In N54F33XE07, ex, section 9.11

History

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

RBE45Z9A4Q RBE45Z9A4Q

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

Mentions

arxiv: arXiv 2510.05499#YUGU (definition). In WRMNCC8VBC/e1, definition 14

History

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

Definition RBE9JBGNHP

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

Mentions

wikipedia: Wikipedia ELSV formula#1V2P, Definition (definition)

History

2026-11-02: add by m2/dev

Fundamental theorem of Galois theory RBEAJCEZQ3

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

Mentions

napkin: napkin tex/alg-NT/galois.tex#theorem-5, Fundamental theorem of Galois theory (statement). In RZP28ERRZV, theorem, section 14.6

History

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

derivative of a distribution RBEBQTEFQT

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

Mentions

mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > derivative of a distribution, derivative of a distribution (unknown)

History

2026-10-26: add by m2/dev

Adjunction formula RBEDQ27C9Y

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

Mentions

wikipedia: Wikipedia Adjunction formula, Adjunction formula (statement). Also Wikidata Q4683187

History

2026-11-02: add by m2/dev

Heath-Brown reduction RBENDM8WT4

URI	`m2://inv/RBENDM8WT4`
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.09567#R3NM, Heath-Brown reduction (statement). In 7RV6BDZAFK/e1, proposition 6.4

History

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

RBF1H322PC RBF1H322PC

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 9.4

History

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

RBF3CNSY9K RBF3CNSY9K

URI	`m2://inv/RBF3CNSY9K`
Kind	statement
Layer	research
MSC	05-XX, 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 2608.17785#MMM8 (statement). In H3FDP8S1Z7/e1, theorem 5.4

History

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

Goodman and Kruskal's gamma RBF63M9GPQ

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

Mentions

wikipedia: Wikipedia List of statistics articles#VFYP, Goodman and Kruskal's gamma (definition)

History

2026-11-02: add by m2/dev

RBF8B0NBKB RBF8B0NBKB

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

Mentions

arxiv: arXiv 2610.17060#A0ZX (statement). In 5KR3MHYVV6/e1, lemma 6.5

History

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

RBF8V18M2Y RBF8V18M2Y

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

Mentions

arxiv: arXiv 2609.24001#JB2N (statement)

History

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

Littlewood–Richardson rule RBFASRWQNP

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

Mentions

wikipedia: Wikipedia Littlewood–Richardson rule, Littlewood–Richardson rule (definition). Also Wikidata Q15304008

History

2026-11-02: add by m2/dev

Weiwen Miao RBFBAGS9C3

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

Mentions

wikipedia: Wikipedia Weiwen Miao, Weiwen Miao (topic). Also Wikidata Q102291782

History

2026-11-02: add by m2/dev

RBFCN64T07 RBFCN64T07

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

Mentions

arxiv: arXiv 2609.21305#SG1J (definition)

History

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

Allen Knutson RBFQRD0WYR

URI	`m2://inv/RBFQRD0WYR`
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#0BZC, Allen Knutson (topic)

History

2026-11-02: add by m2/dev

Definition RBG8439FWP

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

Mentions

wikipedia: Wikipedia Continuous wavelet transform#V387, Definition (definition)

History

2026-11-02: add by m2/dev

Jensen's inequality RBGA3NBQDQ

URI	`m2://inv/RBGA3NBQDQ`
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.28143#HLSM, Jensen's inequality (statement)

History

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

RBGK1RT3F0 RBGK1RT3F0

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

Mentions

open_logic: open_logic content/sets-functions-relations/sets/pairs-and-products.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 82.5

History

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

Szemerédi's theorem RBGQVV9MVX

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

Mentions

wikipedia: Wikipedia Arithmetic combinatorics#DCQ1, Szemerédi's theorem (statement)

History

2026-11-02: add by m2/dev

RBGS4Q0V0G RBGS4Q0V0G

URI	`m2://inv/RBGS4Q0V0G`
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.35030#ASE7 (statement). In DPT4P2BTEW/e1, lemma 7.4

History

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

RBGWWC50EW RBGWWC50EW

URI	`m2://inv/RBGWWC50EW`
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.09078#UK5K (statement). In B4GK8NEZM9/e1, theorem 1.1

History

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

polygon RBGX5X43MB

URI	`m2://inv/RBGX5X43MB`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Polygon 8VEFWD3EJB

Mentions

wikidata: Wikidata Q37555, polygon (definition). Also EoM polygon, MathWorld Polygon, ProofWiki Definition:Polygon
wikipedia: Wikipedia Polygon, Polygon (definition). Also Wikidata Q37555

History

2026-10-26: add by m2/dev

Locality (Canada) RBH5N8DETC

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

Mentions

wikipedia: Wikipedia Census geographic units of Canada#BU48, Locality (Canada) (unknown)

History

2026-11-02: add by m2/dev

A. Cauchy RBHAE9NFYV

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

Mentions

wikipedia: Wikipedia List of group theory topics#C2C7, A. Cauchy (topic)

History

2026-11-02: add by m2/dev

RBHGNN66E3 RBHGNN66E3

URI	`m2://inv/RBHGNN66E3`
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.20097#QJOP (statement)

History

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

Steiner minimal tree in one cloud RBHH69CTXE

URI	`m2://inv/RBHH69CTXE`
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.17400#I3YL, Steiner minimal tree in one cloud (statement). In 8VDXGR4SVD/e1, theorem 6.12

History

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

Cauchy--Frobenius counting lemma RBHSN3AYXD

URI	`m2://inv/RBHSN3AYXD`
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.03151#IZTB, Cauchy--Frobenius counting lemma (statement). In 7ZC21RKB29/e1, lemma 2.1

History

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

Complete spherical automorphic decomposition RBJ80K316H

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

Mentions

arxiv: arXiv 2609.25925#O1HM, Complete spherical automorphic decomposition (statement)

History

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

RBJ99WMC91 RBJ99WMC91

URI	`m2://inv/RBJ99WMC91`
Kind	statement
Layer	research
MSC	14-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.04730#CK02 (statement). In QHFP0837Q8/e1, proposition 5.5

History

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

Formulas RBJPBHCWVQ

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

Mentions

wikipedia: Wikipedia Golomb–Dickman constant#FVUI, Formulas (statement)

History

2026-11-02: add by m2/dev

Vincentio Reinieri RBJW2PE0FF

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

Mentions

wikipedia: Wikipedia Vincentio Reinieri, Vincentio Reinieri (topic). Also Wikidata Q1033035

History

2026-11-02: add by m2/dev

Definition RBJY3M4XTD

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

Mentions

wikipedia: Wikipedia Partial cyclic order#2149, Definition (definition)

History

2026-11-02: add by m2/dev

RBK2Z6YMY8 RBK2Z6YMY8

URI	`m2://inv/RBK2Z6YMY8`
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.31104#USMW (statement). In 67NFPNF39Y/e1, lemma 2.7

History

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

RBK8F4WRE6 RBK8F4WRE6

URI	`m2://inv/RBK8F4WRE6`
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.29152#C0W7 (statement)

History

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

RBK8SBVN19 RBK8SBVN19

URI	`m2://inv/RBK8SBVN19`
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#2CXJ (statement). In SD43497T8C/e1, fact 2.8

History

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

RBKHBT4JG1 RBKHBT4JG1

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

Mentions

arxiv: arXiv 2311.16252#36J3 (definition). In 8AHN9GSRMR/e1, definition 2.4

History

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

RBKP38BXVF RBKP38BXVF

URI	`m2://inv/RBKP38BXVF`
Kind	statement
Layer	research
MSC	26-XX, 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 2508.16102#MW4D (statement). In 55QFMZQ5HM/e1, lemma 3.1

History

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

RBKPQNFJN8 RBKPQNFJN8

URI	`m2://inv/RBKPQNFJN8`
Kind	definition
Layer	research
MSC	20-XX, 22-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.32916#N2YD (definition). In G1RP4JY5PE/e1, definition 2.4.5

History

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

Cyclic and separating vector RBKV4XTKA1

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

Mentions

wikipedia: Wikipedia Cyclic and separating vector, Cyclic and separating vector (definition). Also Wikidata Q85754894

History

2026-11-02: add by m2/dev

RBM0EHHFW3 RBM0EHHFW3

URI	`m2://inv/RBM0EHHFW3`
Kind	statement
Layer	research
MSC	60-XX, 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 2609.28781#ZZN5 (statement)

History

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

RBM1N2H406 RBM1N2H406

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

Mentions

arxiv: arXiv 2610.14160#PJEM (statement). In Y4TP36M0C7/e1, lemma 17

History

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

Peter Twinn RBM8M3J95F

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

Mentions

wikipedia: Wikipedia Peter Twinn, Peter Twinn (topic). Also Wikidata Q1290979

History

2026-11-02: add by m2/dev

RBM97RYWWT RBM97RYWWT

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

Mentions

arxiv: arXiv 2609.40200#VG55 (statement). In VWNB6QJWFN/e1, lemma 5.7

History

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

Keygen RBMF8DB5FP

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

Mentions

wikipedia: Wikipedia Keygen, Keygen (definition). Also Wikidata Q849945

History

2026-11-02: add by m2/dev

Are there better axioms? RBMFAA4HES

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

Mentions

wikipedia: Wikipedia Triangulated category#939D, Are there better axioms? (statement)

History

2026-11-02: add by m2/dev

RBMJDS1B41 RBMJDS1B41

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

Mentions

arxiv: arXiv 2610.04434#N5R3 (statement). In EY0QS456EC/e1, theorem 7.9

History

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

RBMJEJ4546 RBMJEJ4546

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

Mentions

arxiv: arXiv 2609.20725#5ONL (statement)

History

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

Logarithmic Transform RBMSCS37Z5

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

Mentions

arxiv: arXiv 1911.06467#IWKG, Logarithmic Transform (example). In G35G1NJKBX/e1, example 8.4

History

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

An example RBMXB7ASVX

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

Mentions

wikipedia: Wikipedia Gibbs measure#AONM, An example (example)

History

2026-11-02: add by m2/dev

Example 1 RBN1H5CGPV

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

Mentions

wikipedia: Wikipedia Elliptic operator#67P1, Example 1 (example)

History

2026-11-02: add by m2/dev

Mathematical Surveys and Monographs RBN3CAMM1N

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

Mentions

wikipedia: Wikipedia Mathematical Surveys and Monographs, Mathematical Surveys and Monographs (definition). Also Wikidata Q6786845

History

2026-11-02: add by m2/dev

Page's trend test RBN72AWGQC

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

Mentions

wikipedia: Wikipedia Page's trend test, Page's trend test (definition). Also Wikidata Q7124204

History

2026-11-02: add by m2/dev

Abel integral equation RBN7THBT3P

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

Mentions

wikidata: Wikidata Q78155084, Abel integral equation (unknown). Also EoM Abel_integral_equation

History

2026-10-26: add by m2/dev

Dedekind domain RBNAP6C301

URI	`m2://inv/RBNAP6C301`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Dedekind domain 7NPY2CN5KB

Mentions

wikidata: Wikidata Q254347, Dedekind domain (concept). Also EoM Dedekind_ring, LMFDB knowl ring.dedekind_domain, MathWorld DedekindDomain, MathWorld DedekindRing, nLab Dedekind domain, ProofWiki Definition:Dedekind_Domain
wikipedia: Wikipedia Dedekind domain, Dedekind domain (definition). Also Wikidata Q254347

History

2026-10-26: add by m2/dev

Example RBNGJFCNQS

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

Mentions

wikipedia: Wikipedia Influence diagram#R0QW, Example (example)

History

2026-11-02: add by m2/dev

Gödel's incompleteness theorems RBNJ7HC6VK

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

Mentions

mathlib_1000: mathlib_1000 Q200787, Gödel's incompleteness theorem (statement). Also Wikidata Q200787
thousand_plus: thousand_plus Q200787, Gödel's incompleteness theorem (statement). Also Wikidata Q200787, Wikipedia Gödel's incompleteness theorem
wikipedia: Wikipedia Gödel's incompleteness theorems, Gödel's incompleteness theorems (statement). Also Wikidata Q200787

History

2026-10-26: add by m2/dev

Representation formula RBNWJ13NB6

URI	`m2://inv/RBNWJ13NB6`
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.09001#91Y4, Representation formula (statement). In HJC1JJZRSH/e1, theorem 4.2

History

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

RBP6SVW3F9 RBP6SVW3F9

URI	`m2://inv/RBP6SVW3F9`
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 2412.14956#62D5 (definition). In T8BQ6HHZYT/e1, definition 2.3

History

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

Applications RBP6YQKFCF

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

Mentions

wikipedia: Wikipedia Betweenness problem#3QW8, Applications (example)

History

2026-11-02: add by m2/dev

cage RBP7S819FC

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

Mentions

wikidata: Wikidata Q841007, cage (unknown). Also MathWorld CageGraph
wikipedia: Wikipedia Cage (graph theory), Cage (definition). Also Wikidata Q841007

History

2026-10-26: add by m2/dev

Properties RBPAKFHDPT

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

Mentions

wikipedia: Wikipedia Projectivization#L3TV, Properties (statement)

History

2026-11-02: add by m2/dev

RBPDVME3GZ RBPDVME3GZ

URI	`m2://inv/RBPDVME3GZ`
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.05193#SXMK (statement). In XDMM0KNNZ9/e1, corollary 10

History

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

Propositional calculus RBPEV28KEH

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#RTPN, Propositional calculus (topic)

History

2026-11-02: add by m2/dev

RBPHZE2DDE RBPHZE2DDE

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

Mentions

arxiv: arXiv 2610.03424#X8G6 (statement). In Q6HRJP4AWA/e1, corollary 3.6

History

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

RBPSKXE4A6 RBPSKXE4A6

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

Mentions

arxiv: arXiv 2609.28518#SH5Z (statement)

History

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

Simultaneous stability of endpoints and reference RBPT1MQ3GM

URI	`m2://inv/RBPT1MQ3GM`
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 2609.38228#PJ44, Simultaneous stability of endpoints and reference (statement). In 9YAE8FNQST/e1, corollary 11.18

History

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

Lawvere RBPTTD7A7N

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

Mentions

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

History

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

RBPVRCPFJY RBPVRCPFJY

URI	`m2://inv/RBPVRCPFJY`
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.19861#QWGJ (statement). In 5ZPQ60TM6J/e1, proposition 1

History

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

Diagonal lemma with parameters RBPXACPVEP

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

Mentions

wikipedia: Wikipedia Diagonal lemma#CABK, Diagonal lemma with parameters (statement)

History

2026-11-02: add by m2/dev

RBQ3MSP8ZW RBQ3MSP8ZW

URI	`m2://inv/RBQ3MSP8ZW`
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.05722#WK8R (statement). In NDKWV5J14V/e1, lemma 2.6

History

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

RBQ48T31HX RBQ48T31HX

URI	`m2://inv/RBQ48T31HX`
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.19449#WPPE (statement). In 8ZKPJ3CBDF/e1, proposition 3.14

History

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

$(k,r)$-cubical complex RBQJHC2N99

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

Mentions

arxiv: arXiv 2610.00525#OA40, $(k,r)$-cubical complex (definition). In JN34PDDXH8/e1, definition 2.7

History

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

Ernst Specker RBQNCK1546

URI	`m2://inv/RBQNCK1546`
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 Q117486, Ernst Specker (unknown). Also nLab Ernst Specker
wikipedia: Wikipedia Ernst Specker, Ernst Specker (topic). Also Wikidata Q117486

History

2026-10-26: add by m2/dev

Expected extinction time RBQQZ8M7F9

URI	`m2://inv/RBQQZ8M7F9`
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#U3UP, Expected extinction time (statement). In R60HR493TS/e1, lemma 2.4

History

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

Terminology RBQYRPJZ60

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

Mentions

wikipedia: Wikipedia Distributive law between monads#IKWQ, Terminology (definition)

History

2026-11-02: add by m2/dev

Automatic structural properties at odd good primes RBR1Y90AQK

URI	`m2://inv/RBR1Y90AQK`
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.03121#JY2D, Automatic structural properties at odd good primes (statement). In T50D36FB04/e1, proposition 3.1

History

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

Cross Interleaved Reed-Solomon Code RBR8Y3NMN1

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

Mentions

wikipedia: Wikipedia Reed–Solomon error correction#UD9N, Cross Interleaved Reed-Solomon Code (unknown)

History

2026-11-02: add by m2/dev

RBRJ75DGDA RBRJ75DGDA

URI	`m2://inv/RBRJ75DGDA`
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.08873#D09Q (statement). In 7WMNVJBAVR/e1, lemma 3.3

History

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

RBRX35WS4H RBRX35WS4H

URI	`m2://inv/RBRX35WS4H`
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.04993#BPMJ (statement). In JQBWZPXKAV/e1, lemma 5.4

History

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

Euler's laws of motion RBS2JPPKS1

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

Mentions

wikipedia: Wikipedia Euler's laws of motion, Euler's laws of motion (statement). Also Wikidata Q5408983

History

2026-11-02: add by m2/dev

Definition RBS50VE4XP

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

Mentions

wikipedia: Wikipedia Normal probability plot#55FE, Definition (definition)

History

2026-11-02: add by m2/dev

Generalizations RBS52V05RQ

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

Mentions

wikipedia: Wikipedia Fractional calculus#VDEG, Generalizations (statement)

History

2026-11-02: add by m2/dev

Richard Jack RBSFA50KS3

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

Mentions

wikipedia: Wikipedia Richard Jack (mathematician), Richard Jack (topic). Also Wikidata Q19326554

History

2026-11-02: add by m2/dev

RBSJBM8MDQ RBSJBM8MDQ

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

Mentions

austin_ula: austin_ula src/section4-3.xml#ula-preview-4-3 (exercise). In 649HGZKE96, exploration, section 4.3.1

History

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

Mixed volume RBSYC50Z4F

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

Mentions

wikipedia: Wikipedia Mixed volume, Mixed volume (definition). Also Wikidata Q4424496

History

2026-11-02: add by m2/dev

RBT2TD6Q8R RBT2TD6Q8R

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 27.7

History

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

Small stellated 120-cell honeycomb RBT3EYWT1X

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#PA1M, Small stellated 120-cell honeycomb (definition)

History

2026-11-02: add by m2/dev

RBTGGHGCW7 RBTGGHGCW7

URI	`m2://inv/RBTGGHGCW7`
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.16962#IVP2 (statement). In KJC9FRS3C2/e1, lemma 4.3

History

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

Sieve RBTK30JG2X

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

Mentions

wikipedia: Wikipedia Sieve (category theory), Sieve (definition). Also Wikidata Q7511782

History

2026-11-02: add by m2/dev

RBTZPN813Q RBTZPN813Q

URI	`m2://inv/RBTZPN813Q`
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.25345#LF9E (statement)

History

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

RBV1ZGEQG9 RBV1ZGEQG9

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

Mentions

arxiv: arXiv 2401.15490#GSRK (problem). In AAY60GVERS/e1, problem 3

History

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

Interactions of actors theory RBV4DSP65S

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

Mentions

wikipedia: Wikipedia Interactions of actors theory, Interactions of actors theory (definition). Also Wikidata Q108415861

History

2026-11-02: add by m2/dev

Tinne Hoff Kjeldsen RBVEAZ1YBP

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

Mentions

wikipedia: Wikipedia Tinne Hoff Kjeldsen, Tinne Hoff Kjeldsen (topic). Also Wikidata Q19519203

History

2026-11-02: add by m2/dev

jblas RBVGTTJTEK

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#H5FN, jblas (unknown)

History

2026-11-02: add by m2/dev

Properties RBVJPVM6RK

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

Mentions

wikipedia: Wikipedia Dot product representation of a graph#90HQ, Properties (statement)

History

2026-11-02: add by m2/dev

Maximal rank conjecture RBVK5RQJQ8

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#5V2Y, Maximal rank conjecture (unknown)

History

2026-11-02: add by m2/dev

Turing tarpit RBVK9R13SR

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

Mentions

wikipedia: Wikipedia List of things named after Alan Turing#B7TP, Turing tarpit (definition)

History

2026-11-02: add by m2/dev

RBVXCJBCQN RBVXCJBCQN

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

Mentions

arxiv: arXiv 2609.39254#58SW (statement). In A59MZ9H284/e1, theorem 2.18

History

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

A universal horizon floor RBVYWX9DEY

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

Mentions

arxiv: arXiv 2609.27765#7BZ7, A universal horizon floor (statement)

History

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

RBW2GQ6YBH RBW2GQ6YBH

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#prop:funcsupinf (statement). In E59CDZA4DP, prop, section 7.3

History

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

Applications RBW4WNX47C

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

Mentions

wikipedia: Wikipedia Potts model#B9MK, Applications (example)

History

2026-11-02: add by m2/dev

Differential Geometry of Curves and Surfaces RBW5GBGXYZ

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

Mentions

wikipedia: Wikipedia Manfredo do Carmo#DQXC, Differential Geometry of Curves and Surfaces (unknown)

History

2026-11-02: add by m2/dev

RBW6F9XRZC RBW6F9XRZC

URI	`m2://inv/RBW6F9XRZC`
Kind	statement
Layer	research
MSC	03-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 2602.15812#38GH (statement). In GAAZD3SGPN/e1, proposition

History

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

RBW8RDSDE9 RBW8RDSDE9

URI	`m2://inv/RBW8RDSDE9`
Kind	definition
Layer	research
MSC	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.17875#2VTG (definition). In AQX7DGD360/e1, definition 5.4

History

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

Statement RBWEXMSBAW

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

Mentions

wikipedia: Wikipedia Envelope theorem#OYG8, Statement (statement)

History

2026-11-02: add by m2/dev

Applications RBWK74JFYN

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

Mentions

wikipedia: Wikipedia Intrinsic flat distance#ODRY, Applications (example)

History

2026-11-02: add by m2/dev

Examples RBWR1X29AK

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

Mentions

wikipedia: Wikipedia Tetration#Y3H1, Examples (example)

History

2026-11-02: add by m2/dev

Example RBWT3CB49K

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

Mentions

wikipedia: Wikipedia Thue number#USSL, Example (example)

History

2026-11-02: add by m2/dev

RBWXNPK81W RBWXNPK81W

URI	`m2://inv/RBWXNPK81W`
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 1904.09810#UJ48 (statement). In T1VFA7TXPA/e1, theorem 80

History

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

RBXCY91WGR RBXCY91WGR

URI	`m2://inv/RBXCY91WGR`
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 2503.01567#Q6CM (statement). In GB0V23Q6C5/e1, corollary 1.4

History

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

RBXDAKNP68 RBXDAKNP68

URI	`m2://inv/RBXDAKNP68`
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 2609.26337#RU8B (example)

History

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

Huntington–Hill method RBXK5X0PFV

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

Mentions

wikipedia: Wikipedia Huntington–Hill method, Huntington–Hill method (definition). Also Wikidata Q1533181

History

2026-11-02: add by m2/dev

RBXP7YX8BE RBXP7YX8BE

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

Mentions

arxiv: arXiv 2609.25291#YQIP (definition)

History

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

Construction RBY1GEBXMV

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

Mentions

wikipedia: Wikipedia Compound of three octahedra#9U7H, Construction (definition)

History

2026-11-02: add by m2/dev

RBY3XPFB9R RBY3XPFB9R

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

Mentions

arxiv: arXiv 2609.01473#D7G8 (statement). In ABS9M47F4K/e1, theorem

History

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

Tachyon RBY68CKXKT

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

Mentions

wikipedia: Wikipedia List of string theory topics#GVU5, Tachyon (unknown)

History

2026-11-02: add by m2/dev

Hyperbolic secant distribution RBY6A1SSD6

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

Mentions

wikipedia: Wikipedia List of probability distributions#TCTE, Hyperbolic secant distribution (definition)

History

2026-11-02: add by m2/dev

RBY8W17MG2 RBY8W17MG2

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#example-1 (example). In RZP28ERRZV, example, section 58.1

History

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

William S. Cleveland RBY9PM6E03

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#XH22, William S. Cleveland (unknown)

History

2026-11-02: add by m2/dev

RBYAE1QM4N RBYAE1QM4N

URI	`m2://inv/RBYAE1QM4N`
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 1009.2047#PI19 (statement). In F3MWRNBNED/e1, lemma 6.9

History

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

Beta negative binomial distribution RBYBEDQT50

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

Mentions

wikipedia: Wikipedia Beta negative binomial distribution, Beta negative binomial distribution (definition). Also Wikidata Q3258267

History

2026-11-02: add by m2/dev

Sparse approximation of an arbitrary fair baseline RBYD2HW4DE

URI	`m2://inv/RBYD2HW4DE`
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 2609.38228#H1TD, Sparse approximation of an arbitrary fair baseline (statement). In 9YAE8FNQST/e1, corollary 27.7

History

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

Conclusions of Zermelo's theorem RBYDYK0VRY

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

Mentions

wikipedia: Wikipedia Zermelo's theorem (game theory)#GP18, Conclusions of Zermelo's theorem (statement)

History

2026-11-02: add by m2/dev

Krasnokamianka RBYFBZBEF1

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

Mentions

wikipedia: Wikipedia List of places with numeric names#C57V, Krasnokamianka (unknown)

History

2026-11-02: add by m2/dev

RBYN63P06A RBYN63P06A

URI	`m2://inv/RBYN63P06A`
Kind	conjecture
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.37769#US6I (conjecture). In MJWNGM4S01/e1, conjecture 2.2

History

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

\textbf{Topological embedding of the extrinsic forward map at fixed bandwidth RBYNYN7ZEQ

URI	`m2://inv/RBYNYN7ZEQ`
Kind	statement
Layer	research
MSC	53-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.17032#LKRC, \textbf{Topological embedding of the extrinsic forward map at fixed bandwidth (statement). In MXPK9A2HK2/e1, theorem 4.3

History

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

Overlap matrix RBYP630B79

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

Mentions

wikipedia: Wikipedia Orbital overlap#EH5I, Overlap matrix (unknown)

History

2026-11-02: add by m2/dev

BP RBYRPSFBW7

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

Mentions

wikipedia: Wikipedia Glossary of set theory#A6NQ, BP (definition)

History

2026-11-02: add by m2/dev

False precision RBYSX2E259

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

Mentions

wikipedia: Wikipedia False precision, False precision (definition). Also Wikidata Q3467464

History

2026-11-02: add by m2/dev

RBYV8S7P7H RBYV8S7P7H

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

Mentions

napkin: napkin tex/cats/limits.tex#example-1 (example). In RZP28ERRZV, example, section 38.1

History

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

Definition 1 RBYWMFV5ME

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

Mentions

wikipedia: Wikipedia Series–parallel graph#P811, Definition 1 (definition)

History

2026-11-02: add by m2/dev

RBYYA2Y5FK RBYYA2Y5FK

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

Mentions

arxiv: arXiv 2610.20758#XS4D (definition). In PG0B4PH9YH/e1, definition 3.3

History

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

RBZ1751R1N RBZ1751R1N

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

Mentions

arxiv: arXiv 2610.00934#GT35 (statement). In SHCQDPCF2J/e1, lemma 3.11

History

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

Applications RBZ3ZRKNAV

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

Mentions

wikipedia: Wikipedia List of Lie groups topics#6JGO, Applications (example)

History

2026-11-02: add by m2/dev

St. Norbert College RBZ5QTV2ZZ

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

Mentions

wikipedia: Wikipedia List of polling organizations#20VT, St. Norbert College (unknown)

History

2026-11-02: add by m2/dev

Eugenio Calabi RBZP5DC43P

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#UE6R, Eugenio Calabi (topic)

History

2026-11-02: add by m2/dev

RBZTTBRA0G RBZTTBRA0G

URI	`m2://inv/RBZTTBRA0G`
Kind	statement
Layer	research
MSC	05-XX, 20-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.04305#YVEQ (statement). In Y1DR0DPWD0/e1, theorem 7.2

History

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

Causal functions RBZZ2Z045N

URI	`m2://inv/RBZZ2Z045N`
Kind	definition
Layer	research
MSC	35-XX, 46-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.21775#QZ1L, Causal functions (definition). In KM3Q791JY0/e1, definition 2.10

History

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