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.
8published pages
Sign in to contribute
Collaborative knowledgeRechercher
8 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
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
Informatique quantique
Calcul qui contrôle les états quantiques pour traiter les informations par interférence, intrication et mesure.
SCIENDIA Knowledge Desk
Read article
Consensus sur la blockchain
Comment les participants distribués s'accordent sur un grand livre ordonné malgré les retards, les échecs et les propositions contradictoires.
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
Intrication quantique
Comment les systèmes quantiques composites présentent des corrélations qui ne peuvent pas être reproduites par les modèles locaux classiques.
SCIENDIA Knowledge Desk
Read article