Aube estivale

Rss feed

Aperçu d'un assistant de preuve

Publié le vendredi 3 août 2018

Pour illustrer un aspect de la recherche en "méthodes formelles", voici un petit aperçu de mon outil de travail actuel : l'assistant de preuve Coq.

L'idée est d'écrire et de démontrer des théorèmes (comme le théorème de Pythagore ou le théorème d'Euclide sur les nombres premiers) dans un langage dédié, qui peuvent être ensuite vérifiés automatiquement.

(…)

Dépoussiérage

Publié le jeudi 2 août 2018

Cela fait beaucoup trop longtemps que j'ai délaissé ce blog au bénéfice de son jumeau anglophone blog.poisson.chat, d'avantage pour programmeurs ou chercheurs dans des domaines pointus.

Ici sur aubestivale.fr, il me semble plus utile de faire de la vulgarisation scientifique pour des lecteurs peu familiers avec l'informatique et qui peuvent n'avoir que de vagues souvenirs de mathématiques à l'école. N'hésitez pas à me poser des questions, à demander des éclaircissements sur certains points, et à corriger mes anglicismes via contact@aubestivale.fr ou les lieux où vous savez me trouver.

(…)

Comme au festival

Publié le mardi 2 février 2016

Me voilà avec un blog et l'obligation de le remplir.

(…)