The tag has no usage guidance.

learn more… | top users | synonyms

23
votes
0answers
545 views

Next steps on formal proof of classification of finite simple groups

While people are steaming ahead on finessing the proof of the classification of finite simple groups (CFSG), we have a formal proof in Coq of one of the first major components: the Feit-Thompson odd-...
1
vote
0answers
65 views

How to prove this Gaussian Mixture theorem? (Fitting/Overfitting)

Note from OP: I gave up and reposted this Question with a Bounty on Cross Validated HERE. In certain applications, we approximate an unknown pdf by placing uniformly weighted Gaussian terms at each ...