A living academic reference written, refined and transparently versioned by the Sciendia community.
Collaborative knowledgeSuchen
8 Treffer
Wiki pages are public to read. Every signed-in member can create and improve them.
Clear searchDie Untersuchung von geometrischen Räumen, die durch Polynomgleichungen definiert werden, unter Verwendung von Werkzeugen, die Form, Algebra und Arithmetik verbinden.
Mathematische Methoden zum Nachweis, dass Hardware, Software oder Protokolle unter expliziten Annahmen genau angegebene Eigenschaften erfüllen.
Kryptografische Protokolle, die eine Aussage beweisen, sind wahr, ohne den geheimen Zeugen zu enthüllen, der sie wahr macht.
Kryptographische Verfahren, die ausgewählte Berechnungen auf verschlüsselten Daten ermöglichen, ohne vorher den Klartext preiszugeben.
Berechnung, die Quantenzustände steuert, um Informationen mithilfe von Interferenz, Verschränkung und Messung zu verarbeiten.
Wie sich verteilte Teilnehmer trotz Verzögerungen, Ausfällen und widersprüchlichen Vorschlägen auf ein Ordered Ledger einigen.
Positive ganze Zahlen größer als eins, deren einzige positive Teiler eins und sich selbst sind.
Wie zusammengesetzte Quantensysteme Korrelationen aufweisen, die durch klassische lokale Modelle nicht reproduziert werden können.
