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 7301–7400 of 9322.

NameIdKindOutcomeSources
Fredholm alternative6YSQ312H1Estatementopenlebl_diffyqs ch-eigenvalue-probs.tex#theorem-2
Fredholm alternative \footnote{Named after the Swedish mathematician \href{https://en.wikipedia.org/wiki/Fredholm}{Erik Ivar Fredholm} (1866--1927).}2VMQJ7R4JVstatementopenlebl_diffyqs ch-fourier-and-pde.tex#thm:fredholmsimple
Fredholm Alternative for Compact Selfadjoint Linear Relations5KX4TDCW38statementrecord (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.13385#I6U9
Fredholm alternative, simple caseAR9E6193GHconceptopenlebl_diffyqs index/5.1.4/fredholm-alternative-simple-case
Fredholm alternative, Sturm--Liouville problems6WWEAHB3ZMconceptopenlebl_diffyqs index/3.1.3/fredholm-alternative-sturm-liouville-problems
Fredholm determinant4BDZ4K2RNJdefinitionopenWikidata Q3045336, nLab Fredholm determinant, Wikipedia Fredholm determinant
Fredholm eigenvalueGSXDYDJQ88unknownopenWikipedia Neumann–Poincaré operator#2JI8
Fredholm equation98E0XHD6RDdefinitionopenWikipedia List of integration and measure theory topics#1UJX
Fredholm integral equationSPCNBKCCT8definitionopenWikidata Q2991898, EoM Fredholm_equation, Wikipedia Fredholm integral equation
Fredholm kernelK6JHX56PX0definitionopenWikidata Q4691766, EoM Fredholm_kernel, Wikipedia Fredholm kernel
Fredholm moduleWG6MHJ3Y1WdefinitionopenWikidata Q5499350, nLab Fredholm module, Wikipedia Fredholm module
Fredholm number7J7YZ2HD3XunknownopenWikipedia Transcendental number#ZQBX
Fredholm propertyEHP2E4HRDFstatementrecord (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.28024#LG4Y
Fredholm solvabilityQB135M7Q4PdefinitionopenWikipedia Fredholm solvability, Wikidata Q28404553
Fredholm theoryFRPAZVSJGKdefinitionopenWikidata Q4455098, EoM Fredholm_operator, Wikidata Q573631, nLab Fredholm operator, Wikidata Q657820, MathWorld FredholmAlternative, Wikipedia Fredholm operator, Wikipedia Fredholm alternative, Wikipedia Fredholm theory
Fredholm theoryYNVK2ZWTGDdefinitionopenWikipedia Glossary of areas of mathematics#ZJCQ
Fredholm's theorem36EV4AD01FstatementopenWikipedia List of theorems#08Q6
Fredholm's theoremWEXN402WRGstatementopenmathlib_1000 Q3984069, Wikidata Q3984069, thousand_plus Q3984069, Wikipedia Fredholm's theorem, EoM Fredholm_theorems, MathWorld FredholmsTheorem
Fredkin gateE0EMNA46CSexerciseopennapkin tex/quantum/circuits.tex#problem-1
Fredrik GripenstiernaTZ8P05ZANDtopicopenWikipedia Fredrik Gripenstierna, Wikidata Q19689979
Fredrik Lange-Nielsen9EX61PWSXTtopicopenWikipedia Fredrik Lange-Nielsen, Wikidata Q5499485
free3ECJP6GTZNdefinitionopenWikipedia Glossary of ring theory#6OWY
free7VVHBNYX18definitionopenWikipedia List of undecidable problems#3Y09
freeQGTVYBQ27AdefinitionopenWikipedia Glossary of algebraic topology#CFNC
freeXH3N02WGATdefinitionopenWikipedia Glossary of module theory#57DK
Free abelian groupQ5P1X1JAGJdefinitionopenWikipedia List of group theory topics#JK3S
free abelian groupRRAD5N0D7Wdefinitionnode (a node has the same name as the row)Wikidata Q1454111, MathWorld FreeAbelianGroup, nLab free abelian group, ProofWiki Definition:Free_Abelian_Group, Wikipedia Free abelian group
Free additive convolution55DC0M34ZEunknownopenWikipedia Free convolution#0HP8
Free algebra44H9M6P10BdefinitionopenWikipedia List of abstract algebra topics#MSQE
Free algebraNZAEMMP7Z4definitionopenWikipedia Free algebra, Wikidata Q5500180
free algebra of a commutative ringS0WF9RXC1Junknownopenmathlib_overview General algebra > Algebras over a ring > free algebra of a commutative ring, Mathlib FreeAlgebra
Free and bound occurrence42JAAAB926definitionopenopen_logic content/lambda-calculus/syntax/free-variables.tex#defn-2
Free bilinear estimateS6TEDWTX5Jstatementrecord (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.02721#OCS3
Free body diagramX4KVFARSM4unknownopenWikipedia List of graphical methods#VIK6
Free Boolean algebraKCBFFX28PMdefinitionopenWikipedia Free Boolean algebra, Wikidata Q5499761
Free Boolean algebraTA0SM1FPBMdefinitionopenWikipedia List of Boolean algebra topics#GJE0
Free boundary convergenceQBSR12NNJJstatementrecord (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.18270#BV90
Free boundary problemQK9913YJYJproblemopenWikipedia Free boundary problem, Wikidata Q5500196
Free boundary varifoldsCMDZJVG4DWdefinitionrecord (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.04833#AJ3Q
free categoryGQAHNTMYCZdefinitionopenWikidata Q5500202, nLab free category, Wikipedia Free category
free categoryM5NYJYSH5RdefinitionopenWikipedia Glossary of category theory#8B34
Free category of a signatureZGH6455QEYdefinitionrecord (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.20478#A5VM
Free choice inferenceT8QXJMHRF5definitionopenWikipedia Free choice inference, Wikidata Q105102522
free choice sequence9EV9NSM5DMdefinitionopenWikipedia Glossary of logic#Y076
Free commutative monoid6M7ZYYBG1GunknownopenWikipedia Free monoid#I7W5
Free comparison for the dependent modelS8RB1TZVXRstatementrecord (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.39793#8YLP
free completionA2NFEYRRYGdefinitionopenWikipedia Glossary of category theory#W86A
Free ConvectionJ3TRB5A1YYunknownopenWikipedia Convection#92NI
Free convolutionABTBDTVY0RdefinitionopenWikipedia Free convolution, Wikidata Q5500208
Free critical pointNW9ST3R0Y8definitionrecord (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.07064#BHRF
Free distributive latticeNN48AVMBN2unknownopenWikipedia Distributive lattice#KBAO
free edge6SNAFHG6SXdefinitionopenWikipedia Glossary of graph theory#OMN0
free end of beam84SAJK2S4Jconceptopenlebl_diffyqs index/3.2/free-end-of-beam
Free energy near the linePDERW542FCstatementrecord (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#8P0J
Free energy, marks along the sampled leaf, and variance2AM0FAPRYZstatementrecord (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#BIM7
Free factor complexD1QZNMF5YRdefinitionopenWikipedia Free factor complex, Wikidata Q30593823
free fieldWC6MR5Z64RunknownopenWikidata Q5500226, nLab free field
Free field recovery4VQJEW8HCBstatementrecord (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#DKEA
Free filterFCK4H7BFB6unknownopenWikipedia Filter on a set#5LLH
Free Fisher information, VoiculescuESQY2P9ANXdefinitionrecord (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.22109#C4RO
free functor35N5YHYTE4definitionopenWikipedia Glossary of category theory#2YA6
Free Gibbs statesQEXQWV0QG5examplerecord (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.22109#20TD
Free group5GVXV2TEGNdefinitionopenWikipedia List of group theory topics#LASQ, Wikipedia List of abstract algebra topics#B19G
free groupETDMCH9TWEdefinitionnode (a node has the same name as the row)mathlib_overview General algebra > Group theory > free group, Mathlib FreeGroup, Wikidata Q431078, nLab free group, ProofWiki Definition:Free_Group, Wikipedia Free group
free group actionHN2QT6TR05definitionopenWikidata Q121069543, MathWorld FreeAction, nLab free action, ProofWiki Definition:Free_Group_Action
Free half-line convergence7GWFEMKMSWstatementrecord (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.24568#JB4F
Free hullEB2R9YTSF1unknownopenWikipedia Free monoid#DS2O
Free ideal ring4KA063S7DEdefinitionopenWikipedia Free ideal ring, Wikidata Q2893366
Free independence5T3WAT6CWVdefinitionopenWikipedia Free independence, Wikidata Q5500249
Free independenceWRQAJHKKDCexamplerecord (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 1711.00219#8VZ2
free intersectionMM9BEKKGNNdefinitionopenWikipedia Glossary of classical algebraic geometry#SXEW
Free inverse semigroupA8Z6CQ9K35unknownopenWikipedia Inverse semigroup#TEEM
Free KLS bound9QSA0P3RPSstatementrecord (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.22109#XJYM
Free latticeECXR3J0Q4EdefinitionopenWikipedia Free lattice, Wikidata Q5500254
Free lattice word problemFHSDSJBW2PunknownopenWikipedia Free lattice#0F5U
free Lie algebraJ0646QTK1YdefinitionopenWikipedia Glossary of Lie groups and Lie algebras#2YH4
free Lie algebraSVMVAYTRSWstatementopenmathlib_1000 Q5499906, Wikidata Q5499906, thousand_plus Q5499906, Wikipedia Shirshov–Witt theorem, nLab free Lie algebra, Wikipedia Free Lie algebra
Free log-Lichnerowicz estimate, Diez7KR54K1XFHstatementrecord (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.22109#JHIF
Free logicHVAJRY79WXdefinitionopenWikipedia Free logic, Wikidata Q3502887
free logicK1BJ6CSPRYdefinitionopenWikipedia Glossary of logic#SKL4
Free loopXTZC8GTSP5definitionopenWikipedia Free loop, Wikidata Q2015432
Free magmaXZAMVJ1REZunknownopenWikipedia Magma (algebra)#HKNX
Free matroidHKYJJSTF4HdefinitionopenWikipedia Free matroid, Wikidata Q104868806
free moduleBMDT1S4WWAdefinitionnode (a node has the same name as the row)Wikidata Q1292333, EoM Free_module, MathWorld FreeModule, nLab free module, Wikipedia Free module
Free moduleCGTBQYH8GZdefinitionopenWikipedia List of abstract algebra topics#ULDC
Free monadRJAPTSAM8DunknownopenWikipedia Monad (functional programming)#HZLA
free monoid4J8ERBRS5RdefinitionopenWikidata Q5500266, nLab free monoid, Wikipedia Free monoid
free motionHQ9NDB8CPHconceptopenlebl_diffyqs index/6.4.1/free-motion
Free motion equation3A942SXJ1EdefinitionopenWikipedia Free motion equation, Wikidata Q17014709
Free multiplicative convolution9WN9709KEFunknownopenWikipedia Free convolution#WAY6
Free non-associative algebraSAD681M72YunknownopenWikipedia Non-associative algebra#W25R
Free Obata theoremD5FCBVVWN8statementrecord (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.22109#K4EI
free objectGAXC9E7QANdefinitionopenWikidata Q5500272, nLab free object, Wikipedia Free object
Free occurrences of !!a{variable}J7GA72HNE5definitionopenopen_logic content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex#defn:free-occ
Free open source bioinformatics projects40HA9H5PAMunknownopenWikipedia Bioinformatics#QBA6
Free operadQNJ29AVDESunknownopenWikipedia Operad#NTBD
Free parameter58RTXPRSK1definitionopenWikipedia Free parameter, Wikidata Q5500263
Free partially commutative group2Y2ZS3D97MunknownopenWikipedia Artin–Tits group#DG2C
Free particle (quantum physics)92V8CAQ8S1unknownopenWikipedia Quantum mechanics#QB0U
Free Poincar\'e inequality, VoiculescuQRC36MC0J1statementrecord (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.22109#K7WR