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 2101–2200 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Finite detector | GS96KSJXWK | statement | record (an 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.20649#Y0AH |
| Finite determinant and finite scalars | 7V2M9PT1AD | statement | record (an 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.04099#UAIR |
| Finite determination | 3B4SCMWFZV | statement | record (an 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.20414#PL5V |
| Finite determination | D4ETABM0E8 | statement | record (an 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#70E9 |
| Finite dicritical set in $\PP^2$ | 14ZCVJZXWH | statement | record (an 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.12497#YJBU |
| finite difference | A2E4WB5GAR | topic | open | Wikidata Q2068418, EoM Finite-difference_calculus, MathWorld FiniteDifference |
| finite differences | 268831FFRS | concept | open | levin_dmoi index/3.3/finite-differences |
| Finite differences of the eigenfunctions | YDDVPD5SMV | statement | record (an 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.13753#7NUJ |
| Finite dilation | FBZAC8JQ1G | statement | record (an 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.02218#4HDT |
| finite dimensional record packing | 4H8RNY0KCB | statement | record (an 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.37375#M2KD |
| Finite Dirichlet mass | QSG75Z10E9 | statement | record (an 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#C695 |
| finite element method | MW6X7YC8VF | unknown | open | Wikidata Q220184, MathWorld FiniteElementMethod |
| Finite energy of the barycenter for quadrature-generated costs | KT9P47WJC5 | statement | record (an 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.01855#70DY |
| Finite etale surjective ordinary branch | WYNHWT0MDC | statement | record (an 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.33808#PVEB |
| Finite exceptional parameters | AGZ3TGYFWG | statement | record (an 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.27970#KHCM |
| finite extension | TVAWEAFPNV | unknown | node (a node has the same name as the row) | Wikidata Q3062526, MathWorld FiniteExtension |
| finite field | EF4R1EEHA4 | topic | node (a node has the same Wikidata item as the row) | Wikidata Q603880, EoM Galois_field, MathWorld FiniteField, nLab finite field |
| finite fields | RVMF0HJZRP | unknown | open | mathlib_undergrad Ring Theory > Field Theory > finite fields |
| Finite fields | ZYHQ1VTMBD | 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.18154#AB3I |
| Finite fields are field extensions of $\FF_p$ | E42DAY2FVK | statement | open | napkin tex/alg-NT/finite-field.tex#lemma-3 |
| Finite first moment of the integrated estimator | H8CHE8V79R | statement | record (an 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.11760#SE4R |
| Finite flat pieces over the conductor annuli | GYPB4PS7TW | statement | record (an 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#WF83 |
| Finite flat spectral part | G7BB47ZJS4 | 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.05652#7P8U |
| Finite flat spectral pieces | VNSAGNBFPF | statement | record (an 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#EVN1 |
| Finite gap and end-game | AGV4KXRZK6 | statement | record (an 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.03633#XQDS |
| Finite Gaussian geometry | A21P9JX3WQ | statement | record (an 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.32695#EF5M |
| Finite generation implies polynomial growth | 2GHCPRY6T0 | statement | record (an 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#F5UR |
| Finite geometric horn calculus | TF4S4MW3KW | statement | record (an 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#L43K |
| finite geometry | 7NPWV4RXH8 | topic | open | Wikidata Q1077896, MathWorld FiniteGeometry |
| Finite global dimension | FKEWRQSPZ7 | statement | record (an 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#0V5J |
| Finite gluing | 229EEEZRDZ | statement | record (an 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#B1I2 |
| Finite Gram decomposition | F852TK6HQT | statement | record (an 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.08980#8SNY |
| Finite Gram test | 18E8AC1TMD | statement | record (an 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.08980#JHUA |
| finite graph | FVYNNR6F79 | concept | open | Wikidata Q110679812, MathWorld FiniteGraph, nLab finite graph, ProofWiki Definition:Finite_Graph |
| finite graph certificate | P70WDD9RF1 | statement | record (an 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.08190#BA32 |
| finite group | KGB4JEV104 | topic | open | Wikidata Q1057968, EoM Finite_group, MathWorld FiniteGroup, nLab finite group, ProofWiki Definition:Finite_Group |
| Finite groups | 1R42EAB4ZX | 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.21675#0ZA5 |
| Finite heads, including characteristic two | 13WWHSTC7V | statement | record (an 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#NJOL |
| Finite heat spectra realized by a measure-preserving map | RQSYZFCZPN | statement | record (an 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#ZO54 |
| Finite inequalities | PGK7A9VG2D | statement | record (an 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.01071#CG5R |
| Finite initial law and full conditional communication | 35ETDP356R | statement | record (an 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#VC0Y |
| Finite interpolation | A4Y2T6DV4H | statement | record (an 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#16CB |
| finite intersection property | HQC84QWJ4M | unknown | node (a node has the same name as the row) | Wikidata Q2915225, nLab finite intersection property |
| Finite inverse moment map | NYF3EX9XAT | statement | record (an 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.07721#4WLJ |
| Finite iterates over stably compact carriers | JV6Y7HZ3XT | statement | record (an 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.14446#NDZM |
| Finite KL-constrained query improvement | 5DK0EPS5MF | statement | record (an 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#9HSJ |
| Finite lifting from \(S\ | JWSHNS1BK3 | statement | record (an 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#00AP |
| Finite local exponents | E2PAF9S2ZG | statement | record (an 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#3P91 |
| Finite local likelihood ratio | M9KVEW1PQD | statement | record (an 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.39633#LRJ8 |
| Finite lower envelopes | DA3Z1KE8T9 | statement | record (an 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.10873#JXHV |
| Finite Mach number periodic waves | NEW0R2WA6C | statement | record (an 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.01883#7AH6 |
| finite map | N41DJG1Y37 | unknown | open | mathlib_overview Data structures > Maps > finite map, Mathlib Finmap |
| Finite map--adversary duality | R6HFRYRR1X | statement | record (an 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#RM1A |
| Finite marked fibers | H3Y36M0RPN | statement | record (an 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.06081#JJ1P |
| Finite matching | PDWYWKXFW0 | statement | record (an 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#3KAT |
| Finite matrix groupoids | 9B5VW3CGXZ | 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.00789#I7RM |
| Finite maximal smooth lifespan | X8N43RSTNR | statement | record (an 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.02509#G0XY |
| Finite maximum kernel | QD6F3DJRZT | statement | record (an 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#3YF6 |
| finite measure | ZFWTY6TPAX | definition | open | Wikidata Q3307145, ProofWiki Definition:Finite_Measure |
| Finite metric spaces in the Gromov--Hausdorff space, \mycite{Theorem 2.1}{INT | ZBWT0121V6 | statement | record (an 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.17400#ML5A |
| Finite mixing time for a fixed policy | 4NXZ8K3V05 | statement | record (an 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.04117#1M5H |
| Finite modifications | S3MFK9ER1C | statement | record (an 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#P8K7 |
| Finite modular classification | QDVZERMHX5 | statement | record (an 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.07092#A9EZ |
| finite moment detection | GHSG3AYYPK | statement | record (an 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.26286#ZOLI |
| Finite moment reduction for partial rigid alignment | E6X0KQE9MQ | statement | record (an 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.10408#Q49L |
| Finite natural inverse monoids | SXRS9P05YW | statement | record (an 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#CDZL |
| Finite obstruction bound | 8T9QSBW0FR | statement | record (an 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#OSLH |
| Finite operator algorithm | V20JSY3D81 | 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.10828#87SG |
| Finite order of ramification | 8N2ZSX1BKM | 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.35102#VZLO |
| Finite ordinary Gaussian success bounds | JPEC2ZQ82Z | statement | record (an 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.30808#83E5 |
| Finite outer bounds | HBM04XVT3D | statement | record (an 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#48NP |
| Finite outgoing matrix and determinantal parameters | G0H2C3H4GQ | 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.25925#J0OZ |
| Finite paths remain in one cloud | 9WK0EYZCBG | statement | record (an 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.17400#VHLR |
| Finite penalty stabilization | MKSD9JJEJ8 | statement | record (an 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.39736#PZMV |
| Finite permutations | EEGMVSPPGD | statement | record (an 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#F11B |
| Finite perturbative stability | JTT2CRX07H | statement | record (an 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.14081#BW1H |
| Finite poles along a Cartier divisor | RRTKW98S20 | statement | record (an 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#1EAV |
| Finite polyhedral geometry and Gaussian genericity | YVFNT653J8 | statement | record (an 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.32695#JJRP |
| Finite posterior interfaces | SMS2B30AVA | statement | record (an 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.16248#XMVA |
| Finite presentation | WXEHM80XXM | statement | record (an 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#HEKW |
| Finite primitive spectra with neat generators | EYEYCXKJ9C | statement | record (an 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#LHQW |
| finite product of metric spaces | 6ZRFR28Z2F | unknown | open | mathlib_undergrad Topology > Topology and Metric Spaces > finite product of metric spaces, Mathlib metricSpacePi |
| Finite product--Whitney conifold strictification | CCKFN666KW | statement | record (an 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.27799#4FCO |
| Finite product-square logarithmic contraction | 4C25W8A3PY | statement | record (an 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.27799#JXB5 |
| Finite products with a uniform positive density | M8RX2DJVXN | statement | record (an 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.22107#T2MQ |
| finite progression parameters | YXFRRMH1BH | statement | record (an 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.04000#7FJR |
| Finite projected representation and elicitation | 9PT090YNKR | statement | record (an 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.25026#POSY |
| Finite propagation | VFG23TQDKM | 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.25987#CO9B |
| Finite realization and nonvanishing | 979YA553SY | statement | record (an 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#HE3A |
| Finite represented CFOs | W2PD7YV7F3 | statement | record (an 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#A517 |
| Finite resonance data recalled from previous work | 7M3GNP71V1 | statement | record (an 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#Z7SK |
| Finite root formula for the resolvent | DFYB81D202 | statement | record (an 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#9TRW |
| Finite scalar fluctuation bounds | TRQXYS5QCR | statement | record (an 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#MM4U |
| Finite second moment | 8SX3KRH2BZ | 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.05388#01MR |
| finite set | 36PHYPW1G8 | definition | node (a node has the same Wikidata item as the row) | Wikidata Q272404, MathWorld Finite, MathWorld FiniteSet, nLab finite set, ProofWiki Definition:Finite_Set |
| finite set | BER9NX2V0V | unknown | open | mathlib_overview Data structures > Sets > finite set, Mathlib Finset |
| finite simple group | 3M0JJP9ZRQ | unknown | open | Wikidata Q45033382, EoM Simple_finite_group, LMFDB knowl group.simple |
| Finite singular-factor identity | TT5XV7KDJK | statement | record (an 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#IBWJ |
| Finite stabilization of the penalty parameter | Z8RDE6KRFW | statement | record (an 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.18428#D5VY |
| Finite stationary-phase duality | FHRZZ57G0Z | statement | record (an 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#PGHB |