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 2001–2100 of 4868.

NameIdKindOutcomeSources
Field-automorphism extensions of $\Ree(q)$ of cubic degreeF1XJ389BBKstatementrecord (an 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.15340#9NKS
Field-independent coordinate formulaK6T0YFYWYWstatementrecord (an 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.20649#RDW5
Field-law tiltA1PS1ZKD80statementrecord (an 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#XRB0
FieldsD2DDPV6X8Wdefinitionrecord (an 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/0003117#6OUO
Fields medal47PJJMPZHAdefinitionopenWikidata Q28835, nLab Fields medal, ProofWiki Definition:Fields_Medal
Fieller's theoremBPSQPSEN2Fstatementopenmathlib_1000 Q5447238, Wikidata Q5447238, thousand_plus Q5447238, Wikipedia Fieller's theorem
Fierz identityDHVN6NPTC9unknownopenWikidata Q5447297, nLab Fierz identity
fifthDYQG5YAQ3GdefinitionopenWikidata Q224169, ProofWiki Definition:Fifth_(Music)
Fifth column (m=4) of triangle A060556 .A9HE16ZN6AobjectopenWikidata Q100194561, OEIS A060558
Fifth column (m=4) of unsigned triangle A111595 .XVQY1VXYVGobjectopenWikidata Q100193971, OEIS A111778
fifth powerBPNXKZYE1SdefinitionopenWikidata Q10549775, OEIS A000584, ProofWiki Definition:Fifth_Power
Fifth-order identity8ERRE0X2MQstatementrecord (an 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.34016#LJBA
fifty-move ruleMBDEQW62DHdefinitionopenWikidata Q240380, ProofWiki Definition:Chess/Draw/Fifty_Move_Rule
figurate number3W5TRKBYKVunknownopenWikidata Q1130510, MathWorld FigurateNumber
figure-eight knotAXCTZNXY2Cexamplerecord (an 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.18803#U6K6
figure-eight knotP0K9JJCAK3unknownopenWikidata Q168697, MathWorld FigureEightKnot
File size boundHG5QRN57HJstatementrecord (an 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.11007#ZV3S
File size bound under bounded-average complianceAX64WN8MVPstatementrecord (an 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.11007#PNBN
File size bound, full versionM4Y08ZHAB4statementrecord (an 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.11007#UWMG
FiligreeY14YJ75P48statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2304.02722#AP03
Filippov3JSP7347X4statementrecord (an 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#WXV0
Filippov-Plis-like Lemma47N0RMDFWZstatementrecord (an 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.27414#M1MG
Fill-edge interaction graphQC6GJP2AKSdefinitionrecord (an 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.19669#51SA
filter4ZVSPDR1MMunknownopenmathlib_overview Topology > General topology > filter, Mathlib Filter
filterA2T4XSZWY5definitionopenWikidata Q1052692, EoM Filter, MathWorld Filter, nLab filter, ProofWiki Definition:Filter
filter characterisation4SY7SXXMJQstatementrecord (an 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.39511#QG93
filter characterisationK74NQ2BT4Cstatementrecord (an 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.39511#P2DZ
Filter-large certificates give branchwise refinementAQY71ZF2XNstatementrecord (an 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.32078#8VOD
filtered algebraST3AZ97N4GunknownopenWikidata Q5449241, nLab filtered ring
Filtered and graded tangent fibre9KTHNVT04Jdefinitionrecord (an 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.20801#0FIW
filtered category1EJYWWXX00unknownopenWikidata Q5449247, nLab filtered category
Filtered comparison3KFVG0SVY2statementrecord (an 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.05892#GNQ1
Filtered equivariance classTX6ANNRNGHdefinitionrecord (an 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.25987#FIQR
Filtered equivariance of a feed-forward network1B02SKMSFBstatementrecord (an 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.25987#PLSS
Filtered linear transfer under \textup{(G4RFMXPRPFPCstatementrecord (an 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#E01D
Filtered Random Dynamical System8D88R33164definitionrecord (an 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#F1D6
Filtered reduced-sector contractionK4AF7Y0PN5statementrecord (an 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#8JI0
Filtered torus backprojectionSGS4KQVADDstatementrecord (an 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.16453#SEY9
Filtering the opposite-pair componentsDBC9Y234N6statementrecord (an 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.26576#2XLV
FiltersZW7JWZSVZ0statementrecord (an 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.05164#YSKQ
filtration9A96CEASEXunknownopenWikidata Q1187724, MathWorld Filtration
FiltrationKSPJKD3Q9Ydefinitionrecord (an 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/0003117#K684
FiltrationWAEF825N7Kdefinitionrecord (an 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.00295#0UFC
Filtration by single-step quotientsPYVN8W0D72statementrecord (an 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.05892#G2YM
Filtrations on $\cot_{\leq n}$R0TRDCQQJHdefinitionrecord (an 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.20801#Q3WV
Final ADHH decompositionFR49NC2E9Ystatementrecord (an 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.27181#NZKE
final functorMAB5890G17unknownopenWikidata Q18207102, nLab final functor
Final interior error decomposition and convergenceQBS4SQT7DFstatementrecord (an 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.10484#FMG9
Final rounds are tail-freeJ2N0VE8E0Bstatementrecord (an 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.07379#J2EK
final stellation of the icosahedronPM2QF6VHNDunknownopenWikidata Q5449472, MathWorld Echidnahedron
Final value theoremTHXPJQATABstatementopenmathlib_1000 Q4272645, Wikidata Q4272645, thousand_plus Q4272645, Wikipedia Final value theorem
Finding all eligible pairs efficientlyFBV67TDK05statementrecord (an 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.37482#ZE3H
FineT43EW8QS50statementrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2501.18744#6HDI
Fine all-plane estimateVWTBPCBP08statementrecord (an 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.03298#FV3L
Fine and coarse seriesTSEFS4CR4Rstatementrecord (an 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.20649#AGQ1
Fine estimateGPVJA5Y0H7statementrecord (an 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.05179#XGHE
fine sheafW2KSWF2R4SunknownopenWikidata Q130728888, EoM Fine_sheaf, nLab fine sheaf
fine-structure constantVZWPK8SHTKdefinitionopenWikidata Q5997, ProofWiki Definition:Fine-Structure_Constant
Fine-tuning input-to-representation classification93PZ3MP4GKstatementrecord (an 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.39190#K5T3
Finitary monad7MMHGDPF1Rdefinitionrecord (an 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.10930#QQYJ
finitary relationJ7170WRQNWunknownopenWikidata Q203066, EoM Relation, MathWorld Relation
Finitary Schur-type theorem in the squaresCEWM55BBX2statementrecord (an 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#YE0T
finiteXQDT784T02unknownopenmathlib_overview Combinatorics > Pigeonhole principles > finite, Mathlib Fintype.exists_ne_map_eq_of_card_lt
Finite $1$-group gauge theoryYC5WXWXD82examplerecord (an 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.03865#NAO4
Finite adaptive query converseXNG5XVC3C1statementrecord (an 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.30808#X8TE
Finite additions beyond the insertion index454JQTH4EDstatementrecord (an 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.37704#LNS3
Finite adhesionZ6FGTKGF69definitionrecord (an 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.12576#BNOA
Finite approximation of the coarse pathXMBSAYS6FSstatementrecord (an 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.16248#RZKN
Finite atomic distributionsWSD1WFPETVdefinitionrecord (an 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.07285#2D64
Finite atomic prices, with and without a median gap3J7NBQ231Fexamplerecord (an 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.07285#3UZO
Finite averagingJG3A7JSNHGstatementrecord (an 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.20994#UQ6H
Finite backtracking and bounded coefficients9JQECCTDFVstatementrecord (an 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.06557#Q9XL
Finite balanced-tree endpoint387N3PP0H3statementrecord (an 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#BGW9
Finite basis8T0CB4K3NVstatementrecord (an 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.38975#DA45
Finite binomial atom boundA8692FAH1Nstatementrecord (an 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.10860#EG8E
Finite branched continued fractions17JXRCMV84statementrecord (an 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.08568#BE4V
Finite BTP equals PBF6K6YRRHB1Ystatementrecord (an 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.08568#RA80
finite certificateR48V39Y472statementrecord (an 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.00916#XJ38
Finite certificate of infeasibilityXXWRSV8X1Tstatementrecord (an 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.15125#F9PP
Finite characterization of dominating algebrasS6SQTXMX7Qstatementrecord (an 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.40054#RBL0
Finite closure of a commutantW0G49V0JWAstatementrecord (an 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.14859#I21T
Finite coefficient algorithmSA90G6C925statementrecord (an 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.20649#0XR3
Finite coefficient certificateN5WT9H10C0statementrecord (an 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.13962#5H2S
Finite coefficient formulasQ20FCH8WM2statementrecord (an 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.08568#WVC3
Finite compact localizationQV3B98C3N5statementrecord (an 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.14446#GKQ7
Finite comparison3Q4VMXFZD3statementrecord (an 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#HENC
Finite compatibility tableAP8K4NRY5Xstatementrecord (an 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.20649#W9KB
Finite compiler at a fixed step size1NA1G819F2statementrecord (an 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.16248#Z4EE
Finite completenessC3FTKFP125statementrecord (an 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.25987#NJDB
Finite construction of an effective merit-descent direction9GZHR5C4ZXstatementrecord (an 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.18428#6FXY
finite convergence and fixed points of AMEQF5K9A0G5statementrecord (an 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.10408#RBJM
Finite convergents and a norm error boundDHX4MD9ZK8statementrecord (an 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#W3L0
Finite converse with primitive reductionS6NRK7Z2YRstatementrecord (an 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.30808#03R7
Finite coverage criterionKRPBMX098Astatementrecord (an 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.02216#5WJL
Finite covering criterionAQE76K5A1Xstatementrecord (an 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#FTFY
Finite covers by Hermitian varietiesF6TVZFWX9Pstatementrecord (an 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.01731#9Y1W
Finite cycle consistencyASZVS6CA8Estatementrecord (an 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.18287#YLQ7
Finite cyclic logarithmic--cellular conifold BF shadow2S08MTCT30statementrecord (an 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#MQLZ
Finite deployment of buffered ERM7Q81NBJKB6statementrecord (an 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.21363#NKWE
Finite depth obstructs analyticityJXWVBF0EWYstatementrecord (an 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#ZVNS