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

784 (0,184s) •

Project

Proof analysis AND Automated deduction FOr REcursive STructures (GF22-06414L)

toolbox. Though, its use makes formal proof analysis difficult. In essence, induction be finitely represented and used to analyze proofs and to provide a formal foundation information essential for computational <...

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

Combinatorics on words formalization (GA20-20621S)

combinatorial fields it naturally tends to technical and tedious proofs that often repeat for a computer verifiable formalization, which however has not been seriously attempted so far. Our intention is to formalize basic ...

Acoustics

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

NextReason Next Generation Computer Assisted Reasoning (GX25-17929X)

that such combinations are the key to strong assistance of mathematics and formal proof. To produce for reasoning and their transformative effect on mathematics and formal proof. formalization, (iv) neuro...

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

  • 2025 - 2029
    • •
  • 49 505 tis. Kč
    • •
  • 49 505 tis. Kč
    • •
  • GA ČR
Project

Formal theories of mathematical structures with vagueness (KJB100300502)

logical apparatus for the formalization of such structures. First steps, but also to a systematic study ofthese structures by proof-theoretic and model-theoretic methods. Moreover, the unified formalism will make an interc...

BA - Obecná matematika

  • 2005 - 2007
    • •
  • 1 125 tis. Kč
    • •
  • 1 125 tis. Kč
    • •
  • AV ČR
Project

Logic-based fuzzy mathematics (GPP103/10/P234)

of formal logic, generalization of known results in fuzzy mathematics by automatic fuzzification of all defined notions, transferability of definitions and proofs from classical mathematics, and applicability of proof-theo...

BA - Obecná matematika

  • 2010 - 2014
    • •
  • 1 266 tis. Kč
    • •
  • 1 266 tis. Kč
    • •
  • GA ČR
Project

Dynamic Formal Systems (IAA900090703)

The aim of the proposed project is to develop a bunch of methods exploiting dynamic approaches to non-classical logics and formal systems in general, to be applied in various disciplines including computer science, analytic philosophy and in...

BA - Obecná matematika

  • 2007 - 2010
    • •
  • 4 479 tis. Kč
    • •
  • 4 479 tis. Kč
    • •
  • AV ČR
Project

Verification and Analysis of Probabilistic Programs (GJ19-15134Y)

to develop formal verification techniques for proving properties of PPs. The aim of this project is to develop new automated techniques for formal analysis and verification notions of termination and safety proofs) and new...

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

  • 2019 - 2021
    • •
  • 5 053 tis. Kč
    • •
  • 5 053 tis. Kč
    • •
  • GA ČR
Project

Foundations of logic in the light of new results of philosophy and science (GA13-21076S)

and cognitive science, between model theory and proof theory, between informal and formal of the fundamental concepts of logic and the nature of logical formalization; especially on our......

AA - Filosofie a náboženství

  • 2013 - 2016
    • •
  • 4 342 tis. Kč
    • •
  • 4 342 tis. Kč
    • •
  • GA ČR
Project

Transfinite Certificates of Convergence (GA23-07931S)

will employ cutting-edge proof-theoretic and ordinal-theoretic techniques, including formalizations in the context of second order arithmetic, where the strength of many results......

Pure mathematics

  • 2023 - 2023
    • •
  • 152 tis. Kč
    • •
  • 152 tis. Kč
    • •
  • GA ČR
Project

Modeling vague quantifiers in mathematical fuzzy logic (GF15-34650L)

Vague quantifiers like `many', `few', or `about a half' present a major problem in natural language processing. Designing a satisfactory theory of vague quantifiers requires to construct formal models and evaluate them with regard to linguis...

IN - Informatika

  • 2015 - 2019
    • •
  • 6 071 tis. Kč
    • •
  • 6 071 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 784