Combinatorics on words formalization
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
SGA0202000001
Main participants
Univerzita Karlova / Matematicko-fyzikální fakulta
Contest type
VS - Public tender
Contract ID
20-20621S
Alternative language
Project name in Czech
Formalizace kombinatoriky na slovech
Annotation in Czech
Kombinatorika na slovech je oblast diskrétní matematiky, která jako jiné kombinatorické obory přirozeně tíhne k technickým a pracným důkazům, často obsahujícím opakování podobných úvah a rozsáhlé rozbory případů. Jako taková je vhodná k počítačově ověřitelné formalizaci, o kterou se však dosud nikdo vážněji nepokusil. Naším úmyslem je formalizovat základní teorii konečných slov v dokazovacím asistentu Isabelle/HOL a poté se zaměřit na rozsáhlý projekt klasifikace binárních ekvivalenčních slov, který svou komplexností již naráží na meze běžné lidské kontroly. Projekt jednak nepochybným způsobem zpřístupní existující výsledky, jednak bude ohledávat jejich hranice a testovat schonost automatických dokazovacích nástrojů nalézat v této oblasti nová fakta, nebo alespoň urychlit lidský výzkum.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10307 - Acoustics
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
BI - Acoustics and oscillation
Solution timeline
Realization period - beginning
Jan 1, 2020
Realization period - end
Jun 30, 2023
Project status
—
Latest support payment
Apr 1, 2023
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP24-GA0-GA-R
Data delivery date
May 21, 2024
Finance
Total approved costs
3,777 thou. CZK
Public financial support
3,741 thou. CZK
Other public sources
36 thou. CZK
Non public and foreign sources
0 thou. CZK