Math 2.0

Inventory: B

The rows of the inventory whose names start with B. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.

Rows 2801–2900 of 4390.

NameIdKindOutcomeSources
Bombieri–Friedlander–Iwaniec theoremFA9FJBRYWZstatementopenmathlib_1000 Q5503689, Wikidata Q5503689, thousand_plus Q5503689, Wikipedia Bombieri–Friedlander–Iwaniec theorem
Bombieri–Vinogradov theoremK6Y3JNK40EstatementopenWikidata Q2612539, MathWorld BombierisTheorem
Bonahon--Otal , Lecuire4KJZS6AWHNstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.29450#54CQ
Bonahon--Otal, Lecuire, Dular--SchlenkerR399GH2A9Zstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.29450#JQDM
Bonato--Gordinowicz--Pra{\l}atJSZMQQNVD9statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.02390#SC2E
bond percolationNMS7XXBPTEunknownopenWikidata Q121335541, MathWorld BondPercolation
Bondareva–Shapley theoremB62FVM01TGstatementopenmathlib_1000 Q4941364, Wikidata Q4941364, thousand_plus Q4941364, Wikipedia Bondareva–Shapley theorem
Bondy's theorem96EEXHMMNAstatementopenmathlib_1000 Q3443426, Wikidata Q3443426, thousand_plus Q3443426, Wikipedia Bondy's theorem
Bonferroni correctionXRM0VXC2FRunknownopenWikidata Q385989, MathWorld BonferroniCorrection
Bonne projectionN54KQ70J1BunknownopenWikidata Q2630681, MathWorld BonneProjection
Bonnet theoremQAFG0NFZ15statementopenmathlib_1000 Q4942215, Wikidata Q4942215, thousand_plus Q4942215, Wikipedia Bonnet theorem
Bonus Lemma8B1A4X6H0Qstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2212.05398#CPDI
bookW5YKTH8WZ1unknownout_of_scope (a book, not an item of mathematics)Wikidata Q571, ProofWiki Book:Books
Boole's inequalityMJ5PA6JYAMstatementnode (a node has the same Wikidata item as the row)Wikidata Q517378, MathWorld BonferroniInequalities
Boole's rule9WRTV8CB8NconceptopenWikidata Q4943343, MathWorld BoolesRule
Boolean algebraMCF1YG58WMtopicopenWikidata Q173183
Boolean algebraQ4NRHJG50Funknownnode (a node has the same Wikidata item as the row)Wikidata Q4973304, MathWorld BooleanAlgebra, nLab Boolean algebra
Boolean algebraic bound80NHEK8MKTstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.33327#IIUO
Boolean decompositionH65A2783MWstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.38212#BBBE
Boolean domainZPXXBT4BGFunknownopenWikidata Q3269980, MathWorld Booleans
Boolean functionE1GBCX18PBtopicnode (a node has the same name as the row)Wikidata Q942353, EoM Boolean_function, MathWorld BooleanFunction, nLab boolean function
Boolean incidence-history HamiltonianREJPM8199Rdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.14081#3ZKR
Boolean independence56Z8H4B4NXexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1711.00219#8U7Y
Boolean operatorQAH5D6C9Y1unknownopenWikidata Q20182284, MathWorld BooleanConnective
Boolean Polynomial RingGGHQFRWBRAdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.30279#ULUO
Boolean prime ideal theoremBKNER2GS49statementopenmathlib_1000 Q872088, Mathlib DistribLattice.prime_ideal_of_disjoint_filter_ideal, Wikidata Q872088, thousand_plus Q872088, Wikipedia Boolean prime ideal theorem
Boolean projection roundingGC7NHG73FEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.02407#SC8B
Boolean ringGR7RNGWNHNunknownnode (a node has the same name as the row)Wikidata Q2634401, MathWorld BooleanRing, nLab Boolean ring
boolean satisfiability problemTNRT8MF2DDunknownopenWikidata Q875276, MathWorld SatisfiabilityProblem
Boolean subspace geometry46YHDZ6N34statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.20270#IWWU
boolean, toposZZRXF54WCNconceptopenhott_book index/C.1.5/boolean-topos
Boolean-valued functionJE29CWWQ4MunknownopenWikidata Q17020770, nLab boolean-valued function
Boost function regularity4T739CRW3Wstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25449#B3DM
Boost integrability and light segments4R6G99NXC9statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25449#JGPP
Bootstrap66KN70C4YBstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.28251#YBHE
Bootstrap AssumptionsTDQXJYP9W0definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2601.15010#YCEI
Bootstrap inequalityYJXKV5NZJRstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.02721#Y79O
Bordering roundAS7GPPNHB0definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.27966#XQLB
Borderline boost function regularity I3M891JFQ3Ystatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25449#1XM3
Borderline boost function regularity II55ERY9Y2JKstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25449#N8CX
Borderline boost regularity for Dirichlet problemsFHMNX52D02statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.25449#GVQ1
Bordism categories with flipsHRHEFBEZYKexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2303.09207#1HZZ
Bordism categories with real structuresC0JCD9CZV6examplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2303.09207#VFP8
Borel $\sigma$-algebras with $\ext P\neq P_1$F9F654CG6Kexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2606.21391#3ZO9
Borel algebraD2K7WJZ87PdefinitionopenWikidata Q1080067, MathWorld BorelSigma-Algebra, ProofWiki Definition:Borel_Sigma-Algebra
Borel ConjectureYDQHDP2MHBconjecturerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.20131#O2J9
Borel determinacy theoremR1WTKV2RW4statementopenmathlib_1000 Q4944906, Wikidata Q4944906, thousand_plus Q4944906, Wikipedia Borel determinacy theorem
Borel fixed point theorem, III.10.42DHRXCS6JFstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2504.07573#45ZI
Borel fixed-point theorem4NRT4HPZR2statementopenmathlib_1000 Q4944908, Wikidata Q4944908, thousand_plus Q4944908, Wikipedia Borel fixed-point theorem
Borel function93AAHV1QP9unknownopenWikidata Q15895745, EoM Borel_function
Borel measurability of projectionsVEN54MJQYPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.17129#MNZA
Borel measureN8E57CN8TAunknownopenWikidata Q892585, MathWorld BorelMeasure, nLab Borel measure
Borel setTHPTM2KK38definitionnode (a node has the same Wikidata item as the row)Wikidata Q21086747, EoM Borel_set, MathWorld BorelSet, nLab Borel subset, ProofWiki Definition:Borel_Sigma-Algebra/Borel_Set
Borel sigma-algebra2MRQDP1G9Cunknownnode (a node has the same name as the row)mathlib_overview Analysis > Measures and integral calculus > Borel sigma-algebra, Mathlib BorelSpace, mathlib_undergrad Measures and integral calculus > Measure theory > Borel sigma-algebras
Borel subgroupAA18QJ9VSQunknownopenWikidata Q4944913, EoM Borel_subgroup, nLab Borel subgroup
Borel suffices, and $\Theta$ is an isomorphismS0C4YF8R0Xstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.26270#9415
Borel summation4EYSN6G82PunknownopenWikidata Q2329388, nLab Borel summation
Borel's theoremXNQ9KQET3YstatementopenWikidata Q18210319, nLab Borel's theorem
Borel--Haefliger , SullivanMEXXGAQHKZstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.29450#S7TW
Borel-Cantelli lemma (difficult direction)WW8SESKX09unknownopenmathlib_undergrad Probability Theory > Definitions of a probability space > Borel-Cantelli lemma (difficult direction), Mathlib ProbabilityTheory.measure_limsup_eq_one
Borel-Cantelli lemma (easy direction)D0MK3EZ2T0unknownopenmathlib_undergrad Probability Theory > Definitions of a probability space > Borel-Cantelli lemma (easy direction), Mathlib MeasureTheory.measure_limsup_atTop_eq_zero
Borell-TIS, Theorem 2.1.1WQS7TAFNZ5statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.05953#QMCS
Borel–Carathéodory theoremJ9PNMMHZ65statementopenmathlib_1000 Q3229335, Mathlib Complex.borelCaratheodory, Wikidata Q3229335, thousand_plus Q3229335, Wikipedia Borel–Carathéodory theorem
Borel–Weil theorem458C8YTF8NstatementopenWikidata Q4944922, MathWorld Borel-WeilTheorem, nLab Borel-Weil theorem
Borel–Weil–Bott theoremC8C06867PMstatementopenmathlib_1000 Q4944923, Wikidata Q4944923, mathlib_1000 Q4944923X, thousand_plus Q4944923, Wikipedia Borel–Bott–Weil theorem, thousand_plus Q4944923X, Wikipedia Borel–Weil theorem, ProofWiki Borel-Bott-Weil_Theorem
Boris FeiginM8BM4Y8YVTunknownout_of_scope (a person, not an item of mathematics)Wikidata Q893715, nLab Boris Feigin
Boris KhesinSW1SP8M0C0unknownout_of_scope (a person, not an item of mathematics)Wikidata Q15455484, nLab Boris Khesin
Boris KruglikovWQGXJTHKE1unknownout_of_scope (a person, not an item of mathematics)Wikidata Q102123910, nLab Boris Kruglikov
Boris PiolineT1EG14PQYQunknownout_of_scope (a person, not an item of mathematics)Wikidata Q893757, nLab Boris Pioline
Boris Tsygan9QWB34D4K4unknownout_of_scope (a person, not an item of mathematics)Wikidata Q55813744, nLab Boris Tsygan
Boris ZilberEFV25MJY6Funknownout_of_scope (a person, not an item of mathematics)Wikidata Q893805, nLab Boris Zilber, ProofWiki Mathematician:Boris_Iosifovich_Zilber
Born-Oppenheimer approximationSBJ9SX6VMMunknownopenWikidata Q633824, nLab Born-Oppenheimer approximation
bornological space5KGTNZ5SB5unknownopenWikidata Q894008, nLab bornological space
BornologyWY39NT6512unknownopenmathlib_overview Analysis > Topological vector spaces > Bornology, Mathlib Bornology
Born–Infeld modelCAF313H88XunknownopenWikidata Q852824, nLab Dirac-Born-Infeld action
borrowSPT9CKFMFYconceptopenWikidata Q16177075, MathWorld Borrow
Borsuk's conjectureVYZWZR0MTGconjectureopenWikidata Q894242, MathWorld BorsuksConjecture
Borsuk--Ulam6REHNEYPZ4statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2310.01868#MUWV
Borsuk–Ulam theoremDT3HWZSRZKstatementopenmathlib_1000 Q848092, Wikidata Q848092, thousand_plus Q848092, Wikipedia Borsuk–Ulam theorem, MathWorld Borsuk-UlamTheorem
Borwein integralSG043JZ7PEunknownopenWikidata Q3067015, MathWorld BorweinIntegrals
BoseJVKYTPJVFJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.11757#VFLZ
bosonEB23YZVFGFunknownopenWikidata Q43101, nLab boson
boson star5ACV27THWFunknownopenWikidata Q130402, nLab boson star
bosonic string theory2GSGERWY3RunknownopenWikidata Q1202882, nLab bosonic string theory
bosonization2YBBM36H5AunknownopenWikidata Q4947448, nLab bosonization
Bost--Charles, 2022FGSCGQDJWPproblemrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.06461#WRPB
both constructions4T6SH38T6Xexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.21408#LYEE
Both covers are productsHQJXCY0418statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.29839#K36I
Both framings of an orbit admit equivariant surgeryNWFA98RB5Hstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.29839#TZTA
Both limit alternatives3241PAWSCEstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.00076#QZHE
Both marginals and the driving law5TVWQP5XJRstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.38228#HTXC
Both surgery manifolds are standard7FDGHVN30Dstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2609.29839#JUJW
Both symmetric or skew-symmetric pairV75QM0XSAGstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08980#TDYF
Bott periodicity theorem31XZN3W9CQstatementopenmathlib_1000 Q4948983, Wikidata Q4948983, thousand_plus Q4948983, Wikipedia Bott periodicity theorem, EoM Bott_periodicity_theorem, MathWorld BottPeriodicityTheorem, nLab Bott periodicity
Bottleneck matching distance5GAKPEDM1Mdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.08152#KHMR
Bottleneck StabilityT1ZNKR277Ystatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2610.16386#EDJH
bottom quarkVYZ2HP5VN1unknownopenWikidata Q6786, nLab bottom quark
BotvinnikHFZHT7SPR8statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2005.03073#QP2C
Botvinnik--Ebert--Randal-Williams , and PerlmutterWDGWV1D75Tstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2005.03073#HDKW
Botvinnik--Piazza--RosenbergAXNPD93VFCstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2005.03073#Y0Q9