Sayantan Roy

Pesquisas revelam insights importantes sobre transições metal-isolante usando sistemas de átomos frios.

Uma visão geral da lógica multivalorada e sua importância em várias áreas.

Teoremas de eliminação de cortes simplificam provas lógicas ao remover passos desnecessários.