Přístupnostní navigace
E-application
Search Search Close
RNDr.
Ph.D.
FEEC, UMAT – Assistant professor
+420 54114 6051krehliks@vut.cz
Send BUT message
2014
KOVÁR, M.; KLIMEŠOVÁ, M.; KŘEHLÍK, Š.: Attribute Frameworks. URL: http://matika.umat.feec.vutbr.cz/software/webmath/AttributeFrameworks.jsp. (Software)Detail
NOVÁK, M.; KŘEHLÍK, Š.: Differential Transformation Method. URL: http://matika.umat.feec.vutbr.cz/software/maplenet/dtm.html. (Software)Detail
KOVÁR, M.; KŘEHLÍK, Š.; KLIMEŠOVÁ, M.: Object Generalized Metrics. URL: http://matika.umat.feec.vutbr.cz/software/webmath/ContextGeneralizedMetrics2.jsp. (Software)Detail
KOVÁR, M.; KŘEHLÍK, Š.; KLIMEŠOVÁ, M.: Formal Concept Atribute Distances. URL: http://matika.umat.feec.vutbr.cz/software/webmath/FormalConcepts2.jsp. (Software)Detail
KOVÁR, M.; KŘEHLÍK, Š.; KLIMEŠOVÁ, M.: Object Frameworks. URL: http://matika.umat.feec.vutbr.cz/software/webmath/ObjectFrameworks.jsp. (Software)Detail
KOVÁR, M.; KLIMEŠOVÁ, M.; KŘEHLÍK, Š.: Formal Concept Object Distances. URL: http://matika.umat.feec.vutbr.cz/software/webmath/FormalConcepts.jsp. (Software)Detail
KOVÁR, M.; KLIMEŠOVÁ, M.; KŘEHLÍK, Š.: Attribute Generalized Metrics. URL: http://matika.umat.feec.vutbr.cz/software/webmath/ContextGeneralizedMetrics.jsp. (Software)Detail
2013
KOVÁR, M.; CHERNIKAVA, A.; KŘEHLÍK, Š.: Framework Isomorphism Generator. URL: http://matika.umat.feec.vutbr.cz/software/webmath/IsomorphismGenerator.jsp. (Software)Detail
NOVÁK, M.; KŘEHLÍK, Š.: ODE systems eigenvalues & eigenvectors solver. URL: http://matika.umat.feec.vutbr.cz/software/maplenet/ODESystemsEigenvaluesSolver.html. (Software)Detail
2012
KOVÁR, M.; KŘEHLÍK, Š.; PIDDUBNA, G.: Propositional Analyzer. URL: http://matika.umat.feec.vutbr.cz/software/webmath/PAnalyzer.jsp. (Software)Detail
KOVÁR, M.; CHERNIKAVA, A.; KŘEHLÍK, Š.: Functional Analyzer. URL: http://matika.umat.feec.vutbr.cz/software/webmath/FAnalyzer.jsp. (Software)Detail
NOVÁK, M.; KŘEHLÍK, Š.; PIDDUBNA, G.: Linear discrete systems solver. URL: http://matika.umat.feec.vutbr.cz/software/maplenet/LDSSolver.html. (Software)Detail
NOVÁK, M.; HALFAROVÁ, H.; KŘEHLÍK, Š.: Riccati ODE solver. URL: http://matika.umat.feec.vutbr.cz/software/maplenet/RiccatiODE.html. (Software)Detail
NOVÁK, M.; KŘEHLÍK, Š.; PIDDUBNA, G.: Continuous dynamical systems solver. URL: http://matika.umat.feec.vutbr.cz/software/maplenet/DynSSolver.html. (Software)Detail
HLAVIČKOVÁ, I.; KŘEHLÍK, Š.: Random Sample Generation. URL: http://matika.umat.feec.vutbr.cz/software/maplenet/RandomSampleGeneration.html. (Software)Detail
*) Citations are generated once every 24 hours.