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.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 1701–1800 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Bernoulli's equation | 3RMQQ66XX9 | definition | open | Wikidata Q25447164, ProofWiki Definition:Bernoulli's_Equation_(Fluid_Mechanics) |
| Bernoulli's inequality | 40AFAE4V2C | statement | record (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.11517#7BY9 |
| Bernoulli's inequality | BB8F3FV4YK | concept | node (a node has the same Wikidata item as the row) | Wikidata Q728662, MathWorld BernoulliInequality |
| Bernoulli's Inequality | MDR5HB8MG1 | statement | record (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 2104.00162#1TWA |
| Bernoulli's triangle | MFZKR01FXS | unknown | open | Wikidata Q27997208, MathWorld BernoulliTriangle |
| Bernoulli--Gaussian comparison | NMQXXMW4PW | statement | record (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#0Z97 |
| Bernstein | A14EWJDAVF | statement | record (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.33643#J0EL |
| Bernstein | S0CB30T4M2 | statement | record (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.15432#XRCA |
| Bernstein approximants of deformation maps | KYJZ8VWNKQ | statement | record (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.00039#AYBO |
| Bernstein Chaining | PQX39F533A | statement | record (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.15111#HC2U |
| Bernstein function | HRNBC2230E | definition | record (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.20302#XJK8 |
| Bernstein inequality | 21GTBQ8F2G | statement | record (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.03011#3HTK |
| Bernstein Inequality | KEVQRNM5ZA | statement | record (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.15111#IR5H |
| Bernstein inequality for Poisson random variables | VSGC206Y93 | statement | record (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.14616#S0AC |
| Bernstein lower bounds on a whole interval | PVVWX74AGG | statement | record (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.35325#6C24 |
| Bernstein parametrization | Y6YST7PYSD | statement | record (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.21363#W8Z7 |
| Bernstein polynomial | S1JJSDS9GR | concept | node (a node has the same name as the row) | Wikidata Q826841, MathWorld BernsteinPolynomial |
| Bernstein's constant | 76YY18D5MZ | object | open | Wikidata Q2782386, MathWorld BernsteinsConstant, OEIS A073001 |
| Bernstein's inequality for sub-exponential random variables | T520DJE1FV | statement | record (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.09324#S787 |
| Bernstein's inequality in Lorentz space | ZZM3C70E17 | statement | record (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.28454#CXVR |
| Bernstein's lemma | B2034F5KDQ | statement | record (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 2508.08809#8ZER |
| Bernstein's theorem (approximation theory) | 3VK722SNTE | statement | open | mathlib_1000 Q4894565, Wikidata Q4894565, thousand_plus Q4894565, Wikipedia Bernstein's theorem (approximation theory) |
| Bernstein's theorem on monotone functions | P3HYJJKT95 | statement | open | mathlib_1000 Q3527015, Wikidata Q3527015, thousand_plus Q3527015, Wikipedia Bernstein's theorem on monotone functions, MathWorld CompletelyMonotonicFunction |
| Bernstein-type envelopes | W7YNR9THK7 | statement | record (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.10080#VACN |
| Berry paradox | YQ71XTMEP4 | statement | open | Wikidata Q827144, MathWorld BerryParadox, ProofWiki Berry_Paradox |
| Berry--Esseen | YMCVMA2FNB | statement | record (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.17403#WKYA |
| Berry--Esseen bound for an independent part plus a reversible-chain part | M5ZCFY4HHF | statement | record (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.17403#E9XQ |
| Berry--Esseen under MCMC | 2SE35DSDJ8 | statement | record (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.17403#7Y8E |
| Berry–Esséen theorem | W57QXW8BN0 | statement | open | mathlib_1000 Q1785872, Wikidata Q1785872, thousand_plus Q1785872, Wikipedia Berry–Esséen theorem |
| Bert Mendelson | XQDMH4QQN8 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102192938, ProofWiki Mathematician:Bert_Mendelson |
| Bert Schellekens | 7CCBMTWA3Q | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q71165337, nLab Bert Schellekens |
| Bert Schroer | G8CP3C1NBA | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q97292, nLab Bert Schroer |
| Bertfried Fauser | WA1TEPG6G7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q62057588, nLab Bertfried Fauser |
| Bertini Theorem \hbox | CT8FE8XAG5 | statement | record (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.32599#UFW4 |
| Bertram Kostant | AAXPS03W0W | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q828478, nLab Bertram Kostant |
| Bertrand paradox | 918E4K7X09 | concept | node (a node has the same Wikidata item as the row) | Wikidata Q828552, MathWorld BertrandsProblem |
| Bertrand Russell | PY8XCKR8WB | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q33760, nLab Bertrand Russell, ProofWiki Mathematician:Bertrand_Arthur_William_Russell |
| Bertrand Toën | VTGHBCFVE6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q29018271, nLab Bertrand Toën |
| Bertrand's ballot theorem | CA5F5B915K | statement | node (a node has the same Wikidata item as the row) | mathlib_100 30, Mathlib Ballot.ballot_problem, mathlib_1000 Q2253746, Wikidata Q2253746, thousand_plus Q2253746, Wikipedia Bertrand's ballot theorem, MathWorld BallotProblem |
| Bertrand's postulate | 5GC3DXPFC0 | statement | node (a node has the same Wikidata item as the row) | mathlib_100 98, Mathlib Nat.bertrand, mathlib_1000 Q632546, Wikidata Q632546, mathlib_1000 Q632546X, thousand_plus Q632546, Wikipedia Bertrand's postulate, thousand_plus Q632546X, MathWorld BertrandsPostulate, nLab Bertrand's postulate, ProofWiki Bertrand-Chebyshev_Theorem |
| Bertrand's postulate | X7CTNFBY9C | statement | record (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.32834#JV6Q |
| Bertrand's test | WKDMW0HRHF | unknown | open | Wikidata Q1789454, MathWorld BertrandsTest |
| Bertrand's theorem | SGK2DFRCEJ | statement | open | Wikidata Q2493651, nLab Bertrand's theorem |
| Bertrand–Diquet–Puiseux theorem | SBHWA9T8NY | statement | open | mathlib_1000 Q931404, Wikidata Q931404, thousand_plus Q931404, Wikipedia Bertrand–Diquet–Puiseux theorem |
| BES48VYVNQ | BES48VYVNQ | conjecture | record (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.08581#JQET |
| BES6P1A8S6 | BES6P1A8S6 | statement | record (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.30098#MHK0 |
| Besicovitch 1919/1928 | ZEKXJBXXXC | statement | record (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.40161#NSG6 |
| Besicovitch covering theorem | 2CRD3BW7G0 | statement | open | mathlib_1000 Q137164, Mathlib Besicovitch.exists_disjoint_closedBall_covering_ae, Wikidata Q137164, thousand_plus Q137164, Wikipedia Besicovitch covering theorem |
| BESNB6RPHE | BESNB6RPHE | statement | open | napkin tex/homology/cellular.tex#theorem-3 |
| Besov multiplier | ZAMMGM5HJ5 | statement | record (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#LUVA |
| Besov spaces | QVHPPSW4C2 | definition | record (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.17815#0JZY |
| BESP04P47G | BESP04P47G | exercise | open | ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-5 |
| Bessel | 1CQW9ZR06S | example | open | lebl_diffyqs ch-eigenvalue-probs.tex#example-1 |
| Bessel comparison and factorial asymptotics | XZ0YC7Q1GR | conjecture | record (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.00396#BHH1 |
| Bessel differential equation | 951K5VADWN | unknown | open | Wikidata Q1055071, EoM Bessel_equation, MathWorld BesselDifferentialEquation |
| Bessel function | S06VPKS5TS | topic | open | Wikidata Q219637, MathWorld BesselFunction, nLab Bessel function |
| Bessel function | VZ6C0H6GY8 | definition | open | Wikidata Q109546200, MathWorld BesselFunctionoftheFirstKind, ProofWiki Definition:Bessel_Function/First_Kind |
| Bessel function of the first kind | 3A6ZXAM9HB | concept | open | lebl_diffyqs index/9.3.3/bessel-function-of-the-first-kind |
| Bessel function of the second kind | 5E3QAPCYRT | definition | open | Wikidata Q109545924, MathWorld BesselFunctionoftheSecondKind, ProofWiki Definition:Bessel_Function/Second_Kind |
| Bessel interpolation formula | E4RGEJM7MR | unknown | open | Wikidata Q830127, EoM Bessel_interpolation_formula |
| Bessel polynomials | WB8ZZ6M5FW | concept | open | Wikidata Q4896402, MathWorld BesselPolynomial |
| Bessel's correction | DKFX897635 | unknown | open | Wikidata Q526938, MathWorld BesselsCorrection |
| Bessel's inequality | 27ATMFJZCK | statement | node (a node has the same Wikidata item as the row) | Wikidata Q794042, EoM Bessel_inequality, MathWorld BesselsInequality |
| Bessel's inequality\footnote{ Named after the German astronomer, mathematician, physicist, and geodesist \href{https://en.wikipedia.org/wiki/Friedrich_Bessel}{Friedrich Wilhelm Bessel} (1784--1846).} | KXVFCBRQ43 | statement | open | lebl_ra ch-approximate.tex#thm:bessels |
| Best additive approximation | FRYYDNS88N | statement | record (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.30301#GYFF |
| best approximation of the Dirichlet datum | C700931XWM | statement | record (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.17678#I2CJ |
| Best interval-based affine estimate | DVN1V7BX70 | statement | record (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.34918#RS0H |
| Best positive-semidefinite rank-$k$ approximation | NVC0XWFYFH | statement | record (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.27200#A3ZC |
| BEST theorem | TM5HXSSMX6 | statement | open | mathlib_1000 Q3527004, Wikidata Q3527004, thousand_plus Q3527004, Wikipedia BEST theorem |
| best-approximation estimate | QZ0F9B2F91 | statement | record (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.08016#X1D3 |
| Best-so-far guarantees | V8ZXGSW3N4 | statement | record (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.04027#J0AH |
| BET1KKVQD4 | BET1KKVQD4 | exercise | open | open_logic content/many-valued-logic/three-valued-logics/multiple-designation.tex#prob-3 |
| beta decay | BFQHN2A7VW | unknown | open | Wikidata Q306786, nLab beta decay |
| beta distribution | VC6VNE8BBC | unknown | node (a node has the same name as the row) | Wikidata Q756254, MathWorld BetaDistribution |
| Beta fingerprinting | YV93B7973Q | statement | record (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.09206#4XES |
| Beta formula for the diagonal polynomial | 41GZTZH1V8 | statement | record (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.18277#3PHZ |
| beta function | SN440TG8AN | definition | open | Wikidata Q468881, EoM Beta-function, MathWorld BetaFunction, ProofWiki Definition:Beta_Function |
| Beta prime distribution | 8JZHHZKSK5 | unknown | open | Wikidata Q180188, MathWorld BetaPrimeDistribution |
| beta-binomial distribution | P29WWSDJY8 | unknown | open | Wikidata Q307557, MathWorld BetaBinomialDistribution |
| Beth Definability Theorem | 4Z19WCSR8E | statement | open | open_logic content/model-theory/interpolation/definability.tex#thm-1 |
| Beth Definability Theorem | WYST65S4CW | statement | open | open_logic content/proof-theory/cut-elimination/interpolation.tex#lem-1 |
| beth numbers | SZ0MSCJJDA | unknown | open | mathlib_overview Logic and computation > Set theory > Cardinals > beth numbers, Mathlib Cardinal.beth |
| Bethe-Sommerfeld conjecture | N83VFAKSY7 | conjecture | open | Wikidata Q119795143, EoM Bethe-Sommerfeld_conjecture |
| BETM9DZA51 | BETM9DZA51 | example | record (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.17240#SS30 |
| betrothed numbers | PXH2QAVM45 | concept | open | Wikidata Q846701, MathWorld QuasiamicablePair, OEIS A003502, OEIS A003503 |
| BETT88DRRJ | BETT88DRRJ | example | record (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.40282#W4U9 |
| Betti number | C1MRFGFW7G | concept | open | Wikidata Q429593, MathWorld BettiNumber, nLab Betti number |
| Betti numbers and polynomiality | QZE2FG8WV3 | problem | record (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.04305#9BZ7 |
| Betti numbers of a nonsingular hypersurface | 22XEXCTJMT | statement | record (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.01731#G1GV |
| Betti's theorem | 1ZR0PF6Z7S | statement | open | mathlib_1000 Q794269, Wikidata Q794269, thousand_plus Q794269, Wikipedia Betti's theorem |
| Betting \evars | W3M1KH4DK6 | example | record (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.27766#3H96 |
| BETVK17DJ4 | BETVK17DJ4 | statement | record (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 2306.07511#HZTZ |
| Betweenness obstruction | K8096F159M | statement | record (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.14681#45CM |
| Beurling | YX91H34HS1 | statement | record (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.24307#1U1H |
| Beurling–Lax theorem | W1N11YAEDY | statement | open | mathlib_1000 Q3527017, Wikidata Q3527017, thousand_plus Q3527017, Wikipedia Beurling–Lax theorem |
| BEV5N7QDM9 | BEV5N7QDM9 | statement | open | hott_book basics.tex#lem:htpy-natural |
| BEVAD2ZA1M | BEVAD2ZA1M | example | record (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 2302.05529#VROV |
| Bevan et al. | QDWWP6EYKV | statement | record (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.02535#PDZ9 |
| Bevan point | PHV0BEDHHS | unknown | open | Wikidata Q851513, MathWorld BevanPoint |
| Beveridge, Frieze, McDiarmid | 8D4BNEH539 | statement | record (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.28552#HLCW |