Video Lectures

Separate tags with a comma.

The European Qur'an

Roberto Tottoli

“The European Qur’ān” (EuQu: https://euqu.eu/) is an ongoing project funded by a Synergy Grant of the European Research Council (ERC), dedicated to the important place of the Muslim holy book in European cultural and religious history. From the 12th...

Expander graphs are graphs which simultaneously are both sparse and highly connected. The theory of expander graphs received a lot of attention in the past half a century, from both computer science and mathematics. In recent years, a new theory of...

Non-constructive existence proofs, which establish the existence of objects without furnishing an efficient algorithm to produce examples, abound in mathematics. How hard is it, computationally, to find objects whose existence is guaranteed non...