RNDr.

Štěpán Křehlík

Ph.D.

FEEC, UMAT – Assistant professor

+420 54114 6051
krehliks@vut.cz

Send BUT message

RNDr. Štěpán Křehlík, Ph.D.

Applied results

  • 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.