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 5601–5700 of 9322.

NameIdKindOutcomeSources
Formal definitionsA8RPWSY7QRdefinitionopenWikipedia ♯P#YY66
Formal definitionsAJCG5EYZQFdefinitionopenWikipedia Fibred category#CD1W
Formal definitionsAYR5R9NCZ8definitionopenWikipedia Regular chain#K3QT
Formal definitionsCCEMSJPECMdefinitionopenWikipedia Noncontracting grammar#2NQR
Formal definitionsDYXR69KV2TdefinitionopenWikipedia Sylvester's sequence#PUAI
Formal definitionsE3FY2PTXZTdefinitionopenWikipedia Propensity score matching#ORQ4
Formal definitionsE5DFVHRXGZdefinitionopenWikipedia Context-free grammar#PIQ1
Formal definitionsEWK4ZXANMFdefinitionopenWikipedia Proportional cake-cutting#AERJ
Formal definitionsG31G9WFX6NdefinitionopenWikipedia Strategyproofness#D1P8
Formal definitionsG6EMQQSSB1definitionopenWikipedia Triangular decomposition#GVZZ
Formal definitionsG7CMG0H9X4definitionopenWikipedia Abstract family of languages#X2OZ
Formal definitionsGYFKJHC1Y4definitionopenWikipedia Path ordering (term rewriting)#B16D
Formal definitionsHF4R2R59W6definitionopenWikipedia Hille–Yosida theorem#AH2W
Formal definitionsHNWHJ9D9K6definitionopenWikipedia Tangent space#WAP4
Formal definitionsK4VMJMFW1NdefinitionopenWikipedia P versus NP problem#6G5D
Formal definitionsKMH0C5N8P5definitionopenWikipedia Inductive dimension#KE9V
Formal definitionsKR262E0BNFdefinitionopenWikipedia Orbifold#XK41
Formal definitionsM89ZAJY05HdefinitionopenWikipedia Time-scale calculus#G3XX
Formal definitionsMRXKQJGN7CdefinitionopenWikipedia Ground expression#56UD
Formal definitionsN7YD5B7DN9definitionopenWikipedia Cone condition#UW0R
Formal definitionsNTF0E1BD4NdefinitionopenWikipedia Recursion#R7DJ
Formal definitionsNY0DBW4AKZdefinitionopenWikipedia Contour set#CSCH
Formal definitionsPMHBVZ13B0definitionopenWikipedia Unitary representation#LJWB
Formal definitionsQRS2NP0HAYdefinitionopenWikipedia Abstract family of acceptors#39YS
Formal definitionsR4ZSVPRPSCdefinitionopenWikipedia Earth mover's distance#KZOS
Formal definitionsRK127F7AD9definitionopenWikipedia Conservative system#OA1E
Formal definitionsSQWZNABF8MdefinitionopenWikipedia Regular singular point#STRC
Formal definitionsSXD8DAC6PZdefinitionopenWikipedia Cotangent space#MAY5
Formal DefinitionsTHGX60KFW1definitionopenWikipedia Correlation clustering#ZOWY
Formal definitionsTV69M6PMTPdefinitionopenWikipedia Cut point#L0R6
Formal definitionsTXTGDGHNBHdefinitionopenWikipedia Turing completeness#R5AY
Formal definitionsTY0T168XMNdefinitionopenWikipedia Spray (mathematics)#1EC9
Formal definitionsX9AEH466BBdefinitionopenWikipedia Club set#9JEG
Formal definitionsXBPF170RMMdefinitionopenWikipedia Global field#K09R
Formal definitionsXQAJGVQXRFdefinitionopenWikipedia Pointless topology#NRO5
Formal definitionsY5N4MYGDT5definitionopenWikipedia Rewrite order#65NT
Formal definitionsYQQ9T302D0definitionopenWikipedia Cancellative semigroup#M1HG
Formal definitionsYRTATVG6P8definitionopenWikipedia Adjoint functors#SV2R
Formal definitionsYW3HZQ9MXSdefinitionopenWikipedia Fibration#MBO4
Formal definitionsZC03YTTB2QdefinitionopenWikipedia Accumulator (cryptography)#HSX6
Formal derivative448S5QM55JdefinitionopenWikipedia Formal derivative, Wikidata Q1955819
Formal Dirichlet seriesD03QEC0TSMunknownopenWikipedia Dirichlet series#M6YW
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 epistemologyZW7F1WJ9QDdefinitionopenWikipedia Formal epistemology, Wikidata Q5469960
Formal ethicsAJ0ZE90GAJdefinitionopenWikipedia Formal ethics, Wikidata Q5469961
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 fallacyM1QYGNM8HZdefinitionopenWikipedia Glossary of logic#GFSW
Formal fallacyTHCFGB2B88definitionopenWikipedia Formal fallacy, Wikidata Q962165
Formal grammar11KA9KXJ3MdefinitionopenWikipedia Formal grammar, Wikidata Q373045
Formal group law9HGJ0A7BXCstatementopenWikipedia Formal group law, Wikidata Q5469970
Formal group lawT64341YYS3statementopenWikipedia List of Lie groups topics#130X
Formal group laws7M53CKAASNstatementopenWikipedia Complex cobordism#0GHZ
Formal group laws as functorsHNM0NTTKFMstatementopenWikipedia Formal group law#KAG2
Formal holomorphic functionKEWYB8GXZSdefinitionopenWikipedia Formal holomorphic function, Wikidata Q30704557
Formal justification for the axioms14B7ATT73DstatementopenWikipedia Internal set theory#CF73
Formal languageGTJB2FCTSXdefinitionopenWikipedia List of mathematical logic topics#SU2K
formal languageREN072THGZdefinitionopenWikidata Q192161, MathWorld FormalLanguage, Wikipedia Formal language
formal languageYCNR82ZFDTdefinitionopenWikipedia Glossary of logic#D3CF
Formal Laurent seriesEEEWKY2K8JunknownopenWikipedia Formal power series#9YE0
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 logicK3SCTY1NFFdefinitionopenWikipedia Glossary of logic#1ITC
Formal logicQVM6VTH3EMunknownopenWikipedia Logic#ZB2A
Formal logical systemsD6MWNP4AMZunknownopenWikipedia Mathematical logic#08R2
Formal manifoldHG7BTR22TCdefinitionopenWikipedia Formal manifold, Wikidata Q5469964
Formal moduli1ER8TF4S74definitionopenWikipedia Formal moduli, Wikidata Q5469965
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 ontologyJMRWH5SV12definitionopenWikipedia Formal ontology, Wikidata Q1437388
Formal potentialN88H9NZ70ZunknownopenWikipedia Nernst equation#WMNC
Formal power series7QVW4T86K9definitionopenWikipedia List of abstract algebra topics#AHKZ, Wikipedia List of commutative algebra topics#CT23
formal power series8BY93JNSJYdefinitionnode (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, Wikipedia Formal power series
Formal power series over a semiringCQHZN6F1TAunknownopenWikipedia Formal power series#KR4Y
Formal proofANGHEPRJN5definitionopenWikipedia Formal proof, Wikidata Q2762418
formal proofCW8ZV153GQdefinitionopenWikipedia Glossary of logic#6E44
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 schemeKN7WX165GCdefinitionopenWikidata Q5469967, nLab formal scheme, Wikipedia Formal scheme
Formal science7B4RAC212YtopicopenWikipedia Formal science, Wikidata Q816264
formal semantics3G69G24E9AdefinitionopenWikipedia Glossary of logic#K440
Formal semanticsT7A0XN17ZRdefinitionopenWikipedia Formal semantics (natural language), Wikidata Q5469969
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 smoothnessXRGXF0TTQKunknownopenWikipedia Smooth morphism#AN8T
Formal statement1CA7QX4N70statementopenWikipedia Pasting lemma#0IA1
Formal Statement1WXT0CKHK2statementopenWikipedia Van Benthem's theorem#V78Y
Formal statement20V5F375YFstatementopenWikipedia Frobenius determinant theorem#ZXSR
Formal statement27AY6ECKHVstatementopenWikipedia Poincaré–Hopf theorem#UUEF
Formal statement2KFRWNWY70statementopenWikipedia Rice–Shapiro theorem#9IJP
Formal statement2Y8Y3ASQ2JstatementopenWikipedia Pugh's closing lemma#VYBR
Formal statement309ECWVNS7statementopenWikipedia Gibbard–Satterthwaite theorem#WOJE
Formal statement361Q06CFM5statementopenWikipedia Hearing the shape of a drum#2XTW
Formal statement3ZV5JDX80AstatementopenWikipedia Arrow's impossibility theorem#1LH4
Formal statement4BT3ASNHRVstatementopenWikipedia Axiom of non-choice#YFVN
Formal statement4MNEM8ER22statementopenWikipedia Arrow–Debreu model#4TEB
Formal statement4NFYV0AX8FstatementopenWikipedia Casas-Alvero conjecture#556N
Formal statement59F5M6776TstatementopenWikipedia Brianchon's theorem#D93O
Formal statement59NYHJQW4WstatementopenWikipedia Splitting lemma (functions)#Z1G2
Formal statement5NZ8DKJ610statementopenWikipedia Cartan–Dieudonné theorem#CGC9
Formal statement62RP780VPDstatementopenWikipedia Gap-Hamming problem#OHXD
Formal statement669D20CHBCstatementopenWikipedia Dirichlet's principle#SWZJ
Formal statement66VC224BXQstatementopenWikipedia Bin packing problem#HORY
Formal statement6C4J2Z1S64statementopenWikipedia Urysohn's lemma#773Q
Formal statement75GEQGTSJCstatementopenWikipedia Bing metrization theorem#TQHG