Géométrie algébrique
L'étude des espaces géométriques définis par des équations polynômes à l'aide d'outils qui relient forme, algèbre et arithmétique.
SCIENDIA Knowledge Desk
Read article
Collaborative knowledge
Sciendia Wiki
A living academic reference written, refined and transparently versioned by the Sciendia community.
6published pages
Sign in to contribute
Collaborative knowledgeRechercher
6 résultats
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear search
Vérification formelle
Méthodes mathématiques pour prouver que le matériel, le logiciel ou les protocoles satisfont aux propriétés précisées dans des hypothèses explicites.
SCIENDIA Knowledge Desk
Read article
Informatique neuromorphe
Architectures informatiques qui utilisent des neurones, synapses et intégration de calcul de mémoire inspirés par les événements.
SCIENDIA Knowledge Desk
Read article
Preuves de connaissance zéro
Les protocoles cryptographiques qui prouvent qu'une déclaration est vraie sans révéler le témoin secret qui la rend vraie.
SCIENDIA Knowledge Desk
Read article
Chiffrement homomorphe
Méthodes cryptographiques permettant de calculer des données cryptées sans révéler le texte clair.
SCIENDIA Knowledge Desk
Read article
Nombres premiers
Entiers positifs supérieurs à un dont les seuls diviseurs positifs sont un et eux-mêmes.
SCIENDIA Knowledge Desk
Read article