Linear-Algebraische Berechnungsmodelle für Boolesche Funktionen und ihre Anwendung

• Applicant: Professor Dr. Christoph Meinel
• Subject Area: Theoretical Computer Science
• Term: from 1999 to 2004
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5146058

Linear-algebraische Berechnungsmodelle für Boolesche Funktionen sind Modelle, deren Arbeitsweise nicht auf der Booleschen Algebra sondern auf Körperstrukturen beruht. Der Vorteil gegenüber traditionellen Modellen ist die unmittelbare Anwendbarkeit linear-algebraischer Methoden für Entwurf und Analyse. Neueste Untersuchungen eröffnen interessante Anwendungsmöglichkeiten für lineare Modelle, aber zu ihrer Umsetzung fehlen noch wichtige Einsichten in die Natur linearer Berechnungen. Im Projekt sollen lineare Modelle und Methoden systematisch untersucht werden, um die Grundlagen zu erweitern und Anwendungsmöglichkeiten zu erschließen.

• DFG Programme: Research Grants