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

279 (0,137s) •

Project

Combinatorics on words formalization (GA20-20621S)

Combinatorics on words is an area of discrete mathematics and like other combinatorial fields it naturally tends to technical and tedious proofs that often repeat far. Our intention is to formalize basic theory of combinatorics<...

Acoustics

  • 2020 - 2023
    • •
  • 3 777 tis. Kč
    • •
  • 3 741 tis. Kč
    • •
  • GA ČR
Project

Combinatorics on words from numeration systems to discrete geometry (8J25FR026)

Words (strings) are one of the main objects of study in theoretical computer science, especially in combinatorics on words, stringology, data compression. This project focuses on combinatorics on words...

Pure mathematics

  • 2025 - 2026
    • •
  • 182 tis. Kč
    • •
  • 182 tis. Kč
    • •
  • MŠMT
Project

Combinatorics on words (GP201/03/D117)

The project deals with several closely connected problems of combinatorics on words. The emphasis is put on the research of equality sets of two binary morphisms, to give a description of the generating word. The project al...

BA - Obecná matematika

  • 2003 - 2006
    • •
  • 420 tis. Kč
    • •
  • 420 tis. Kč
    • •
  • GA ČR
Project

Algebraic and combinatorial aspects of aperiodic structures (GA201/09/0584)

. These structures are usually coded by infinite words over a finite alphabet.We shall study mainly the following questions:properties of r-iet words, i.e. infinite words preservingr-iet words, limits of r-iet ...

BA - Obecná matematika

  • 2009 - 2012
    • •
  • 1 384 tis. Kč
    • •
  • 1 384 tis. Kč
    • •
  • GA ČR
Project

General algebra and its connections to computer science (GA13-01832S)

and their relation to knot theory), and word equations (binary equality languages, binary Post...

BA - Obecná matematika

  • 2013 - 2017
    • •
  • 6 852 tis. Kč
    • •
  • 6 852 tis. Kč
    • •
  • GA ČR
Project

Applications of Algebra and Combinatorics in Formal Language Theory (GA15-02862S)

, rewriting, theory of finite and profinite semigroups, combinatorics on words and well...

BA - Obecná matematika

  • 2015 - 2017
    • •
  • 3 203 tis. Kč
    • •
  • 3 203 tis. Kč
    • •
  • GA ČR
Project

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

) 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

Model thoery and extremal combinatorics (GJ18-13685Y)

Ramsey theory is fast evolving as an area which uses and enriches research not only in combinatorics, but also in model theory, topological dynamics, category theory, constraint satisfaction problem solving and infinitary combinatorics

Pure mathematics

  • 2018 - 2021
    • •
  • 6 197 tis. Kč
    • •
  • 6 197 tis. Kč
    • •
  • GA ČR
Project

Deterministic processes on graphs and hypergraphs (GA25-17377S)

Many interesting and important questions in combinatorics revolve around discrete time deterministic processes or one player games on discrete structures such as graphs and hypergraphs. This framework encompasses bootstrap percolati...

Pure mathematics

  • 2025 - 2027
    • •
  • 9 691 tis. Kč
    • •
  • 9 300 tis. Kč
    • •
  • GA ČR
Project

The Automatic Combinatorialist (GA24-11820S)

In this project we plan to study to which extent we can automate solving of problems from enumerative combinatorics. Such problems are nowadays still solved by human combinatorialists mostly by hand. We plan to devise algorithms that will al...

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

  • 2024 - 2026
    • •
  • 6 679 tis. Kč
    • •
  • 6 679 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 279