Math 2.0

Inventory: F

The rows of the inventory whose names start with F. 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 2501–2600 of 4868.

NameIdKindOutcomeSources
First-order $D_{\b_\phi}$ lower boundNH7NTKEEBSstatementrecord (an 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#CM5H
First-order $D_{\h_k}$ lower boundCXR8WJ3K8Ystatementrecord (an 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#Q3FA
First-order accuracy of the adversaryEAM4XF4F1Astatementrecord (an 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.07162#C0YY
First-order achievability for a fixed channelREG7YSD2PTstatementrecord (an 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.29688#EBWQ
First-order alignment of costs and the ordinal potentialN0YQGW7G9Mstatementrecord (an 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.05428#T2V9
First-order approximation of $\Delta_n(\overline{a})$A0T7C3VH61statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2406.06548#LO6Y
First-Order CharacterizationRA5N74QNRZstatementrecord (an 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.10927#CN4I
First-order conditions at equilibriumJV8KTVD9M1statementrecord (an 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.06490#6JQL
First-order density correctionH71H866WTGstatementrecord (an 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.27250#FT87
First-order expansion of a perturbed productFEER64VB70statementrecord (an 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.11760#TZAR
first-order formulaPGCEGRF29Junknownopenmathlib_overview Logic and computation > Model theory > first-order formula, Mathlib FirstOrder.Language.Formula
First-order invariance to the proposal fit20YPERZ9P0statementrecord (an 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#ZFFN
First-Order Jet and Gradient ControlEHA62E5VD8statementrecord (an 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.12239#DHI0
First-order lawXB6RXM2J81statementrecord (an 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.03823#BQZA
first-order logicAXM6865B4Dtopicnode (a node has the same Wikidata item as the row)Wikidata Q4055684, EoM Predicate_calculus, nLab predicate logic
First-order phase responseQYQNES2XS6definitionrecord (an 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.15686#KDSM
First-order query-rank exponent3DRM5M7YV7statementrecord (an 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.29688#4NJP
First-order radial expansion7VEHQGJPRZstatementrecord (an 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.32710#LP0G
First-order rank convergence does not determine the error exponentXSZKQK2729examplerecord (an 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.29688#FD00
First-order slacksY3B733FWY3statementrecord (an 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.09912#8648
First-order stationary point9VFPMZ2Z0Mdefinitionrecord (an 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.10205#60OO
first-order structureW9Y3RSRG83unknownopenmathlib_overview Logic and computation > Model theory > first-order structure, Mathlib FirstOrder.Language.Structure
First-order switch-shifted-switch midpointG4NZDKJJBQstatementrecord (an 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.21991#QXYE
First-order temporal convergence for the discrete gradient systemFR11C6BETGstatementrecord (an 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.25489#OHLH
First-order zero-chainVJF9KK574Xdefinitionrecord (an 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.33360#QOB9
first-order, logicT2JGNAXSTPconceptopenhott_book index/9.10/first-order-logic
first-order, logicY25CPWWT71conceptopenhott_book index/A.1/first-order-logic
First-return codeMHH1EJTM43statementrecord (an 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.30817#W0TQ
first-round deletionAVDMRAREFBstatementrecord (an 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.04758#UMEX
First-zero ratio bracketQR9S9YTHWZstatementrecord (an 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.27962#01BF
Fischer group5DC11PM79PunknownopenWikidata Q3117683, MathWorld FischerGroups, nLab Fischer group
fish curveT17X7Y62SJunknownopenWikidata Q5454616, MathWorld FishCurve
fish graphT5H6M0WZ3PunknownopenWikidata Q3115603, House of Graphs 884, MathWorld FishGraph
Fishburn's TheoremJ5091897G9statementopenapplied_combinatorics source/s_posets_intervalorder.ptx#thm_fishburn
Fisher bound from score regularityF963VJM42Gstatementrecord (an 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.10640#C9QN
Fisher informationPWN0NTEPHJunknownopenWikidata Q1420659, MathWorld FisherInformation
Fisher separation theorem5SWCG8S1MJstatementopenmathlib_1000 Q488541, Wikidata Q488541, thousand_plus Q488541, Wikipedia Fisher separation theorem
Fisher's equation2NAFGS7HZCconceptopenWikidata Q1763840, MathWorld FishersEquation
Fisher's z-distributionRP642R2XGBunknownopenWikidata Q847784, MathWorld Fishersz-Distribution
Fisher-normalized score central limit theoremG9P06N3D4Dstatementrecord (an 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#0Z3E
Fisher–Tippett–Gnedenko theoremY7DJMT7RAKstatementopenmathlib_1000 Q5454965, Wikidata Q5454965, thousand_plus Q5454965, Wikipedia Fisher–Tippett–Gnedenko theorem
FISTA with rational coefficients; nonsmooth FPGM1 conjecture in Table 1E82Y5E8R2Pstatementrecord (an 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.35762#GHX2
Fitted linear coordinate modelMQ5AKZSDNVdefinitionrecord (an 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.32652#6776
Fitted replay value boundPNKWG93A5Qstatementrecord (an 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.04638#056Y
Fitted representation residualN16NMP7FXWstatementrecord (an 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#0GJF
Fitted sequenceMY9CVP9YZZdefinitionrecord (an 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#J4OA
Fitting intervals and refinement windowsAF146PAYCBstatementrecord (an 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.36594#U2R0
Fitting's theoremRX9G0XV42Mstatementopenmathlib_1000 Q5455495, Wikidata Q5455495, thousand_plus Q5455495, Wikipedia Fitting's theorem
Five circles theoremHHGVY7VGJ0statementopenmathlib_1000 Q5456213, Wikidata Q5456213, thousand_plus Q5456213, Wikipedia Five circles theorem, MathWorld MiquelFiveCirclesTheorem
Five color theoremMKSEZWAP3Rstatementnode (a node has the same name as the row)mathlib_1000 Q105222412, Wikidata Q105222412, thousand_plus Q105222412, Wikipedia Five color theorem
five lemmaTMS92PP076statementopenWikidata Q1479523, MathWorld FiveLemma, nLab five lemma, ProofWiki Five_Lemma
Five Newton-Schulz iterations3EG34BT6D0statementrecord (an 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.04140#OWDO
Five runsGF52J17X4Bstatementrecord (an 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.03763#GRCL
Five summands below half Gaussian mass5CDFP8SDBPstatementrecord (an 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#8IXI
Five-dimensional near-null space at $A_{20}$W7QJ574GJHstatementrecord (an 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.25120#OL8Z
Five-term decomposition231B14M786statementrecord (an 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.39837#V6SR
Fivefold Gaussian convexity below half massBRYGFYX5QTstatementrecord (an 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#IRYZ
Fivefold Gaussian enlargementFSDV385N7Sstatementrecord (an 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#S3FX
Fixed artificial pressureGJ24Q3W486statementrecord (an 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.12387#4UTC
Fixed batch sizesRQV07VQPEQstatementrecord (an 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#6NP8
Fixed block projected Euler-Maruyama approximationJ0EPNWG43Qstatementrecord (an 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.09522#G28O
Fixed causal character2QWASRZCARstatementrecord (an 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.11911#Y9CP
fixed end of beamVEZS41K3XNconceptopenlebl_diffyqs index/3.2/fixed-end-of-beam
Fixed field theoremRX95ZRCN6Bstatementopennapkin tex/alg-NT/galois.tex#thm:fixed_field_theorem
fixed interface, trainable amplitude71RMCV4JF1statementrecord (an 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#5QXV
Fixed interval-direction concentrationN5XFK42E09statementrecord (an 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.36594#4WM1
Fixed joint momentsCX7ZM2A5C2statementrecord (an 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.06875#CNLM
Fixed leverage, swept tilt4Q1ZCA3864statementrecord (an 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.25704#TODO
Fixed moments of the calibrated field46JJ0DF2EJstatementrecord (an 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.06875#LXZI
Fixed Multiple TamperingsF92DWV6JT1statementrecord (an 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.02407#GPES
Fixed orbits carry the full $S_3$ image87ZGQEJ9HCstatementrecord (an 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#ZPEQ
Fixed orbits for the cubic field extensionRCRGR2VX1Sstatementrecord (an 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#KSHO
fixed pointQDWJJ27YKZunknownopenWikidata Q217608, EoM fixed_point, MathWorld FixedPoint, nLab fixed point
Fixed pointR7N5A4TRR2definitionrecord (an 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#0NFG
fixed point theoremYNH92E5NZJconceptopenlebl_ra index/4.6.1/fixed-point-theorem
fixed points579V41N7EBunknownopenmathlib_overview Dynamics > General theory > fixed points, Mathlib Function.fixedPoints
Fixed points8M0337G8F5statementrecord (an 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.29524#AIV3
Fixed points and convergence7J54HZDDSPstatementrecord (an 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.10993#KNE2
Fixed points and convergenceJA5QGSHGF5statementrecord (an 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.19953#SSHH
Fixed qLCL type thresholdEGJDQAV8NZstatementrecord (an 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.40252#WMT7
Fixed relative update weightsQZ6MEEM3T7statementrecord (an 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.14310#WDBR
Fixed residual scaling with accurate mean predictionVB3Y2XKTPBstatementrecord (an 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.13789#FW1N
Fixed spaces in the extraspecial normaliser are smallEJCQRTZVE2statementrecord (an 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.04099#LKU0
Fixed trace and predictor, arbitrarily slow escape6FY56SG3S7examplerecord (an 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.09356#KCFF
Fixed-$\delta$ consistency of the reflected operatorZR3Z18CQXGstatementrecord (an 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.29524#OB5F
Fixed-$G$ calibrationRTCMG31W6Vstatementrecord (an 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#IQ3Z
Fixed-$p$ asymptoticsFKA4MEPN7Gstatementrecord (an 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.04398#GLOK
Fixed-\(c\) Poisson QMLE at and below the unit rootKBF7X6HQK7statementrecord (an 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.19421#NEIM
Fixed-allocation asymptotic race regimesY2RE2FMBV4statementrecord (an 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.18445#CRNL
Fixed-beta lower and upper inclusionsAN0P5AG1ZCstatementrecord (an 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.27752#WSX7
Fixed-breadth relation boundQ2R0D7T9D5statementrecord (an 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#2TWI
Fixed-cap flux identityCCYN1JAFP6statementrecord (an 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.12387#SS2D
Fixed-cardinality gravity approximationHJXJRP2NRDstatementrecord (an 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.10408#LL4Z
Fixed-chain value bound5KQKCY2SZFstatementrecord (an 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.18788#OJZQ
Fixed-coefficient fermionic construction1SCP9WSRV7examplerecord (an 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.36016#7XT4, arXiv 2609.36016#JEFS
Fixed-Coordinate RecoveryDH8K7AN2J8definitionrecord (an 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.05504#6VC4
Fixed-cut reconstructionE04302Y957statementrecord (an 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.10557#WNYP
Fixed-cutoff chart-to-Gaussian comparisonPWF2X347PXstatementrecord (an 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.32710#LQ40
Fixed-datum norm inflationDF8P2AMDP0statementrecord (an 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.24962#CJPP
Fixed-degree complexity9JVX106B2Bstatementrecord (an 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.31407#WE5T