I have come across quite a lot of proofs to show that a matrix is positive semidefinite through integrals. Examples are
Showing that $(A_{ij})=\left(\frac1{1+x_i+x_j}\right)$ is positive semidefinite
Proving positive definiteness of matrix $a_{ij}=\frac{2x_ix_j}{x_i + x_j}$
It seems like, a common trait is writing the matrix entries as an integral of a dot product $M_{ij} = \int_a^b F_i(x) F_j(x) g(x) dx$. Then one can kind of think of this matrix as $M = B^T B$. Here $B$ has "infinite rows" as instead of summation we are doing integration, but a lot of ideas can be borrowed.
Is my understanding correct? Is there a name for this kind of approach and matrix? Is there a trick to find the $F_i, F_j$?