PhD graduated: Kristin Shaw (December 2011), Lionel Lang (December 2014), Nikita Kalinin (December 2015), Mikhail Shkolnikov (June 2017), Johannes Josi (February 2018). Current members: Thomas Blomme, ...

Abstract: In this paper, based on granular space, some hierarchical clustering problems and analysis for fuzzy proximity relation are developed by using rigorous mathematical descriptions, and four ...

Earlier this month the Mathematics Institute at Uppsala University hosted a conference called Categorification in Algebra and Topology, clearly a theme close to our collective heart. As yet there are ...

The course gives a basic introduction to analytical mechanics and classical field theory, with an emphasis on the Lagrange-Hamilton formalism, Noether's theorem and the action concept. Further, the ...

Mathematics is the universal language of science while computer science is the study of the hardware and algorithms that are used in modern computer systems. Since many of the early pioneers of ...

An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.