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 2301–2400 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Finite-iteration law in whitened coordinates | DJZ3VNV2XJ | 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.20798#V2BJ |
| Finite-jet families | NG3YG5NTJH | 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.09295#LUM6 |
| Finite-Jet seminorm | 86D9G9QR78 | 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#RKHC |
| Finite-mass rigidity | V5P5J54BT0 | 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.16563#2FD2 |
| Finite-measurement set | E4DBGKG8V7 | 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.26262#SU1R |
| Finite-mixture action certificate | R046Q5TCQX | 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.08069#3FRF |
| Finite-mode regularity from a dual \(L^2\) derivative | JCHQYDQWC8 | 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.33033#G5WA |
| finite-open upgrade | V7MMMSA0GE | 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.08335#LT60 |
| Finite-order angular maxima | 1AKR0CTNX4 | example | 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.37704#R666 |
| Finite-order realization | 1T260QYZNW | 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.26318#M2A8 |
| Finite-overlap approximation | WCWATDH3Q1 | 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.32710#ORZC |
| Finite-parameter marked-card smoothing | 1X97RCGW8Y | 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.18884#VBL6 |
| Finite-pole pullback of a splitting | X4AYN6EYH1 | 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.00490#G0GN |
| Finite-population batch moments and relative scale | JJVJ4TVCMJ | 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#PYZX |
| Finite-rank approximation | ZYYQ8S0QWP | 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.13385#XM4C |
| Finite-rank approximation of a Duhamel coefficient | QAHE6J68PQ | 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.15199#WUCD |
| Finite-rank exponential kernels | KW4532XYJA | example | 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.31102#EXZ7 |
| Finite-rank moment identity | FK100AS56Z | 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.03912#433E |
| Finite-rank nontrivial actions | MCVJ73GEVB | example | 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.00021#AVK8 |
| Finite-rank random test fields | ZW8FA1Z7QW | 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.28985#V34W |
| Finite-rate obstruction for metasyndrome-only repair | 1AS9CTTQ4J | 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.39121#WWWX |
| Finite-reference calibration of the original signing law | MWVX2P594J | 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#PEHW |
| Finite-register simulation of arbitrary inputs | 4SYMTZFM8R | 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#6F8C |
| Finite-resolution potential alignment | YJYEQWX32S | 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.05428#IVL2 |
| Finite-resolution regret does not control infinitesimal ordinal regret | B6QYGPVVZF | 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.05428#2R29 |
| Finite-sample and first-order universal approximate optimality of TA-RDC | BFP0XSRERA | 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.31607#XS9F |
| Finite-sample approximation of covariance-induced instability subspaces | 71S5CB1YS3 | 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.30746#J6K5 |
| Finite-sample bound on the trace of the estimated score | J4P54MMTTH | 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.14498#H0YU |
| Finite-sample class-centered prediction-error certificate | 1ZAXGKCR34 | 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.32652#127W |
| Finite-sample compact-mixture admissibility | FFA3HZYC81 | 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.27200#5CLS |
| Finite-sample convergence for linear-basis models | 366H8J5HD0 | 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.32026#99YY |
| Finite-sample exact support recovery ($L_0$ estimator | HW7DMC2V90 | 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#A5S7 |
| Finite-sample exact support recovery, $L_0$ estimator | YMMK408CJA | 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#W018 |
| Finite-sample exact zero-control regions | QNFV9JB86N | 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#Y4JE |
| Finite-sample exact-or-certified optimality | QH9TYDE0M5 | 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.31607#H0JC |
| Finite-sample Frobenius ordering | 3NFB7F5BFC | 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.16680#7K0B |
| Finite-sample guarantees for threshold optimization | 1J66K30808 | 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.17579#39T2 |
| Finite-sample Hellinger-modulus upper bound | REQRR4XQYP | 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.21363#MP4W |
| Finite-sample local posterior-overlap bound | 3548WZH5J0 | 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.00117#J9LN |
| Finite-sample PCT factorization for projector states | 8FE4A6WGY1 | 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.35986#CHE8 |
| Finite-Sample Pilot Efficiency, informal | 78605W13MA | 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.33695#WE4B |
| Finite-sample recovery | S744M46EGJ | 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.05867#BOWY |
| Finite-sample relative-entropy risk | M65JZ4YEK0 | 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.00117#TF9I |
| Finite-sample stability of SOE thresholding | HB7S79KYAV | 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.31470#TGMZ |
| Finite-sample stability of SOE thresholding | R564BS6Y5Q | 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.31470#6AJD |
| Finite-sample strict improvement | R9SQ45HF0X | 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#THCP |
| Finite-sample width guarantee for \titleShorts | 4T65VT2XRA | 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#5XQY |
| Finite-scale, smooth witnesses | GJ2QF7A91E | 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.14201#QJY3 |
| Finite-section PBFs, global obstruction, and norm approximation | 5D9FVJ4ARW | 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.08568#YFP6 |
| Finite-shape allocation | 4X000SW8SE | 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.11143#PSAS |
| Finite-size comparison | XVF4CXTSVE | 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.32710#GAUU |
| Finite-star family is a pyramid | DV1Q17ETFN | 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.27752#Y3CL |
| Finite-state continuity of normalized laws | A21G9FZ4TZ | 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.12456#238B |
| Finite-sum local constants | C2CXPWRRD5 | 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.30301#ATZC |
| Finite-support prefix characterization | HECXANH3VM | 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#XQXV |
| Finite-support theorem | X5GH1H1XGV | 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.10557#CQNK |
| Finite-time a priori estimate | 3SJ19P4PMC | 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.13248#YX8E |
| Finite-time bound for $\Omega$-regularized synchronous $Q$-learning | MA9RKXFF0J | 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#EY5I |
| Finite-time bound for epoch planning | P430DSMG6H | 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#YQ25 |
| Finite-time continuation bound | 9K3NFT5S6S | 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.04894#ND58 |
| Finite-time continuity up to the interface | MB89D35BBB | 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.21328#NZ9G |
| Finite-time convergence to the local box solution | DMACSVXJCZ | 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.29524#WJWU |
| Finite-time growth bound | PVQ4F6G1HW | 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.29524#NM3S |
| Finite-time perturbation | F1TF8FNXWX | 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.24568#NO5O |
| Finite-time propagation of density derivatives | Z6N8QNMZGV | 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.04894#30VC |
| Finite-time SDE Lyapunov envelope | 7AVSDVT0BR | 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.18739#6HBA |
| Finite-time stationarity | 914KAN6H28 | 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.05428#LK29 |
| Finite-time stationarity | E7N8NRYPR3 | 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.05428#DTUR |
| Finite-time training guarantee | VAKYNVZTRA | 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.03306#52BK |
| Finite-time ultra log-concavity | J3YNTP7YWP | 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.25037#KQZQ |
| Finite-to-infinite lifting of critical-mode stabilization | F1MBJP9ADW | 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.34938#IT0V |
| Finite-translation product estimate | CSZ4E3DB8R | 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.16294#CDSM |
| Finite-tree $k$-profile | SZZMYZQ1EK | 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.21454#01KQ |
| Finite-tree fixed-point formula | 4F7E317P9G | 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.21454#LAIH |
| Finite-type invariance | A2R1P1X9H3 | 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.04027#NSW3 |
| Finite-type operational bracket | K9GXPQR398 | 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.09472#8792 |
| Finite-versus-infinite parameter sets | 7DDA9ZKN1J | 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#ADEL |
| Finite-width GD for fixed linear observations | WCZ3PSJF0Z | 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.04357#1BZY |
| Finite-width positive definiteness at initialization | 3Q6PEQ6SFB | 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.04357#R8YH |
| Finite-witness lower bound for the smallest eigenvalue | 1CXCR3W0Y1 | 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.04357#5D3F |
| finite-zero face | CJF41AB363 | 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#1VMO |
| Finitely atomic measures | C4X5MK7D29 | 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.21391#7DUB |
| finitely generated algebra | 4DWQHTRHT7 | unknown | open | Wikidata Q2835968, nLab finitely generated algebra |
| Finitely generated algebra | P1FJB5NP14 | 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.10930#JZMI |
| finitely generated extension | TR94KEYAQJ | definition | open | Wikidata Q4230785, ProofWiki Definition:Finitely_Generated_Field_Extension |
| finitely generated group | X45XA5XYK1 | unknown | node (a node has the same name as the row) | Wikidata Q21083858, MathWorld FinitelyGenerated |
| finitely generated ideal | XJJT2BF1BG | concept | open | lebl_scv index/D/finitely-generated-ideal |
| finitely generated module | W1HTVQSQ49 | unknown | node (a node has the same name as the row) | Wikidata Q1340572, nLab finitely generated module |
| finitely generated object | C03W0DAHFP | unknown | open | Wikidata Q5450412, nLab finitely generated object |
| Finitely many characteristic polynomials on a coset | K0T33ZXGN6 | 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.27204#8QMY |
| Finitely many wavenumbers | 650JV15982 | 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.07341#JVIP |
| finitely supported function | 67VSNNRVEN | unknown | open | mathlib_overview Data structures > Maps > finitely supported function, Mathlib Finsupp |
| Finiteness | QZEK5MDRBX | 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.26318#11QE |
| Finiteness and mutual non-domination of the three moments | FHJH2WCW23 | 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.00501#PK7R |
| Finiteness and order of $J^{(i)}(X)$ | ZSMEQ0QKX5 | 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.33027#W3K0 |
| Finiteness and primal attainment | R8KKVKJEBT | 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.14562#SPNO |
| Finiteness at every fixed parameter | DS9R1937AQ | 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.38650#NCEV |
| Finiteness in the subunit regime | H9KH3SVAZX | 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.18698#JVF3 |
| Finiteness of $\rho(F_n)$ does not imply finiteness of $T_\lambda(\Gamma)$ | ARZ099YKJ5 | example | 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#PQCL |
| Finiteness of class group | 6HS7PQZ39H | statement | open | napkin tex/alg-NT/classgrp.tex#corollary-1 |