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

      • Show more

      • Show more

      • Show more

    • Show more

SelectAll/None

Join usingOrAnd

-

More filters

Projects

1 725 projects (0,154s) •

Project

Malleable Theorem Proving Architectures (GA24-12759S)

of automatic theorem provers by the integration of (deep) machine learning components theorem proving architectures directly designed to benefit the most from the marriage the performance of a state-of-the-art pro...

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

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

are still relatively rare, and it is well known that first-order theorem provingIn this project, we will systematically investigate the topic of combining machine learning methods with state-of-the-art saturation-style Automated

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

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

for automated theorem proving. While there are interpretations of Herbrand’s theorem of analyticity, the most desirable property of Herbrand’s theorem. Given the rising importance of formal mathematics and inducti...

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

Combinatorial Methods in Information Theory (GN22-14872O)

is the right complexity measure of functions for which we can prove a lifting theoremThe aim of this project is to study current problems in complexity, in particular lower bounds of data structures, and related notions like liftin...

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
Project

Universal Quadratic Forms and Class Numbers (GM21-00420M)

and proving 290-theorems, and 2. class numbers of number fields, determining their precise with the class number one problem. We aim at proving the following fundamental hypothesis......

Pure mathematics

  • 2021 - 2025
    • •
  • 23 271 tis. Kč
    • •
  • 23 271 tis. Kč
    • •
  • GA ČR
Project

Weighted inequalities for integral operators (GA201/97/0744)

, various s-numbers etc.) and apply the results thereby obtained to prove interpolation and extrapolation theorems and the study of function spaces and their mutual relations (e.g. embedding theorems). Recently we have seen...

BA - Obecná matematika

  • 1997 - 1999
    • •
  • 4 309 tis. Kč
    • •
  • 1 352 tis. Kč
    • •
  • GA ČR
Project

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

, providing strong theorems as well as being a source of difficult problems. This project, group theory, model theory, and computer science). We plan to also prove classical (non-structural) Ramsey-type theorems for trees m...

Pure mathematics

  • 2025 - 2027
    • •
  • 8 901 tis. Kč
    • •
  • 8 223 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

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

General relativity in higher dimensions (GAP203/10/0749)

automatically solve Gauss-Bonnet gravity etc and progress in the type III class could lead to completion of the proof of the VSI theorem); iii) Geometric properties of general relativity inhigher dimensions (Goldberg-Sachs theo...

BE - Teoretická fyzika

  • 2010 - 2012
    • •
  • 1 415 tis. Kč
    • •
  • 1 415 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 1 725