Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”
CS
ČeštinaEnglish

Filtry

83 (0,077s) •

Projekt

Trees and structures Ramsey properties, symmetries and applications (GA25-15571S)

(non-structural) Ramsey-type theorems for trees motivated by these results.Ramsey theory has a unique position in mathematics and computer science, providing strong theorems as well as being a source of difficult ...

Pure mathematics

  • 2025 - 2027
    • •
  • 8 901 tis. Kč
    • •
  • 8 223 tis. Kč
    • •
  • GA ČR
Projekt

Ramsey-like aspects of graph coloring (GA17-04611S)

Ramsey theory studies conditions guaranteeing existence of large well-structured subobjects in a given object. One of the approaches to bound the size with given properties. This gives a natural connection between graph coloring and R...

BA - Obecná matematika

  • 2017 - 2019
    • •
  • 4 923 tis. Kč
    • •
  • 3 737 tis. Kč
    • •
  • GA ČR
Projekt

Model thoery and extremal combinatorics (GJ18-13685Y)

Ramsey theory is fast evolving as an area which uses and enriches research not only in combinatorics, but also in model theory, topological dynamics, category theory, constraint satisfaction problem solving and infinitary combinatorics. Thes...

Pure mathematics

  • 2018 - 2021
    • •
  • 6 197 tis. Kč
    • •
  • 6 197 tis. Kč
    • •
  • GA ČR
Projekt

Ramsey theory in the context of group theory, model theory and topological dynamics (GA21-10775S)

Recent connections between combinatorics (both finitary and infinitary), model theory, group theory and topological dynamics have led to a fruitful ground of research, which has motivated new developments in all of these areas and elsewhere, includin...

Pure mathematics

  • 2021 - 2023
    • •
  • 8 853 tis. Kč
    • •
  • 8 559 tis. Kč
    • •
  • GA ČR
Projekt

Malleable Theorem Proving Architectures (GA24-12759S)

Encouraged by the promising results of the recent years with the improvement of automatic theorem provers by the integration of (deep) machine learning components theorem proving architectures directly designed to benefit the most f...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2024 - 2026
    • •
  • 7 885 tis. Kč
    • •
  • 7 885 tis. Kč
    • •
  • GA ČR
Projekt

Beyond the Four Color Theorem (LL2328)

Cutting-edge research project in the area of graph theory – graph coloring and algorithms....

Pure mathematics

  • 2023 - 2028
    • •
  • 24 471 tis. Kč
    • •
  • 24 471 tis. Kč
    • •
  • MŠMT
Projekt

Proof analysis AND Automated deduction FOr REcursive STructures (GF22-06414L)

. Herbrand’s theorem covers classical predicate logic where this information can for automated theorem proving. While there are interpretations of Herbrand’s theorem of analyticity, the most desirable property of Herbrand’s...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2022 - 2025
    • •
  • 4 377 tis. Kč
    • •
  • 4 377 tis. Kč
    • •
  • GA ČR
Projekt

Theory and application of infinite systems of interacting particles and limit theorems (MEB020807)

; organizing workshop on limit theorems and particle systems in Prague....

BA - Obecná matematika

  • 2008 - 2009
    • •
  • 100 tis. Kč
    • •
  • 100 tis. Kč
    • •
  • MŠMT
Projekt

Powering Automatic Theorem Provers by Machine Learning (GJ20-06390Y)

In this project, we will systematically investigate the topic of combining machine learning methods with state-of-the-art saturation-style Automated Theorem Provers (ATPs). Our ultimate objective is increasing the performance of these ATPs a...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2020 - 2022
    • •
  • 6 467 tis. Kč
    • •
  • 6 467 tis. Kč
    • •
  • GA ČR
Projekt

Complex Structures Regularities in Combinatorics and Discrete Mathematics (LL1201)

Basic research project in the border area of combinatorics, discrete mathematics and theoretical computer science, Particularly in connection to the asymptotic analysis of large networks. The methods involve most classical mathematical areas with som...

BA - Obecná matematika

  • 2012 - 2017
    • •
  • 35 730 tis. Kč
    • •
  • 35 730 tis. Kč
    • •
  • MŠMT
  • 1 - 10 z 83