Pinned Repositories
fds_seminar
field-extensions
field extensions in Isabelle/HOL (interdisciplinary project)
IsabelleBasicNumericalProofs
bachelor thesis in informatics
KMP
LearningFormalLanguages
A haskell implementation of Angluin's learnig algorithm with the machine as learner, see http://www.model.in.tum.de/um/courses/auto/ws1314/script/autonotes.pdf#section.2.7
PCAPC
tsp-approximation
an approximation algorithm for the metric travelling salesperson problem, formulated within the Isabelle Refinement Framework
helli's Repositories
helli/LearningFormalLanguages
A haskell implementation of Angluin's learnig algorithm with the machine as learner, see http://www.model.in.tum.de/um/courses/auto/ws1314/script/autonotes.pdf#section.2.7
helli/fds_seminar
helli/field-extensions
field extensions in Isabelle/HOL (interdisciplinary project)
helli/IsabelleBasicNumericalProofs
bachelor thesis in informatics
helli/KMP
helli/PCAPC
helli/tsp-approximation
an approximation algorithm for the metric travelling salesperson problem, formulated within the Isabelle Refinement Framework