Relational Topology

Das Fachbuch "Relational Topology" von Michael Winter bietet eine umfassende Einführung in neue algebraische Methoden zur Arbeit mit Relationen, die häufig als Boolesche Matrizen betrachtet werden. Diese Methoden finden Anwendung in der Topologie und spiegeln die Matrizen wider, die in verschiedenen Bereichen der Mathematik, Numerik, Statistik und Ingenieurwissenschaften vorkommen. Das Buch hebt hervor, dass die verwendeten Techniken weniger bekannt sind, obwohl sie bedeutende Anwendungen in der räumlichen Argumentation und in der Logik der Informatik haben. Topologen werden mit vertrauten Konzepten konfrontiert, die in einer prägnanten und algebraisch manipulierbaren Form präsentiert werden, was das Verständnis erleichtert. Zudem wird die Möglichkeit aufgezeigt, topologische Probleme mithilfe von Beweisassistenten zu bearbeiten.