Formale Begriffsanalyse mittels Pytorch

In diesem Projekt soll untersucht werden, inwiefern sich Strukturen aus dem Bereich der formalen Begriffsanalyse mittels Pytorch implementieren lassen. Desweiteren soll evaluiert werden, wie sich Aufgaben wie die Berechnung von Ableitungen und Begriffsverbände mittels optimierter Tensoroperationen effizient realisieren lassen.

Informationen: Maximilian Stubbemann