All

What are you looking for?

All
Projects
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

77 (0,329s) •

Project

Almost null structures in pseudo-riemannian geometry (GP14-27885P)

of the Goldberg-Sachs theorem, which relate the degeneracy of the Weyl tensor...

BA - Obecná matematika

  • 2014 - 2015
    • •
  • 1 740 tis. Kč
    • •
  • 1 740 tis. Kč
    • •
  • GA ČR
Project

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

to completion of the proof of the VSI theorem); iii) Geometric properties of general relativity inhigher dimensions (Goldberg-Sachs theorem etc.).......

BE - Teoretická fyzika

  • 2010 - 2012
    • •
  • 1 415 tis. Kč
    • •
  • 1 415 tis. Kč
    • •
  • GA ČR
Project

Higher dimensional gravity (GA13-10042S)

properties and generalization of the Goldberg-Sachs theorem for D>5 and construct exact...

BE - Teoretická fyzika

  • 2013 - 2017
    • •
  • 4 802 tis. Kč
    • •
  • 4 802 tis. Kč
    • •
  • GA ČR
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
  • 1 - 10 out of 77