Martin Kovár

Applied Results

• 2014

  Attribute Frameworks, software, 2014
  Authors: KOVÁR, M.; KLIMEŠOVÁ, M.; KŘEHLÍK, Š.

  Attribute Generalized Metrics, software, 2014
  Authors: KOVÁR, M.; KLIMEŠOVÁ, M.; KŘEHLÍK, Š.

  Formal Concept Atribute Distances, software, 2014
  Authors: KOVÁR, M.; KŘEHLÍK, Š.; KLIMEŠOVÁ, M.

  Formal Concept Object Distances, software, 2014
  Authors: KOVÁR, M.; KLIMEŠOVÁ, M.; KŘEHLÍK, Š.

  Object Frameworks, software, 2014
  Authors: KOVÁR, M.; KŘEHLÍK, Š.; KLIMEŠOVÁ, M.

  Object Generalized Metrics, software, 2014
  Authors: KOVÁR, M.; KŘEHLÍK, Š.; KLIMEŠOVÁ, M.

• 2013

  Framework Duality Explorer, software, 2013
  Authors: KOVÁR, M.; CHERNIKAVA, A.

  Framework Isomorphism Generator, software, 2013
  Authors: KOVÁR, M.; CHERNIKAVA, A.; KŘEHLÍK, Š.

  Framework Morphism Checker, software, 2013
  Authors: KOVÁR, M.; CHERNIKAVA, A.; KLIMEŠOVÁ, M.

  Generalized Distances, software, 2013
  Authors: KOVÁR, M.; CHERNIKAVA, A.

  Random Topology Generator, software, 2013
  Authors: KOVÁR, M.; PIDDUBNA, G.

  Topological Models, software, 2013
  Authors: KOVÁR, M.; CHERNIKAVA, A.

• 2012

  Compactificability Simulator, software, 2012
  Authors: KOVÁR, M.; CHERNIKAVA, A.

  Dual Poset Explorer, software, 2012
  Authors: KOVÁR, M.; CHERNIKAVA, A.

  Functional Analyzer, software, 2012
  Authors: KOVÁR, M.; CHERNIKAVA, A.; KŘEHLÍK, Š.

  Propositional Analyzer, software, 2012
  Authors: KOVÁR, M.; KŘEHLÍK, Š.; PIDDUBNA, G.

  Quadratic Surface Explorer, software, 2012
  Authors: KOVÁR, M.; CHERNIKAVA, A.