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 1001–1100 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Factorization of the design matrix | BH1BR3ZH8R | statement | record (an 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.14695#2CBL |
| Factorization of the lifted fidelity | KDE2FDDMXT | statement | record (an 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#5W0J |
| Factorization on the defect subspace | 1EGANQE99C | statement | record (an 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#WM7S |
| factorization system | WJ7RMAW54P | unknown | open | Wikidata Q5428747, nLab factorization system |
| Factorization theorem for higher Pontryagin magnetic symmetries | 39YRCZZEEW | statement | record (an 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.03865#FPOM |
| factorization, stability under pullback | RQF41Q4WKJ | concept | open | hott_book index/6.6/factorization-stability-under-pullback |
| Factorized resolvents on uniformly local data | VH4MX528Q1 | statement | record (an 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#5DK7 |
| Factorized Target under Additive Loss | M6H83EDYA6 | statement | record (an 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.03769#AUNU |
| Factorwise tightness | 6GK9DPXQ2E | statement | record (an 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.05558#N15K |
| FACWVEB05Z | FACWVEB05Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.05398#WS0I |
| FACX57PAB5 | FACX57PAB5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.01567#1JKA |
| FACZJ539FA | FACZJ539FA | statement | record (an 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.01946#OEUK |
| Faddeev--Jackiw bracket | KJD5WC3J35 | 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.27966#7LQE |
| Faddeev–Popov ghost | Y25YYB2HYZ | unknown | open | Wikidata Q1391812, EoM Faddeev-Popov_ghost, nLab ghost field |
| FAEJG87T1Q | FAEJG87T1Q | 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 2502.14306#6YGC |
| FAEM1VZSEQ | FAEM1VZSEQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0909.2893#K9C1 |
| FAF1TKR4GV | FAF1TKR4GV | exercise | open | napkin tex/alg-geom/proj-var.tex#ques-1 |
| FAF2P8F37M | FAF2P8F37M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2504.14383#R979 |
| FAFH8YNF4S | FAFH8YNF4S | statement | record (an 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.35597#9PR0 |
| FAFQY37N2W | FAFQY37N2W | statement | record (an 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.17482#V8CR |
| FAFTFKQ9ZR | FAFTFKQ9ZR | statement | record (an 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.13100#3AHA |
| FAG5964BMY | FAG5964BMY | exercise | open | napkin tex/linalg/transpose.tex#exercise-2 |
| FAGFEMF3S4 | FAGFEMF3S4 | statement | open | ernst_ibl MAAPressVersion/Sets.tex#theorem-3 |
| Fagnano's problem | FDRPSEEEX8 | problem | open | Wikidata Q918258, EoM Fagnano_problem, MathWorld FagnanosProblem |
| FAGPR093QC | FAGPR093QC | statement | record (an 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.04323#M1LZ |
| FAH34BJTBA | FAH34BJTBA | statement | record (an 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.11336#UT4Q |
| FAH96N5SNX | FAH96N5SNX | exercise | open | hott_book basics.tex#ex:strong-from-weak-funext |
| FAHE999M30 | FAHE999M30 | statement | open | open_logic content/set-theory/card-arithmetic/fix.tex#alephfixed |
| Fahrenheit scale | FRZDXE43VK | definition | open | Wikidata Q105525247, ProofWiki Definition:Fahrenheit |
| Failure inside the first characteristic block | D7FPBNBHXY | statement | record (an 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#0BQP |
| Failure of $(\star)$ in every order | KV6F8SY2RA | 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.00099#6I6O |
| Failure of \algname{PolyakSEG} without interpolation | J7BAFWX9CY | statement | record (an 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.26581#ZBC7 |
| Failure of a uniform annular slope law | 43E4BHYK2T | statement | record (an 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#XUGO |
| Failure of blow-up invariance | CBMQ061X6C | 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.19669#5DY9 |
| Failure of both semicontinuity directions | Z7Y8YMD307 | statement | record (an 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#4PSE |
| Failure of comparator-only curvature transfer | WQDRW4RHTA | statement | record (an 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.15202#YTKT |
| Failure of diagonalizability | DFYF9MNZD1 | 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.08091#3TPE |
| Failure of Greedy Splits | B7N3H3HZP0 | statement | record (an 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.38194#DLHN |
| Failure of Liv\v{s}ic regularity on $X_\alpha$ | BK755QXDGT | statement | record (an 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.03619#MWEY |
| Failure of local exactness on the equatorial $S^5$ | A0D69NK2FY | 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.00078#IYJW |
| Failure of multiplicity $1$ | XZMCXG9TS7 | 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.07445#DPST |
| Failure of natural-order nesting | 8NEFXER3N8 | statement | record (an 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.09602#MTN7 |
| Failure of normalized non-collapse | DYWZ4709A4 | statement | record (an 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.28014#5V4J |
| Failure of pointwise convergence | 1WWHWSD903 | statement | record (an 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.29047#R4UP |
| Failure of quasi-homogeneity | 14703ET35P | statement | record (an 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.21093#15Q8 |
| Failure of slope stability | CNS1AQ90D8 | statement | record (an 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#ZVAH |
| Failure of stable algorithms | 8HZ6Z3ND4R | statement | record (an 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.40345#FBPA |
| Failure of the \(\mathbb Q\)-Gorenstein condition | A8YDW3EDKE | statement | record (an 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.21093#MKKC |
| Failure under mere positivity and adaptedness | 6HC21W1X44 | statement | record (an 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.09570#N4SR |
| fair cake-cutting problem | 78A8W7930S | unknown | open | Wikidata Q18206991, MathWorld CakeCutting |
| Fair Games Theorem | H953ZPMM85 | statement | open | mathlib_100 62, Mathlib MeasureTheory.submartingale_iff_expected_stoppedValue_mono, mathlib_1000 Q2027347, Wikidata Q2027347, mathlib_overview Probability Theory > Stochastic Processes > optional stopping theorem, thousand_plus Q2027347, Wikipedia Optional stopping theorem |
| Fair PSD partition input | 7178B65P0Z | statement | record (an 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#KTD2 |
| fairy chess | 10XHWVBZJ4 | unknown | open | Wikidata Q3243852, MathWorld FairyChess |
| Faithful | AP7JPA3J7S | 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 2602.19452#PEEH |
| faithful $S_5$-curves | GR7GTEYJ95 | statement | record (an 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.07508#L61X |
| faithful functor | 1G71PT6ENK | definition | open | Wikidata Q12175350, nLab faithful functor, ProofWiki Definition:Faithful_Functor |
| faithful functor | 2KBD4NMSG6 | concept | open | hott_book index/2.4/faithful-functor |
| faithful group action | 6RSVFPZ31P | definition | open | Wikidata Q121074575, MathWorld FaithfulGroupAction, ProofWiki Definition:Faithful_Group_Action |
| Faithful matching | 45CV01RXFK | 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.14217#TWVH |
| faithful representation | DZHK3M9EQ8 | unknown | open | Wikidata Q5431294, EoM Faithful_representation, LMFDB knowl group.representation.faithful, MathWorld FaithfulRepresentation, nLab faithful representation |
| Faithful representation dimension | PSR1HBJN1Y | statement | record (an 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#UKF2 |
| Faithful, full and fully faithful functors | G4TK1134Z7 | 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#XOKO |
| FAJBBJ8YEP | FAJBBJ8YEP | 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.22074#JEN6 |
| FAJK1FC8RY | FAJK1FC8RY | statement | record (an 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.32387#P50X |
| FAJMRD4Y7D | FAJMRD4Y7D | statement | record (an 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.03422#RO9O |
| FAJTJGKJ7X | FAJTJGKJ7X | statement | record (an 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.24623#NM8U |
| FAJVPKDAJF | FAJVPKDAJF | 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 2311.16252#M5CJ |
| FAJYQZMYY3 | FAJYQZMYY3 | statement | record (an 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.32977#0G1W |
| FAKKV2JBP8 | FAKKV2JBP8 | 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.14458#I28T |
| Falk Hassler | S1C0MRCJBK | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q64038679, nLab Falk Hassler |
| falling factorial | YQXBZCQ804 | unknown | node (a node has the same name as the row) | Wikidata Q109514579, MathWorld FallingFactorial, nLab falling factorial |
| false | JQA9J4E2F2 | unknown | open | Wikidata Q5432619, MathWorld False |
| false | RVM6MFJ2Z7 | concept | open | hott_book index/A.11/false |
| False inclusion | BN7TFKJKJZ | statement | record (an 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.11007#JE20 |
| False negatives for planted targets | NWSASPRGDR | statement | record (an 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.37483#SAW9 |
| false position method | B5VHNKEX4Y | unknown | open | Wikidata Q1476057, MathWorld MethodofFalsePosition |
| False positives for uniform targets | D0QNDVMFQ6 | statement | record (an 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.37483#I793 |
| False proof | M4VWWRWPRF | unknown | open | arXiv 1804.06366#Q019 |
| false vacuum | MDHKRB6JZV | unknown | open | Wikidata Q2538708, nLab false vacuum |
| False-negative bound | P8ZRRVAGAG | statement | record (an 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.08766#NLXS |
| Faltings' theorem | S7Q18XVP9A | statement | open | mathlib_1000 Q240950, Wikidata Q240950, thousand_plus Q240950, Wikipedia Faltings's theorem, MathWorld MordellConjecture |
| Faltings, Hriljac | 1A8TNXKEN2 | statement | record (an 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.39505#A18B |
| Family bound | N5E285TVDK | statement | record (an 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.02219#JO2U |
| Family of approximate solutions $G_t$. | 8ENE96ZPA8 | 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.18270#25IN |
| family of curves | 9G0DJV29AG | unknown | open | Wikidata Q1518913, MathWorld FamilyofCurves |
| Family of KAHM Soft Abstractions | GR8CCJ5PE5 | 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.32652#5B6J |
| family of sets | BYR967D0KY | definition | node (a node has the same name as the row) | Wikidata Q739925, nLab family of sets, ProofWiki Definition:Set_of_Sets |
| Family version of Gelfand-Kazhdan | 8YH8151RKZ | statement | record (an 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.15432#4GD3 |
| Family-conditioned stream bound | 8FBXRT5W8D | statement | record (an 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.38668#GD1Q |
| FAMK05S2MS | FAMK05S2MS | statement | record (an 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#1XKX |
| FAMKNKF8T3 | FAMKNKF8T3 | 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 2210.02997#KOJZ |
| FAMTDFF1WM | FAMTDFF1WM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2207.12181#W1CQ |
| FAMVCP3PK3 | FAMVCP3PK3 | 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.21475#AMOL |
| Fan Chung | 3RFQTQKEFE | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q450226, ProofWiki Mathematician:Fan_Chung_Graham |
| Fan geometry | ZG5QESTCR9 | statement | record (an 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#T51Q |
| fan graph | B6D7EPKFA7 | unknown | open | Wikidata Q128818074, MathWorld FanGraph |
| Fan Lemma, Dirac 1960 | WZ76TDE1CX | statement | record (an 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.28597#F8UK |
| Fan tongues | YS9YDJG58R | statement | record (an 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#9JOE |
| Fan's inequality | JHNRXFC1TF | statement | record (an 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.27766#15U7 |
| Fan-lag certificates | G6SQHXX8EG | statement | record (an 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#EAF0 |