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

718 (0,084s) •

Projekt

Algorithmic, structural and complexity aspects of configurations in the plane (GA14-14179S)

, in particular in the following areas: Erdös-Szekeres theorem and related estimates planarity, graph representations in the plane, algorithmic techniques. The plan......

BD - Teorie informace

  • 2014 - 2016
    • •
  • 3 080 tis. Kč
    • •
  • 3 080 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

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

Braided differential geometry and homotopy algebras (GN24-11324I)

theorems and BRST quantisation, topics which have proven intractable in general approached via Batalin-Vilkovisky algebras into noncommutative algebra and representation......

Pure mathematics

  • 2024 - 2027
    • •
  • 4 023 tis. Kč
    • •
  • 4 023 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 718