Math 2.0

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.

Rows 1101–1200 of 4868.

NameIdKindOutcomeSources
FAN1R2BKWQFAN1R2BKWQdefinitionopenlebl_ra ch-metric.tex#defn-3
FAN6ZAY6X0FAN6ZAY6X0statementrecord (an 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.04874#AGFY
FAN7P2VXVCFAN7P2VXVCstatementrecord (an 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.06445#CXIW
FANC5QWF3JFANC5QWF3Jexamplerecord (an 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.07828#KDXL
Fang--Li--Lin--MaDN15THXQ4Astatementrecord (an 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.06038#J0JC
Fang--Li--Lin--MaZFW6N8HZX3statementrecord (an 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.06038#P0OZ
Fang--MaKX63VSSXXJstatementrecord (an 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.28411#IVXN
Fano for list decodingQG1FDMSMX0statementrecord (an 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#T18S
Fano planeN17DZMKW4VdefinitionopenWikidata Q1395814, MathWorld FanoPlane, nLab Fano plane, ProofWiki Definition:Fano_Plane
Fano variety1WS444MWD0topicopenWikidata Q846881, EoM Fano_variety
Fano's InequalityJ991F6SN91statementrecord (an 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.10840#NKM7
Fano's inequality with list decodingWGF93RRAB1statementrecord (an 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.33291#Q6KI
FAP2Q1V0Z3FAP2Q1V0Z3statementrecord (an 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.14236#S7IR
FAP6GP85GRFAP6GP85GRstatementrecord (an 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.24569#E26O
FAPH6R14JBFAPH6R14JBstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2506.16491#HBMA
FAQ3128157FAQ3128157definitionrecord (an 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#YOC4
FAQ9SP9X40FAQ9SP9X40exampleopenlevin_dmoi ptx/sec_seq-basics.ptx#example-3
FAQF3BNVMTFAQF3BNVMTexerciseopenlevin_dmoi ptx/exercises/counting-proofs.ptx#exercise-3
FAQTH7ZW6YFAQTH7ZW6Ystatementrecord (an 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.08935#8O1J
FAQVJXC1R2FAQVJXC1R2definitionrecord (an 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.08885#2BIP
Far regimeD1K0YFBR5Tstatementrecord (an 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#3GY0
Far regimeFGWTPTS43Vstatementrecord (an 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#6G5R
Far-field boundSMJAHCJZXWstatementrecord (an 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.00339#ZBGA
Far-field bound for the dipoleKXXPEKG8KCstatementrecord (an 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.33805#44ZS
Far-out pointM5YVQYDP5KunknownopenWikidata Q130305967, MathWorld Far-OutPoint
FAR7MFM66DFAR7MFM66Dstatementrecord (an 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.29531#NOHN
faradVSX1B9SK9XdefinitionopenWikidata Q131255, ProofWiki Definition:Farad
faradayQ7RV6V6522definitionopenWikidata Q1396128, ProofWiki Definition:Faraday_(Unit)
Farber--Grant--Lupton--Oprea, Farber--OpreaB3NJ0MPP2Fstatementrecord (an 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.30579#GPWY
Farey formula mod $24$ for $L^mR^m$DA00ZG91EYstatementrecord (an 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.18512#RDKF
Farey formula mod $24$ for every hyperbolic wordR0WGEH1D6Ystatementrecord (an 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.18512#N1MM
Farey parents and first violations1737SXE5HPstatementrecord (an 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#8I70
Farey sequenceE7QKTFFSQHstatementnode (a node has the same name as the row)mathlib_1000 Q1396592, Wikidata Q1396592, thousand_plus Q1396592, MathWorld FareySequence, ProofWiki Definition:Farey_Sequence
FARGEW4566FARGEW4566definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2204.00678#GM0U
Farkas BolyaiWDHYTNZ8BJunknownout_of_scope (a person, not an item of mathematics)Wikidata Q252311, ProofWiki Mathematician:Farkas_Wolfgang_Bolyai
Farkas' LemmaNP8C7G1Q8Wstatementrecord (an 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.09634#PQMU
Farrell–Markushevich theoremQH1AC6WC49statementopenmathlib_1000 Q5436274, Wikidata Q5436274, thousand_plus Q5436274, Wikipedia Farrell–Markushevich theorem
FARTHY9W1WFARTHY9W1Wproofopenhott_book equivalences.tex#proof-14
Faruk Fuad Abi-KhuzamVSFSWS9N3Tunknownout_of_scope (a person, not an item of mathematics)Wikidata Q102176338, ProofWiki Mathematician:Faruk_Fuad_Abi-Khuzam
FAS1JND2WNFAS1JND2WNstatementrecord (an 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.04434#8SSC
FAS6A6T9DDFAS6A6T9DDstatementrecord (an 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.05459#JJ5H
FASA800N4EFASA800N4Estatementrecord (an 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.00135#JLC5
fast Fourier transformAHEZTJ6HS9unknownopenmathlib_undergrad Numerical Analysis > Fourier transform > fast Fourier transform
fast Fourier transformH50MZPV24EunknownopenWikidata Q623950, MathWorld FastFourierTransform
Fast mixing of SYKZDC092J2Z2statementrecord (an 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#L1KA
Fast ODE global asymptotic stabilityPBCYPG4BAEstatementrecord (an 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.27741#RVK1
Fat Equator EffectNCK8F6AWH3statementrecord (an 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.05056#JG6I
Fat Minimality EffectPV4CV4NGCPstatementrecord (an 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.05056#5JDX
Fat shadowsH76SRF545Sstatementrecord (an 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.31216#6IIN
Fatou's lemma6HH7E0AGHPstatementopenWikidata Q1068118, EoM Fatou_theorem_(on_Lebesgue_integrals)
Fatou's lemma81HEMGB063statementopenlebl_scv scv.tex#thm-46
Fatou's lemmaWWXFMQKW5Mconceptopenlebl_scv index/E.1/fatou-s-lemma
Fatou's theoremCENCHBQTXHstatementopenmathlib_1000 Q4455033, Wikidata Q4455033, thousand_plus Q4455033, Wikipedia Fatou's theorem
Fatou--Bieberbach domainS1SA30PJVKconceptopenlebl_scv index/1.6/fatou-bieberbach-domain
Fatou--Julia1XGH4AWFQ6statementrecord (an 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.07064#Z840
Fatou–Lebesgue theoremCNJZSEM8Y0statementopenmathlib_1000 Q5437947, Mathlib MeasureTheory.lintegral_liminf_le, Wikidata Q5437947, mathlib_overview Analysis > Measures and integral calculus > Fatou's lemma, mathlib_undergrad Measures and integral calculus > Integration > Fatou's lemma, thousand_plus Q5437947, Wikipedia Fatou–Lebesgue theorem
FATSP10P30FATSP10P30statementrecord (an 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.00247#WBNW
Fattorini--Hautus {\parencite[Thm. III.3.7]{boyerControllabilityLinearParabolic20209WKTMQ3SXQstatementrecord (an 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.25431#ZGO7
Faulhaber's formula42ERY1YDKKunknownopenWikidata Q1398443, MathWorld FaulhabersFormula
Faulker–Younger graphCEQ3D93X6PunknownopenWikidata Q118371953, MathWorld Faulkner-YoungerGraphs
Faulkner–Younger 42-graphDMM3X2TKF3unknownopenWikidata Q2816779, House of Graphs 1066
Faulkner–Younger 44-graphHSDHTRKQDMunknownopenWikidata Q2816826, House of Graphs 1068
Fault-tolerant gates on perfect two-qudit CSS codesTGADS2KB4Bexamplerecord (an 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.04834#6TG9
Faustman–Ohlin theoremPRW63ZRFS4statementopenmathlib_1000 Q5438320, Wikidata Q5438320, thousand_plus Q5438320, Wikipedia Faustman–Ohlin theorem
FAV7Y5HJVCFAV7Y5HJVCstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2310.14879#TXCR
Favard constantRJ48TXXZX6conceptopenWikidata Q5438429, MathWorld FavardConstants
Favard data for the complete cyclic orbitPG8077TPR2statementrecord (an 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.26066#VUW9
FAVGCREXSNFAVGCREXSNstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2601.15403#2VLO
FAVQ81B4PJFAVQ81B4PJstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2211.10178#1PD0
FAVQJGYGFAFAVQJGYGFAstatementrecord (an 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.28374#DERN
FAVY6VPHD4FAVY6VPHD4statementrecord (an 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.03288#YDKG
FAW3YC795JFAW3YC795Jstatementrecord (an 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#4YYG
FAWPANC4JZFAWPANC4JZstatementrecord (an 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.05396#G2JZ
FAX7EHWD5SFAX7EHWD5Sexerciseopenaustin_ula src/exercises/exercises6-5.xml#exercise-10
FAX8RTRPQMFAX8RTRPQMstatementrecord (an 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.31269#JZ73
FAXBXGYK2KFAXBXGYK2Kstatementrecord (an 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.14323#KNMX
FAXHZTJMJNFAXHZTJMJNstatementopenhott_book categories.tex#ct:obj-1type
FAXJ7E257RFAXJ7E257RunknownopenarXiv 2609.28893#HXAV
FAXJ807N1PFAXJ807N1Pstatementrecord (an 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.06321#XX0Q
FAXXNK1YBCFAXXNK1YBCstatementrecord (an 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.16059#UVLT
FAY7417NNXFAY7417NNXstatementrecord (an 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#KE9I
FAY8GJS0GCFAY8GJS0GCstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2310.14879#NTR8
FAZ836FJESFAZ836FJESstatementrecord (an 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.14060#BOIU
FAZVQDMB2AFAZVQDMB2Adefinitionrecord (an 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.27192#88LP
Faà di Bruno formulaJYAFRXHHNDstatementrecord (an 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.28282#AWSY
Faà di Bruno's formula5PM7V8B4MEunknownopenWikidata Q1437653, MathWorld FaadiBrunosFormula
FB0AK3MTE4FB0AK3MTE4statementrecord (an 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.30274#OQ3S
FB0V2K2G0HFB0V2K2G0Hexampleopenlebl_ra ch-several-vars-ders.tex#example-11
FB0YNHQ7CFFB0YNHQ7CFstatementrecord (an 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.21725#DLNJ
FB0ZDWDV9VFB0ZDWDV9Vdefinitionrecord (an 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.38844#HAY6
FB1DEPG4R0FB1DEPG4R0statementrecord (an 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.21092#P29G
FB1VSRQAFRFB1VSRQAFRstatementrecord (an 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#NW6O
FB1X1JMN8PFB1X1JMN8Pstatementrecord (an 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.04566#SJUI
FB2J5APDAZFB2J5APDAZstatementrecord (an 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.11693#98K0
FB2QFN3D6AFB2QFN3D6Adefinitionrecord (an 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.01576#RX4E
FB3G39A60RFB3G39A60Rstatementrecord (an 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#W8J6
FB3KN3DZ87FB3KN3DZ87statementrecord (an 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.17669#SEE7
FB3P6H7V93FB3P6H7V93statementrecord (an 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.33124#L67I
FB3WRMKJGPFB3WRMKJGPstatementrecord (an 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.02669#2MHO
FB47SBBE9MFB47SBBE9Mstatementrecord (an 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.13670#19YJ