(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.