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 3601–3700 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| BRT5KREJTP | BRT5KREJTP | 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.03337#4P1N |
| BRT7650ZJ1 | BRT7650ZJ1 | 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.12817#OO6I |
| Brualdi | B65BK4NW2S | 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.16785#VCMO |
| Brualdi exchange map | Q8YSF0D0B5 | 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.24569#0LMI |
| Bruck–Ryser–Chowla theorem | 46E0QXK4PJ | statement | open | mathlib_1000 Q2226624, Wikidata Q2226624, thousand_plus Q2226624, Wikipedia Bruck–Chowla–Ryser theorem, MathWorld Bruck-Ryser-ChowlaTheorem |
| Bruhat decomposition | KBK6RVN06Y | concept | open | Wikidata Q4978699, EoM Bruhat_decomposition, nLab Bruhat decomposition |
| Bruhat graph | N1DCZR2Q3P | unknown | open | Wikidata Q130751615, MathWorld BruhatGraph |
| Bruhat order | RK0BA6SKN6 | concept | open | Wikidata Q4978697, MathWorld BruhatOrder |
| Brun's constant | SCCDHRZXY8 | object | open | Wikidata Q850251, MathWorld BrunsConstant, OEIS A065421, ProofWiki Definition:Brun's_Constant |
| Brun's theorem | QTQATZT3Q3 | statement | open | mathlib_1000 Q844612, Wikidata Q844612, thousand_plus Q844612, Wikipedia Brun's theorem, MathWorld BrunsTheorem, ProofWiki Brun's_Theorem |
| Brun--Devetak--Hsieh | DWF0XQQAG0 | 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.02392#1KO7 |
| Brunn--Minkowski inequality for the reference energy | YRCH4BP8ZV | 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#3794 |
| Brunnian link | 4VZVN19S52 | unknown | open | Wikidata Q3055232, MathWorld BrunnianLink |
| Brunn–Minkowski theorem | 6MSM6HW5JS | statement | open | mathlib_1000 Q3915398, Wikidata Q3915398, thousand_plus Q3915398, Wikipedia Brunn–Minkowski theorem |
| Bruno de Finetti | 3494WVKYXC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q728322, nLab Bruno de Finetti |
| Bruno Kahn | 5PEPDYG3N7 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102230257, nLab Bruno Kahn |
| Bruno Vallette | H583H1CRN6 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q38231546, nLab Bruno Vallette |
| Bruno Zumino | Z1CNVE9TBC | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q554631, nLab Bruno Zumino |
| Brun–Titchmarsh theorem | ZASDEHWMKP | statement | open | mathlib_1000 Q4979609, Wikidata Q4979609, thousand_plus Q4979609, Wikipedia Brun–Titchmarsh theorem |
| Brusselator | 8YF7S4Z491 | unknown | open | Wikidata Q906505, MathWorld BrusselatorEquations |
| brute force method | RJG0CKXXV2 | unknown | open | mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > brute force method |
| brute-force search | M72GNDJWVC | unknown | open | Wikidata Q850362, MathWorld ExhaustiveSearch |
| BRV0FN650Q | BRV0FN650Q | 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 2405.05684#ATT5 |
| BRVBKXCZMC | BRVBKXCZMC | 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.11869#EH4E |
| BRW2VKQQG6 | BRW2VKQQG6 | 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.17547#A1BQ |
| BRXB7NTD15 | BRXB7NTD15 | 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.33469#PYN5 |
| BRXNYVJBQB | BRXNYVJBQB | 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.27078#L35K |
| BRXR9N1680 | BRXR9N1680 | 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.18673#C13E |
| Bryce DeWitt | 8X9BW2Z1GT | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q545097, nLab Bryce DeWitt |
| BRZJHME1N2 | BRZJHME1N2 | 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.17116#LJZC |
| BRZTFPGY22 | BRZTFPGY22 | 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.14509#S2E4 |
| Brāhmasphuṭasiddhānta | 98HSYRQBB5 | unknown | out_of_scope (a book, not an item of mathematics) | Wikidata Q1290001, ProofWiki Book:Brahmagupta/Brahmasphutasiddhanta |
| BS table | 6AJVANJPF8 | 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.25543#4NB6 |
| BS03MD58G5 | BS03MD58G5 | statement | open | austin_ula src/section2-4.xml#prop-linear-indep-bound |
| BS099P1Z4Q | BS099P1Z4Q | 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.09561#UKM0 |
| BS0B5DX4TV | BS0B5DX4TV | 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 1002.0879#NJHY |
| BS0GW7W3TG | BS0GW7W3TG | 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.05391#9O7R |
| BS16GWVSNH | BS16GWVSNH | 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.31242#LFBB |
| BS1A0MV6CW | BS1A0MV6CW | 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.38844#D0LF |
| BS1DPMGJK7 | BS1DPMGJK7 | exercise | open | levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-12 |
| BS1EG4TVVN | BS1EG4TVVN | 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.01596#YSSA |
| BS1Q3AZDYZ | BS1Q3AZDYZ | 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.36204#FH4I |
| BS1QYAE9J7 | BS1QYAE9J7 | 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.12483#2D8Q |
| BS254MMCPA | BS254MMCPA | 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.14319#554Q |
| BS2AK6CJAR | BS2AK6CJAR | 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.21960#2PPS |
| BS2EQHF7QB | BS2EQHF7QB | 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.20207#9UQ3 |
| BS2QQMKGRB | BS2QQMKGRB | 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.24465#6CRH |
| BS32T2ECG9 | BS32T2ECG9 | 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.08226#49KH |
| BS39043RBA | BS39043RBA | 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.30203#LD4T |
| BS3NAXQX7B | BS3NAXQX7B | 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.12736#M842 |
| BS4RMAVKFP | BS4RMAVKFP | 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.34011#LLPK |
| BS5HWW8HV9 | BS5HWW8HV9 | 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.22074#PDG0 |
| BS5QHFFD4B | BS5QHFFD4B | 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 2410.22607#E4HC |
| BS613ANJV0 | BS613ANJV0 | 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.20758#1ABR |
| BS61GDQHGN | BS61GDQHGN | 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 1904.08413#TEN3 |
| BS63YYJP36 | BS63YYJP36 | 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 2211.10178#FCYE |
| BS77PGEZCC | BS77PGEZCC | proof | open | open_logic content/computability/computability-theory/application-fixed-point.tex#proof-1 |
| BS7PXW7NYP | BS7PXW7NYP | 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.19535#P5SC |
| BS7T9VZ7DW | BS7T9VZ7DW | exercise | open | levin_dmoi ptx/exercises/seq-arithgeom.ptx#exercise-2 |
| BS7W37HBRV | BS7W37HBRV | 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.32090#I0P0 |
| BS84E8S9X2 | BS84E8S9X2 | proof | open | open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#proof-1 |
| BS89DZ8HRD | BS89DZ8HRD | 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.04411#GZY8 |
| BS8GMMJ0HC | BS8GMMJ0HC | 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.09506#2EAI |
| BS8HH099EP | BS8HH099EP | 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.37893#45MX |
| BS8PN5WF3D | BS8PN5WF3D | 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.08426#E3BZ |
| BS8YC8P4R1 | BS8YC8P4R1 | 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 2308.02672#S2TB |
| BS9TYW47C5 | BS9TYW47C5 | 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.13753#82XF |
| BSA05FN8XP | BSA05FN8XP | 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.19854#KPXB |
| BSA86MR6B8 | BSA86MR6B8 | 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.25168#DRS5 |
| BSAV2FFC21 | BSAV2FFC21 | 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.20178#JO72 |
| BSAX2YQ4J6 | BSAX2YQ4J6 | 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.01433#FB5M |
| BSCANMGBBE | BSCANMGBBE | exercise | open | lebl_diffyqs ap-linear-algebra.tex#exercise-38 |
| BSCDPP5Z2W | BSCDPP5Z2W | 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.02743#AIGA |
| BSCN8CYAJW | BSCN8CYAJW | 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 2401.07983#497Z |
| BSD5PDSTTP | BSD5PDSTTP | 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.24522#3S2N |
| BSD698FZA6 | BSD698FZA6 | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-72 |
| BSE7G3N44K | BSE7G3N44K | 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.12295#ESXC |
| BSF9AVYCP5 | BSF9AVYCP5 | 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 2504.13516#IFNU |
| BSFA9ET539 | BSFA9ET539 | 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.15367#FI7E |
| BSFHWDJ1T1 | BSFHWDJ1T1 | 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.14364#4OTU |
| BSFSZPKXMR | BSFSZPKXMR | 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 2112.14455#YGZ6 |
| BSG66QF3XB | BSG66QF3XB | statement | open | open_logic content/model-theory/lindstrom/lindstrom-proof.tex#lem:lindstrom |
| BSG7CSSPDN | BSG7CSSPDN | 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.15528#36EQ |
| BSGCKWKN3Z | BSGCKWKN3Z | 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.38138#AKN6 |
| BSGG79AZ94 | BSGG79AZ94 | 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.34876#IO3E |
| BSGNJ34WHC | BSGNJ34WHC | 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.27800#FQED |
| BSGX87K0S2 | BSGX87K0S2 | definition | open | open_logic content/many-valued-logic/three-valued-logics/lukasiewicz.tex#def:lukasiewicz |
| BSH40SXNE5 | BSH40SXNE5 | 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.08323#BWHX |
| BSH4757NR3 | BSH4757NR3 | 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.00512#ERJ5 |
| BSHJ376AMG | BSHJ376AMG | 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.30407#LL9A |
| Bshouty's decision lower bound | 3W8PFZNYDR | 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.08280#QYZA |
| BSJJQXVNQK | BSJJQXVNQK | 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.35632#QCK4 |
| BSJN5JBFS3 | BSJN5JBFS3 | 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.21045#WCCD |
| BSK2TPEAGP | BSK2TPEAGP | definition | open | active_calculus source/sec-1-6-second-d.xml#definition-1 |
| BSKFGZ4FSH | BSKFGZ4FSH | 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 2409.20170#VPGO |
| BSKPJM6E2X | BSKPJM6E2X | 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.16081#YYOL |
| BSM7AF2YMK | BSM7AF2YMK | statement | open | open_logic content/turing-machines/undecidability/trakhtenbrot.tex#lem:halts-sat |
| BSM8RR0T8D | BSM8RR0T8D | 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.36186#MEY3 |
| BSMCE1HSMT | BSMCE1HSMT | 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.01276#7Q15 |
| BSMPRWFSCP | BSMPRWFSCP | 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.05499#77HC |