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 4201–4300 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Full-Systematic $t$-PID Correcting Code | E5VGH01YFQ | 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.37578#6BB4 |
| Full-Systematic Encoder | E6TYJA0MYB | 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.37578#ZOYI |
| Full-teacher kink regularity | SP3Q4HPXR6 | 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.39408#0CEI |
| fullerene graph | HQXQ1G3CCR | unknown | open | Wikidata Q109120893, MathWorld Fullerene |
| Fully discrete common-state convergence | 309MW61S3M | 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.21991#LXCM |
| Fully discrete FV error with backward Euler | G92DABJV14 | 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.22063#WYFT |
| Fully explicit complex two-row upper bounds | MEEEXCY0YY | 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.04398#OBRJ |
| Fully feasible same-sample certificate | 1XGVYMH01F | 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.25388#MK95 |
| Fulton–Hansen connectedness theorem | ZPD9N1MSNF | statement | open | mathlib_1000 Q5508482, Wikidata Q5508482, thousand_plus Q5508482, Wikipedia Fulton–Hansen connectedness theorem |
| function | BJWQKHM1KZ | concept | open | levin_dmoi index/1.4/function |
| function | ECHEQF6RPR | concept | open | applied_combinatorics index/B.4/function |
| function | JVPPK3FART | concept | open | lebl_ra index/11.9.3/function |
| function | NZ97W08167 | concept | open | hott_book index/A.2/function |
| function | Q85Y8T7H2M | concept | open | hott_book index/1.2/function |
| function | R205T4J3DD | concept | open | active_calculus index/2.6.2/function |
| function | T8Q6M4Z7PE | concept | node (a node has the same Wikidata item as the row) | Wikidata Q11348, EoM Function, MathWorld Function, nLab function |
| Function | X20V5SEQ58 | definition | open | open_logic content/sets-functions-relations/functions/function-basics.tex#defn-1 |
| Function approximation | 7DQZVPHWSR | problem | 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.30750#5AED |
| Function class | ZBD1GE14DC | 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.21461#4XWL |
| function clone | 358TZX05DG | 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.12484#1W43 |
| function composition | RR62YYE264 | 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.12484#CVMS |
| Function domain | 8CATTQFDQG | 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#SGTG |
| Function extensionality | 6JPYY5FK8M | statement | open | hott_book basics.tex#axiom:funext |
| function extensionality | 8VPBPPNK8C | concept | open | hott_book index/1.5/function-extensionality |
| function extensionality | CX3Q3YA581 | concept | open | hott_book index/4.3.1/function-extensionality |
| function extensionality | DGM36MNNZB | concept | open | hott_book index/A.12.3/function-extensionality |
| function extensionality | H7F5Z3SN17 | concept | open | hott_book index/9.11/function-extensionality |
| function extensionality | WCWQ4QTE41 | concept | open | hott_book index/3.9/function-extensionality |
| function extensionality | Y0PBNG7WPS | concept | open | hott_book index/1.15/function-extensionality |
| function extensionality, proof from interval type | M66XF3HPSV | concept | open | hott_book index/5.3/function-extensionality-proof-from-interval-type |
| function extensionality, proof from univalence | X8NJX89GFX | concept | open | hott_book index/3.9/function-extensionality-proof-from-univalence |
| Function field family with many degree-$d$ places | M3W1NC72P6 | 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.32834#ZO4B |
| Function gap and gradient norm | 494C1VAYRV | 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.15125#QKS2 |
| function minion | S2F5MCDC37 | 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.12484#MW8A |
| function of bounded variation | M26GK0BWZ1 | unknown | open | Wikidata Q829653, MathWorld BoundedVariation |
| function of compact support | DS38YV824D | unknown | open | Wikidata Q3754523, EoM Function_of_compact_support |
| function space | CJMJBHNMT0 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q934367, MathWorld FunctionSpace, nLab function space |
| Function space $X$ | ZNY8QJAHVA | 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.08434#U5HB |
| function type | KPP16BAEGV | unknown | open | Wikidata Q5508778, nLab function type |
| function value | GXSHF7AXG7 | unknown | open | Wikidata Q59715267, MathWorld Value |
| function, $n$-connected | BDJ8VY9DS9 | concept | open | hott_book index/6.5/function-n-connected |
| function, bi-invertible | 67XSW24EWF | concept | open | hott_book index/3.3/function-bi-invertible |
| function, bi-invertible | JBQJ1PZEDG | concept | open | hott_book index/3/function-bi-invertible |
| function, bounded | A2SEH40DVY | concept | open | lebl_ra index/2.3.1/function-bounded |
| function, codomain of | HBREX5GDTG | concept | open | hott_book index/A.2/function-codomain-of |
| function, continuous | 3TV5A4VAYE | concept | open | lebl_ra index/4.5.1/function-continuous |
| function, continuous | 489NXB61GN | concept | open | hott_book index/B.3.2/function-continuous |
| function, continuous | 7BC78R1ZD5 | concept | open | lebl_ra index/2.2.1/function-continuous |
| function, continuous, in classical homotopy theory | K8PXNJQF8W | concept | open | hott_book index/u1.u1/function-continuous-in-classical-homotopy-theory |
| function, contractible | 6AQ2KBCP1Q | concept | open | hott_book index/3.4/function-contractible |
| function, dependent | BJZQJTFHZN | concept | open | hott_book index/1.3/function-dependent |
| function, dependent | CR27849M7X | concept | open | hott_book index/A.4/function-dependent |
| function, differentiable | S8CJYQ1A5H | concept | open | lebl_ra index/3.1.1/function-differentiable |
| function, domain of | 5PNVP3KRGA | concept | open | hott_book index/A.2/function-domain-of |
| function, embedding | VFSX57RYCJ | concept | open | hott_book index/6.1/function-embedding |
| function, embedding | Y1QB1FZBEH | concept | open | hott_book index/6.6/function-embedding |
| function, identity | 44RX0HG729 | concept | open | hott_book index/1.10/function-identity |
| function, identity | XRHWW5C6DR | concept | open | hott_book index/1.4/function-identity |
| function, injective | 3PVNGRVF7B | concept | open | applied_combinatorics index/4.1/function-injective |
| function, injective | CZQHCS73TJ | concept | open | hott_book index/C.1.2/function-injective |
| function, injective | S8Z354ZQ9D | concept | open | hott_book index/6.6/function-injective |
| function, injective | VGC0ZRS946 | concept | open | hott_book index/C.2/function-injective |
| function, linear | 7K29Z0WYZX | concept | open | hott_book index/2.7/function-linear |
| function, Lipschitz | 2A6N9VZCGR | concept | open | lebl_ra index/4.5.4/function-lipschitz |
| function, Lipschitz | E2QAT5Y6CM | concept | open | lebl_ra index/2.4.3/function-lipschitz |
| function, non-expanding | ZVREZB3ZGQ | concept | open | hott_book index/B.3.3/function-non-expanding |
| function, one-to-one | C9NFZD6CX6 | concept | open | applied_combinatorics index/4.1/function-one-to-one |
| function, one-to-one | N6SKKXSHRG | concept | open | applied_combinatorics index/B.4/function-one-to-one |
| function, onto | NK948J8YA8 | concept | open | applied_combinatorics index/B.4/function-onto |
| function, retraction | Y66Q36J8Z2 | concept | open | hott_book index/3.6/function-retraction |
| function, surjective | 62C7ECA9CP | concept | open | hott_book index/C.1.2/function-surjective |
| function, surjective | K6V18Q1ZZM | concept | open | hott_book index/6.5/function-surjective |
| function, surjective | K8JK68HG3C | concept | open | hott_book index/C.2/function-surjective |
| function-derivative pair | 560XV9S5PE | concept | open | active_calculus index/5.3.3/function-derivative-pair |
| Function-space version | G1FCFNHKRT | 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.02642#FX8U |
| functional | SS9WF8KHH5 | unknown | open | Wikidata Q579600, EoM Functional, MathWorld Functional |
| functional analysis | M0YYH4AFTX | topic | open | Wikidata Q190549, MathWorld FunctionalAnalysis, nLab functional analysis, ProofWiki Definition:Functional_Analysis |
| functional calculus | NN8KNJ4QTC | unknown | open | Wikidata Q1474584, nLab functional calculus |
| Functional central limit theorem | 5RYTSRJ7JB | 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.27851#HKZT |
| Functional Central Limit Theorem | G122CJ7DVW | 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.21258#876O |
| Functional central limit theorem | G1HFXD7X0S | 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.12873#P01P |
| Functional CLT | 1WRWBJMCB2 | 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#D19D |
| Functional CLT | W0W56X7GRH | 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.29023#KJPX |
| Functional CLT for the closed singular cycles | B7126A1KMB | 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.27851#M37X |
| functional derivative | Q94M2C31ES | concept | open | Wikidata Q2621220, MathWorld FunctionalDerivative, nLab functional derivative |
| Functional distortion distance | 2JCT9GGDQS | 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.03126#HONA |
| functional equation | YVX55BSKST | topic | open | Wikidata Q594452, EoM Functional_equation, MathWorld FunctionalEquation, nLab functional equation |
| functional equation (L-function) | GSV7YKECTV | unknown | open | Wikidata Q3589429, LMFDB knowl lfunction.functional_equation |
| Functional equation and unitarity | 4EHSM1PX3M | 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.25925#7GIX |
| Functional equation from equidimensional sectors | V0TNBP1SWZ | 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.33162#X35L |
| Functional FGR | 1ETW9WNH4D | 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#D0UF |
| Functional fluctuations at the finite-$N$ center | P91V3HDVVA | 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.01391#73BH |
| Functional inequalities for Lipschitz Gaussian images | HJN0YPE6PY | 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#K42G |
| Functional limit theorems | 692RPDYNBD | 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.14616#N1KU |
| functional programming | QZT1SMR8HS | unknown | open | Wikidata Q193076, nLab functional programming |
| functional relation | HEKFMVYWJQ | concept | open | hott_book index/A.2/functional-relation |
| functional relation | TK5PHAK8JQ | unknown | open | Wikidata Q110854274, nLab functional relation |
| Functional Relation | W9BTNADE73 | 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 1704.08191#9DP0 |
| Functional Roth--S\'ark\"ozy | FQ60AEPNA7 | 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#P13H |
| Functional S\'ark\"ozy | CBD1CD4X2M | 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#I0A2 |