All
All

What are you looking for?

All
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

-
19852030

Join usingOrAnd

Join usingOrAnd

SelectAll/None

      • Show more

      • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

77 projects (0,149s) •

Project

Topics in set theory Traces of large cardinals, variants of Hechler's theorem, and ultrafilters on countable sets (7AMB15AT035)

The goal of the project is to expand the collaboration between specialists working in different areas of Set Theory. We shall, in particular, try to exploit the complementary expertise of the Czech and Austrian teams while solving problems on the bor...

BA - Obecná matematika

  • 2015 - 2016
    • •
  • 200 tis. Kč
    • •
  • 200 tis. Kč
    • •
  • MŠMT
Project

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
Project

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
Project

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
Project

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
Project

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
Project

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
Project

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
Project

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
Project

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
  • 1 - 10 out of 77