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 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 4101–4200 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| FTXPX67NN8 | FTXPX67NN8 | 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.05646#T1Q8 |
| FTYCKXBS8W | FTYCKXBS8W | 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.07114#9ELZ |
| FTYFNKB0YB | FTYFNKB0YB | 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.02709#G6IW |
| FTYK3W478Q | FTYK3W478Q | 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.08370#35Q4 |
| FTYKZWMCRQ | FTYKZWMCRQ | exercise | open | lebl_diffyqs ch-nonlin-systems.tex#exercise-20 |
| FTYTE5ZTGP | FTYTE5ZTGP | 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 1011.5443#SIE7 |
| FTYZ4MD03G | FTYZ4MD03G | 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.07064#SMH2 |
| FTZTHEK92A | FTZTHEK92A | 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.05146#KOAY |
| Fu, Han, Wang, Yan, Zhang and Zhou | PJC76HM0JQ | 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.16203#B388 |
| Fubini | MAJ3QVGAVS | statement | open | lebl_scv scv.tex#thm-51 |
| Fubini for sums | SZHF6GDQYJ | concept | open | lebl_ra index/10.6.6/fubini-for-sums |
| Fubini theorem | XA071S9JJG | concept | open | lebl_scv index/E.1/fubini-theorem |
| Fubini theorem for colimits | QBFTJDM1ZK | concept | open | hott_book index/7.5.3/fubini-theorem-for-colimits |
| Fubini version A \footnote{Named after the Italian mathematician \href{https://en.wikipedia.org/wiki/Guido_Fubini}{Guido Fubini} (1879--1943).} | MM923FJC8S | statement | open | lebl_ra ch-multivar-int.tex#mv:fubinivA |
| Fubini version B | D2SK0CRVQQ | statement | open | lebl_ra ch-multivar-int.tex#mv:fubinivB |
| Fubini's theorem | 5ZMJMA78YP | concept | open | lebl_ra index/5.2/fubini-s-theorem |
| Fubini's theorem | JHKGB2FRPR | statement | node (a node has the same Wikidata item as the row) | mathlib_1000 Q1149022, Mathlib MeasureTheory.integral_prod, Wikidata Q1149022, mathlib_overview Analysis > Measures and integral calculus > Fubini's theorem, mathlib_undergrad Measures and integral calculus > Integration > Fubini's theorem, thousand_plus Q1149022, Wikipedia Fubini's theorem, MathWorld FubiniTheorem |
| Fubini's theorem on differentiation | 8AJ3HM9H04 | statement | open | mathlib_1000 Q1841237, Wikidata Q1841237, thousand_plus Q1841237, Wikipedia Fubini's theorem on differentiation |
| Fubini–Study metric | KEWVX8A41T | concept | open | Wikidata Q3333764, EoM Fubini-Study_metric, nLab Fubini-Study metric |
| Fubini’s theorem for means | 5F8Y8BE4W5 | 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.11002#Y05Y |
| Fuchs | 3A211B8BX8 | 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.17547#DMGS |
| Fuchs | 5BT9VMDFDZ | 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.17547#M8KX |
| Fuchs | APEW9TZW4F | 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.17547#SN4R |
| Fuchs | BSJNRGZF6W | 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.29641#TK8F |
| Fuchs | KB6PE5ZYN3 | 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.17547#8G6L |
| Fuchs | KYMJK861RK | 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.17547#6S2F |
| Fuchs | P0Z80RZZP9 | 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.17547#TCPR |
| Fuchs's theorem | MZD8P2560Q | statement | open | mathlib_1000 Q5506929, Wikidata Q5506929, thousand_plus Q5506929, Wikipedia Fuchs's theorem, MathWorld FuchssTheorem |
| Fuchs--Hamkins--Reitz | AM406HE3Q5 | 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 2608.24190#KFGQ |
| Fuchsian group | QZKSP33C64 | concept | open | Wikidata Q205124, EoM Fuchsian_group, LMFDB knowl group.fuchsian, nLab Fuchsian group |
| Fuglede's conjecture | 6ZY4H0GTQ7 | concept | open | Wikidata Q56291736, MathWorld FugledesConjecture |
| Fuglede's theorem | 89W0X7M0D9 | statement | open | mathlib_1000 Q5507285, Wikidata Q5507285, thousand_plus Q5507285, Wikipedia Fuglede's theorem |
| Fuhrmann circle | CVPHCR5NRF | concept | open | Wikidata Q5507320, MathWorld FuhrmannCircle |
| Fuhrmann triangle | CQ5BETRETJ | concept | open | Wikidata Q74624421, MathWorld FuhrmannTriangle |
| Fuhrmann's theorem | SYMRWXS7RD | statement | open | Wikidata Q24957190, MathWorld FuhrmannsTheorem |
| Fujiki-to-K\"ahler reduction | K6FD9PW6X6 | 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.25762#5XPF |
| Fukaya category | VTM3M1GRTB | unknown | open | Wikidata Q5507585, nLab Fukaya category |
| Full $D^L$ and $D^Q$ spectra | 1VCTSC1RQ9 | 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.13429#N1TO |
| Full ambient certificate | PVPXEN5HPN | 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.10828#B8MN |
| full and faithful functor | KV8AAGVNKD | unknown | open | Wikidata Q1064276, MathWorld FaithfulFunctor, nLab full and faithful functor |
| Full and prime Gram clouds | 4WH9AC3SGG | 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.21952#Q2R6 |
| Full column rank | QZKJ24TSE7 | 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.30637#F6RD |
| Full distance spectrum | D59Y3JERDB | 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.13429#FUR5 |
| Full employment theorem | P0WSQ5C7WN | statement | open | mathlib_1000 Q5508180, Wikidata Q5508180, thousand_plus Q5508180, Wikipedia Full employment theorem |
| Full factor transfer | D035MKTM1M | 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.27641#SU5R |
| Full finite-output entropy under conditional atomlessness | Y5BWHB00RD | 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#YS68 |
| Full fold | WCNV79R4YC | 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.33173#3SQI |
| full functor | X1WN7AERXF | definition | open | Wikidata Q33059348, nLab full functor, ProofWiki Definition:Full_Functor |
| full house (poker hand) | N0820SB836 | concept | open | applied_combinatorics index/10.1/full-house-poker-hand |
| Full invariant lattice | CWTKP5FCYB | 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.25805#88RA |
| Full KLM invariance | FZ1S4T6H6X | 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.25805#47U8 |
| Full local first derivatives and all symbol gaps | 6XSNF2AQ04 | 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.18788#0LCF |
| Full logarithmic metric | Y8D4NTWN8T | 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.25468#94ZV |
| Full Macdonald Lax operator | VFTACBXZ9C | 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 2211.01586#OUIH, arXiv 2610.12326#RFQY |
| Full nonsymmetric reference inverse | FV63BHRZZ2 | 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.18788#3DHH |
| Full Norm Control on the Cube | GMRVH6Q1RN | 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.12239#C5R4 |
| Full occupancy does not make the criteria agree | FGFKVCFFQ2 | 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.05442#JXMD |
| Full posterior entropy identity | 32QGAWPCK9 | 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#1BCP |
| Full progression relation | 64PZ49QE3G | 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.27044#13KM |
| Full radical filtration | T7HQ1AV6AD | 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.39262#76N0 |
| Full rank and minimum weight of the unitary design codes | PQPW7KEFEB | 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.15340#AZT1 |
| Full regularity | Q365B62D9Y | 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#P7JP |
| full reptend prime | YG7YWT5D2S | unknown | open | Wikidata Q3343095, MathWorld FullReptendPrime, OEIS A001913 |
| Full spark | BTYBKPXCMV | 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.28198#WE2R |
| Full spectral-radius large deviation principle | M2N232K5P7 | 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.05498#4RYC |
| Full strong entropy | EW973FM5EG | 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.16069#32OV |
| full subcategory | 2QX5MX0VY7 | unknown | open | Wikidata Q103927515, nLab full subcategory |
| Full sublinear Morse boundary | CK85ZC1AG8 | 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.25468#C7NV |
| Full sum in noncompact type | E7DTJA76NV | 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.19837#TC90 |
| Full sum in the favorable compact range | A814EAGV5J | 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.19837#U4XZ |
| Full sunflower relation | CP7V80064B | 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.27044#WSOM |
| Full support | TPA8PAK4T2 | 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.03811#MMOB |
| Full support of the joint occupation measure | 4RZH1NFBZH | 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.37944#0BX5 |
| Full termination | WEC8P2WSQ9 | 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.33679#7PQ1 |
| Full Type II realiser parametrisation | MJDYT1MEBA | 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.26055#58JP |
| Full upper frontier | V3F8VAKMH1 | 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.20187#7XG9 |
| Full Version | 5P8P74294K | 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.06321#BW6Z |
| full width at half maximum | A5D75HD66Z | unknown | open | Wikidata Q1065170, MathWorld FullWidthatHalfMaximum |
| Full-batch Adam under the present learning-rate assumptions | BG4WADC9FP | 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.11309#Q00T |
| Full-batch max--sum dominated margin convergence | 56KM4M2BCJ | 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.11309#O433 |
| Full-batch Muon versus Adam | T2SJEFMVZP | 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.11309#26O1 |
| full-component criterion | RS72769DVW | 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.32733#B41D |
| Full-component models for strict opens | NVA51TK779 | 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.28220#0Q1N |
| Full-content reflection | D0KT4WPWPB | 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.27641#869D |
| Full-content side covers | X6SNZKJTDC | 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.27641#MCKT |
| Full-entropy central diagonal band | 17D9M2A3DR | 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#89VL |
| Full-field anchor family | 8624F6R0N2 | 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.15815#CZ8Y |
| Full-frequency continuation | 29ZB0DJSV7 | 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.02714#OGDT |
| Full-information convergence | 5FZ9B3MQMX | 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.32083#P69U |
| Full-interval moving-feedback guarantee | BN7Y2VCDRM | 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.33154#6G0X |
| Full-knowledge updates for $m=1$ | WKC84PB0NN | 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.14988#MOLL |
| Full-lattice decomposition | 5QPT6PX9KB | 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.05421#C3MX |
| Full-level Maass functional equation | J850JFFYA5 | 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#PDRW |
| Full-order structure | ZB2YRHB91H | 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.20270#S5ED |
| Full-rank stratum | ZPKGX0VYNS | 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.25762#BPZP |
| Full-rank SVD backward | X07HNWM88Y | 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.32505#IOBW |
| Full-rankness | 1HTGYVMG5D | 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.11210#K4SW |
| Full-state lower bounds | TDBSSA24XF | 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.37247#R5XO |
| Full-support spectral converse | R2B32Z8WE9 | 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.40054#TI7F |
| Full-support three-spectral period-two counterexample | 40SQEJMJXA | 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.00939#6XVG |