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 3801–3900 of 9322.

NameIdKindOutcomeSources
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 proposition in the palimpsestKB40VTE691statementopenWikipedia The Method of Mechanical Theorems#UECH
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 constant6VJ2P4CMNAunknownopenWikipedia Planck's law#CN2H
first radiation constant for spectral radianceNQMV6TTAKEdefinitionopenWikidata Q117771430, ProofWiki Definition:First_Radiation_Constant
First Ray–Knight theoremEBRMXFRG6XstatementopenWikipedia Local time (mathematics)#VK69
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, Wikipedia First stellation of the rhombic dodecahedron
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 Szegő theoremGD717807AJstatementopenWikipedia Szegő limit theorems#OBZ8
First theoremCQ2GKKQSMJstatementopenWikipedia Mertens' theorems#2TLO
First theoremQYMK2AQ0NFstatementopenWikipedia Cantor's first set theory article#T1YK
First theoremZWR47KN0Z5statementopenWikipedia Integral#XPXN
First theorem [in 1990]103PC9PW4GstatementopenWikipedia PCP theorem#8FMU
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 ordinalNMDGMP121JdefinitionopenWikidata Q3401770, nLab first uncountable ordinal, Wikipedia 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 variationZK8CA6Y9GHdefinitionopenWikipedia First variation, Wikidata Q1362077
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 formulaD8AMZS64DMstatementopenWikipedia Noether's second theorem#VDL7
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 area formulaWM57ZV7H6XstatementopenWikipedia First variation of area formula, Wikidata Q5454260
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 vector identityAWP1JPB99PstatementopenWikipedia Green's identities#AGQT
First World problemEZQEDEDSM4unknownopenWikipedia List of fallacies#XQ8L
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-countableQ4RYY91ENXdefinitionopenWikipedia Glossary of general topology#8Q3E
First-countable spaceC8HE0KPJKPdefinitionopenWikipedia List of general topology topics#SLAC
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, Wikipedia 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-degree entailment (FDE)12BTK3EH85definitionopenWikipedia Glossary of logic#26V4
first-degree polynomialVFRKNEV1VEdefinitionopenWikipedia Glossary of calculus#80A2
First-difference estimator1Z1KF30ASCdefinitionopenWikipedia First-difference estimator, Wikidata Q5452193
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-hitting-time model20E4FTQT6FdefinitionopenWikipedia List of statistics articles#ETN7
First-hitting-time modelQ3X59AYZB0definitionopenWikipedia First-hitting-time model, Wikidata Q5452195
First-in-man studyYXC0KXEQ87definitionopenWikipedia List of statistics articles#J977
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
First-order7RNJXV0AD3definitionopenWikipedia First-order, Wikidata Q5452196
first-orderMBFM47HVFFdefinitionopenWikipedia Glossary of Principia Mathematica#HGP9
First-order $D_{\b_\phi}$ lower boundNH7NTKEEBSstatementrecord (an 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.10875#CM5H
First-order $D_{\h_k}$ lower boundCXR8WJ3K8Ystatementrecord (an 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.10875#Q3FA
First-order accuracy of the adversaryEAM4XF4F1Astatementrecord (an 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.07162#C0YY
First-order achievability for a fixed channelREG7YSD2PTstatementrecord (an 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.29688#EBWQ
First-order alignment of costs and the ordinal potentialN0YQGW7G9Mstatementrecord (an 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.05428#T2V9
First-order approximation of $\Delta_n(\overline{a})$A0T7C3VH61statementrecord (an 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#LO6Y
First-order arithmeticVWQQ0P5S8YtopicopenWikipedia List of mathematical logic topics#G06D
First-Order CharacterizationRA5N74QNRZstatementrecord (an 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.10927#CN4I
First-order conditions at equilibriumJV8KTVD9M1statementrecord (an 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.06490#6JQL
First-order confluence to Laguerre of the second kindHRS962DXSHstatementrecord (an 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.22027#N53S
First-order covariance responseGHGFHE99FMstatementrecord (an 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.23927#KBAO
First-order density correctionH71H866WTGstatementrecord (an 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.27250#FT87
First-order expansion of a perturbed productFEER64VB70statementrecord (an 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.11760#TZAR
First-Order FluidCPBQBPBK9YunknownopenWikipedia Power-law fluid#X7M5
first-order formulaGWX0NNKYAFstatementopenWikipedia List of first-order theories#B8FH
first-order formulaPGCEGRF29Junknownopenmathlib_overview Logic and computation > Model theory > first-order formula, Mathlib FirstOrder.Language.Formula
First-order inference following nonrejection512757B40Zstatementrecord (an 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.23339#Y4H1
First-order invariance to the proposal fit20YPERZ9P0statementrecord (an 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.17403#ZFFN
First-Order Jet and Gradient ControlEHA62E5VD8statementrecord (an 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.12239#DHI0
First-order lawXB6RXM2J81statementrecord (an 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.03823#BQZA
First-order limit of constrained WLSQMCP8N2BS8statementrecord (an 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.23339#I4D0
first-order logic1REZD7NPG8definitionopenWikipedia Glossary of logic#PCCT
First-order logic5AZKEY540JdefinitionopenWikipedia List of mathematical abbreviations#F4ZP
first-order logicAXM6865B4Ddefinitionnode (a node has the same Wikidata item as the row)Wikidata Q4055684, EoM Predicate_calculus, nLab predicate logic, Wikipedia First-order logic
First-order logicD4W4XNYB45definitionopenWikipedia List of PSPACE-complete problems#SIU5
First-order logicM0M9GFGQPGdefinitionopenWikipedia List of Boolean algebra topics#ZX03
First-order logic formulasG249M7YKYFstatementopenWikipedia Context-free grammar#OO61
First-order optimization bound4EDG77PK43statementrecord (an 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.20687#O994
First-order partial differential equationQNDWQAPD59definitionopenWikipedia First-order partial differential equation, Wikidata Q4381442
First-order perturbation theoryGFP90QBFPHunknownopenWikipedia Perturbation theory (quantum mechanics)#IFAX
First-order phase responseQYQNES2XS6definitionrecord (an 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.15686#KDSM
First-order phase transitionAJ67B485V1unknownopenWikipedia Phase transition#GZSF
First-order predicateT51M0B8Z2JdefinitionopenWikipedia First-order predicate, Wikidata Q5452202
First-order query-rank exponent3DRM5M7YV7statementrecord (an 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.29688#4NJP
First-order radial expansion7VEHQGJPRZstatementrecord (an 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#LP0G
First-order rank convergence does not determine the error exponentXSZKQK2729examplerecord (an 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.29688#FD00