e/Fredholm determinant

Information
has gloss	eng: In mathematics, the Fredholm determinant is a complex-valued function which generalizes the determinant of a matrix. It is defined for bounded operators on a Hilbert space which differ from the identity operator by a trace-class operator. The function is named after the mathematician Erik Ivar Fredholm.
lexicalization	eng: Fredholm determinant
instance of	(noun) a square matrix used to solve simultaneous equations determinant

Meaning
French
has gloss	fra: Le déterminant de Fredholm est une fonction analytique complexe qui généralise pour les opérateurs la notion de déterminant associée aux matrices. Le déterminant de Fredholm est défini pour les opérateurs à noyau continu.
lexicalization	fra: Determinant de Fredholm
lexicalization	fra: Déterminant De Fredholm