Inhaltsangabe: Einleitung: Das Ziel dieses Praktikums ist es, unter Berucksichtigung der Phasen der Softwareentwicklung, eine Webanwendung zur effizienten Recherche in der Lost Art Internet Datenbank zu entwerfen und einzelne Module zu implementieren. Die Webanwendung soll den vollstandigen Rechercheprozess, angefangen von der Vorverarbeitung der Daten bis hin zur Reprasentation der Ergebnisse unterstutzen. Auch fur bereits existierende Abbildungen muss die Moglichkeit bestehen diverse Feature (z.B. Farbe oder Textur) zu extrahierten und diese in einer Datenbank abzulegen. Der Nutzer soll die...

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.