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

352 (0,066s) •

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

Semilinear and Quasilinear Differential Equations Existence and Multiplicity Results (GA13-00863S)

theoretical results or else in connection with interval atithmetics as part of rigorous...

BA - Obecná matematika

  • 2013 - 2017
    • •
  • 14 130 tis. Kč
    • •
  • 14 130 tis. Kč
    • •
  • GA Č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

Algebraic and combinatorial aspects of aperiodic structures (GA201/05/0169)

for arithmetical operations in non-standard numeration systems, 2) description of combinatorial) characterization of substitution invariant infinite words coding 3 interval exchange,4......

BA - Obecná matematika

  • 2005 - 2007
    • •
  • 681 tis. Kč
    • •
  • 681 tis. Kč
    • •
  • GA ČR
Project

Mathematical Fuzzy Logic in Computer Science (GAP202/10/1826)

with the real unit interval as the set of truth values and general algebraic semantics and arithmetical complexity; fuzzy logic in the semantic web (description logic) and several......

IN - Informatika

  • 2010 - 2016
    • •
  • 9 136 tis. Kč
    • •
  • 9 136 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

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 and set th...

BA - Obecná matematika

  • 1999 - 2003
    • •
  • 4 576 tis. Kč
    • •
  • 1 696 tis. Kč
    • •
  • AV Č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 352