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 1201–1300 of 4390.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Basic spectral stability | F14WF0QDWA | 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.05388#74MC |
| Basic stability bounds | PPMBMFEJQM | 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.11120#58KI |
| Basic uniform estimates | A6AWCC8B2K | 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.11034#BSZJ |
| basic variable | TK4C4TDGR7 | concept | open | austin_ula index/1.2.3/basic-variable |
| Basic versus retained-holonomy sectors | NWX6FX81AR | 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.27799#T2D5 |
| Basic-sector comparison | P8CC84B786 | 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.27799#N2I5 |
| Basin invariance of the oracle GGDPC path | K6N3NKXXFH | 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.01050#WYK6 |
| Basin invariance of the sample GGDPC path | PVXCDCF904 | 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.01050#VYGR |
| Basin of attraction | 7XWS643KB4 | 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.07064#DQLC |
| basis | 3TJSMY34EN | 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.39511#2H2G |
| basis | 5RKWJTV8FZ | concept | open | austin_ula index/3.2.2/basis |
| basis | AE1SH7GNTE | definition | node (a node has the same Wikidata item as the row) | Wikidata Q189569, EoM basis, MathWorld VectorBasis, ProofWiki Definition:Basis_(Linear_Algebra) |
| basis | KC83JZ1W2M | definition | open | Wikidata Q810193, ProofWiki Definition:Basis_of_Module |
| basis | W0NM26SXP1 | 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.39511#9ZQ6 |
| basis | Y5Q1TGEXZH | unknown | open | mathlib_overview Linear algebra > Fundamentals > basis, Mathlib Module.Basis, mathlib_undergrad Linear algebra > Fundamentals > bases |
| Basis completion | YQ15JC913V | statement | open | napkin tex/linalg/vector-space.tex#thm:basis_completion |
| Basis construction | YSG1CW66PN | 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#ELBS |
| Basis criteria | QYAM12D805 | 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.14266#XTDX |
| basis element (topology) | W5B8ZAJ375 | concept | open | Wikidata Q44924150, MathWorld BasisElement |
| basis filter | SK1A2YXF10 | 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.39511#ZQZU |
| basis filter | XVXEV6C6XB | 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.39511#26VV |
| Basis of $\RR$ | GZD46GQ7YK | example | open | napkin tex/topology/top-more.tex#example-4 |
| Basis of $V \otimes W$ | W95BXTQB1R | statement | open | napkin tex/linalg/dual-trace.tex#proposition-1 |
| Basis of metric spaces | 728GDGG2AF | statement | open | napkin tex/topology/top-more.tex#theorem-1 |
| Basis of the wedge product | 3S5ASJPM8Q | statement | open | napkin tex/linalg/dets.tex#proposition-2 |
| basis step | 39J2HBJKDA | concept | open | applied_combinatorics index/3.8/basis-step |
| Basis theorem | X31VZSEXCW | unknown | open | Wikidata Q4867580, MathWorld BasisTheorem |
| basis theorem | ZGGTPPWSC9 | statement | open | Wikidata Q30716971, nLab basis theorem |
| basis vector | NC3A4VBQ8S | unknown | open | Wikidata Q56320001, MathWorld BasisVector |
| basis, standard | HBSNA7JWN3 | concept | open | austin_ula index/3.2.2/basis-standard |
| BASPWKK400 | BASPWKK400 | 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.25985#UW3J |
| Basu's theorem | HFWGEAGNM0 | statement | open | mathlib_1000 Q791258, Wikidata Q791258, thousand_plus Q791258, Wikipedia Basu's theorem |
| BASWGYXF16 | BASWGYXF16 | 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.28518#4U0J |
| BASZ17W7VE | BASZ17W7VE | 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 2011.12496#S8OU |
| Batalin--Vilkovisky algebra | YZJ00TMJM1 | 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.08091#CYL7 |
| Batalin–Vilkovisky algebra | B60BNMT66K | unknown | open | Wikidata Q4868564, nLab BV-algebra |
| Batch deletion | VYS7F4R977 | 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.28160#861A |
| Batch errors | GC3FV0YKNC | 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.11007#EF88 |
| Batch sizes fixed before sampling | ACJ2GPG4A9 | 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.15202#9GVY |
| Batch transparency | E7KGTWJ2TS | unknown | open | arXiv 2610.15824#Z8AN |
| Batched commitment | NQJV0E6PYH | 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.37368#BZPU |
| Batched Laplace sampling from selected samples | FX02DSNA99 | 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.14615#IJXX |
| Batched matrix-query algorithm | ZY1A2BKNBP | 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.12641#DATR |
| Batched sampling from a Laplace estimate | PHDCJXTPQ0 | 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.14615#VMQP |
| Batched table lookup | 3A059S3KDD | 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.14615#PBFQ |
| Bateman function | PERMJWFXY7 | concept | open | Wikidata Q810749, EoM Bateman_function |
| Bathymetric coercivity and weighted gain | PJW48X98T8 | 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.34938#PJ8X |
| BATRP9QCHZ | BATRP9QCHZ | 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.28742#LWLE |
| BATSDP7W3J | BATSDP7W3J | 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 2204.10840#EJIQ |
| battle of the sexes | AYAFS97A6B | definition | open | Wikidata Q1187614, ProofWiki Definition:Bach_or_Stravinsky? |
| baud | RCRQHT9VVT | unknown | open | Wikidata Q192027, MathWorld Baud |
| Baudet's conjecture | 95H2JB4KNE | concept | open | Wikidata Q105332761, MathWorld BaudetsConjecture |
| Bauer–Fike theorem | ZJK04QP3PC | statement | open | mathlib_1000 Q2226602, Wikidata Q2226602, thousand_plus Q2226602, Wikipedia Bauer–Fike theorem |
| Baum–Sweet sequence | XDJ89Y6MMJ | object | open | Wikidata Q735489, MathWorld Baum-SweetSequence, OEIS A086747 |
| BAVF80YKV3 | BAVF80YKV3 | 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#JS3F |
| BAWQP6BSHB | BAWQP6BSHB | 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.21545#XJ74 |
| BAWR70B49N | BAWR70B49N | 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 0904.2839#FRAU |
| BAWZYRVFJ8 | BAWZYRVFJ8 | 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 2111.09700#RN6B |
| BAX4PK8KW5 | BAX4PK8KW5 | 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.13484#J44S |
| BAX72NTSYT | BAX72NTSYT | 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.22326#Q0YY |
| BAXQ8RDET9 | BAXQ8RDET9 | 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 2112.05010#DM5T |
| Bayes optimality of weak Schur sampling | V4MHV6RJSR | 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.29348#XJYR |
| Bayes risk asymptotics over all POVMs | N4Y58P357G | 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.29348#YLW9 |
| Bayes' theorem | Z2TDRHK2ZK | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q182505, Mathlib ProbabilityTheory.cond_eq_inv_mul_cond_mul, Wikidata Q182505, thousand_plus Q182505, Wikipedia Bayes' theorem, MathWorld BayesTheorem |
| Bayes-floor obstruction at finite rate | X418N5Q567 | 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.00291#UQJ4 |
| Bayes-optimal infinite depth | 5QZSEJ0Z2P | 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 2212.14457#6RVX |
| Bayes-optimal linear propagation | J168KENM3C | 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.04989#D4F1 |
| Bayes-risk preservation under symmetrization | BY44NSG17C | 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.29348#117B |
| Bayes-Sufficient Compression Need Not Be Receiver-Optimal | 7BEG1ZET3Y | 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.03769#JTYJ |
| Bayesian minimax lower bound | NTKBJ7NVDX | 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.04671#17H1 |
| Bayesian Model Selection at Finite $L$ | WY3WC4ZGA8 | 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 2212.14457#HQN2 |
| Bayesian Model Selection at Fixed $\lpost$ | F2YYY5JRBG | 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 2212.14457#7A5G |
| Bayesian Preference for Infinite Depth | FX801HFPCP | 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 2212.14457#0UJG |
| Bayesian risk asymptotics for WSS | 675QC8VV98 | 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.29348#G8ZO |
| BAYMW8P798 | BAYMW8P798 | 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.39317#QYZ4 |
| BAZ4NQY22R | BAZ4NQY22R | 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 2509.05577#DZUP |
| BAZ5ZGGYEJ | BAZ5ZGGYEJ | 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.32903#GVQS |
| BAZFBVV15Z | BAZFBVV15Z | unknown | open | arXiv 2610.13680#AOOJ |
| BAZKBCX5ZD | BAZKBCX5ZD | exercise | open | lebl_diffyqs ch-eigenvalue-probs.tex#exercise-17 |
| BB01X0BKEY | BB01X0BKEY | exercise | open | napkin tex/complex-ana/holomorphic.tex#problem-1 |
| BB07H05506 | BB07H05506 | 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.06785#823T |
| BB0AKNE03Q | BB0AKNE03Q | 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.05708#20X9 |
| BB0E0YXF17 | BB0E0YXF17 | 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.15723#H4WQ |
| BB0RT2DAM3 | BB0RT2DAM3 | 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.32916#YQLL |
| BB0TQWMGAD | BB0TQWMGAD | 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.11779#WEEZ |
| BB108FPS2M | BB108FPS2M | 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.10600#CDBI |
| BB1961TPYZ | BB1961TPYZ | 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.27931#QKFK |
| BB2CD3MF0T | BB2CD3MF0T | exercise | open | levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-7 |
| BB2KBMYK70 | BB2KBMYK70 | 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.21622#64SV |
| BB2KPH8KF9 | BB2KPH8KF9 | 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.27788#L7FN |
| BB2ZSX4DYT | BB2ZSX4DYT | 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.08149#APO4 |
| BB306ZASG0 | BB306ZASG0 | 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.30200#W174 |
| BB3TKWW5HV | BB3TKWW5HV | 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 2602.13510#TPYG |
| BB489TXSTT | BB489TXSTT | 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.21036#QF04 |
| BB4DZ29QAC | BB4DZ29QAC | 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 1503.05744#S0B7 |
| BB4JDATBJW | BB4JDATBJW | 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.13528#UG6J |
| BB4N93RS11 | BB4N93RS11 | 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.16362#JFHT |
| BB4P758KZC | BB4P758KZC | 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.02484#UZ5I |
| BB4RM45Q2D | BB4RM45Q2D | 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#R7SV |
| BB50A3Z02V | BB50A3Z02V | 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.25111#35PG |