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

2 731 projects (0,137s) •

Project

Theory and application of infinite systems of interacting particles and limit theorems (MEB020807)

; organizing workshop on limit theorems and particle systems in Prague.Investigation limit behaviour of zero range processes in random environment, invariant principles for stationary stochastic processes; formulating and s...

BA - Obecná matematika

  • 2008 - 2009
    • •
  • 100 tis. Kč
    • •
  • 100 tis. Kč
    • •
  • MŠMT
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 a...

BA - Obecná matematika

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

Asymptotics of spatial random processes (IAA1075201)

Within the project a new slass of central limit theorems in stochastics geometry will be derived. The original scientific content consists in using the setup of point processes on the space of nonempty compact subsets of the Euclide...

BA - Obecná matematika

  • 2002 - 2004
    • •
  • 807 tis. Kč
    • •
  • 307 tis. Kč
    • •
  • AV ČR
Project

Statistical procedures Behavior under finite and infinite numbers of observations (GAP201/12/0083)

Mathematical statistics and econometrics got a big progress in the study of limiting properties of their methods under an infinitely increasing number of observations n, using the central limit theorems, invariance principl...

BA - Obecná matematika

  • 2012 - 2014
    • •
  • 2 234 tis. Kč
    • •
  • 2 234 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

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

Model categories (GAP201/11/0528)

be based on the analysis of homotopy limits and colimits and their mutual relations and to lead to the understanding of homotopy orthogonality, homotopy limit theories and their potentialto obtain rigidification theorems i...

BA - Obecná matematika

  • 2011 - 2014
    • •
  • 2 382 tis. Kč
    • •
  • 2 382 tis. Kč
    • •
  • GA ČR
Project

Typical return times in dynamical systems (KJB100750901)

Recurrence is one of the key concepts in topological dynamics, ergodic and information theories. Especially, limit distributions of return times in dynamical systems mathematical theorems as well as important apllications, e.g. Lemp...

BA - Obecná matematika

  • 2009 - 2011
    • •
  • 588 tis. Kč
    • •
  • 588 tis. Kč
    • •
  • AV ČR
  • 1 - 10 out of 2 731