Sayantan Roy

Des recherches dévoilent des infos clés sur les transitions métal-isolant en utilisant des systèmes d’atomes froids.

Un aperçu de la logique à plusieurs valeurs et son importance dans divers domaines.

Les théorèmes d'élimination des coupes simplifient les preuves logiques en enlevant les étapes inutiles.