Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Ould Biha, Sidi"'
Autor:
Ould Biha, Sidi
Les systèmes de preuves formelles ont connu ces dernières années des évolutions importantes. Des travaux récents, comme la preuve formelle du théorème des quatre couleurs ou celle du théorème des nombres premiers, ont montré que ces systèm
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00493524
http://tel.archives-ouvertes.fr/docs/00/49/35/24/PDF/sidi-thesis.pdf
http://tel.archives-ouvertes.fr/docs/00/49/35/24/PDF/sidi-thesis.pdf
Autor:
Ould Biha, Sidi
Publikováno v:
JFLA (Journées Francophones des Langages Applicatifs)
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.1-14
JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.1-14
National audience; Le théorème de Cayley-Hamilton est l'un des principaux théorèmes de l'algèbre linéaire. Dans cet article, nous présentons une première formalisation dans un assistant à la preuve de ce théorème. Cette formalisation a ét
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::5c31819805ef976b301dd9a7ebc8c084
https://hal.inria.fr/inria-00202795/document
https://hal.inria.fr/inria-00202795/document
Autor:
Gonthier, Georges, Asperti, Andrea, Avigad, Jeremy, Bertot, Yves, Cohen, Cyril, Garillot, François, Le Roux, Stéphane, Mahboubi, Assia, O'Connor, Russell, Ould Biha, Sidi, Pasca, Ioana, Rideau, Laurence, Solovyev, Alexey, Tassi, Enrico, Théry, Laurent
Publikováno v:
Interactive Theorem Proving (9783642396335); 2013, p163-179, 17p
Publikováno v:
Theorem Proving in Higher Order Logics (9783540710653); 2008, p86-101, 16p
Autor:
Sidi Ould Biha
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642026133
Calculemus/MKM
8th International Conference on Mathematical Knowledge Management
8th International Conference on Mathematical Knowledge Management, Jul 2009, Grand Bend, Ontario, Canada
Calculemus/MKM
8th International Conference on Mathematical Knowledge Management
8th International Conference on Mathematical Knowledge Management, Jul 2009, Grand Bend, Ontario, Canada
International audience; Representation theory is a branch of algebra that allows the study of groups through linear applications, i.e. matrices. Thus problems in abstract groups can be reduced to problems on matrices. Representation theory is the bas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7372671557d6fd03a153a92b8ef7b7f8
https://doi.org/10.1007/978-3-642-02614-0_34
https://doi.org/10.1007/978-3-642-02614-0_34