| Four-dimensional case: A-theorem | 3FDQJNEWH5 | statement | open | Wikipedia C-theorem#BZWM |
| four-dimensional Chern–Simons theory | H7X3T8MKV8 | unknown | open | Wikidata Q117190901, nLab semi-topological 4d Chern-Simons theory |
| Four-dimensional near-null space | P0GPPJM4JB | 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.25120#5VTU |
| Four-dimensional space | YB25K5V044 | definition | open | Wikipedia Four-dimensional space, Wikidata Q238125 |
| Four-dimensional tangent Ricci shrinkers | CV53YZRK00 | 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.05204#BN3A |
| four-gradient | 6T78XZ06H1 | definition | open | Wikipedia Glossary of mathematical symbols#FHX2 |
| Four-momentum | 2KJPTGFG6F | definition | open | Wikipedia Four-momentum, Wikidata Q1068463 |
| Four-periodicity | 2VXFGBVSMJ | 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.03298#XFJ4 |
| Four-photon polynomial Lieb--Robinson bound | 73YYMGY1E1 | 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.01669#4NPA |
| Four-point inequality | PDE5MCJP1K | 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.24931#PI8E |
| Four-point specialization | HG8585560K | 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.08821#4PTZ |
| Four-row move | VGNRAQTXYW | 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.23106#DC42 |
| Four-spiral semigroup | 2MJYPVXDA1 | definition | open | Wikipedia Four-spiral semigroup, Wikidata Q17097908 |
| Four-square cipher | GPTFH0T2J6 | definition | open | Wikipedia Four-square cipher, Wikidata Q220871 |
| Four-state upper bound | J34KY679VC | 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.10002#KXXN |
| Four-transition scalar bounds | TPF6S3RBV8 | 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.13962#D2A4 |
| Four-valued logic | Z9TZPWFJGA | definition | open | Wikipedia Four-valued logic, Wikidata Q5474962 |
| Four-vector | ERASQX3HT7 | definition | open | Wikipedia List of mathematical topics in relativity#WH2C |
| four-vector | J9SR7QDKMC | definition | open | Wikidata Q844610, MathWorld Four-Vector, Wikipedia Four-vector |
| Four-velocity | WTPBKS8H92 | definition | open | Wikipedia Four-velocity, Wikidata Q1322540 |
| four-vertex geometry | PN1DS71P1V | 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.02289#2KVE |
| Four-vertex theorem | FNK3YEZVQF | statement | open | Wikipedia List of theorems#1MI0 |
| Four-wise independence bounds the diagonal radius | C2QX39ZCQH | 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#5EL3 |
| Fourfold recursion | G832PBTBFS | 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.10821#TUT9 |
| Fourier | WA10MH55JD | definition | open | Wikipedia Glossary of real and complex analysis#7DWC |
| Fourier $L^1$ norm controls partition capacity | MC0EXKVJSK | 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.26619#717A |
| Fourier algebra | ST6ZP6SBR6 | definition | open | Wikipedia Fourier algebra, Wikidata Q5475787 |
| Fourier algebra | YGFHKSZF3G | definition | open | Wikipedia List of things named after Joseph Fourier#ALW3 |
| Fourier amplitude sensitivity testing | PK2D8WJVD9 | definition | open | Wikipedia List of Fourier analysis topics#6WFR |
| Fourier amplitude sensitivity testing | Z4MCZBZ5PD | definition | open | Wikipedia Fourier amplitude sensitivity testing, Wikidata Q5475788 |
| Fourier analysis | 3V786EJ47R | definition | open | Wikidata Q1365258, MathWorld FourierAnalysis, ProofWiki Definition:Fourier_Analysis, Wikipedia Fourier analysis |
| Fourier analysis | HE2KW4W0RH | topic | open | Wikipedia List of real analysis topics#I1NP |
| Fourier analysis | W1KWZFVKJ6 | definition | open | Wikipedia Glossary of areas of mathematics#NQSB |
| Fourier analysis | YYZJMT9BXS | topic | open | Wikipedia List of statistics articles#AD92, Wikipedia List of things named after Joseph Fourier#LNX0, Wikipedia List of exponential topics#J9T3 |
| Fourier bound | CEGP1PGFX0 | 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.01035#TY88 |
| Fourier bound for $R_u(X_0)$ | WYMXRZQH1H | 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#22N0 |
| Fourier coefficient | K7G95V9YAZ | definition | open | Wikidata Q117421376, ProofWiki Definition:Fourier_Series/Fourier_Coefficient |
| Fourier contraction formula | H0ZF081G3F | 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.13916#SY62 |
| Fourier control | 7P33TYD8PH | 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 2606.02312#IY23 |
| Fourier correlations between the two outputs | 2YY3GFC0HK | 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.02407#W2XS |
| Fourier cosine transform | 1703JVMENJ | unknown | open | Wikidata Q124684067, MathWorld FourierCosineTransform |
| Fourier decay | 5TH20CGXBQ | 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 1806.05002#IPH6 |
| Fourier decay | 87KTSCQJK1 | 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 1806.05002#HZLZ |
| Fourier decay | V91AJFVZXF | 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 1806.05002#YD2H |
| Fourier decay | VBKWCXE3J2 | 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 1806.05002#S572 |
| Fourier decomposition into cyclic-product recurrences | H0GKGVX12D | 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.26066#XNWJ |
| Fourier division | 9G50JBCYQZ | definition | open | Wikipedia List of things named after Joseph Fourier#Q7NV |
| Fourier division | RXQNGVSR4Z | definition | open | Wikipedia Fourier division, Wikidata Q5475793 |
| Fourier estimate for bounded regular energy densities | 4ZCHQBYWMM | 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.16351#6DEV |
| Fourier estimates for Examples \emph{(C)}--\emph{(E | MP3CSXQ9TJ | 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.29671#ECTY |
| Fourier extension operator | XBJG0XPTKT | definition | open | Wikipedia Fourier extension operator, Wikidata Q135938243 |
| Fourier form of the cubic identity | 3S15JVN5EE | 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.11652#UHCN |
| Fourier integral operator | G5J0H00PS9 | definition | open | Wikipedia List of Fourier analysis topics#SJCW |
| Fourier integral operator | H7421JRWXG | definition | open | Wikipedia Fourier integral operator, Wikidata Q4262191 |
| Fourier integral theorem | EZDXHHB03Y | statement | open | Wikipedia Fourier inversion theorem#C0HL |
| Fourier interpolation | 2RQ92FGESQ | 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.35421#JNGF |
| Fourier Inversion Formula for L^1-Functions | 18RG3P40M8 | statement | open | Wikipedia Pontryagin duality#XEZZ |
| Fourier inversion theorem | 516MKGPCVE | statement | open | Wikipedia List of theorems#QDIC |
| Fourier inversion theorem | B6ZMM17BYH | statement | open | Wikipedia List of things named after Joseph Fourier#JF2O, Wikipedia List of harmonic analysis topics#R3VD, Wikipedia List of Fourier analysis topics#VVEF |
| Fourier majorant and minorant | YV7JKZ5369 | 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.30207#AQRA |
| Fourier method | 4D95CJV1P5 | definition | open | Wikipedia List of things named after Joseph Fourier#BEPJ |
| Fourier number | PBBFCFENEF | definition | open | Wikipedia List of things named after Joseph Fourier#5XDH |
| Fourier number | R7MWY04VBD | definition | open | Wikipedia Fourier number, Wikidata Q901793 |
| Fourier number for mass transfer | S9EVNNN1JW | unknown | open | Wikipedia Fourier number#N1ED |
| Fourier operator | CR4M243MYN | definition | open | Wikipedia List of Fourier analysis topics#RQAI |
| Fourier operator | Z5AKKB3SX9 | definition | open | Wikipedia Fourier operator, Wikidata Q5475795 |
| Fourier optics | 7X9KNQ6YCC | topic | open | Wikipedia Fourier optics, Wikidata Q1003236 |
| Fourier optics | RXY9SJ66FQ | topic | open | Wikipedia List of things named after Joseph Fourier#WQ1B, Wikipedia List of Fourier analysis topics#OR94 |
| Fourier realization of the analytic class | M70QQEEQXE | 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.28937#I0SJ |
| Fourier representation | 1QY9AZGS3E | 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.25912#EJ94 |
| Fourier representation of the Fourier-Bessel wavelet | XX8MDRGYHG | 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.26537#TGXB |
| Fourier series | 2272HEY42M | definition | open | Wikipedia List of calculus topics#VEVD, Wikipedia List of real analysis topics#P0BV, Wikipedia List of things named after Joseph Fourier#WJT7 |
| Fourier series | 96S7MFMTMA | statement | open | mathlib_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, Wikipedia Fourier series |
| Fourier Series | XBWD8G2Y2E | statement | open | mathlib_100 76, Mathlib fourierCoeff, Mathlib hasSum_fourier_series_L2 |
| Fourier series of locally integrable periodic real-valued functions | SSZRE93J5P | unknown | open | mathlib_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 shell correlation | 3KDQY9Q7EY | definition | open | Wikipedia Fourier shell correlation, Wikidata Q5475800 |
| Fourier shell correlation | NSB257W6BY | definition | open | Wikipedia List of Fourier analysis topics#DZFK |
| Fourier shift theorem | RCTN7DNDG5 | unknown | open | Wikipedia Fourier transform#DSF5 |
| Fourier sine and cosine series | HKXZ8PPAHG | definition | open | Wikipedia Fourier sine and cosine series, Wikidata Q5475798 |
| Fourier sine transform | B8CAW1MM7V | unknown | open | Wikidata Q124684079, MathWorld FourierSineTransform |
| Fourier slice theorem | APHDKWZX7S | 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 2608.16453#K4Y1 |
| Fourier theorem | Z4ZZMQRJKN | definition | open | Wikipedia List of theorems#ZJR1 |
| Fourier theorem proving convergence of Fourier series | TDVMA40HEE | statement | open | Wikipedia Fourier series#NPF8 |
| Fourier transform | 2VCK041G2W | definition | open | Wikidata Q6520159, EoM Fourier_transform, MathWorld FourierTransform, nLab Fourier transform, Wikipedia Fourier transform |
| Fourier transform | 86BD5RQK9H | definition | open | Wikipedia List of transforms#DIU0 |
| Fourier transform | 9HFMHF93E8 | definition | open | Wikipedia List of Fourier-related transforms#NSW2 |
| Fourier transform | C4Y6FNW9ZD | definition | open | Wikipedia List of things named after Joseph Fourier#AKR5 |
| Fourier transform | D2TJK6Y5TS | 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.28282#NR1D |
| Fourier transform | F01CJR7TGE | definition | open | Wikipedia List of types of functions#EBP7 |
| Fourier transform | JJBV1DF4WE | definition | open | Wikipedia List of mathematical abbreviations#RY6E |
| Fourier transform and convolution product | NZHGM3T0MS | unknown | open | mathlib_undergrad Distribution calculus > Tempered distributions > Fourier transform and convolution product |
| Fourier transform and derivation | R1PRJZXFS8 | unknown | open | mathlib_undergrad Distribution calculus > Tempered distributions > Fourier transform and derivation |
| Fourier transform and dual torus | QYZM7734TC | 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.29671#WI38 |
| Fourier transform and Fourier inversion formula for L1-functions | WXY4168QYX | statement | open | Wikipedia Pontryagin duality#JUMD |
| Fourier transform and Heisenberg uncertainty principle | QXE8V9QSRQ | statement | open | Wikipedia Pi#7L8M |
| Fourier transform as an integral | C665DCZMGQ | unknown | open | mathlib_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 groups | HPC60457S1 | unknown | open | mathlib_undergrad Group Theory > Representation theory of finite groups > Fourier transform for finite abelian groups |
| Fourier transform of tempered distributions | 6CWT4FBET5 | unknown | open | Wikipedia Fourier transform#UMGA |
| Fourier transform of the invertible-matrix indicator | GJF6WN3N00 | 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#5K6X |