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

512 (0,131s) •

Project

Mathematical logic and computational complexity (IAA1019901)

We plan to work in the following related areas: the complexity of propositional calculus, bounded arithmetic, circuit complexity, communication complexity, efficient algorithms, on-line algorithms, higher-order arithmetic a...

BA - Obecná matematika

  • 1999 - 2003
    • •
  • 4 576 tis. Kč
    • •
  • 1 696 tis. Kč
    • •
  • AV ČR
Project

Complexity of computation, communication, and search (GA25-16311S)

search problems, and arithmetic circuit complexity. These areas form a web...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2025 - 2027
    • •
  • 11 416 tis. Kč
    • •
  • 10 939 tis. Kč
    • •
  • GA ČR
Project

Mathematical logic, complexity theory and their connections (ME 103)

We investigate problems connecting mathematical logic and complexity theory. In logic this concerns mainly problems on the lengths of proofs, in complexity theory the most important problem is P vs. NP.......

BA - Obecná matematika

  • 1997 - 1999
    • •
  • 1 327 tis. Kč
    • •
  • 732 tis. Kč
    • •
  • MŠMT
Project

Arithmetic, proof theory and complexity theory (IAA1019602)

foundations of arithmetic. We plan to work on open problems in the following areas: complexity theory, bounded arithmetic and propositional logic, higher order arithmetic and propositional logic, higher order arithmeti...

BA - Obecná matematika

  • 1996 - 1998
    • •
  • 1 779 tis. Kč
    • •
  • 823 tis. Kč
    • •
  • AV ČR
Project

Theories, proofs and computational complexity (IAA1019401)

This is a purely tehoretical research in mathematics and theoretical computer science. The main aim is to study the concept of computational complexity from several points of view:1. first order tehories, 2. the propositional calculus and 3. voolean ...

BA - Obecná matematika

  • 2004 - 2008
    • •
  • 2 165 tis. Kč
    • •
  • 2 165 tis. Kč
    • •
  • AV ČR
Project

Algebraic, analytic and combinatorial number theory (GA201/07/0191)

of some important aspects of the arithmetical structure of the sets of integers of these relations to arithmetical objects build on some more abstract premises as arithmetical of real numbers, and properties of arithme...

BA - Obecná matematika

  • 2007 - 2009
    • •
  • 3 220 tis. Kč
    • •
  • 3 220 tis. Kč
    • •
  • GA ČR
Project

Study of properties of residual arithmetic for solving sets of linear equations (GAP103/12/2377)

Our intention is to study the properties of the multiple-modulus residual arithmetic with respect to specific numerical problems of linear algebra. One of complex problems of linear algebra suitable for our purpose is solving large systems o...

JC - Počítačový hardware a software

  • 2012 - 2016
    • •
  • 3 624 tis. Kč
    • •
  • 3 624 tis. Kč
    • •
  • GA ČR
Project

Methods of number theory (GA201/04/0381)

number theory should contribute to a better understanding of the arithmetical arithmetical objects as the sets of the rational and algebraic integers, or the sets of arithmetical functions, or their generalizations as abst...

BA - Obecná matematika

  • 2004 - 2006
    • •
  • 2 997 tis. Kč
    • •
  • 2 997 tis. Kč
    • •
  • GA ČR
Project

Distribution and metric properties of number sequences and their applications (GAP201/12/2351)

indicating the distribution type and their impact on the randomness and the arithmetics arithmetic characteristics (discrepancy, density etc.) of sequences and their sets and their arithmetic properties, as irrationality, ...

BA - Obecná matematika

  • 2012 - 2015
    • •
  • 8 070 tis. Kč
    • •
  • 8 070 tis. Kč
    • •
  • GA ČR
Project

Metamathematics of arithmetic, complexity theory and set theory (IAA119107)

9O - 9

  • 1993 - 1995
    • •
  • 102 tis. Kč
    • •
  • 204 tis. Kč
    • •
  • AV ČR
  • 1 - 10 out of 512