[图书][B] Handbook of geometric constraint systems principles
M Sitharam, AS John, J Sidman - 2018 - taylorfrancis.com
The Handbook of Geometric Constraint Systems Principles is an entry point to the currently
used principal mathematical and computational tools and techniques of the geometric …
used principal mathematical and computational tools and techniques of the geometric …
Verified perceptron convergence theorem
Frank Rosenblatt invented the perceptron algorithm in 1957 as part of an early attempt to
build``brain models'', artificial neural networks. In this paper, we apply tools from symbolic …
build``brain models'', artificial neural networks. In this paper, we apply tools from symbolic …
Formalization of the Poincaré disc model of hyperbolic geometry
We describe formalization of the Poincaré disc model of hyperbolic geometry within the
Isabelle/HOL proof assistant. The model is defined within the complex projective line CP^ 1 …
Isabelle/HOL proof assistant. The model is defined within the complex projective line CP^ 1 …
Contributions au développement des méthodes formelles de preuves et applications à la géométrie
N Magaud - 2020 - hal.science
L'utilisation des assistants de preuve comme Coq prend de plus en plus d'ampleur. De tels
outils permettent de démontrer formellement aussi bien des résultats mathématiques que …
outils permettent de démontrer formellement aussi bien des résultats mathématiques que …
[PDF][PDF] Sujet de stage de M2 Informatique: Implantation fonctionnelle d'algorithmes géométriques en 3D
N Magaud - dpt-info.di.unistra.fr
Décrire formellement des algorithmes géométriques, puis en démontrer la correction dans
un outil d'aide à la preuve tel que Coq [5, 1] nécessite en premier lieu d'en produire une …
un outil d'aide à la preuve tel que Coq [5, 1] nécessite en premier lieu d'en produire une …