Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

15 805 (0,115s)

Výsledek výzkumu

Different Approaches of Study Direct Equivalence Characterization

BA - Obecná matematika

  • 2009
  • D
Výsledek výzkumu

The equivalence problem for generic four-dimensional metrics with two commuting Killing vectors

Pure mathematics

  • 2020
  • Jimp
  • Odkaz
Výsledek výzkumu

On the existence of local quaternionic contact geometries

Pure mathematics

  • 2020
  • Jimp
  • Odkaz
Výsledek výzkumu

On the equivalence of quaternionic contact structures

Pure mathematics

  • 2018
  • Jimp
  • Odkaz
Výsledek výzkumu

Characteristic Properties of Equivalent Structures in Compositional Models

BA - Obecná matematika

  • 2011
  • Jx
  • Odkaz
Výsledek výzkumu

CC-CIRCUITS AND THE EXPRESSIVE POWER OF NILPOTENT ALGEBRAS

Pure mathematics

  • 2022
  • Jimp
  • Odkaz
Výsledek výzkumu

Functional Equivalence Checking for Evolution of Complex Digital Circuits

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

  • 2015
  • C
  • Odkaz
Výsledek výzkumu

Holomorphic Equivalence and Nonlinear Symmetries of Ruled Hypersurfaces in C-2

BA - Obecná matematika

  • 2015
  • Jx
  • Odkaz
Výsledek výzkumu

Chance constrained problems: penalty reformulation and performance of sample approximation technique

BB - Aplikovaná statistika, operační výzkum

  • 2012
  • Jx
  • Odkaz
Výsledek výzkumu

Register Automata with Linear Arithmetic

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

  • 2017
  • D
  • Odkaz
  • 1 - 10 z 15 805