Projektübersicht QBF Think Tank

Bei dem Projekt pyPHI handelt es sich um die Entwicklung einer ressourcenschonenden physics engine, die eine vollkommen diskrete Mathematisierung und realisitische Darstellung der bekannten Physik, und darüber hinaus auch einfache Möglichkeiten zur Entwicklung verschiedenster Physiken bereitstellt.

Das Projekt R3SI befasst sich mit der Generierung randomisierter SAT-Instanzen in exakt-3-konjunktiver Normalform in verschiedenen Dateiformaten und dient vornehmlich der Laufzeitprüfung von SAT-Solvern sowie der vielfachen Erzeugung von einfachen Logik Puzzles.

AIPIS steht für "AI Predictability of Integer Sequences" und befasst sich mit der eingabeformatabhängigen Verhersagbarkeit von Zahlenfolgen durch Künstliche Intelligenzen.

Das Evariste-Projekt befasst sich mit der Entwicklung neuartiger symmetrischer und asymmetrischer Verschlüssellungsmethoden mit Hilfe mathemater Methoden. Da im Rahmen eines Teilprojekte auf Methoden der Galoistheorie zurückgegriffen wurde, wurde Evariste Galois zum Namensgeber.

Das Projekt Quick Booking Forms, oder abgekürzt QBF, befasst sich mit der Erzeugung und Bereitsellung maschinenlesbarer Buchungsbelege und dient der Rationalisierung und Automatisierung von Verwaltungsvorgängen in kleinen und mittleren Betrieben. Der Schnellbuchbeleg unterliegt dem Schutz des Deutschen Patent- und Markenamtes. Zusammen mit Softwareentwicklern und Bilanzbuchhaltern entwicklen wir den notwendigen Universalkontenrahmen und Buchaltungssoftware.

Das LUPUS Projekt befasst sich mit der Erarbeitung, Bereitstellung und dem Vertrieb von Leitfäden unternehmerischer/universeller Prozesse und Strukturen. Die Erfahrung und das mathematisch-logische Know How unserer Mitarbeiter und Partner gegossen in kleine Handbücher für Menschen in Positionen, die Entscheidungen in komplexen Prozessen und Strukturen erarbeiten und rechtfertigen müssen.