How can you have a proof without proving anything? Mathematicians found a way and, in the process, came to blows over it – ...

Recognised as Ireland’s top university and placed 75th globally, Trinity shines in the 2026 QS World University Rankings.

The tipping point came in the summer of 2025. That July, several artificial intelligence models solved five out of six problems at the International Mathematical Olympiad, an annual challenge for some ...

Also available: the recorded lectures from the 2021 course instance (most in Swedish, some in English). This repository is mainly the home of the DSLsofMath book (originating from the course lecture ...

These are the lecture notes for block 1 of the \textit{Engineering Mathematics~1} (ENG1063) course. They contain the material covered in the lectures and more.

For thousands of years, mathematicians have adapted to the latest advances in logic and reasoning. Are they ready for artificial intelligence? By Siobhan Roberts In the collection of the Getty museum ...

Mathematicians have long been fascinated by objects that exhibit exceptionally nice combinatorial properties. However, it is often difficult to determine whether objects satisfying a given ...

This course provides a comprehensive introduction to computer vision. Major topics include image processing, detection and recognition, geometry-based and physics-based vision and video analysis.

The inverse problem of electrocardiography consists in reconstructing cardiac electrical activity from given body surface electrocardiographic measurements. Despite tremendous progress in the field ...