Interpolation, Amalgamation, and Computation
Public support
Provider
Czech Science Foundation
Programme
—
Call for proposals
SGA0202500003
Main participants
Ústav informatiky AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
25-18306M
Alternative language
Project name in Czech
Interpolace, amalgamace a výpočty
Annotation in Czech
Interpolace je základní metalogická vlastnost širokého významu pro několik oborů, včetně ověřování softwaru/hardwaru, databází, matematiky a filozofie. Tento projekt si klade za cíl překlenout propast mezi dvěma dominantními paradigmaty ve studiu interpolace: teoretickým důkazem a algebraickým přístupem. Sloučením těchto metodologií projekt vyvine systematický popis interpolace v různých prostředích a zejména vytvoří flexibilní a výkonnou sadu nástrojů pro zkoumání interpolace v různých logických kontextech. Náš výzkum klade zvláštní důraz na nalezení široce použitelných technik pro pochopení výpočetních aspektů interpolace, jako je rozhoditelnost různých otázek souvisejících s interpolací a složitost souvisejících algoritmů.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
10101 - Pure mathematics
OECD FORD - secondary branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
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>)
AF - Documentation, librarianship, work with information<br>BA - General mathematics<br>BC - Theory and management systems<br>BD - Information theory<br>IN - Informatics
Solution timeline
Realization period - beginning
Jan 1, 2025
Realization period - end
Dec 31, 2029
Project status
Z - Beginning multi-year project
Latest support payment
—
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
CEP25-GA0-GM-R
Data delivery date
Feb 26, 2025
Finance
Total approved costs
22,483 thou. CZK
Public financial support
22,483 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK