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 1101–1200 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Barban–Davenport–Halberstam theorem | BJVMTHSB7V | statement | open | mathlib_1000 Q15813392, Wikidata Q15813392, thousand_plus Q15813392, Wikipedia Barban–Davenport–Halberstam theorem |
| Barbara Fantechi | 1531KW1V4A | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q30495285, nLab Barbara Fantechi |
| barbell graph | 61QVK5YHN4 | unknown | open | Wikidata Q25305246, MathWorld BarbellGraph |
| barber paradox | 4PJRRZR1Z4 | statement | open | Wikidata Q807853, MathWorld BarberParadox, ProofWiki Barber_Paradox |
| Barber, Erde | 6RD3J7GW3G | 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.31331#MEW9 |
| Barbier's theorem | SZA2TM6F5A | statement | open | mathlib_1000 Q1188048, Wikidata Q1188048, thousand_plus Q1188048, Wikipedia Barbier's theorem, MathWorld BarbiersTheorem |
| Barcan formula | 18RP9G70HW | unknown | open | Wikidata Q3748370, nLab Barcan formula |
| Barenco et al, 1995; arXiv:quant-ph/9503016v1 | 8E7GEHX6CY | exercise | open | napkin tex/quantum/circuits.tex#dproblem-1 |
| bargaining | A9FXYR7RGC | concept | open | hott_book index/C.5/bargaining |
| bargaining | P06VHZ6GXK | concept | open | hott_book index/2.6/bargaining |
| bargaining | P4V2QNTJH8 | concept | open | hott_book index/B.3/bargaining |
| Bargmann Form | DMWB93C32T | 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.06810#Q9IB |
| Bargmann-Fock Space | 8P9CZ0PVVY | 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.06810#Z6LM |
| Barker code | WWJ9Y79FDY | concept | open | Wikidata Q808256, MathWorld BarkerCode |
| Barlet classification and fundamental cycles | 7DZQNA2KE7 | 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 2407.02022#91P7 |
| Barnes G-function | 938KX196HH | unknown | open | Wikidata Q808463, MathWorld BarnesG-Function |
| Barnette's conjecture | 295V4N52VE | conjecture | open | Wikidata Q4861653, MathWorld BarnettesConjecture |
| Barnette–Bosák–Lederberg graph | NJATYJ53GR | unknown | open | Wikidata Q3115470, House of Graphs 954, MathWorld Barnette-Bosak-LederbergGraph |
| Barnsley fern | B7AQVGGRMF | unknown | open | Wikidata Q4861944, MathWorld BarnsleysFern |
| Barred energy | AZ3JY7HZ63 | 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.25762#8VUL |
| barrelled space | ENCBD349T9 | unknown | open | Wikidata Q2090232, EoM Barrelled_space |
| Barriers for the magnetization | 4XNYFCAST6 | 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.18350#TB90 |
| Barron distance between Gaussians | MQ4ESN08R9 | 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.10875#7K9K |
| Barron space, bounded | X1CQ84F8RA | 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.10875#HP96 |
| Barron space, homogeneous | QAEM1TGJ08 | 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.10875#30K4 |
| Barry Mazur | ZVVDMTY1X6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q809076, nLab Barry Mazur |
| Barry Simon | 903KKA1KDN | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q370126, nLab Barry Simon, ProofWiki Mathematician:Barry_Martin_Simon |
| Bartel Leendert van der Waerden | R1T6SHR81M | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q287097, ProofWiki Mathematician:Bartel_Leendert_van_der_Waerden |
| Bartholdi's group-algebra criterion | ERCFGCE1FX | 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.00789#J9SG |
| Barton Zwiebach | PXA5ZPYK6C | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q809560, nLab Barton Zwiebach |
| Barwise compactness theorem | 62BFD5MQK7 | statement | open | mathlib_1000 Q4865980, Wikidata Q4865980, thousand_plus Q4865980, Wikipedia Barwise compactness theorem |
| barycenter | 9DZB4JHHDF | unknown | open | Wikidata Q809690, nLab barycenter |
| barycenter | R05D5XW07A | unknown | open | mathlib_overview Geometry > Affine and Euclidean geometry > barycenter, Mathlib Finset.affineCombination, mathlib_undergrad Affine and Euclidean Geometry > General definitions > barycenter |
| Barycenter of pure inputs | 620769YD44 | 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.01855#4EOQ |
| Barycenter of the visual measure | N7MB9W8PPS | 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.28014#VJI6 |
| Barycenter stability | NQSGTX06VC | 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#GXQK |
| barycentric coordinate system | B86AZCZ8T5 | unknown | open | Wikidata Q738422, MathWorld BarycentricCoordinates |
| Barycentric description of the fixed-support weights | KC0HGYJPQK | 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.04136#F7B7 |
| Barycentric hull | GY8RK06FA3 | 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.17909#BENK |
| Barycentric solution | 9EGVT15P62 | 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.31345#01P4 |
| barye | 2Q8NSFG6ZR | definition | open | Wikidata Q809678, ProofWiki Definition:Barye |
| baryogenesis | 2HFW62YVSR | unknown | open | Wikidata Q790454, nLab baryogenesis |
| baryon | 92EPQ6QN8H | unknown | open | Wikidata Q159731, nLab baryon |
| baryon number | BFK319BB9K | unknown | open | Wikidata Q110346, nLab baryon number |
| Bas Spitters | 1060EXKB5X | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102268505, nLab Bas Spitters |
| Bas van Fraassen | P06E7WG97Q | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q809744, nLab Bas van Fraassen |
| BAS9P4FRW4 | BAS9P4FRW4 | 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.10745#U6TU |
| base | BVEPB555N8 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q810214, MathWorld TopologicalBasis, ProofWiki Definition:Basis_(Topology) |
| base case | NVZWA6MN7S | definition | open | Wikidata Q54504562, ProofWiki Definition:Basis_for_the_Induction |
| Base case for even $q$ | 92TFHY8KVD | 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 2608.17785#EKR0 |
| Base change over a disc of $\partial\bar\partial$-fibers | VZYZDP7KKP | 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 2407.02022#57VF |
| Base change theorems | 2WDQGC7943 | statement | open | mathlib_1000 Q4866385, Wikidata Q4866385, mathlib_1000 Q4866385X, thousand_plus Q4866385, Wikipedia Base change theorems, thousand_plus Q4866385X, Wikipedia Proper base change theorem |
| base change to $\bar k$ | TW7F7TN16J | 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.07508#7YMU |
| Base curves through a point | B586NRR1A6 | 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.33327#V58B |
| Base field | BE8TKQW4ME | example | open | napkin tex/alg-NT/finite-field.tex#example-1 |
| Base PERs are PERs | 3189N2KZQY | 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.21131#1U3M |
| base unit | QCWFKZQEEY | definition | open | Wikidata Q810225, ProofWiki Definition:Fundamental_Unit_(Physics) |
| Base value | HFR7ANPJYH | 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.37466#WWV4 |
| Base-change | K2QJG4V4A2 | 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#F54W |
| base-field extension bound | A64H8YCR2B | 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.07508#2NYK |
| Base-row realization and counterexamples | 3K81GVC3RE | 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.00115#6QYE |
| based map | GZBFT5B0CK | concept | open | hott_book index/5.5/based-map |
| Based on Theorem 8.6 | JBKP3X1TKD | 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.16267#LOEQ |
| Based-torus comparison | XH8ZN8AB67 | 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.04189#OT20 |
| Basel problem | 5QAC31Y4HM | statement | node (a node has the same Wikidata item as the row) | mathlib_100 14, Mathlib hasSum_zeta_two, mathlib_1000 Q810431, Wikidata Q810431, thousand_plus Q810431, Wikipedia Basel problem, ProofWiki Basel_Problem |
| Baseline and architecture | PZ8YXVD086 | 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.15184#BLK1 |
| basepoint | DX8Z4Q9NXS | concept | open | hott_book index/6.5/basepoint |
| basepoint chains | AT9B4W2SWV | 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 2609.32733#L832 |
| basepoint, set of | 44YA1V7D5B | concept | open | hott_book index/7.7.2/basepoint-set-of |
| Bases Pair Law | Y3CMN68T3K | 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.06724#SL0Z |
| Basic Block Simulation | G2NSSM41CH | 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 math/0003117#YMDN |
| Basic counting | 1R4GV4A7EW | 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.15340#ZY6B |
| Basic Cycle | 1DMQYC6HXG | 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 2609.26337#R3FQ |
| Basic diagonal properties on the good set | K1GWMFNX99 | 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.30590#F2MQ |
| Basic distance facts, \mycite{Chapter 7}{BBI | A2YZGEBT39 | 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.17400#6AYI |
| Basic error estimate | KFJWAPGZJT | 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.15805#GEVF |
| Basic examples of signatures | DR9V47BWV9 | example | open | napkin tex/alg-NT/classgrp.tex#example-5 |
| basic forms | PKJTEZ0WG9 | 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 1408.1555#6LAV |
| Basic geometric properties | HYBHC4BP2C | 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.12017#29AI |
| basic hypergeometric series | CGHMQ45K0H | unknown | open | Wikidata Q1062958, MathWorld q-HypergeometricFunction |
| Basic identities and estimates | KZV74V070J | 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.15805#3F1O |
| Basic mutation properties | D0ES44XR90 | 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.17441#P4ZN |
| Basic Properties | D3H9PJB8NF | 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 2312.14445#5CHY |
| Basic properties | KMK30ZEXPP | 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.21775#X7QD |
| Basic properties | NPZ0W3F47M | 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.37524#X791 |
| Basic properties | Q3AFFMZYZX | 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.30877#5BEK |
| Basic properties of $\dot\cV^{q,p}$ and $\cV^{q,p}$ | RFMMVT8HYM | 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.29712#4G73 |
| Basic properties of $I_{\beta,\gamma}$ | DC26XXS3E6 | 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.40271#9Z2K |
| Basic properties of $Z$ and $\lambda$ | DVYQ3H3HJ4 | 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.27765#17BS |
| Basic properties of Lindbladians | 1TDC1PKSKZ | 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.12017#44PK |
| Basic properties of the box constraint | K7WVYFC866 | 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.00033#LGYV |
| Basic properties of the margin class | 6JM96WVV5C | 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#CSSM |
| Basic properties of the operator $\mathcal{D}$ | FE7B3AFEY2 | 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.08610#ONUU |
| Basic properties of the potentials | HTE2XT4W52 | 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.01928#B03I |
| Basic properties of the Riesz fractional gradient | 1KTVDVACRN | 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.08253#TKP2 |
| Basic properties, conditionally | QWK5GG0K5V | 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.27765#9FH2 |
| Basic regularity and identification of the martingale integrand | WV8KKFDXFY | 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.02106#NS8U |
| Basic resolvent bounds on the good set | 5A6ZGATYF5 | 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.30590#XRIU |
| Basic resolvent Lipschitzness on the good set | 15VT9BDY3D | 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.30590#7K1Q |
| Basic Sage commands | CH8S6833TW | exercise | open | austin_ula src/section1-3.xml#activity-1 |