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 3801–3900 of 4868.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Fresh extensions | XFET32AZ21 | statement | record (an 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.08027#5HZF |
| freshman's dream | CK347K4N9V | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q4120528, nLab freshman's dream |
| Fresnel integral | 56FDR7JVWM | unknown | open | Wikidata Q580253, MathWorld FresnelIntegrals |
| Freudenthal Equivalence | BE4ZGVBSM1 | statement | open | hott_book homotopy.tex#cor:freudenthal-equiv |
| Freudenthal magic square | T89AD0W7QY | concept | open | Wikidata Q5503261, nLab Freudenthal magic square |
| Freudenthal suspension for graphs | 4VMCP0K6SV | statement | record (an 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.03497#IE0Q |
| Freudenthal suspension theorem | C23WDG61J8 | statement | open | mathlib_1000 Q1455794, Wikidata Q1455794, thousand_plus Q1455794, Wikipedia Freudenthal suspension theorem, nLab Freudenthal suspension theorem |
| Freudenthal suspension theorem | J2TE2KB512 | concept | open | hott_book index/7.6/freudenthal-suspension-theorem |
| Frey curve | YSHYHRVZA4 | unknown | open | Wikidata Q5503290, LMFDB knowl ec.q.frey, MathWorld FreyCurve |
| Freyd cover | SZXBBDBYAX | unknown | open | Wikidata Q25202931, nLab Freyd cover |
| FRG4K6E3JM | FRG4K6E3JM | 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.25435#2O4T |
| FRGC8PCYC9 | FRGC8PCYC9 | example | open | lebl_ra ch-metric.tex#example:msC01 |
| FRH3PTRDB9 | FRH3PTRDB9 | statement | record (an 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.12633#G33W |
| FRH9T42RWG | FRH9T42RWG | statement | record (an 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.31276#4BMP |
| FRHKYJ7F6W | FRHKYJ7F6W | statement | record (an 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.38206#OWWL |
| FRHTSBTDJ8 | FRHTSBTDJ8 | 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 2604.10080#KSRV |
| Fricke exclusion | HDVSV9W9Y1 | statement | record (an 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.28509#E3AI |
| Fricke involution | FJ915709D9 | concept | open | Wikidata Q5503396, LMFDB knowl cmf.fricke |
| Fricke symmetry of the dual | EHNVZR1J8J | 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 2609.28509#QT03 |
| Fried, 1985 | VH7HTSEQ96 | statement | record (an 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#MPPD |
| Friedberg–Muchnik theorem | 6M61882M3X | statement | open | mathlib_1000 Q111982312, Wikidata Q111982312, thousand_plus Q111982312, Wikipedia Friedberg–Muchnik theorem |
| Friedhelm Waldhausen | W37XZ8TDCR | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q97766, nLab Friedhelm Waldhausen |
| Friedlander-Iwaniec, 1985 | BY6G0QFX7G | statement | record (an 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.35950#2QFA |
| Friedlander-Iwaniec, 1985 | G68ZKG13P1 | statement | record (an 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.35950#YAUK |
| Friedlander-Iwaniec, 2003 | VFAW11MWRH | statement | record (an 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.35950#755P |
| Friedlander-Iwaniec, 2003 | WCW5PX8JTW | statement | record (an 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.35950#L7MZ |
| Friedman | 18TCETVAX3 | 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 2209.00108#JUQC |
| Friedman | 1SXTSAZ2BW | 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 2209.00108#RLTA |
| Friedman | 4EWBRAXQXY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00108#FANQ |
| Friedman | 4VTR24Z63X | 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 2209.00108#0YGD |
| Friedman | BJ47SEABQT | 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 2209.00108#3A2Z |
| Friedman | BSZZA5FEYH | 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 2209.00108#TIKB |
| Friedman | J2R1AVQZFC | 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 2209.00108#94PO |
| Friedman | NVSFS6X5TA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00108#OJY9 |
| Friedman | PPYHR2N2XM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00108#TVGO |
| Friedman | QF90ARAVGM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00108#F38R |
| Friedman | QFM431G0K6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00108#J9R5 |
| Friedman | RR66N2YRKW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00108#PFRW |
| Friedman | W2HJY2WCJ7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00108#K3G7 |
| Friedman | XYQBX1P9A7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00108#YVNR |
| Friedman | ZGZEW4M5R8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2209.00108#PXRH |
| Friedman number | CYK045W2HR | object | open | Wikidata Q2300333, OEIS A036057 |
| Friedmann universe | CW86K4WFBD | unknown | open | Wikidata Q3859858, nLab FRW model |
| Friedrich Hirzebruch | 8127CZWZ2H | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q61753, nLab Friedrich Hirzebruch |
| Friedrich Wilhelm Levi | CMFR1ZKSY0 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q91672, nLab Friedrich Levi |
| Friedrichs commutator in conservative form | VEXWWAW84R | statement | record (an 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.05312#LOZJ |
| Friedrichs extension | GPE9P5XD18 | concept | open | Wikidata Q1464339, nLab Friedrichs extension |
| Friedrichs extension and Dirichlet forms | 65Q7WXE6D7 | statement | record (an 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.32585#9JRV |
| Friedrichs' inequality | 5YMD3W4C9T | statement | open | Wikidata Q3711844, EoM Friedrichs_inequality |
| friendly number | 49V1ZHRR8E | concept | open | Wikidata Q1707307, MathWorld FriendlyNumber, OEIS A074902 |
| friendship graph | N087Q2ZC6P | statement | open | mathlib_100 83, Mathlib Theorems100.friendship_theorem, mathlib_1000 Q5504427, Wikidata Q5504427, thousand_plus Q5504427, Wikipedia Friendship theorem, MathWorld DutchWindmillGraph |
| friendship graph F3 | A5VSJ1N9C5 | unknown | open | Wikidata Q136660129, House of Graphs 21236 |
| Frigyes Riesz | PTVM9V28HJ | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q380366, nLab Frigyes Riesz |
| Fritsch graph | CG5V8MMCW1 | unknown | open | Wikidata Q3115483, House of Graphs 1088, MathWorld FritschGraph |
| FRJ29J5Q1W | FRJ29J5Q1W | proof | open | napkin tex/alg-NT/classgrp.tex#proof-8 |
| FRKGTC9WKX | FRKGTC9WKX | definition | open | lebl_ra ch-metric.tex#defn-16 |
| FRKRVMEWAM | FRKRVMEWAM | statement | record (an 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.06556#8W1K |
| FRM2RYYBNX | FRM2RYYBNX | statement | record (an 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.14811#B03I |
| FRM3T376EP | FRM3T376EP | 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.02798#K96J |
| FRMBV1CA1T | FRMBV1CA1T | statement | open | lebl_scv scv.tex#prop-26 |
| FRMGP93Q7G | FRMGP93Q7G | example | open | napkin tex/alg-geom/mor-scheme.tex#example-5 |
| FRMR29HXZX | FRMR29HXZX | statement | record (an 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.26001#TB3V |
| FRND6AQJS8 | FRND6AQJS8 | proof | open | napkin tex/alg-geom/sheaves.tex#proof-2 |
| FRNJH31HN9 | FRNJH31HN9 | 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.24545#2PM6 |
| FRNJHC9R1J | FRNJHC9R1J | statement | record (an 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.37520#0BOF |
| Frobenioid | T9XNX2AMXJ | unknown | open | Wikidata Q5505096, nLab Frobenioid |
| Frobenius | VFJ2VKPWZ1 | 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.37931#TYBC |
| Frobenius algebra | 1Y1VCB7BWE | concept | open | Wikidata Q5505100, nLab Frobenius algebra |
| Frobenius as a translation | YBG4HR8VXJ | statement | record (an 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.37466#MEDK |
| Frobenius category | MCRN0N7PGB | unknown | open | Wikidata Q16889063, nLab Frobenius category |
| Frobenius congruence on original coordinates | N63EVQ3J77 | statement | record (an 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#K8NX |
| Frobenius controls polynomial factorization | 495Q2V21WH | statement | open | napkin tex/alg-NT/frobenius.tex#thm:factor_poly_frob |
| Frobenius criterion for a linear quaternionic family | 5FTSBM1C5Q | statement | record (an 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#U1VP |
| Frobenius determinant theorem | V8BWDPTR82 | statement | open | mathlib_1000 Q5505098, Wikidata Q5505098, thousand_plus Q5505098, Wikipedia Frobenius determinant theorem |
| Frobenius determinants | W0NC6EQ0EB | example | open | napkin tex/rep-theory/applications.tex#example-1 |
| Frobenius differences and trace-zero hyperplanes | NQGWG0ZZAE | statement | record (an 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#RT7C |
| Frobenius elements of the Gaussian integers | ZGKGBQHZ35 | example | open | napkin tex/alg-NT/frobenius.tex#ex:frob_gaussian_integers |
| Frobenius endomorphism | QGBM1TH5P6 | concept | node (a node has the same name as the row) | Wikidata Q769124, EoM Frobenius_endomorphism, nLab Frobenius morphism |
| Frobenius form of the integral | 1RFT5AYJ6Z | statement | record (an 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.10821#42B9 |
| Frobenius manifold | RKCTBA3XRP | concept | open | Wikidata Q5505101, nLab Frobenius manifold |
| Frobenius method | 17N5JB9B1R | unknown | open | Wikidata Q1340153, MathWorld FrobeniusMethod |
| Frobenius method | R78EEMANTW | concept | open | lebl_diffyqs index/9.3.2/frobenius-method |
| Frobenius morphism | 9RN1G7HY4S | unknown | open | mathlib_overview General algebra > Field theory > Frobenius morphism, Mathlib frobenius, mathlib_undergrad Ring Theory > Field Theory > Frobenius morphisms |
| Frobenius norm | N7FCHZDKCX | unknown | open | Wikidata Q1004053, MathWorld FrobeniusNorm |
| Frobenius normal form | WW2247HJ2X | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q1469423, MathWorld RationalCanonicalForm |
| Frobenius normalization | 5WEBWKE4MY | statement | record (an 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#NZ2Y |
| Frobenius on the completed limit | 8A5E2MF856 | statement | record (an 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#4VAK |
| Frobenius pseudoprime | 4GFRDBEAPT | concept | open | Wikidata Q5505102, MathWorld FrobeniusPseudoprime |
| Frobenius reciprocity theorem | DDCTWZNKQ2 | statement | open | mathlib_1000 Q48998319, Wikidata Q48998319, thousand_plus Q48998319, Wikipedia Frobenius reciprocity theorem |
| Frobenius statistic under a super-critical spike | JK2C3C17D3 | statement | record (an 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.27200#KPLJ |
| Frobenius theorem | FYR0RA1QX4 | statement | open | arXiv 2610.13347#HQSA, mathlib_1000 Q1361031, Wikidata Q1361031, thousand_plus Q1361031, Wikipedia Frobenius theorem (real division algebras), EoM Frobenius_theorem |
| Frobenius theorem (differential topology) | EZ17Z7PH7A | statement | open | mathlib_1000 Q837551, Wikidata Q837551, thousand_plus Q837551, Wikipedia Frobenius theorem (differential topology) |
| Frobenius transport | 21XG27H6JQ | statement | record (an 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.07905#NTD2 |
| Frobenius, Verschiebung, and truncations in Witt vectors | 3FXWKACY61 | 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.37931#V4ZU |
| Frobenius-König theorem | K69N1BS3NY | statement | open | Wikidata Q9363233, MathWorld Frobenius-KoenigTheorem |
| Froda's theorem | S56C2G66YD | statement | open | mathlib_1000 Q5505114, Wikidata Q5505114, thousand_plus Q5505114, Wikipedia Froda's theorem |
| Frontier-to-height extraction | 94DP3XDEEK | statement | record (an 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#W6PZ |
| Frostman's Lemma | Q6V3G6AYGQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.05069#UP0A |
| Frozen Sign Lemma | 1899VTBZVY | statement | record (an 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.36377#K4XO |
| Frozen sorting and particle blocks | PQK46NSKCJ | statement | record (an 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.08135#8XVR |