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.
- Other 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 6501–6600 of 9322.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Fourier transform on $\mathrm{L}^2(\R^d)$ | 4C4NRFEZN9 | unknown | open | mathlib_undergrad Measures and integral calculus > Fourier analysis > Fourier transform on $\mathrm{L}^2(\R^d)$, Mathlib MeasureTheory.Lp.fourierTransformₗᵢ |
| Fourier transform on finite groups | C13DV7D7Q6 | definition | open | Wikipedia List of Fourier-related transforms#9V4W |
| Fourier transform on finite groups | RFMYFEEXP7 | definition | open | Wikipedia Fourier transform on finite groups, Wikidata Q5475803 |
| Fourier transform on finite groups | WY4A6FJTC5 | definition | open | Wikipedia List of Fourier analysis topics#7JEA |
| Fourier transform spectroscopy | QRB36EY2VG | unknown | open | Wikipedia List of harmonic analysis topics#TM3A |
| Fourier transforms | SWP8FSWSKC | unknown | open | mathlib_undergrad Distribution calculus > Tempered distributions > Fourier transforms, Mathlib FourierTransform.fourierCLM |
| Fourier transforms on $\mathcal{S}(\R^d)$ | JQ30A5S8J5 | unknown | open | mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > Fourier transforms on $\mathcal{S}(\R^d)$, Mathlib SchwartzMap.fourierTransformCLM |
| Fourier vanishing | P324NHEYDR | 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#957G |
| Fourier vanishing | R2TR0G4J0P | 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#QKWC |
| Fourier vanishing | RCDC3PV422 | 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 2509.05577#K6TC |
| Fourier's law | HZ6K9BQE6S | statement | open | Wikipedia Heat flux#JDUI |
| Fourier's law | QS4YA42ZR6 | statement | open | Wikipedia Thermal conduction#RW8C |
| Fourier's law in one dimension | SDSR0X4PEY | statement | open | Wikipedia Heat flux#RPZV |
| Fourier's law of heat conduction | QWN5SAHKP5 | definition | open | Wikipedia List of things named after Joseph Fourier#ZE8J |
| Fourier's theorem | RQ342CJRZ2 | definition | open | Wikipedia List of things named after Joseph Fourier#MM26 |
| Fourier--Bessel cusp modes | C35D28YSK5 | 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 2501.09848#6HOZ |
| Fourier-Bessel disk harmonic | BR4E337VSQ | 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.26537#8P1E |
| Fourier-Bessel wavelet | E5TM62D1HA | 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.26537#DWXV |
| Fourier-transform spectroscopy | VJWZ26ZDVJ | unknown | open | Wikipedia List of things named after Joseph Fourier#MGKX |
| Fourier–Bessel series | JQ5NKV5AHC | definition | open | Wikipedia Fourier–Bessel series, Wikidata Q5475809 |
| Fourier–Bros–Iagolnitzer transform | QXNWJHT4B8 | definition | open | Wikipedia List of Fourier-related transforms#4FW9 |
| Fourier–Bros–Iagolnitzer transform | Z66RMZTK07 | definition | open | Wikipedia Fourier–Bros–Iagolnitzer transform, Wikidata Q5424638 |
| Fourier–Deligne transform | V6FQ259SJN | definition | open | Wikipedia Fourier–Deligne transform, Wikidata Q8565121 |
| Fourier–Legendre series | AFZS37EBM8 | definition | open | Wikipedia List of things named after Adrien-Marie Legendre#F81S |
| Fourier–Motzkin elimination | 8WA9Y2MKYZ | definition | open | Wikipedia List of things named after Joseph Fourier#CFOO, Wikipedia List of numerical analysis topics#4MYS |
| Fourier–Motzkin elimination | YBYRKHG4MX | definition | open | Wikipedia Fourier–Motzkin elimination, Wikidata Q1440012 |
| Fourier–Mukai transform | B6568JSQ7T | definition | open | Wikipedia Fourier–Mukai transform, Wikidata Q3537566 |
| Fourmile | HYDPYQ2A8X | unknown | open | Wikipedia List of places with numeric names#8GXS |
| fourth | GGR4VYCZSV | definition | open | Wikidata Q267984, ProofWiki Definition:Fourth_(Music) |
| Fourth Crossing, California | VR0Y1QQJNE | unknown | open | Wikipedia List of places with numeric names#QEZW |
| Fourth cumulant bound for weighted increments | YCPPH4H4F8 | 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.06372#5TYU |
| Fourth derivative | VC4N360646 | unknown | open | Wikipedia Derivative#9937 |
| Fourth dimension in art | GYYANAQP6M | definition | open | Wikipedia Fourth dimension in art, Wikidata Q3413630 |
| Fourth example | YQBRK3APAP | definition | open | Wikipedia Distributive property#0AI5 |
| Fourth moment | 1V04YRG5E8 | 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.04099#ZQO4 |
| Fourth moment in short intervals | HX75GCBGC2 | 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.11487#WV58 |
| Fourth moment reduction | FHNEZK76DR | 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.02843#MJBC |
| Fourth moment theorem | F7S2R0Y575 | 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.16180#PRGG |
| Fourth moment, general $n$ | SJXWW0CWHM | 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.04099#VPVY |
| Fourth moments | 4GZC29AHH8 | 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.07214#2JXV |
| fourth power | N1JSVQVDH1 | definition | open | Wikidata Q840676, MathWorld BiquadraticNumber, ProofWiki Definition:Fourth_Power, Wikipedia Fourth power |
| Fourth rotor | 99JP8MTR3K | unknown | open | Wikipedia Enigma rotor details#AUR0 |
| Fourth-moment bound for weighted increments | DRKNK9CJWZ | 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.06372#B65C |
| Fourth-Moment Certificate | QV6X6B1ZVY | 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.30105#QFKK |
| Fourth-moment maximal bound | 7VWRRZMEPJ | 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.36594#WD42 |
| Fourth-order product rule | X2R2M2V4EE | 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.20593#B1PI |
| Fourt–Woodlock equation | REM03GJEP2 | definition | open | Wikipedia Fourt–Woodlock equation, Wikidata Q5475888 |
| Fowler, Henry | 3DC4RQ8BBR | unknown | open | Wikipedia List of statisticians#4GH9 |
| Fowlkes–Mallows index | 9X20X2X3GH | definition | open | Wikipedia Fowlkes–Mallows index, Wikidata Q5476477 |
| Fowlkes–Mallows index | AY363KW2YH | definition | open | Wikipedia List of statistics articles#HWAB |
| Fox derivative | 7A2F46NX1X | definition | open | Wikidata Q5477047, nLab Fox derivative, Wikipedia Fox derivative |
| Fox derivative | TGQVJD3BJ9 | definition | open | Wikipedia List of algebraic constructions#TFJA |
| Fox H-function | PETRHFZTP0 | concept | open | Wikidata Q8565199, MathWorld FoxH-Function, Wikipedia Fox H-function |
| Fox H-function | VAVBN7EWKC | definition | open | Wikipedia List of mathematical functions#FTN2 |
| Fox n-coloring | B4FV1YWENV | definition | open | Wikipedia Fox n-coloring, Wikidata Q8565232 |
| Fox n-coloring | G30VHB67NN | definition | open | Wikipedia List of knot theory topics#KWI8 |
| Fox, John | 9YDZPZ15E8 | unknown | open | Wikipedia List of statisticians#O7RT |
| Fox--Wigderson | BFRMZJ8K7M | conjecture | 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.20237#9HG0 |
| Fox--Wigderson | V487HDH6XT | conjecture | 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.20237#P0O4 |
| Fox–Artin arc | R2Q6BET9R5 | definition | open | Wikipedia List of things named after Emil Artin#MEGT |
| Fox–Wright function | QPXKAJG58H | definition | open | Wikipedia Fox–Wright function, Wikidata Q5477346 |
| FP | MR8TF413WN | definition | open | Wikipedia FP (complexity), Wikidata Q970152 |
| FP-growth | X7JXD732TY | unknown | open | Wikipedia Association rule learning#9ORV |
| FP0309KP9H | FP0309KP9H | 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.18324#3Y9E |
| FP07E07HM1 | FP07E07HM1 | 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.11043#1DI3 |
| FP0CHFAJ9P | FP0CHFAJ9P | exercise | open | napkin tex/rep-theory/characters.tex#ques-1 |
| FP0DA13KR0 | FP0DA13KR0 | 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.15405#IICI |
| FP0DYNG721 | FP0DYNG721 | 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 2507.13548#MNXZ |
| FP0GJP3C0F | FP0GJP3C0F | 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.03288#U9H6 |
| FP30QYS7HW | FP30QYS7HW | 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.37761#G7XX |
| FP3582HMJK | FP3582HMJK | 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.25524#3GPX |
| FP3B2X1CRV | FP3B2X1CRV | 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.19945#WF0T |
| FP3EJQMDCE | FP3EJQMDCE | conjecture | 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.28848#4265 |
| FP3JVKC8RS | FP3JVKC8RS | 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 2601.15010#76MU |
| FP3NJBR8DE | FP3NJBR8DE | 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.08052#7P8P |
| FP3TH8S4H7 | FP3TH8S4H7 | 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 2401.15490#IT48 |
| FP3ZYJ03HJ | FP3ZYJ03HJ | 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 2607.25960#2PG7 |
| FP40QVE94D | FP40QVE94D | 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.14838#V2U2 |
| FP4CTMJFV4 | FP4CTMJFV4 | 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.11974#DQOX |
| FP4KTGCKAD | FP4KTGCKAD | 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.38772#J6V9 |
| FP4M4DBBFW | FP4M4DBBFW | exercise | open | lebl_diffyqs ch-systems.tex#exercise-48 |
| FP4VXDBFZX | FP4VXDBFZX | 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 2205.13464#W35G |
| FP4WPNK0V8 | FP4WPNK0V8 | 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.00882#Y5PW |
| FP58BK0SR7 | FP58BK0SR7 | 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.10773#O0GE |
| FP5Q5S500Y | FP5Q5S500Y | 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.24363#4FTW |
| FP5VG5QT2M | FP5VG5QT2M | 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.16060#B030 |
| FP5ZEDD51S | FP5ZEDD51S | 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.08226#6UPB |
| FP5ZQ9J7HW | FP5ZQ9J7HW | 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.20375#SU5T |
| FP67RVKMBW | FP67RVKMBW | 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 2607.00323#ASCI |
| FP6830D0MF | FP6830D0MF | 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.01473#ULS2 |
| FP6FRCMQYQ | FP6FRCMQYQ | 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.04833#K72Y |
| FP7MAR7P98 | FP7MAR7P98 | 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.21715#VW8R |
| FP7QDPWQ31 | FP7QDPWQ31 | 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.26162#PWXW |
| FP7R5PEMKF | FP7R5PEMKF | exercise | open | hott_book logic.tex#ex:naive-lem-impl-ac |
| FP7TW1CCVF | FP7TW1CCVF | 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.23527#0FTZ |
| FP8 cannot win in \OzII even where its raw performance is highest | NZWT4KQ1PB | unknown | open | arXiv 2609.29554#P2XG |
| FP8BEHXCRC | FP8BEHXCRC | 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.31044#9AYA |
| FP8BEPSDPJ | FP8BEPSDPJ | 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.12576#SZLI |
| FP8VC0Y2FC | FP8VC0Y2FC | 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.08010#ZX3P |
| FP940PN69X | FP940PN69X | 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.13401#ZZHS |