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 3201–3300 of 4868.

NameIdKindOutcomeSources
Forest weight and order weightDJ4PE3RM0Jdefinitionrecord (an 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.13063#D1HB
Forested pairing (optional strengtheningE8FACV6NV9definitionrecord (an 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.01937#70YJ
ForestsXA0D36GXF6statementrecord (an 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.34260#278Y
Forests and Paths3AB4Z8N4D6definitionrecord (an 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.31352#AVIG
Forests, growth orders, root indicatorT790CENN60definitionrecord (an 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.13063#PPFE
Forgetful functorGWQ3YCDT84definitionrecord (an 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#9HBS
forgetful functorKZHDEKW0Z3unknownopenWikidata Q2646117, nLab forgetful functor
fork graph4H889NWZZHunknownopenWikidata Q3115563, House of Graphs 30, MathWorld ForkGraph
Fork-verdict reversal2DVX9ZQ9XQstatementrecord (an 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.25039#2TPQ
Fork-verdict reversalFA94N8T0B4statementrecord (an 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.25039#S9Q1
Formal commutativity over a fieldVAYRW7P0MMstatementrecord (an 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.14044#0U53
Formal DualB7WCSHQ36Wdefinitionrecord (an 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.04503#RPG6
Formal exponential independenceAHFJME7DMGstatementrecord (an 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.14044#01YG
formal languageREN072THGZunknownopenWikidata Q192161, MathWorld FormalLanguage
Formal local normal form of a nonabelian codimension-two resolution move3W4MB8DMGNstatementrecord (an 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#X2T2
Formal one-step consistency for exact stage solvesR8M9RAWRRRstatementrecord (an 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.25489#8B39
formal power series8BY93JNSJYunknownnode (a node has the same name as the row)mathlib_overview General algebra > Polynomials and power series > power series, Mathlib PowerSeries, Wikidata Q1003025, MathWorld FormalPowerSeries
Formal realization of the local neighborhood9SX10NMEVPstatementrecord (an 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.10828#7IW2
formal schemeKN7WX165GCunknownopenWikidata Q5469967, nLab formal scheme
Formal shift coefficientsWJBPKFYFBHstatementrecord (an 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.14044#EHM7
formal, topologyY0SWMMK2XKconceptopenhott_book index/B.5/formal-topology
formal, type theoryMA4MKDM0S1conceptopenhott_book index/4/formal-type-theory
formalityHPPH2J435YunknownopenWikidata Q1757948, nLab formality
Formality with dualityYYW1TKYQK8conjecturerecord (an 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.04164#DXBG
formally real fieldXTNT1SYJ4MunknownopenWikidata Q17097900, nLab formally real field
formally étale morphism16EFBFC9CFunknownopenWikidata Q5469989, nLab formally étale morphism
Formanek--ProcesiNYQPTH1B0Zstatementrecord (an 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.27204#8IZW
ForMathNH5H17KQ5Runknownout_of_scope (a book or a journal, not an item of mathematics)Wikidata Q96702290, nLab ForMath
formation ruleKMGJ11D9EGconceptopenhott_book index/4.2.4/formation-rule
Formation sequences for formulasJT7GEGH5GEdefinitionopenopen_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#defn:fseq-frm
Formation sequences for formulasMN465WYGRGdefinitionopenopen_logic content/propositional-logic/syntax-and-semantics/formation-sequences.tex#defn:fseq-frm
Formation sequences for terms9P9KS6D4QDdefinitionopenopen_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#defn:fseq-trm
Forms become functionsKEPGMWR90Fstatementrecord (an 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.35460#9QZR
Formula6N1ZFTPD8Wdefinitionopenopen_logic content/propositional-logic/syntax-and-semantics/formulas.tex#defn:formulas
FormulaCH6HVQ2M4Cdefinitionopenopen_logic content/intuitionistic-logic/introduction/syntax.tex#defn:formulas
FormulaFG58EV2RVPdefinitionopenopen_logic content/many-valued-logic/syntax-and-semantics/formulas.tex#defn:formulas
formulaZ2N7VYD9BZunknownopenWikidata Q976981, MathWorld Formula
Formula for $\textup{id}\Psi_\varepsilon+\varepsilon^2\nabla\Psi_\varepsilon$QX0PG1DRRSstatementrecord (an 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#LXRZ
formula for primes5RF1FV9H5SunknownopenWikidata Q1136501, MathWorld PrimeFormulas
Formula for Pythagorean TriplesPBGY8JDBCAstatementopenmathlib_100 23, Mathlib PythagoreanTriple.classification
Formula for the distorted Fourier transform6HQWSK0FNRstatementrecord (an 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.00770#V8K1
Formula for the generating function5E6DHEPFCAstatementrecord (an 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.40138#RS7V
Formula for the Number of Combinations6AKMHBPMZ1statementopenmathlib_100 58, Mathlib Finset.card_powersetCard, Mathlib Finset.mem_powersetCard
FormulasNWXJYWGRHQdefinitionopenopen_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#defn:formulas
fortnightXDKSH4GYYNdefinitionopenWikidata Q2993680, ProofWiki Definition:Time/Unit/Fortnight
fortunate numberGZWX3K2N7AunknownopenWikidata Q5151604, MathWorld FortunatePrime, OEIS A046066
Forward and backward slopes and local steepness60NZTKG53Pdefinitionrecord (an 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.21775#J146
Forward and reverse magicJF8CM5VQ68definitionrecord (an 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.02166#648G
Forward BoundednessTKV93DZY32statementrecord (an 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.14344#E279
Forward charts and the global heightK2X943VBG5statementrecord (an 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.33808#ROLM
Forward ContainmentHXY3WH00ETstatementrecord (an 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.02495#E8N8
Forward cross-height factorizationNR5RJZWN25statementrecord (an 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#CIFW
Forward decouplingQVCB8TH6NNstatementrecord (an 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#MC9Y
forward differenceKWXXDAR0SXconceptopenactive_calculus index/1.5.3/forward-difference
Forward Duhamel operators are singular operatorsWCZZD5P0Q2statementrecord (an 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.29712#KR52
Forward Feynman--Kac equationWZQN56GQKNstatementrecord (an 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.03071#G7JI
Forward movement boundHFWF4NN3KMstatementrecord (an 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.10640#9Y57
Forward nonbranchingJRW8RJGEP3definitionrecord (an 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.17129#2V73
Forward normalized Green function4XSTJ34X3Vstatementrecord (an 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#PCSL
Forward radial secant2SQTWPWKQGstatementrecord (an 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.15202#AEH4
Forward reachable set8GFBDEDJ11definitionrecord (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6))arXiv 2203.10220#D7GE
Forward Regularity for 2D N-SYNQGWR37XPstatementrecord (an 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.07240#0DEC
Forward Regularity for HRDEG802THE5ZFstatementrecord (an 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.07240#GGSH
Forward second moment bound78FJVS0KV0statementrecord (an 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.10640#F2NI
Forward Serre relationM2KB36RR70statementrecord (an 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.04189#GHAL
Forward stability and topologyJF53PMXT9Qstatementrecord (an 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#N16E
Forward-backward displacement4RXQVKM70Mstatementrecord (an 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.35631#GO1H
Forward-magic energy boundsRS4BXRV7AYstatementrecord (an 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.02166#TV2D
Fosco Loregian8RV406FQE6unknownout_of_scope (a person, not an item of mathematics)Wikidata Q102468490, nLab Fosco Loregian
FOSLS-deRhaNN methodJHWWGMRSNBdefinitionrecord (an 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#MI9V
Foster cageVGFNXFEMH9unknownopenWikidata Q2933043, House of Graphs 48173, MathWorld FosterCage
Foster graphYGAYNSHZC3unknownopenWikidata Q3115485, House of Graphs 37261, MathWorld FosterGraph
Foster's theoremVGADNNE975statementopenmathlib_1000 Q5473576, Wikidata Q5473576, thousand_plus Q5473576, Wikipedia Foster's theorem
Foster--Lyapunov Stability Transfer88PSC79QEYstatementrecord (an 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.18739#0YL1
FoundationE4S81YE5NSstatementopenopen_logic content/set-theory/spine/foundation.tex#axiom-1
foundationsG42Z3PG81Hconceptopenhott_book index/u1/foundations
foundations of mathematicsMFNX09J842topicopenWikidata Q833585, nLab foundation of mathematics
Foundations of the Theory of Groupoids and Groups2F8WWTA3CZtopicopenWikidata Q115119800
foundations, univalentVNZYJR8ZAQconceptopenhott_book index/u1/foundations-univalent
Four biased profiles4DZ01TDNX6statementrecord (an 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.39408#8M60
Four Color Theorem2GK5H1WCNCconceptopenlevin_dmoi index/5.4/four-color-theorem
Four Color Theorem2STTRKM0EBstatementopenapplied_combinatorics source/s_graphs_planar.ptx#thm_4ct
four color theoremTWYJJZ8TR1statementnode (a node has the same Wikidata item as the row)mathlib_1000 Q184410, Wikidata Q184410, thousand_plus Q184410, Wikipedia Four color theorem, EoM Four-colour_problem, MathWorld Four-ColorTheorem
Four denominator classesQ015HN8TNXstatementrecord (an 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#RBNI
four dimensionsFVCZQ807CTunknownopenWikidata Q141189761, MathWorld Four-DimensionalGeometry
Four dyadic familiesYX7BNBSCKHstatementrecord (an 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.38993#8AEL
Four exponentials conjecture8NFAVBNK59conjectureopenWikidata Q5475668, MathWorld FourExponentialsConjecture
Four functions theoremZFX2NFCGJEstatementopenmathlib_1000 Q4695203, Mathlib four_functions_theorem, Wikidata Q4695203, mathlib_overview Combinatorics > Set families > Four functions theorem, thousand_plus Q4695203, Wikipedia Four functions theorem
Four landmarksK3XCP0X0MYstatementrecord (an 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.14988#5FQT
Four loops in terms of two diagonal series96YFZJHVASstatementrecord (an 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.10821#G865
Four loops; {\rm \Icorref{cor:nfiveJVHJS3BAWWstatementrecord (an 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.10821#0ZOB
Four runsB0BK033A62statementrecord (an 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.03763#UXHX
Four summands and higher output massHEFAPE38HVstatementrecord (an 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#6S06
Four Travelers ProblemNZ2MXSMC93conceptopenWikidata Q105332772, MathWorld FourTravelersProblem
Four-block Transformer constructionMKVRS77805statementrecord (an 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.05333#959D
four-color theoremKHV04XPV4Wconceptopenhott_book index/u1.u6/four-color-theorem
Four-cusp Eisenstein scatteringYP98PGZ3GKstatementrecord (an 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.25925#QYXU
Four-dimensional binary applicationQH2NQ69B5Bstatementrecord (an 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.28028#DPR0
four-dimensional Chern–Simons theoryH7X3T8MKV8unknownopenWikidata Q117190901, nLab semi-topological 4d Chern-Simons theory
Four-dimensional near-null spaceP0GPPJM4JBstatementrecord (an 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#5VTU