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 3401–3500 of 9322.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 total order | H5RFRJNCX3 | unknown | open | Wikipedia Total order#S0BO |
| 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 | YC8P5N9JEJ | definition | open | Wikipedia Glossary of commutative algebra#SQNP |
| finite type (locally) | Z26SBP1QT0 | definition | open | Wikipedia Glossary of algebraic geometry#09CB |
| Finite type invariant | 9MBWMYAAX8 | definition | open | Wikipedia List of knot theory topics#8DMQ |
| finite type invariant | TC8V96F94D | definition | open | Wikidata Q1443624, MathWorld VassilievInvariant, Wikipedia Finite type invariant |
| 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 vector space | 9ESMF2AEFS | unknown | open | Wikipedia Examples of vector spaces#QPDB |
| 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 volume method | 6K2FGX8JN3 | definition | open | Wikipedia Finite volume method, Wikidata Q1401936 |
| Finite volume method | Q736KPRPA6 | definition | open | Wikipedia List of partial differential equation topics#PPUZ |
| Finite volume method | QHYCTWE9Y4 | definition | open | Wikipedia List of numerical analysis topics#PHQE |
| Finite volume method | XCMDY6VZ50 | definition | open | Wikipedia List of mathematics-based methods#PRW2 |
| Finite volume method for three-dimensional diffusion problem | VK25C54W1A | problem | open | Wikipedia Finite volume method for three-dimensional diffusion problem, Wikidata Q25303726 |
| Finite von Neumann algebra | 6XJSNMV7W3 | definition | open | Wikipedia Finite von Neumann algebra, Wikidata Q5450391 |
| 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-class offset estimate | EKPVMG9DJC | statement | record (an 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.20687#XIFD |
| Finite-class rate; Hoeffding bound | NKZFAG0GHX | statement | record (an 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.20207#FBRW |
| Finite-complexity dyadic mixed estimate | Q5536ZKPCZ | statement | record (an 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.20531#12Q9 |
| 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-difference monotonicity identities | JYBYTQA0QT | statement | record (an 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.22465#7II1 |
| Finite-difference time-domain method | XJBW9J4KG1 | definition | open | Wikipedia Finite-difference time-domain method, Wikidata Q1417308 |
| 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 distribution | 3DWCJB1WMH | definition | open | Wikipedia Finite-dimensional distribution, Wikidata Q5450380 |
| Finite-dimensional distribution | SMK5V414QX | definition | open | Wikipedia List of stochastic processes topics#GZ10, Wikipedia List of statistics articles#QS5R |
| 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 laws | ZP9FFX815M | statement | open | Wikipedia Brownian tree#X7LO |
| 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-error recovery from behavioral signatures | BMGKH6M3J8 | statement | record (an 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.20207#G1YJ |
| 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-first-moment long-range limit | F8JFTAJYDA | statement | record (an 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.20215#Q3TD |
| 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 |