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 2401–2500 of 4868.

NameIdKindOutcomeSources
Finiteness of joint moments for bulk/boundary quotientsPZSMGZH94Sstatementrecord (an 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.09121#GG5B
Finiteness of joint moments of $\Gamma$-shaped regionsA9ZPCKBBJXstatementrecord (an 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.09121#O9M4
Finiteness of joint moments of $\Pi$-shaped regionsASZPT4QP1Ystatementrecord (an 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.09121#JFT9
Finiteness of marked Mori fiber spacesTHGYA10XTMstatementrecord (an 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#YTWD
Finiteness of moments for bulk/boundary quotients, case $q=1$4HWS6EZRMVstatementrecord (an 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.09121#6FJL
Finiteness of quotients with positive distanceVR4PSN38RCstatementrecord (an 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.09121#CIFU
Finiteness of stable lattices9561CFDM15statementrecord (an 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.26318#LLVF
Finiteness of the class number412DAW3NA7unknownopenmathlib_overview General algebra > Algebraic Number Theory > Finiteness of the class number, Mathlib NumberField.RingOfIntegers.instFintypeClassGroup
Finiteness of the localized joint moment from the unlocalized joint momentNFJA74XSR0statementrecord (an 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.09121#DY46
Finiteness of the shell log-Laplace transform6MNV0ZK0XSstatementrecord (an 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#6FXY
Finite–SNR extremality under nonnegative kernelsG76CXRTZW0statementrecord (an 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.19715#044Q
Finland566HKPJ9G7unknownout_of_scope (a person, not an item of mathematics)Wikidata Q33, ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Finland
Finney4R4C933Y0Kstatementrecord (an 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.29450#6ZWI
Finnur Lárusson6C2PKG069Zunknownout_of_scope (a person, not an item of mathematics)Wikidata Q102363969, nLab Finnur Larusson
Finsler geometryC8S70T11H6topicopenWikidata Q130619523, EoM Finsler_geometry
Finsler manifoldKMX7VRDDHAconceptopenWikidata Q2498782, EoM Finsler_space, MathWorld FinslerSpace
Finsler–Hadwiger theorem8NMEE0ACTKstatementopenmathlib_1000 Q15895894, Wikidata Q15895894, thousand_plus Q15895894, Wikipedia Finsler–Hadwiger theorem, MathWorld Finsler-HadwigerTheorem
fireMK1YEY3XK0definitionopenWikidata Q2723512, ProofWiki Definition:Philosophical_Element/Fire
firecracker graphQTZN71JW67unknownopenWikidata Q131367986, MathWorld FirecrackerGraph
firing squad synchronization problemBMTPAMEN0JproblemopenWikidata Q4183853, MathWorld FiringSquadProblem
First and second momentsYNEFN2ZG7Sstatementrecord (an 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.27744#49BZ
first assertionRNV2KG9ZQAstatementrecord (an 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.32174#PPKZ
First Bianchi contractions745MDK58CSstatementrecord (an 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.25762#6UZK
first Blanuša snarkA12DR8XP80unknownopenWikidata Q50874255, House of Graphs 19669
first Celmins–Swart snark9ZYS6A5WA9unknownopenWikidata Q3401797, House of Graphs 968
first Chang graphHB1B82C56AunknownopenWikidata Q3401710, House of Graphs 6624
First Chern classesG3PS2FNERSexamplerecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2110.14727#KMQG
first class constraintYE50R0D5ZWunknownopenWikidata Q5454146, nLab first class constraint
First contactEEZB0GRPWWstatementrecord (an 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.00337#J5AW
First Cousin problemBJH29P5S32conceptopenlebl_scv index/4.6/first-cousin-problem
first derivative testE2VEB1HJ0Hconceptopenactive_calculus index/3.3.2/first-derivative-test
First differentialS2EG2Y5645statementrecord (an 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.21093#3X89
First Domination Banhatti IndexYRK21NXREWdefinitionrecord (an 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.10221#5IWJ
first entry into the layerV55PW49N00statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2608.24606#APFZ
first Feigenbaum constantTYQ7C3CKYMobjectopenWikidata Q120336524, OEIS A006890
First few levels of the name hierarchyKW09TP0C5Kexampleopennapkin tex/set-theory/forcing.tex#example-7
first fundamental formC7JH8ZWY13definitionopenWikidata Q939725, EoM First_fundamental_form, MathWorld FirstFundamentalForm, ProofWiki Definition:First_Fundamental_Form
first fundamental theorem of calculusFKZDJPCKC5unknownnode (a node has the same name as the row)Wikidata Q116450161, MathWorld FirstFundamentalTheoremofCalculus
First Hardy–Littlewood conjectureF5XBSGC10VconjectureopenWikidata Q18450813, MathWorld k-TupleConjecture
First improved estimates879MD2S8ARstatementrecord (an 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.32829#MOZU
First integrability gain5GH68SKX2Cstatementrecord (an 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#LM42
First intersection point9CXZ4SSVFVdefinitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1905.02785#TSQ5
first isodynamic centerFXPTHZQTZMunknownopenWikidata Q24818805, MathWorld FirstIsodynamicPoint
first isomorphism theorem for commutative ringsTFE6JWT8FYunknownopenmathlib_overview General algebra > Ideals and quotients > first isomorphism theorem for commutative rings, Mathlib RingHom.quotientKerEquivOfSurjective
First levelTAS88XRT70statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1806.05002#UZTE
First Main LemmaGYAF9KEYV8statementrecord (an 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.30301#BPNZ
First Main LemmaMEJYD2F5XCstatementrecord (an 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#FP9O
First Main TheoremJ8F83M0RQCstatementrecord (an 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.14502#U9H5
First Main Theorem of Value Distribution Theory7WHAAFR5CRunknownopenmathlib_overview Analysis > Complex analysis > First Main Theorem of Value Distribution Theory, Mathlib ValueDistribution.characteristic_sub_characteristic_inv_le
First material identitiesXPE4C4TYY3statementrecord (an 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.04894#140E
First model system61564SDT2Astatementrecord (an 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.16655#ZZMS
First moment2GQCS5P606statementrecord (an 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#W21Y
First moment and positivity diagnostic3W77HHVZJTstatementrecord (an 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.27744#OCME
First moment densityNMABZC2G11definitionrecord (an 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.05064#LGN3
First nonlinear transfer diagnostic86PPAYTRDEstatementrecord (an 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.27799#8FYX
First order approximation is Gram's lawQ726JG92EVstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2406.06548#I43R
First order conditionR8M7AE8C3Kstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2102.11076#SA33
First Orthogonality RelationEVSKH3VAA8statementrecord (an 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.13429#VHGS
First proof87FX9NY1DFproofopenhott_book basics.tex#proof-1
First proof8X0CCPYYY1proofopenhott_book basics.tex#proof-15
First proofBKM4EN5PV2proofopenhott_book categories.tex#proof-31
First proofDYZBJSXXXDproofopenhott_book basics.tex#proof-17
First proofFD08F88NG1proofopenhott_book basics.tex#proof-10
First proofH0V04SJEBWproofopenhott_book basics.tex#proof-13
First proofR5A6BDF58Tproofopenhott_book basics.tex#proof-3
First proofX7FQENG8EKproofopenhott_book basics.tex#proof-7
First pruning stepX971VR6GF4statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1806.05002#8OIG
first radiation constant for spectral radianceNQMV6TTAKEdefinitionopenWikidata Q117771430, ProofWiki Definition:First_Radiation_Constant
first Royle graphRE760NNWCSunknownopenWikidata Q3401711, House of Graphs 1294
First spacingV6TMWBJAG6statementrecord (an 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.21730#N9O4
First Splitting Lemma7B42YNP1JRstatementrecord (an 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.13213#0ACA
First stellation of rhombic dodecahedronGK3V6A1G03objectopenWikidata Q16939273, MathWorld EschersSolid
First strict separation2BNQQKY0EMstatementrecord (an 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.14154#D0VX
First Summation RelationBMWTW9A6RPstatementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 1704.08191#QF36
First touching pointX96D5BTQAEdefinitionrecord (an 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.21732#389V
First two displayed equations after the proof2SKCH8X4KZstatementrecord (an 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.29631#KWSL
first two-dimensional neural $H(\curll)$ class35JH3EC950statementrecord (an 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.08016#3RV5
first uncountable ordinalNMDGMP121JunknownopenWikidata Q3401770, nLab first uncountable ordinal
first upper boundZMJA35WPCCstatementrecord (an 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.14050#ZCOO
First variation2D8RSKCYZCstatementrecord (an 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.27966#M5QT
First variationKXXD5F1QZ3statementrecord (an 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.03384#UCPX
First variation and midpoint map error77KV626C11statementrecord (an 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.21991#6A7I
First variation formula5JT4ZE95NWstatementrecord (an 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.17909#UQEB
First variation in the referenceSK66NXF9FVstatementrecord (an 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.38228#NO55
First variation of branched transport costNJHTW9P194statementrecord (an 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.24451#AY2R
First variation of the barrierWYZ4M7TQ0Astatementrecord (an 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.09602#6B6B
First variation of the regularized objectivePZH22P7SXKstatementrecord (an 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.15180#NCUU
First variations and the shortest-vector momentA0CYET4D0Bstatementrecord (an 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.37615#WJ17
first Zagreb indexG0TP83PCWFunknownopenWikidata Q137393149, MathWorld FirstZagrebIndex
First- and second-nearest neighbours30ZMTB7MG4statementrecord (an 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.29671#BNH1
First-contact sequences4TFTHDSD6Astatementrecord (an 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.33794#7A89
first-countable spaceCDMCS2DCYEdefinitionnode (a node has the same name as the row)Wikidata Q926996, EoM First_axiom_of_countability, MathWorld First-CountableSpace, nLab first-countable space, ProofWiki Definition:First-Countable_Space
first-crossing eventTZM4PSD2PGstatementrecord (an 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.14050#VBW6
First-difference theoremBV8M8QJYQJstatementrecord (an 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.14509#EFPV
First-harmonic formula for the derivativeJ9G93TXKA6statementrecord (an 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.28014#SPOF
First-label couplingE5RZR4H285statementrecord (an 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.20414#6SDR
first-moment boundsKHTSQYF154statementrecord (an 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.11872#V0P6
First-moment prediction for satisfiability3VQNZRYQJBdefinitionrecord (an 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.14085#R054
First-moment section inequalityWT6SET2M2Pstatementrecord (an 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.38228#62HI
First-moment truncation1P1W827KQ8statementrecord (an 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.14085#3KT8