Combinatorics on Words in Isabelle/HOL
Štěpán Holub (Charles University)
Wed Oct 30, 12:30-13:30 (2 months ago)
Abstract: The talk will present the ongoing project of formalization of combinatorics on words in the computer proof assistant Isabelle/HOL. Independently of the particular formalized topic, the talk will attempt to serve as an introduction to Isabelle/HOL for beginners.
(Demonstration file: PresentationWeb.thy)
mathematical physicsalgebraic topologydifferential geometryrepresentation theorystatistics theory
Audience: researchers in the topic
Prague-Hradec Kralove seminar Cohomology in algebra, geometry, physics and statistics
Series comments: Virtual coffee starts on Zoom already 15 minutes before the seminar.
| Organizers: | Hong Van Le*, Igor Khavkine*, Anton Galaev, Alexei Kotov, Petr Somberg, Roman Golovko |
| *contact for this listing |
Export talk to