(en) Charlie Murphy, Patrick Gray et Gordon Stewart, «Verified perceptron convergence theorem», Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, Association for Computing Machinery, mAPL 2017, , p.43–50 (ISBN978-1-4503-5071-6, DOI10.1145/3088525.3088673, lire en ligne, consulté le ).
doi.org
(en) Charlie Murphy, Patrick Gray et Gordon Stewart, «Verified perceptron convergence theorem», Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, Association for Computing Machinery, mAPL 2017, , p.43–50 (ISBN978-1-4503-5071-6, DOI10.1145/3088525.3088673, lire en ligne, consulté le ).
(en) Albert Novikoff, On convergence proofs for Perceptrons, Washington, D.C., Office of Naval Research et Stanford Research Institute, (lire en ligne[PDF]), p.2.