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

79 (0,073s) •

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

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

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

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

Martingale approximations and U-statistics (GPP201/11/P164)

The project studies the methods of martingale approximations and has two main goals. First of them is use of the methods of martingale approximations to derive new conditions for the central limit theorem, the invariance principle and the la...

BA - Obecná matematika

  • 2011 - 2015
    • •
  • 699 tis. Kč
    • •
  • 699 tis. Kč
    • •
  • GA ČR
Projekt

Smoothness in Banach spaces (IAA100190801)

We intend to study the possible generalizations of the classical theorems of finite dimensional analysis to the setting of Banach spaces. We are mostly concerned with smooth approximations, in the spirit of the Stone Weierstrass theorem<...

BA - Obecná matematika

  • 2008 - 2010
    • •
  • 969 tis. Kč
    • •
  • 969 tis. Kč
    • •
  • AV ČR
Projekt

Adaptive quantum tomography based on quantum Bayes’ theorem (GM25-17250M)

quantum tomography framework based on the recently discovered quantum Bayes' theorem...

Optics (including laser optics and quantum optics)

  • 2025 - 2029
    • •
  • 24 948 tis. Kč
    • •
  • 24 948 tis. Kč
    • •
  • GA ČR
Projekt

Combinatorial Methods in Information Theory (GN22-14872O)

The aim of this project is to study current problems in complexity, in particular lower bounds of data structures, and related notions like lifting theorems and network coding. The main aim is to narrow the gap between the current lower boun...

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

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

Symmetries of asymptotically flat spacetimes and radiation (GA202/00/P031)

try to find global theorems for boost-rotation symmetric spacetimes, the only beds in numerical relativity, that would help to formulate the global theorems......

BE - Teoretická fyzika

  • 2000 - 2002
    • •
  • 408 tis. Kč
    • •
  • 408 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 79