Online Maximum Independent Set of Hyperrectangles
-
Updated
Mar 19, 2024 - Jupyter Notebook
Online Maximum Independent Set of Hyperrectangles
A calculator for the Cocke-Younger-Kasami-Algorithm that determines whether a word belongs to a context-free language.
Minimization of DFA using equivalence theorem, written in Haskell
Library for simulating deterministic finite Automata
Programming paradigms & features, theoretical languages, turing machines, grammars, and regular expressions.
lecture notes for the "description logic" lecture @ TU Dresden
A series of programs that enable one's investigations in the algebraic complexity theory such as matrix multiplication algorithms, primality tests, algebraic complexity, sorting algorithms etc. Each algorithm is accompanied by a comparative time complexity analysis and a class of test cases and test suites.
Notes for COS511: Theoretical Machine Learning by Princeton University
LaTeX source for my presentation of Hans Bodlaender's "Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth"
wrote a quine program for my theoretical comp sci class.
A Javascript Simulation of Conway's Game of Life Cellular Automata Model
A collection of new, interesting, and awesome programming languages!
Simple analysis and model checking tool for finite discrete time-homogeneous Markov chains. Model checks PCTL properties and computes transient and steady state distribution.
"我估计你书也难以看懂"
simulate universal turing machines using the gödel numbering
Zusammenfassung zu den Modulen Theoretische Informatik 1 bis 3 an der Universität Stuttgart
Teoretická informatika - Domácí úkoly
Notes for different topics about theoretical computer science and mathematics.
Add a description, image, and links to the theoretical-computer-science topic page so that developers can more easily learn about it.
To associate your repository with the theoretical-computer-science topic, visit your repo's landing page and select "manage topics."