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 3301–3400 of 4868.

NameIdKindOutcomeSources
Four-dimensional tangent Ricci shrinkersCV53YZRK00statementrecord (an 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.05204#BN3A
Four-periodicity2VXFGBVSMJstatementrecord (an 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.03298#XFJ4
Four-photon polynomial Lieb--Robinson bound73YYMGY1E1statementrecord (an 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.01669#4NPA
Four-point inequalityPDE5MCJP1Kstatementrecord (an 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.24931#PI8E
Four-point specializationHG8585560Kstatementrecord (an 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.08821#4PTZ
Four-state upper boundJ34KY679VCstatementrecord (an 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.10002#KXXN
Four-transition scalar boundsTPF6S3RBV8statementrecord (an 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.13962#D2A4
four-vectorJ9SR7QDKMCunknownopenWikidata Q844610, MathWorld Four-Vector
four-vertex geometryPN1DS71P1Vstatementrecord (an 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.02289#2KVE
Four-vertex theoremATBK36NSNEstatementopenmathlib_1000 Q994401, Wikidata Q994401, thousand_plus Q994401, Wikipedia Four-vertex theorem
Four-wise independence bounds the diagonal radiusC2QX39ZCQHstatementrecord (an 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#5EL3
Fourfold recursionG832PBTBFSstatementrecord (an 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.10821#TUT9
Fourier $L^1$ norm controls partition capacityMC0EXKVJSKstatementrecord (an 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.26619#717A
Fourier analysis3V786EJ47RdefinitionopenWikidata Q1365258, MathWorld FourierAnalysis, ProofWiki Definition:Fourier_Analysis
Fourier boundCEGP1PGFX0statementrecord (an 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.01035#TY88
Fourier bound for $R_u(X_0)$WYMXRZQH1Hstatementrecord (an 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#22N0
Fourier coefficientK7G95V9YAZdefinitionopenWikidata Q117421376, ProofWiki Definition:Fourier_Series/Fourier_Coefficient
Fourier contraction formulaH0ZF081G3Fstatementrecord (an 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.13916#SY62
Fourier control7P33TYD8PHstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2606.02312#IY23
Fourier correlations between the two outputs2YY3GFC0HKstatementrecord (an 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#W2XS
Fourier cosine transform1703JVMENJunknownopenWikidata Q124684067, MathWorld FourierCosineTransform
Fourier cutoff errorKRSSMDQV5Bstatementrecord (an 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.02436#9B9B
Fourier decay5TH20CGXBQstatementrecord (an 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.05002#IPH6
Fourier decay87KTSCQJK1definitionrecord (an 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.05002#HZLZ
Fourier decayV91AJFVZXFstatementrecord (an 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.05002#YD2H
Fourier decayVBKWCXE3J2statementrecord (an 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.05002#S572
Fourier decomposition into cyclic-product recurrencesH0GKGVX12Dstatementrecord (an 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#XNWJ
Fourier estimate for bounded regular energy densities4ZCHQBYWMMstatementrecord (an 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#6DEV
Fourier estimates for Examples \emph{(C)}--\emph{(EMP3CSXQ9TJstatementrecord (an 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.29671#ECTY
Fourier form of the cubic identity3S15JVN5EEstatementrecord (an 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.11652#UHCN
Fourier interpolation2RQ92FGESQstatementrecord (an 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.35421#JNGF
Fourier majorant and minorantYV7JKZ5369statementrecord (an 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.30207#AQRA
Fourier realization of the analytic classM70QQEEQXEstatementrecord (an 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.28937#I0SJ
Fourier representation1QY9AZGS3Estatementrecord (an 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.25912#EJ94
Fourier representation of the Fourier-Bessel waveletXX8MDRGYHGstatementrecord (an 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.26537#TGXB
Fourier series96S7MFMTMAstatementopenmathlib_1000 Q179467, Mathlib MeasureTheory.Integrable.fourierInv_fourier_eq, Mathlib Continuous.fourierInv_fourier_eq, Wikidata Q179467, mathlib_1000 Q3984053, Wikidata Q3984053, mathlib_overview Analysis > Fourier analysis > inversion formula, mathlib_undergrad Measures and integral calculus > Fourier analysis > Fourier inversion formula, thousand_plus Q179467, Wikipedia Fourier theorem, thousand_plus Q3984053, Wikipedia Fourier inversion theorem, EoM Fourier_series, MathWorld FourierSeries, ProofWiki Definition:Fourier_Series/Formulation_1, nLab Fourier inversion theorem
Fourier SeriesXBWD8G2Y2Estatementopenmathlib_100 76, Mathlib fourierCoeff, Mathlib hasSum_fourier_series_L2
Fourier series of locally integrable periodic real-valued functionsSSZRE93J5Punknownopenmathlib_undergrad Measures and integral calculus > Fourier analysis > Fourier series of locally integrable periodic real-valued functions, Mathlib fourierBasis, mathlib_undergrad Topology > Hilbert spaces > example, the Hilbert basis of trigonometric polynomials
Fourier sine transformB8CAW1MM7VunknownopenWikidata Q124684079, MathWorld FourierSineTransform
Fourier slice theoremAPHDKWZX7Sstatementrecord (an 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.16453#K4Y1
Fourier transform2VCK041G2WtopicopenWikidata Q6520159, EoM Fourier_transform, MathWorld FourierTransform, nLab Fourier transform
Fourier transformD2TJK6Y5TSdefinitionrecord (an 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.28282#NR1D
Fourier transform and convolution productNZHGM3T0MSunknownopenmathlib_undergrad Distribution calculus > Tempered distributions > Fourier transform and convolution product
Fourier transform and derivationR1PRJZXFS8unknownopenmathlib_undergrad Distribution calculus > Tempered distributions > Fourier transform and derivation
Fourier transform and dual torusQYZM7734TCdefinitionrecord (an 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.29671#WI38
Fourier transform as an integralC665DCZMGQunknownopenmathlib_overview Analysis > Fourier analysis > Fourier transform as an integral, Mathlib Real.fourier_eq, mathlib_undergrad Measures and integral calculus > Fourier analysis > Fourier transform on $\mathrm{L}^1(\R^d)$
Fourier transform for finite abelian groupsHPC60457S1unknownopenmathlib_undergrad Group Theory > Representation theory of finite groups > Fourier transform for finite abelian groups
Fourier transform of the invertible-matrix indicatorGJF6WN3N00statementrecord (an 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#5K6X
Fourier transform on $\mathrm{L}^2(\R^d)$4C4NRFEZN9unknownopenmathlib_undergrad Measures and integral calculus > Fourier analysis > Fourier transform on $\mathrm{L}^2(\R^d)$, Mathlib MeasureTheory.Lp.fourierTransformₗᵢ
Fourier transformsSWP8FSWSKCunknownopenmathlib_undergrad Distribution calculus > Tempered distributions > Fourier transforms, Mathlib FourierTransform.fourierCLM
Fourier transforms on $\mathcal{S}(\R^d)$JQ30A5S8J5unknownopenmathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > Fourier transforms on $\mathcal{S}(\R^d)$, Mathlib SchwartzMap.fourierTransformCLM
Fourier vanishingP324NHEYDRstatementrecord (an 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#957G
Fourier vanishingR2TR0G4J0Pstatementrecord (an 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#QKWC
Fourier vanishingRCDC3PV422definitionrecord (an 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#K6TC
Fourier--Bessel cusp modesC35D28YSK5statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2501.09848#6HOZ
Fourier-Bessel disk harmonicBR4E337VSQdefinitionrecord (an 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.26537#8P1E
Fourier-Bessel waveletE5TM62D1HAdefinitionrecord (an 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.26537#DWXV
fourthGGR4VYCZSVdefinitionopenWikidata Q267984, ProofWiki Definition:Fourth_(Music)
Fourth cumulant bound for weighted incrementsYCPPH4H4F8statementrecord (an 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.06372#5TYU
Fourth moment1V04YRG5E8statementrecord (an 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#ZQO4
Fourth moment in short intervalsHX75GCBGC2statementrecord (an 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.11487#WV58
Fourth moment reductionFHNEZK76DRstatementrecord (an 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.02843#MJBC
Fourth moment theoremF7S2R0Y575statementrecord (an 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.16180#PRGG
Fourth moment, general $n$SJXWW0CWHMstatementrecord (an 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#VPVY
Fourth moments4GZC29AHH8statementrecord (an 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.07214#2JXV
fourth powerN1JSVQVDH1definitionopenWikidata Q840676, MathWorld BiquadraticNumber, ProofWiki Definition:Fourth_Power
Fourth-moment bound for weighted incrementsDRKNK9CJWZstatementrecord (an 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.06372#B65C
Fourth-Moment CertificateQV6X6B1ZVYstatementrecord (an 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.30105#QFKK
Fourth-moment maximal bound7VWRRZMEPJstatementrecord (an 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#WD42
Fourth-order product ruleX2R2M2V4EEstatementrecord (an 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.20593#B1PI
Fox derivative7A2F46NX1XunknownopenWikidata Q5477047, nLab Fox derivative
Fox H-functionPETRHFZTP0conceptopenWikidata Q8565199, MathWorld FoxH-Function
FP0309KP9HFP0309KP9Hstatementrecord (an 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.18324#3Y9E
FP07E07HM1FP07E07HM1definitionrecord (an 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.11043#1DI3
FP0CHFAJ9PFP0CHFAJ9Pexerciseopennapkin tex/rep-theory/characters.tex#ques-1
FP0DA13KR0FP0DA13KR0statementrecord (an 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.15405#IICI
FP0DYNG721FP0DYNG721statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2507.13548#MNXZ
FP0GJP3C0FFP0GJP3C0Fstatementrecord (an 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.03288#U9H6
FP30QYS7HWFP30QYS7HWstatementrecord (an 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.37761#G7XX
FP3582HMJKFP3582HMJKstatementrecord (an 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.25524#3GPX
FP3EJQMDCEFP3EJQMDCEconjecturerecord (an 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.28848#4265
FP3JVKC8RSFP3JVKC8RSstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2601.15010#76MU
FP3NJBR8DEFP3NJBR8DEstatementrecord (an 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.08052#7P8P
FP3TH8S4H7FP3TH8S4H7statementrecord (an 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.15490#IT48
FP3ZYJ03HJFP3ZYJ03HJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2607.25960#2PG7
FP40QVE94DFP40QVE94Dstatementrecord (an 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.14838#V2U2
FP4CTMJFV4FP4CTMJFV4statementrecord (an 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.11974#DQOX
FP4KTGCKADFP4KTGCKADstatementrecord (an 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.38772#J6V9
FP4M4DBBFWFP4M4DBBFWexerciseopenlebl_diffyqs ch-systems.tex#exercise-48
FP4VXDBFZXFP4VXDBFZXdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2205.13464#W35G
FP4WPNK0V8FP4WPNK0V8statementrecord (an 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.00882#Y5PW
FP58BK0SR7FP58BK0SR7statementrecord (an 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.10773#O0GE
FP5Q5S500YFP5Q5S500Ydefinitionrecord (an 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.24363#4FTW
FP5VG5QT2MFP5VG5QT2Mstatementrecord (an 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.16060#B030
FP5ZEDD51SFP5ZEDD51Sstatementrecord (an 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#6UPB
FP67RVKMBWFP67RVKMBWstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2607.00323#ASCI
FP6830D0MFFP6830D0MFstatementrecord (an 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.01473#ULS2
FP6FRCMQYQFP6FRCMQYQstatementrecord (an 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.04833#K72Y
FP7MAR7P98FP7MAR7P98statementrecord (an 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.21715#VW8R
FP7QDPWQ31FP7QDPWQ31statementrecord (an 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.26162#PWXW