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 3901–4000 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Frozen-tilt upper bound | DTSBEY7HHJ | statement | record (an 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#4ZZT |
| Frozen-tilt upper bound, informal | E135F5NGC2 | statement | record (an 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#JXT1 |
| FRPB7WTCK0 | FRPB7WTCK0 | 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 2306.08237#NSPX |
| FRPDVNS66Z | FRPDVNS66Z | statement | record (an 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.26769#3C2Z |
| FRQ2SZ9A43 | FRQ2SZ9A43 | statement | record (an 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.18084#7JJC |
| FRQWFN1Z7X | FRQWFN1Z7X | statement | record (an 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.00134#602I |
| FRR893487Y | FRR893487Y | 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.35307#JKTQ |
| FRSF1A24DT | FRSF1A24DT | statement | record (an 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.14099#0DR7 |
| FRSGVWKJ3N | FRSGVWKJ3N | definition | open | hott_book categories.tex#ct:isomorphism |
| FRT05ZRH7W | FRT05ZRH7W | statement | record (an 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.21622#W9TB |
| FRT3AK7WX6 | FRT3AK7WX6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.02432#3066 |
| FRT3XKPJQP | FRT3XKPJQP | 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.25168#I7SI |
| FRT6NK16NY | FRT6NK16NY | statement | record (an 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.03661#IS9E |
| FRTDEBNCPX | FRTDEBNCPX | proof | open | open_logic content/incompleteness/representability-in-q/c-representable.tex#proof-2 |
| FRTFE5KH9V | FRTFE5KH9V | proof | open | napkin tex/topology/top-more.tex#proof-1 |
| FRTMR4PCZM | FRTMR4PCZM | statement | open | napkin tex/alg-geom/localization.tex#prop:prime_quotient |
| FRTZNY88XT | FRTZNY88XT | statement | record (an 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.02489#0TVU |
| Frucht graph | AEQER21E4P | unknown | open | Wikidata Q2061755, House of Graphs 1090, MathWorld FruchtGraph |
| Frucht's theorem | NC53Z4JNMP | statement | open | mathlib_1000 Q1424481, Wikidata Q1424481, thousand_plus Q1424481, Wikipedia Frucht's theorem, MathWorld FruchtsTheorem |
| frugal number | QG1GH0JTQY | object | open | Wikidata Q1655342, OEIS A046759 |
| Frullani integral | JAAWVA1VH0 | concept | open | Wikidata Q1470953, MathWorld FrullanisIntegral, ProofWiki Frullani's_Integral |
| frustum | EW1TW3T958 | unknown | open | Wikidata Q846235, MathWorld Frustum |
| FRV1P04HTQ | FRV1P04HTQ | statement | record (an 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.11481#7UN4 |
| FRVKHM4BB0 | FRVKHM4BB0 | statement | record (an 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.08424#VAHT |
| FRVSX4GHSP | FRVSX4GHSP | statement | open | lebl_ra ch-real-nums.tex#prop:supinfalg |
| FRW16TEHT8 | FRW16TEHT8 | statement | record (an 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.40138#M4J0 |
| FRW45CPF2Q | FRW45CPF2Q | statement | record (an 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.26058#S1JB |
| FRW4YHEWPT | FRW4YHEWPT | statement | record (an 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.22180#YEOQ |
| FRW9HX6T4T | FRW9HX6T4T | 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.18242#Q492 |
| FRWFVN3YTX | FRWFVN3YTX | statement | record (an 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.19451#CJ65 |
| FRXEF59ZQY | FRXEF59ZQY | 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 2609.30519#9LGL |
| FRXY5PA8MC | FRXY5PA8MC | statement | record (an 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.05953#RTUU |
| FRY3C0T5FT | FRY3C0T5FT | 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.08480#F1S7 |
| FRY5PSXF0R | FRY5PSXF0R | statement | record (an 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.21461#BS45 |
| FRY60GF0A5 | FRY60GF0A5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.23846#1OF6 |
| FRYGV2NKRN | FRYGV2NKRN | statement | record (an 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.34876#9W1B |
| FRYMW24H6S | FRYMW24H6S | statement | record (an 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.08151#YFK8 |
| FRZ2C167D3 | FRZ2C167D3 | statement | record (an 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.14837#DLCK |
| FRZB2EER0T | FRZB2EER0T | statement | record (an 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.22268#31FB |
| FRZH2QY2D6 | FRZH2QY2D6 | statement | record (an 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.06300#1OJQ |
| Fréchet algebra | 12DF1RSEA4 | concept | open | Wikidata Q5506659, EoM Fréchet_algebra |
| Fréchet derivative | HJFMD7QKFR | unknown | node (a node has the same name as the row) | Wikidata Q1305350, MathWorld FrechetDerivative, nLab Fréchet derivative |
| Fréchet differentiability in the strong-to-weak sense | V3CA03GFP4 | 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.27484#6M4S |
| Fréchet filter | FZZT2KT60R | concept | open | Wikidata Q1471386, MathWorld CofiniteFilter |
| Fréchet manifold | C1ANAXBA61 | concept | open | Wikidata Q3554820, nLab Fréchet manifold |
| Fréchet space | C2H4M7H6TH | concept | open | Wikidata Q1471397, EoM Fréchet_space, MathWorld FrechetSpace, nLab Fréchet space |
| Frédéric Hélein | QD4CX2FC9Q | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1111811, nLab Frédéric Hélein |
| Frölicher space | ZC0W7DM9XH | unknown | open | Wikidata Q5506747, nLab Frölicher space |
| Frölicher spectral sequence | JX5NCD002P | unknown | open | Wikidata Q5506748, nLab Frölicher spectral sequence |
| FS00PYY9R7 | FS00PYY9R7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2405.01860#6UZG |
| FS1SER2VFX | FS1SER2VFX | 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.31289#Z8VN |
| FS2668T72B | FS2668T72B | statement | record (an 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.07114#JU5M |
| FS2EJ1CW4N | FS2EJ1CW4N | 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.21005#CBJK |
| FS2TTPQDH1 | FS2TTPQDH1 | statement | record (an 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.27301#VLTR |
| FS2YM9MKW0 | FS2YM9MKW0 | unknown | open | arXiv 2610.10452#FYUF |
| FS3DKRXDAV | FS3DKRXDAV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.00562#C0AL |
| FS47P53NTR | FS47P53NTR | example | open | open_logic content/sets-functions-relations/relations/graphs.tex#ex-1 |
| FS4AZJCACC | FS4AZJCACC | 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.31910#9VVJ |
| FS4HX6GFGY | FS4HX6GFGY | statement | record (an 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.26127#WDSS |
| FS4Y06YBMC | FS4Y06YBMC | 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.27518#1P4C |
| FS59ZMX5QM | FS59ZMX5QM | statement | record (an 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.06338#JO3L |
| FS5G8K712S | FS5G8K712S | exercise | open | lebl_scv scv.tex#exercise-232 |
| FS5JECHXAH | FS5JECHXAH | statement | record (an 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.21868#ZPN0 |
| FS6GR4Z5CW | FS6GR4Z5CW | statement | record (an 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.20783#ELI9 |
| FS6Q2SN6HN | FS6Q2SN6HN | 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.30086#MNGG |
| FS71417R51 | FS71417R51 | 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 2210.16706#MP2G |
| FS75D9N47P | FS75D9N47P | statement | record (an 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.29824#E6PU |
| FS7KC7AGF7 | FS7KC7AGF7 | statement | record (an 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.15723#W4RL |
| FS7KHNNNN5 | FS7KHNNNN5 | statement | record (an 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#0WYK |
| FS7XKQS79M | FS7XKQS79M | statement | record (an 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.39293#8VYZ |
| FS80TVQ2R7 | FS80TVQ2R7 | 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.40207#12PO |
| FS9NT5HM0H | FS9NT5HM0H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.05529#BVKU |
| FS9W9E4J2X | FS9W9E4J2X | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#KWLY |
| FSA75D5M6D | FSA75D5M6D | 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.22317#IDN2 |
| FSANVZ726E | FSANVZ726E | 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.26269#3H7E |
| FSAQPPBB2P | FSAQPPBB2P | statement | record (an 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.39104#IOWC |
| FSAVRCG3KJ | FSAVRCG3KJ | statement | record (an 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.00512#6231 |
| FSBSMCAAYA | FSBSMCAAYA | statement | record (an 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.34295#7NXB |
| FSBYJK4BJ5 | FSBYJK4BJ5 | statement | record (an 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.18620#7OLS |
| FSC4D6FF1Y | FSC4D6FF1Y | unknown | open | arXiv 2609.28893#H8QD |
| FSCNFZGG62 | FSCNFZGG62 | statement | record (an 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.07240#3VWZ |
| FSCR215N3F | FSCR215N3F | statement | record (an 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.24542#3I52 |
| FSDHPHXQ2A | FSDHPHXQ2A | statement | record (an 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.11097#KFD8 |
| FSE02498DH | FSE02498DH | exercise | open | lebl_scv scv.tex#exercise-234 |
| FSE56VP50F | FSE56VP50F | conjecture | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.05451#4SDM |
| FSE8SQA6BB | FSE8SQA6BB | statement | record (an 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.05506#E2DH |
| FSEP6QWHAP | FSEP6QWHAP | statement | record (an 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.13260#R6Y9 |
| FSEWVJM3NH | FSEWVJM3NH | statement | record (an 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.35543#T8PL |
| FSEY076ERX | FSEY076ERX | exercise | open | napkin tex/alg-geom/localization.tex#ques-1 |
| FSFDR96JRN | FSFDR96JRN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1606.05058#AS1F |
| FSFEA6265F | FSFEA6265F | definition | open | open_logic content/proof-theory/natural-deduction/grafting.tex#defn-1 |
| FSFKHZFP8J | FSFKHZFP8J | statement | record (an 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.20273#4FCZ |
| FSFZ2N7GGM | FSFZ2N7GGM | statement | record (an 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.16875#TLCR |
| FSH3FV93S2 | FSH3FV93S2 | statement | record (an 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.36334#HS6J |
| FSHB4TZSPM | FSHB4TZSPM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2412.12141#1AXD |
| FSHXRK9FF6 | FSHXRK9FF6 | 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 1009.2043#EETY |
| FSJX4N6GK7 | FSJX4N6GK7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.08413#B95N |
| FSKEK923KP | FSKEK923KP | 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.35678#AGVH |
| FSKJVDTYHP | FSKJVDTYHP | statement | record (an 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#LAAO |
| FSKZDFWFYN | FSKZDFWFYN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.11470#NQDA |