Přístupnostní navigace
E-application
Search Search Close
RNDr.
Ph.D.
FEEC, UMAT – Assistant professor
+420 54114 6051krehliks@vut.cz
Send BUT message
NOVÁK, M.; HALFAROVÁ, H.; KŘEHLÍK, Š.: RiccatiODE; Riccati ODE solver. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/maplenet/RiccatiODE.html. (software)http://matika.umat.feec.vutbr.cz/software/maplenet/RiccatiODE.html, number of downloads: 3Detail
NOVÁK, M.; KŘEHLÍK, Š.; PIDDUBNA, G.: LDSSolver; Linear discrete systems solver. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/maplenet/LDSSolver.html. (software)http://matika.umat.feec.vutbr.cz/software/maplenet/LDSSolver.html, number of downloads: 2Detail
NOVÁK, M.; KŘEHLÍK, Š.; PIDDUBNA, G.: DynSSolver; Continuous dynamical systems solver. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/maplenet/DynSSolver.html. (software)http://matika.umat.feec.vutbr.cz/software/maplenet/DynSSolver.html, number of downloads: 2Detail
KOVÁR, M.; CHERNIKAVA, A.; KŘEHLÍK, Š.: FAnalyzer; Functional Analyzer. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/webmath/FAnalyzer.jsp. (software)http://matika.umat.feec.vutbr.cz/software/webmath/FAnalyzer.jsp, number of downloads: 2Detail
KOVÁR, M.; KŘEHLÍK, Š.; PIDDUBNA, G.: PAnalyzer; Propositional Analyzer. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/webmath/PAnalyzer.jsp. (software)http://matika.umat.feec.vutbr.cz/software/webmath/PAnalyzer.jsp, number of downloads: 2Detail
HLAVIČKOVÁ, I.; KŘEHLÍK, Š.: RandomSampleGeneration; Random Sample Generation. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/maplenet/RandomSampleGeneration.html. (software)http://matika.umat.feec.vutbr.cz/software/maplenet/RandomSampleGeneration.html, number of downloads: 1Detail
KOVÁR, M.; CHERNIKAVA, A.; KŘEHLÍK, Š.: IsomorphismGenerator; Framework Isomorphism Generator. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/webmath/IsomorphismGenerator.jsp. (software)http://matika.umat.feec.vutbr.cz/software/webmath/IsomorphismGenerator.jsp, number of downloads: 2Detail
NOVÁK, M.; KŘEHLÍK, Š.: ODESystemsEigenvaluesSolver; ODE systems eigenvalues & eigenvectors solver. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/maplenet/ODESystemsEigenvaluesSolver.html. (software)http://matika.umat.feec.vutbr.cz/software/maplenet/ODESystemsEigenvaluesSolver.html, number of downloads: 2Detail
KOVÁR, M.; KLIMEŠOVÁ, M.; KŘEHLÍK, Š.: ContextGeneralizedMetrics; Attribute Generalized Metrics. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/webmath/ContextGeneralizedMetrics.jsp. (software)http://matika.umat.feec.vutbr.cz/software/webmath/ContextGeneralizedMetrics.jsp, number of downloads: 2Detail
KOVÁR, M.; KŘEHLÍK, Š.; KLIMEŠOVÁ, M.: ContextGeneralizedMetrics2; Object Generalized Metrics. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/webmath/ContextGeneralizedMetrics2.jsp. (software)http://matika.umat.feec.vutbr.cz/software/webmath/ContextGeneralizedMetrics2.jsp, number of downloads: 1Detail
KOVÁR, M.; KLIMEŠOVÁ, M.; KŘEHLÍK, Š.: AttributeFrameworks; Attribute Frameworks. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/webmath/AttributeFrameworks.jsp. (software)http://matika.umat.feec.vutbr.cz/software/webmath/AttributeFrameworks.jsp, number of downloads: 1Detail
KOVÁR, M.; KŘEHLÍK, Š.; KLIMEŠOVÁ, M.: ObjectFrameworks; Object Frameworks. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/webmath/ObjectFrameworks.jsp. (software)http://matika.umat.feec.vutbr.cz/software/webmath/ObjectFrameworks.jsp, number of downloads: 1Detail
KOVÁR, M.; KLIMEŠOVÁ, M.; KŘEHLÍK, Š.: FormalConcepts; Formal Concept Object Distances. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/webmath/FormalConcepts.jsp. (software)http://matika.umat.feec.vutbr.cz/software/webmath/FormalConcepts.jsp, number of downloads: 1Detail
KOVÁR, M.; KŘEHLÍK, Š.; KLIMEŠOVÁ, M.: FormalConcepts2; Formal Concept Atribute Distances. Server UMAT FEKT VUT v Brně, Technická 8, 616 00 Brno. URL: http://matika.umat.feec.vutbr.cz/software/webmath/FormalConcepts2.jsp. (software)http://matika.umat.feec.vutbr.cz/software/webmath/FormalConcepts2.jsp, number of downloads: 2Detail
NOVÁK, M.; KŘEHLÍK, Š.: dtm; Differential Transformation Method. Server Ústavu matematiky FEKT VUT. URL: http://matika.umat.feec.vutbr.cz/software/maplenet/dtm.html. (software)http://matika.umat.feec.vutbr.cz/software/maplenet/dtm.html, number of downloads: 1Detail
In the event of a discrepancy in the data, inspect the FAQs for visiting cards.