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 1601–1700 of 4868.

Name	Id	Kind	Outcome	Sources
Fermat–Catalan conjecture	HJ9YEEX7AV	conjecture	open	Wikidata Q851604, MathWorld Fermat-CatalanConjecture
Fermi coordinates	5NVSSWYQ2A	unknown	open	Wikidata Q5444397, EoM Fermi_coordinates
Fermi liquid	YPTRTMHT1R	unknown	open	Wikidata Q1890239, nLab Landau's Fermi liquid theory
fermion	W0P5ZW91Z8	unknown	open	Wikidata Q44363, nLab fermion
Fernando Q. Gouvêa	J6YJ8V1881	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1312669, ProofWiki Mathematician:Fernando_Quadros_Gouvêa
Fernando Quevedo	J5AZ2YG55H	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q5444891, nLab Fernando Quevedo
Fernique's theorem	3AFAHAYE0G	statement	open	mathlib_1000 Q5445112, Mathlib ProbabilityTheory.IsGaussian.exists_integrable_exp_sq, Wikidata Q5445112, thousand_plus Q5445112, Wikipedia Fernique's theorem
FERQV1ED35	FERQV1ED35	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.39539#XFU5
FERR0DMM8H	FERR0DMM8H	statement	record (an 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#TATK
Ferrando--Kakol--López-Pellicer--\'Sliwa	HFTZBGVNVH	statement	record (an 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.00584#D9L7
Ferrero–Washington theorem	E81VKZFRNR	statement	open	mathlib_1000 Q5445311, Wikidata Q5445311, thousand_plus Q5445311, Wikipedia Ferrero–Washington theorem
Ferrers diagram	J3WB0WYM15	unknown	open	Wikidata Q20202373, MathWorld FerrersDiagram
Ferrers-cell $q$-Zeta formula	79BWC8A22X	statement	record (an 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.24541#36O3
Ferromagnetic bins near $\mu$	PE8A9D0XK8	statement	record (an 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#WRKD
FES83Q8MMF	FES83Q8MMF	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv math/0406514#3TP4
Feuerbach hyperbola	2Y1NZDWVSM	concept	open	Wikidata Q24170693, MathWorld FeuerbachHyperbola
Feuerbach point	8ZXVQRJ67V	statement	open	mathlib_1000 Q2190744, Wikidata Q2190744, thousand_plus Q2190744, Wikipedia Feuerbach's theorem, MathWorld FeuerbachPoint
Feuerbach triangle	TY8Y7P4S7C	unknown	open	Wikidata Q4497552, MathWorld FeuerbachTriangle
Feuerbach's theorem	YN6BZPNK5T	statement	open	Wikidata Q3527074, MathWorld FeuerbachsTheorem, ProofWiki Feuerbach's_Theorem
Feuerbach’s Theorem	A7V8GJ95T7	statement	open	mathlib_100 29
FEV0FVRF4W	FEV0FVRF4W	exercise	open	hott_book preliminaries.tex#ex:composition
FEV2WS2KFM	FEV2WS2KFM	statement	record (an 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.01087#FCSV
FEVAT5T90V	FEVAT5T90V	statement	record (an 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.33019#4MX6
Few candidates are removed	36AWVD702E	statement	record (an 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.15265#YEU4
Few collisions	4J4KWTX2RA	statement	record (an 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.15631#SWHK
Few deletions suffice to flatten the queries	E7VT24HX4W	statement	record (an 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.05498#PK0F
Few normals in rank one	S5ZCNEZJGJ	statement	record (an 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.37368#985F
Few rounds	139CVFXGN1	statement	record (an 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.12641#IVU4
FEWW2GMFHG	FEWW2GMFHG	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.31274#420M
FEXE066K06	FEXE066K06	statement	record (an 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.03612#KUXQ
FEXHSNJA2D	FEXHSNJA2D	statement	record (an 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.04431#FIQ0
FEXK371GTJ	FEXK371GTJ	statement	record (an 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.03238#MYKT
FEXN1FCBJB	FEXN1FCBJB	statement	open	hott_book hits.tex#thm:S1rec
FEY8TZ985Q	FEY8TZ985Q	statement	record (an 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.21322#Q7TA
Feynman diagram	ADCC1EBXMF	unknown	open	Wikidata Q386272, nLab Feynman diagram
Feynman point	Q4QZ6AH5F3	unknown	open	Wikidata Q874591, MathWorld FeynmanPoint
Feynman slash notation	14ACQFNHQH	concept	open	Wikidata Q2305761, nLab Feynman slash notation
Feynman-Kac formula	T93WKVXVDE	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2303.10636#4S9O
FEYPFHBA66	FEYPFHBA66	statement	record (an 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.21929#VSQ2
FEYRHN80ME	FEYRHN80ME	statement	record (an 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.21078#S6T1
FEZ4Y9ZAE6	FEZ4Y9ZAE6	example	open	austin_ula src/section4-3.xml#example-2
Feza Gürsey	G3CP033HCW	unknown	out_of_scope (a person, not an item of mathematics)	Wikidata Q1136035, nLab Feza Gürsey
FEZEBRD2KP	FEZEBRD2KP	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2607.25960#PEK6
FEZY525GWR	FEZY525GWR	statement	record (an 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#CFEO
FF09BD9XZS	FF09BD9XZS	statement	record (an 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.01359#X74Q
FF0D0Y33QG	FF0D0Y33QG	statement	record (an 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.20386#HVV5
FF0XDCRWD9	FF0XDCRWD9	statement	record (an 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.26386#RKHK
FF0XEM4JWK	FF0XEM4JWK	statement	record (an 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.09945#7ESM
FF1WXXM4EM	FF1WXXM4EM	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 2610.17267#0LDL
FF28PFPJDJ	FF28PFPJDJ	statement	record (an 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.25275#YUW2
FF3BJ38HEX	FF3BJ38HEX	statement	record (an 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.28211#PHGW
FF3PCZ5862	FF3PCZ5862	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2603.29838#M88W
FF4HWHKXVN	FF4HWHKXVN	statement	record (an 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.01802#DMCY
FF4T4D7HB7	FF4T4D7HB7	statement	record (an 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#CJYR
FF56PCY7H3	FF56PCY7H3	statement	record (an 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.07236#KTRK
FF61TR7CGY	FF61TR7CGY	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.17602#AO4I
FF68J95ZWF	FF68J95ZWF	statement	record (an 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.25321#E4AA
FF7BTKF2Q3	FF7BTKF2Q3	example	open	lebl_diffyqs ap-linear-algebra.tex#example-1
FF7T6Z56XN	FF7T6Z56XN	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 2011.08789#4JH3
FF8DVC6J2H	FF8DVC6J2H	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 2505.04593#0M49
FF8V47JETH	FF8V47JETH	statement	record (an 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.19288#6CDO
FF96QFRK5F	FF96QFRK5F	statement	record (an 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.11545#PTYB
FF9RKYZYQR	FF9RKYZYQR	statement	record (an 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.31387#HL7D
FFA52BPQ6V	FFA52BPQ6V	exercise	open	lebl_scv scv.tex#exercise-97
FFB979AZ18	FFB979AZ18	example	open	levin_dmoi ptx/sec_addtops-genfun.ptx#example-2
FFBCHY13ZC	FFBCHY13ZC	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.08074#7BBS
FFBFRJX22A	FFBFRJX22A	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.28211#7DJO
FFBJBKD0J3	FFBJBKD0J3	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.33476#EQYZ
FFBMYBXY8R	FFBMYBXY8R	statement	record (an 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.36181#X6EJ
FFBPHQTNCB	FFBPHQTNCB	statement	record (an 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.03305#F2S1
FFBT1E03ZH	FFBT1E03ZH	statement	record (an 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.21494#4B03
FFC0MPCMDP	FFC0MPCMDP	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 2203.07710#BFKO
FFDDG3XC6N	FFDDG3XC6N	example	open	open_logic content/sets-functions-relations/relations/orders.tex#ex-2
FFDDN05V5J	FFDDN05V5J	statement	record (an 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.16358#MURY
FFDREFZH6T	FFDREFZH6T	proof	open	open_logic content/incompleteness/representability-in-q/composition-representable.tex#proof-2
FFEA1Z9PWB	FFEA1Z9PWB	statement	record (an 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#SFVT
FFEKMTZ3W6	FFEKMTZ3W6	exercise	open	open_logic content/first-order-logic/completeness/compactness.tex#prob-3
FFEW936KK0	FFEW936KK0	statement	open	applied_combinatorics source/s_background_finite-sets.ptx#proposition-2
FFFAF6GZ5X	FFFAF6GZ5X	statement	record (an 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.37897#ZD2S
FFFEXB35CY	FFFEXB35CY	statement	record (an 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.26401#K0JS
FFFJ5VJ10R	FFFJ5VJ10R	statement	record (an 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.2047#RJDH
FFFP5YTCNB	FFFP5YTCNB	statement	record (an 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.25000#IXWA
FFFPVKNV0F	FFFPVKNV0F	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 1712.02437#GH7F
FFG0G3GMC1	FFG0G3GMC1	statement	record (an 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#812E
FFG9T4SN24	FFG9T4SN24	definition	open	napkin tex/H113/structure.tex#definition-5
FFGK1SRFF6	FFGK1SRFF6	statement	record (an 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.09810#NAUM
FFGQ5EBDNN	FFGQ5EBDNN	statement	record (an 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.04675#WPBX
FFGT0ATEAQ	FFGT0ATEAQ	statement	record (an 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#GRVZ
FFGWJ65JJA	FFGWJ65JJA	statement	record (an 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.18992#OKXY
FFH08WT0TT	FFH08WT0TT	statement	record (an 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.10747#LB15
FFH1XRPEHY	FFH1XRPEHY	statement	record (an 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.19812#76RL
FFHHSAXJES	FFHHSAXJES	statement	record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))	arXiv 1103.1038#3KUA
FFHP73J12Z	FFHP73J12Z	exercise	open	austin_ula src/exercises/exercises7-2.xml#exercise-7
FFHQPQ2PC3	FFHQPQ2PC3	statement	record (an 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.16060#DP9Q
FFHZR6KQGV	FFHZR6KQGV	exercise	open	levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-3
FFJ1Y8GBD2	FFJ1Y8GBD2	statement	record (an 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.33679#VNYZ
FFJX3CV45T	FFJX3CV45T	statement	record (an 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#4Z4J
FFJZAYRYXK	FFJZAYRYXK	statement	record (an 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.04527#XVTO
FFKAD40G68	FFKAD40G68	statement	open	ernst_ibl MAAPressVersion/ModularArithmetic.tex#theorem-3
FFKXRPCTHK	FFKXRPCTHK	statement	record (an 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.19333#U0I9