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 3701–3800 of 4868.

NameIdKindOutcomeSources
FRDVCTS29WFRDVCTS29Wstatementrecord (an 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.08099#RUH3
FRDYMYPWCAFRDYMYPWCAstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2407.08004#O1PO
FRE83RZ0DFFRE83RZ0DFstatementrecord (an 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#W03F
Fred Ernest Julius Linton7E9DK1E1JVunknownout_of_scope (a person, not an item of mathematics)Wikidata Q102164599, nLab Fred+Linton
Fred JegerlehnerFZ778SQTQDunknownout_of_scope (a person, not an item of mathematics)Wikidata Q58448637, nLab Fred Jegerlehner
Fred Van OystaeyenWWE5HBTGPAunknownout_of_scope (a person, not an item of mathematics)Wikidata Q5496460, nLab Fred van Oystaeyen
Frederic W. Shultz4ZP51E89HVunknownout_of_scope (a person, not an item of mathematics)Wikidata Q64141149, nLab Frederic Shultz
Frederik DenefGKN9KZ9QZAunknownout_of_scope (a person, not an item of mathematics)Wikidata Q102294016, nLab Frederik Denef
Fredholm alternative6YSQ312H1Estatementopenlebl_diffyqs ch-eigenvalue-probs.tex#theorem-2
Fredholm alternative \footnote{Named after the Swedish mathematician \href{https://en.wikipedia.org/wiki/Fredholm}{Erik Ivar Fredholm} (1866--1927).}2VMQJ7R4JVstatementopenlebl_diffyqs ch-fourier-and-pde.tex#thm:fredholmsimple
Fredholm Alternative for Compact Selfadjoint Linear Relations5KX4TDCW38statementrecord (an 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.13385#I6U9
Fredholm alternative, simple caseAR9E6193GHconceptopenlebl_diffyqs index/5.1.4/fredholm-alternative-simple-case
Fredholm alternative, Sturm--Liouville problems6WWEAHB3ZMconceptopenlebl_diffyqs index/3.1.3/fredholm-alternative-sturm-liouville-problems
Fredholm determinant4BDZ4K2RNJunknownopenWikidata Q3045336, nLab Fredholm determinant
Fredholm integral equationSPCNBKCCT8unknownopenWikidata Q2991898, EoM Fredholm_equation
Fredholm kernelK6JHX56PX0statementopenWikidata Q4691766, EoM Fredholm_kernel
Fredholm moduleWG6MHJ3Y1WunknownopenWikidata Q5499350, nLab Fredholm module
Fredholm propertyEHP2E4HRDFstatementrecord (an 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.28024#LG4Y
Fredholm theoryFRPAZVSJGKstatementopenWikidata Q4455098, EoM Fredholm_operator, Wikidata Q573631, nLab Fredholm operator, Wikidata Q657820, MathWorld FredholmAlternative
Fredholm's theoremWEXN402WRGstatementopenmathlib_1000 Q3984069, Wikidata Q3984069, thousand_plus Q3984069, Wikipedia Fredholm's theorem, EoM Fredholm_theorems, MathWorld FredholmsTheorem
Fredkin gateE0EMNA46CSexerciseopennapkin tex/quantum/circuits.tex#problem-1
free abelian groupRRAD5N0D7Wdefinitionnode (a node has the same name as the row)Wikidata Q1454111, MathWorld FreeAbelianGroup, nLab free abelian group, ProofWiki Definition:Free_Abelian_Group
free algebra of a commutative ringS0WF9RXC1Junknownopenmathlib_overview General algebra > Algebras over a ring > free algebra of a commutative ring, Mathlib FreeAlgebra
Free and bound occurrence42JAAAB926definitionopenopen_logic content/lambda-calculus/syntax/free-variables.tex#defn-2
Free bilinear estimateS6TEDWTX5Jstatementrecord (an 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.02721#OCS3
Free boundary convergenceQBSR12NNJJstatementrecord (an 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#BV90
Free boundary varifoldsCMDZJVG4DWdefinitionrecord (an 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.04833#AJ3Q
free categoryGQAHNTMYCZunknownopenWikidata Q5500202, nLab free category
Free comparison for the dependent modelS8RB1TZVXRstatementrecord (an 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.39793#8YLP
Free critical pointNW9ST3R0Y8definitionrecord (an 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#BHRF
free end of beam84SAJK2S4Jconceptopenlebl_diffyqs index/3.2/free-end-of-beam
Free energy near the linePDERW542FCstatementrecord (an 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#8P0J
Free energy, marks along the sampled leaf, and variance2AM0FAPRYZstatementrecord (an 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.32710#BIM7
free fieldWC6MR5Z64RunknownopenWikidata Q5500226, nLab free field
Free field recovery4VQJEW8HCBstatementrecord (an 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.00453#DKEA
Free Fisher information, VoiculescuESQY2P9ANXdefinitionrecord (an 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.22109#C4RO
Free Gibbs statesQEXQWV0QG5examplerecord (an 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.22109#20TD
free groupETDMCH9TWEdefinitionnode (a node has the same name as the row)mathlib_overview General algebra > Group theory > free group, Mathlib FreeGroup, Wikidata Q431078, nLab free group, ProofWiki Definition:Free_Group
free group actionHN2QT6TR05definitionopenWikidata Q121069543, MathWorld FreeAction, nLab free action, ProofWiki Definition:Free_Group_Action
Free half-line convergence7GWFEMKMSWstatementrecord (an 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.24568#JB4F
Free independenceWRQAJHKKDCexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1711.00219#8VZ2
Free KLS bound9QSA0P3RPSstatementrecord (an 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.22109#XJYM
free Lie algebraSVMVAYTRSWstatementopenmathlib_1000 Q5499906, Wikidata Q5499906, thousand_plus Q5499906, Wikipedia Shirshov–Witt theorem, nLab free Lie algebra
Free log-Lichnerowicz estimate, Diez7KR54K1XFHstatementrecord (an 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.22109#JHIF
free moduleBMDT1S4WWAunknownnode (a node has the same name as the row)Wikidata Q1292333, EoM Free_module, MathWorld FreeModule, nLab free module
free monoid4J8ERBRS5RunknownopenWikidata Q5500266, nLab free monoid
free motionHQ9NDB8CPHconceptopenlebl_diffyqs index/6.4.1/free-motion
Free Obata theoremD5FCBVVWN8statementrecord (an 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.22109#K4EI
free objectGAXC9E7QANunknownopenWikidata Q5500272, nLab free object
Free occurrences of !!a{variable}J7GA72HNE5definitionopenopen_logic content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex#defn:free-occ
Free Poincar\'e inequality, VoiculescuQRC36MC0J1statementrecord (an 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.22109#K7WR
free pointsFR68X43FRHstatementrecord (an 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#ZE9T
free points on faithful curvesVQ71SVK319statementrecord (an 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.09298#RCPG
free probabilityYEEPWYWHMStopicopenWikidata Q515893, nLab free probability
Free propagationXETWFBD27Kstatementrecord (an 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.02721#525X
free tree6W7BCRM4E6unknownopenWikidata Q2493581, MathWorld FreeTree
free variable51ET0NJ3G1unknownopenWikidata Q2532538, EoM Free_variable, MathWorld FreeVariable
free variable8SWM6E4511conceptopenlebl_diffyqs index/10.2.4/free-variable
free variableR2HAZNWX3Gconceptopenaustin_ula index/1.2.3/free-variable
free variableYCCMENF1S8conceptopenlevin_dmoi index/1.2.3/free-variable
Free variables of a termCAM036YNXWdefinitionopenopen_logic content/lambda-calculus/syntax/free-variables.tex#def:fv
Free version of E. Milman's comparisonBHR2HP6FHFconjecturerecord (an 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.22109#XHGM
Free version of Klartag's log-Lichnerowicz inequality4A9DF8KXSJstatementrecord (an 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.22109#D8CO
Free waves on propagation cones7BFJ9H3GNKstatementrecord (an 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.13753#G6K9
free, algebraic structureQVAN02ES3Gconceptopenhott_book index/5.11/free-algebraic-structure
free, complete metric spaceQ6R8SNP0NJconceptopenhott_book index/B.3/free-complete-metric-space
free, generation of an inductive type1DG63ENTR0conceptopenhott_book index/5.1/free-generation-of-an-inductive-type
free, generation of an inductive type4FT4956FSBconceptopenhott_book index/8.8/free-generation-of-an-inductive-type
free, generation of an inductive type52TJ9KTXNBconceptopenhott_book index/8.1/free-generation-of-an-inductive-type
free, product, amalgamatedGXVGC1BPDWconceptopenhott_book index/7.7.2/free-product-amalgamated
Free-algebra functorsCWZSYCCJPMstatementrecord (an 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.33469#XZZZ
Free-boundary minimal immersions and embeddingsS76DPWGH74definitionrecord (an 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.09596#7EMT
Free-factor boundary separation36ZN58QXJXstatementrecord (an 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.36098#AZKO
Free-field convergence in $\cC(\R^d)$C1X44VYKCXstatementrecord (an 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.00453#IC1D
Free-field supremum tailW9PEQYK708statementrecord (an 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.00453#4QBU
Free-volume identityNXRYB38FWRstatementrecord (an 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.25120#BXYG
Free/pinned identityQQYPA2BHJ5statementrecord (an 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.37762#4DEK
Free/torsion decomposition with short torsion representativesSGRJ0MZM3Dstatementrecord (an 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#JUO5
freely sparse actionJW9ZGW6SYFdefinitionrecord (an 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#63XD
Freeman DysonQE36FDGQGKunknownout_of_scope (a person, not an item of mathematics)Wikidata Q153717, nLab Freeman Dyson
Freeness and primary multiplicity381M3RXMEKstatementrecord (an 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.07528#MHYF
Freezing one epoch7RG5Y39ZNRstatementrecord (an 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.11309#290G
FregeC4SY5B1ZZYconceptopenhott_book index/8.8/frege
Freidlin–Wentzell theoremR5P8S5YBS2statementopenmathlib_1000 Q5501344, Wikidata Q5501344, thousand_plus Q5501344, Wikipedia Freidlin–Wentzell theorem
Freiman $h$-homomorphismRX5AVT0EC7definitionrecord (an 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.26619#WLC5
Freiman homomorphisms1PDJCC2290unknownopenmathlib_overview Combinatorics > Additive combinatorics > Freiman homomorphisms, Mathlib IsAddFreimanHom
Freiman's theoremRS8B4KQZ3Cstatementopenmathlib_1000 Q3527079, Wikidata Q3527079, thousand_plus Q3527079, Wikipedia Freiman's theorem
French railway metricsQK615D9MWVunknownopenWikidata Q1450530, MathWorld FrenchMetroMetric
Frenet–Serret formulas1Q5AQZQ6VSunknownopenWikidata Q947922, MathWorld FrenetFormulas
Frenkel's inequality for $A_1^{++}$8PMX36CW68statementrecord (an 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.35325#J3UZ
frequencyY89GWE4604unknownopenWikidata Q762856, MathWorld AbsoluteFrequency
Frequency collapse in a compensating windowS56A63GPXHstatementrecord (an 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#54RP
Frequency description of horizontal continuityYWHHM4SYFQstatementrecord (an 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.18907#TMPW
frequency distributionHKN6401KGVunknownopenWikidata Q1627586, MathWorld FrequencyDistribution
Frequency envelopeCXTNDAHE52statementrecord (an 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.02721#70Q0
Frequency truncation error estimateMC3RQQCK6Gstatementrecord (an 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.28454#OXMA
Frequency-dependent fertile-parent CG modelX69VV8DK5Wdefinitionrecord (an 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#EQU8
Frequency-localized dispersive estimates2C6NF050NWstatementrecord (an 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.08809#65AP
Frequency-localized Strichartz estimatesPTX03MAZENstatementrecord (an 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.08809#761D
Frequency-position mapY1S504CT0Mdefinitionrecord (an 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.29565#ENXG