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 2201–2300 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Finite Stein exponent | 9SNAG8DC2D | 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.03629#V6O1 |
| Finite Stone--von Neumann theorem | BYBK51YN4Y | 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.06699#4QMX |
| finite strain theory | Y00MTYT3SH | topic | open | Wikidata Q15300737 |
| finite subgroup of SU(2) | KR4BDRQ8J0 | unknown | open | Wikidata Q123399538, nLab finite rotation group |
| Finite support and inactive tails | 165BRGHT8N | 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.09912#SDVF |
| Finite support at the optimal factor | BKMAZTM19F | 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#KLZE |
| Finite support kernel | 4Z4R9EH2VX | 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.32078#7CQE |
| Finite system | KWFJKDKWP9 | 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.13347#GEST |
| Finite telescoping | 9AYGV7Z2EW | 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.04189#VSRH |
| Finite termination at the global optimum | 3Q21HHST1V | 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.14656#KFVX |
| Finite termination of exact MPA | F694QEG06W | 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.31363#3NKU |
| Finite termination of the accuracy loop | DC5KVCF9TY | 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.33206#Y00A |
| Finite time blow-up | X10BS1GG1J | 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.30821#KT02 |
| Finite tomography | VVDQZ08442 | 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.13951#ODT9 |
| Finite top Ricci mass | 9Y7G2921PK | 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#X2XP |
| Finite torus families | JDKK8Y8JMV | 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.14065#Z83C |
| Finite traces | H0X9YJE78Q | 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.12014#WNPH |
| Finite tracial approximations of the lamp channel | KQG6NPDA5C | 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.04271#U5R5 |
| Finite trajectory diagnostics | 8RES8ND61W | 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.20020#G25V |
| finite type invariant | TC8V96F94D | unknown | open | Wikidata Q1443624, MathWorld VassilievInvariant |
| Finite Union and Intersection Laws | KTSMSY0MGJ | 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.18016#V3P4 |
| Finite unique-horn bounds | SMVV42BR63 | 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#SODT |
| Finite verification | BFFXBQESHV | 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.31336#MBOY |
| Finite verification for a fixed residue class | XYSP3FGDNG | 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.27153#M7QF |
| Finite verification of the window bounds | X5XENA8V87 | 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.31336#AHEB |
| Finite volume | GBMQV7TDKD | 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.37479#G8LW |
| Finite width preserves the population rate | QS7GSN6WVK | 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.09356#3O9M |
| Finite witnesses for variety membership | HYGJJ3VE6K | 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.39700#EZ9W |
| finite, -dimensional vector space | E9CAV5N5J8 | concept | open | hott_book index/2.7/finite-dimensional-vector-space |
| finite, lists, type of | 8RRVM8R7QM | concept | open | hott_book index/5.11/finite-lists-type-of |
| finite, sets, family of | CHSWR08WTP | concept | open | hott_book index/A.12.3/finite-sets-family-of |
| finite, sets, family of | DXFMF2B3Y1 | concept | open | hott_book index/A.3/finite-sets-family-of |
| finite, sets, family of | RZR9X6MS0K | concept | open | hott_book index/A.4/finite-sets-family-of |
| Finite-$N$ PCA subspace | TN6BGA1SKJ | 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.10745#T5NP |
| Finite-activity coupling and observation mixing | X3E4J3NH0Y | 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.19421#YIE5 |
| Finite-alphabet utility loss | EEVHJ7WXDJ | 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#705Y |
| Finite-angle positivity, $m=2$ swap | R1YG2FW1ZN | 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#WEQO |
| Finite-angle positivity, $m=3$ triangle swap | G2VH4QNYBQ | 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#ABBX |
| Finite-angle positivity, $m=6$ hexagon swap | A0EAR4NVXG | 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#JH95 |
| Finite-ball Ramsey approximation | BVDBZDW1F6 | 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.27181#JY0I |
| Finite-basis transfer | FX4AR8DGDP | 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.39700#0CIR |
| Finite-block conditional guessing bounds | KG64DY80ZJ | 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.29688#QUQ8 |
| Finite-block criterion for slope stability | WP3E338S7X | 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.05652#LNVB |
| Finite-block fractional contraction | Z0MPHDTA3D | 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.21268#ETDR |
| Finite-block Gram sufficiency | CKH8NCV8YQ | 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.36143#VEIA |
| Finite-block lemma | WGQ2RA4CNC | 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.18512#ELXI |
| Finite-Budget Recoverability | J23X1SQHC3 | 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.05504#XWTR |
| Finite-burst semigroup and generator | GE3B9CK0GT | 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.20302#HLEE |
| Finite-calibration comparison | 6P864FJJJN | 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.33866#7H6N |
| Finite-candidate certification | MWPYW2AVSK | 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.33499#TRIY |
| Finite-cap strict physical gap | C6DBN174GY | 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.00291#X4ND |
| Finite-channel random rotation | Y43RTPKW0K | 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.01843#UAL9 |
| Finite-cost detectability | DAKPTYFYHD | 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.03242#M626 |
| Finite-data criterion and extremal convergence | ZCM8JWZ1KW | 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.37704#YSFZ |
| Finite-data stability for the potential | KATYCWKJHC | 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.14323#LOEN |
| Finite-deck spectrum | 5CXMQFKJCC | 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.00137#9NRQ |
| Finite-defect structure | S2R50ZWJEF | 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.31689#NIDL |
| Finite-density decomposition | QHA94FWC5X | 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.22305#RKU3 |
| Finite-depth convergence from conserved layer margins | ER049YFVNM | 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.09356#06MA |
| finite-dimensional | T3BZXDDW1K | 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.03384#BS6L |
| Finite-dimensional amplitude--phase equidistribution | 5KKX5QSVJB | 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.27962#6K2Y |
| Finite-dimensional analytic energy estimate | J291C5Y606 | 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#UBEH |
| Finite-dimensional characterization | 5KJYDG94KS | 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 2510.05499#LH1C |
| Finite-dimensional Davies comparison | SJKBYET3G5 | 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.06764#46FY |
| Finite-dimensional Gaussian approximation | ZES5J12E9H | 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#9PDH |
| Finite-dimensional geometry-to-error transfer | A84AVPMQ05 | 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#JZ3U |
| Finite-dimensional Hilbert subspaces of $\Spc S'$ | NQS6ATXKBK | 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.14920#W0NY |
| Finite-dimensional interpolation by a deterministic map | QR3SM7AYGQ | 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#EDKP |
| Finite-dimensional LAN and target-sample scaling | TMMQ88RYXN | 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#R5A1 |
| Finite-dimensional level-set local time | YY6WXKX0N9 | 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.27962#OJC5 |
| finite-dimensional normed spaces over complete normed fields are complete | 17MWMWRA1G | unknown | open | mathlib_overview Analysis > Normed vector spaces/Banach spaces > finite-dimensional normed spaces over complete normed fields are complete, Mathlib Submodule.complete_of_finiteDimensional |
| Finite-dimensional obstruction | RXTVG60ZFY | 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#RE9U |
| Finite-dimensional overlap MGF and moments | R0VZVBDYMP | 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.09882#U0NG |
| Finite-dimensional power witness | C8393D3N4V | 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.31557#HG7V |
| Finite-dimensional reduction | BECJ5JET5P | 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.25915#FU2X |
| Finite-dimensional reduction | SSZBAZTQH8 | 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.25915#Q7XA |
| Finite-dimensional simple limits | FYG10356DN | 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#0CZI |
| Finite-dimensional supergradient representation | HXQBQBYXN7 | 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.05313#L9N2 |
| Finite-dimensional transport cancellation | S5AD4SH4Y2 | 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#I9VA |
| Finite-dimensional variational Galerkin theorem | MC3SEP42P3 | 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#YBNX |
| finite-dimensionality | VVS7GB44B6 | unknown | open | mathlib_overview Linear algebra > Finite-dimensional vector spaces > finite-dimensionality, Mathlib FiniteDimensional, mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > finite-dimensionality |
| Finite-energy KL bound for diffusions with matched noise | RP8R4ZTWZT | 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.05333#JJD9 |
| Finite-energy renormalized weak solution | M8H95XSRVT | 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.12387#1F5Z |
| Finite-energy selection | DXN2H05KYZ | 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.13613#M1VJ |
| Finite-energy weak solution | 3N2QNQWPFV | 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.24960#2WXN |
| Finite-episode score learning with variance-balanced DSM | 4E4SVQH8VS | 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.05333#TZ9J |
| Finite-family relative ping-pong | AT81TZ5G75 | 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.36098#9XSN |
| Finite-feature layer | 5WXKB7C5GH | 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#LJNB |
| Finite-field Gauss-sum magnitude | 1HPFJYDR6G | 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.10583#BNBQ |
| Finite-flat Segre comparison | CV1GFQ6B8Z | 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.07528#8T1J |
| Finite-frequency approximation | PXYPST09VP | 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.29147#J92B |
| Finite-height prefix-sum tail | THDAETQC21 | 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.37164#FNRB |
| Finite-horizon Birkhoff error halving | WRJSXPG00Z | 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.04179#ZF3S |
| Finite-horizon boundedness of the generated trajectory | AHDTFREE7S | 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.13631#XQAV |
| Finite-horizon convergence for PE guidance | VQF8SCC3DR | 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.38133#7BMA |
| Finite-horizon convergence for SE guidance | QV5G3F4DWS | 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.38133#ZHZ1 |
| Finite-horizon shadowing | E1CGHZHPY3 | 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.12434#DTNE |
| Finite-index bounds and duality | NE62KFDKR5 | 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#O7J9 |
| Finite-interval completeness | 5NW1EW7C69 | 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.24807#T46A |
| Finite-iteration approximation for the socket ensemble | F4CK65E0XB | 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#M09G |