Algorithmic and structural problems of equational logic
Public support
Provider
Czech Science Foundation
Programme
Post-graduate (doctorate) grants
Call for proposals
Postdoktorandské granty 8 (SGA02008GA1PD)
Main participants
—
Contest type
VS - Public tender
Contract ID
201/08/P056
Alternative language
Project name in Czech
Algoritmické a strukturní problémy rovnicové logiky
Annotation in Czech
Cílem projektu je studium rovnicových teorií a jim odpovídajících variet algeber z hlediska strukturního a algoritmického. Pod strukturními vlastnostmi rozumíme například popis volných algeber a svazu podvariet, popis jednoduchých a subdirektně ireducibilních algeber a také otázky (ne)konečné bázovanosti. Výzkum by měl směřovat k varietám v jistém smyslu neobvyklým, ve snaze nalézt protipříklad na Parkovu domněnku a další věhlasné problémy, jež jsou v současné době částečně řešeny za dodatečných předpokladů (např. modularita kongruencí, vypouštění typů, asociativita, apod.). V algoritmické části projektu budou studovány především algoritmy na automatickou dedukci v rovnicové logice, jejich současné implementace a možnost jejich využití v algebraickém výzkumu. Projekt obsahuje i implementaci metod alternativních a jejich testování v praxi.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BA - General mathematics
CEP - secondary branch
—
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
The goals of both parts of the project, the structural and the algorithmic ones, were met. Within the framework of the project, we published 11 papers, containing results interesting with respect to current research in both algebra and automated reaasoning. We also took part in development of the software system SPASS-XDB. Some problems mentioned in the original proposal are not present with
Solution timeline
Realization period - beginning
Jan 1, 2008
Realization period - end
Dec 31, 2010
Project status
U - Finished project
Latest support payment
Apr 16, 2010
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
CEP11-GA0-GP-U/04:3
Data delivery date
Mar 20, 2015
Finance
Total approved costs
585 thou. CZK
Public financial support
585 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK