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 901–1000 of 4390.

NameIdKindOutcomeSources
B\"{u}chi-Elgot-TrakhtenbrotXGW3JE2DHJstatementrecord (an 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.22218#ON7H
B\'etermin, Faulhuber, and SteinerbergerTPZ6GCZ84Mstatementrecord (an 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.12203#7HBC
B\'ezout's theorem for curvesHQVM5486DXstatementopennapkin tex/alg-geom/bezout.tex#corollary-3
B\'ona2Y1KVVHWNDstatementrecord (an 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#QASZ
BA073RD0TCBA073RD0TCconjecturerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1709.00677#PT6U
BA0CBBSCQ5BA0CBBSCQ5statementrecord (an 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.03555#3U8J
BA0T6AB7GJBA0T6AB7GJexampleopennapkin tex/H113/ring-intro.tex#example-15
BA0X2AJ4RVBA0X2AJ4RVstatementrecord (an 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.07401#H4H1
BA1MC0PJYPBA1MC0PJYPstatementrecord (an 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.27393#5VA7
BA25Q56V9ABA25Q56V9Astatementrecord (an 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.20994#SXUX
BA2NF7PN00BA2NF7PN00definitionrecord (an 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.24190#DFMY
BA2T0XEPS0BA2T0XEPS0definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1806.00752#IGUG
BA2Z017NNEBA2Z017NNEdefinitionrecord (an 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.30274#B0FJ
BA3WX4HQQPBA3WX4HQQPstatementrecord (an 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.16294#YC3K
BA43PX834GBA43PX834Gdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2505.04593#08OB
BA4FHBVK2DBA4FHBVK2Dconjecturerecord (an 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.32065#3AXT
BA538K3B0ZBA538K3B0Zexerciseopenlebl_ra ch-contfunc.tex#exercise-77
BA5BZJQ63ZBA5BZJQ63Zstatementrecord (an 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.10505#VVL8
BA5YJQ0NG6BA5YJQ0NG6statementrecord (an 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.27458#IQ7E
BA6DDHGMZ8BA6DDHGMZ8proofopennapkin tex/alg-NT/classgrp.tex#proof-6
BA6MG3B5W8BA6MG3B5W8statementrecord (an 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.26600#EGUX
BA6NW601Y2BA6NW601Y2statementrecord (an 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.04407#OL46
BA71VE970KBA71VE970Kstatementrecord (an 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.28220#242V
BA79QMKAJGBA79QMKAJGstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 0809.4587#XMWX
BA7HN90714BA7HN90714statementrecord (an 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.25275#4DUA
BA8AB0ZSA4BA8AB0ZSA4statementrecord (an 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/9802134#2EDY
BA8B0QTRG0BA8B0QTRG0exerciseopenaustin_ula src/section2-2.xml#activity-2
BA8QNVYVB5BA8QNVYVB5exerciseopenlebl_diffyqs ch-fourier-and-pde.tex#exercise-98
BA91VQF897BA91VQF897statementrecord (an 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.09704#SR91
BAATAAW5CYBAATAAW5CYstatementrecord (an 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.26366#QL64
BAAWPBA5SCBAAWPBA5SCstatementrecord (an 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.18033#SS8G
BAB0ZF40XSBAB0ZF40XSstatementrecord (an 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.19787#GX1D
BaBar experimentJ7F7JRB1V4unknownopenWikidata Q797428, nLab BaBar experiment
BABCWRMW5YBABCWRMW5Ystatementrecord (an 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.37439#HOYR
Babenko49JKQHSVNYstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2503.19729#IMOX
Babenko4C2GWAPKA1statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2503.19729#GL59
Babuška–Lax–Milgram theoremHFDYP2143Vstatementopenmathlib_1000 Q4838119, Wikidata Q4838119, thousand_plus Q4838119, Wikipedia Babuška–Lax–Milgram theorem, EoM Babuska-Lax-Milgram_theorem
Babylonian mathematicsGT7NGEY3AZtopicopenWikidata Q787931, ProofWiki Definition:Babylonian_Mathematics
Babylonian numeralsFXNDR1RBZ0definitionopenWikidata Q506274, MathWorld BabylonianNumerals, ProofWiki Definition:Babylonian_Number_System
BAC0TKM34CBAC0TKM34Cstatementrecord (an 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.05486#I0LZ
BACHYH5AHJBACHYH5AHJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1001.0174#K3O4
back substitutionK7TK7TZWSMconceptopenaustin_ula index/1.2.1/back-substitution
BackboneH04C00QS01definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1905.02785#PTPY
Backbone choice on equal-arm spiders33XE37VA1Ystatementrecord (an 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.34025#OBZG
Backbone reduction17Y7M42Y20statementrecord (an 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.37479#SFY4
backgammon7E5W30QD0WunknownopenWikidata Q11411, MathWorld Backgammon
Backhouse's constantV0X5V2YXCYobjectopenWikidata Q4839668, MathWorld BackhousesConstant, OEIS A072508
Backman--Eur--Simpson5VCXGRT4YQstatementrecord (an 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.24917#OK7Q
backtracking2J0HDG70MRunknownopenWikidata Q798554, MathWorld Backtracking
Backus–Naur formR5SGVD13D4definitionopenWikidata Q211577, ProofWiki Definition:Backus-Naur_Form
backward differenceB3KXBPEAN6conceptopenactive_calculus index/1.5.3/backward-difference
Backward differentiation of low-rank SVDA35ZV07SX7statementrecord (an 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.32505#CXXD
Backward Duhamel operators are singular operatorsBF9R87XSWDstatementrecord (an 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#XG8Z
Backward evaluation for a rational \texorpdfstring{$(3,2)$}{(3,2)} Pi\ neiro systemA6WSKV8ZMTexamplerecord (an 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.26066#7XFU
Backward Feynman--Kac equationQ51YM81YV4statementrecord (an 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.03071#ULAQ
Backward Monge approximation in higher dimensionsRS2WHZE8SXstatementrecord (an 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#PUCM
Backward Monge density with a common parameter26GWH7XJJXstatementrecord (an 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#0QBN
Backward Monge realization of a discrete target7TJQBH545Xstatementrecord (an 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#48HB
Backward random walk82F2TE0X46definitionrecord (an 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.27689#KCW0
Backward random walk representationJQXQYG4C65statementrecord (an 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.27689#JRWJ
Backward Stability for 2D N-SWV7ZQ3GZ61statementrecord (an 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.07240#0HI0
Backward uniquenessRCAKF94FE2statementrecord (an 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#R7RG
Backward-error amplification855P96QP62statementrecord (an 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.20285#RTG3
Backward-lightcone pruning for forward magicKHD7DN4W92statementrecord (an 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.02166#ZXV2
Backwards StabilityF8FNFXRN8Pstatementrecord (an 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.07240#330D
Bad events460WBDBJ19definitionrecord (an 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.11101#2IW1
Bad Gap Inference456YZRCZZWstatementrecord (an 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#2PVV
Bad Gap OpeningFV1528NE3Nstatementrecord (an 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#HLGB
Bad-edge and exit componentsGY813TT2ZTstatementrecord (an 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.11330#O7C6
Bad-hash boundB4596AANMBstatementrecord (an 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.15631#M1ZI
Bad-set control implies slack stability3Z61WK7W1Pstatementrecord (an 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#YHV8
Bad-time fraction40N9EJN7TFstatementrecord (an 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.16351#1GKE
Badly Approximable Laurent series6JW3DMETY5definitionrecord (an 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.12691#4E5P
BAE2ZYTRC0BAE2ZYTRC0definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2403.16814#PYJF
BAESC08BZSBAESC08BZSproofopenopen_logic content/proof-theory/sequent-calculus/quantifiers.tex#proof-2
BAFSTTRTEKBAFSTTRTEKstatementrecord (an 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.11082#LU8U
Bag-noninteracting fill set2WV2CP2TC3definitionrecord (an 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.19669#JLD7
BAG8PDKM2YBAG8PDKM2Ystatementrecord (an 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.32883#MWIW
Bagaria, Koellner, Woodin4Q2VNHJM8Xstatementrecord (an 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.25291#UDU7
Bagaria, Koellner, WoodinNWBYSDASR7statementrecord (an 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.25291#Y09S
Bagaria, Koellner, WoodinR9TJDYTAVHstatementrecord (an 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.25291#DXUF
BAGDXW3P7HBAGDXW3P7Hstatementrecord (an 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.05184#EE8O
BAGG9QCCJXBAGG9QCCJXstatementrecord (an 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#G9MD
baguenaudierXWA1JDNMCBunknownopenWikidata Q2615647, MathWorld Baguenaudier
BAGVTTQ0EABAGVTTQ0EAexamplerecord (an 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.12434#JVE0
BAH2T51CHGBAH2T51CHGstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2605.10911#9A53
BAH54JZPWGBAH54JZPWGstatementrecord (an 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.20568#3FXU
BAH6E9DWB6BAH6E9DWB6proofopenopen_logic content/first-order-logic/sequent-calculus/provability-propositional.tex#proof-3
Bahadur representation5K08CFX2T2statementrecord (an 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.33868#98AQ
Bahadur representation under long memory9JHRM10YMGstatementrecord (an 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.33868#V8HV
Bahadur-type MoM-CVaRJ6ABNVZJMPstatementrecord (an 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.15974#CD5Z
BAHWB17AQ3BAHWB17AQ3statementrecord (an 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.28336#4S09
Bailey–Borwein–Plouffe formulaZ3JQMPDJB1unknownopenWikidata Q803807, MathWorld BBPFormula
Baillie–PSW primality testT4NGG4NQ5VunknownopenWikidata Q4848469, MathWorld Baillie-PSWPrimalityTest
Baily–Borel theoremYX64DV94N0statementopenmathlib_1000 Q4848497, Wikidata Q4848497, thousand_plus Q4848497, Wikipedia Baily–Borel theorem
Baire category theoremYYPQA6S4WQstatementnode (a node has the same Wikidata item as the row)mathlib_1000 Q1052678, Mathlib BaireSpace.of_completelyPseudoMetrizable, Mathlib BaireSpace.of_t2Space_locallyCompactSpace, Wikidata Q1052678, mathlib_overview Topology > Metric spaces > Baire theorem, thousand_plus Q1052678, Mathlib dense_sInter_of_isOpen, Wikipedia Baire category theorem, EoM Baire_theorem, nLab Baire category theorem
Baire spaceFZ8578YTZ2unknownopenWikidata Q803936, nLab Baire space
Baire spaceKFDWNNP8C7conceptnode (a node has the same Wikidata item as the row)Wikidata Q1150180, EoM Baire_space, MathWorld BaireSpace
Bairstow's methodHJVTG2AK1EunknownopenWikidata Q384021, MathWorld BairstowsMethod
BAJJ10WKRABAJJ10WKRAstatementrecord (an 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.14154#YU8E