Košík

    1.
    0521432 - ÚGN 2020 RIV GB eng M - Část monografie knihy
    Axelsson, Owe
    Finite Difference Methods.
    Encyclopedia of Computational Mechanics Second Edition, 6 Volume Set. Chichester: John Wiley & Sons, Ltd., 2017 - (Stein, E.; de Borst, R.; Hughes, T.), s. 1-52. ISBN 978-1-119-00379-3
    Institucionální podpora: RVO:68145535
    Klíčová slova: high order accuracy * monotone operators * maximum principle * extrapolation * stabilities * method of characteristics * graded meshes
    Obor OECD: Applied mathematics
    Trvalý link: http://hdl.handle.net/11104/0306062
     
     
    2.
    0379800 - ÚI 2013 GB eng A - Abstrakt
    Chvalovský, Karel
    Linearization of Proofs in Propositional Hilbert Systems.
    How the World Computes. Abstracts. University of Cambridge, 2012. s. 26.
    [CiE 2012. Turing Centerary Conference and Conference on Computability in Europe /8./. 18.06.2012-23.06.2012, Cambridge]
    Institucionální podpora: RVO:67985807
    Klíčová slova: Hilbert-style proof systems * propositional logic * linear proofs
    Kód oboru RIV: BA - Obecná matematika
    http://www.mathcomp.leeds.ac.uk/turing2012/WScie12/Images/abstracts-booklet.pdf
    Trvalý link: http://hdl.handle.net/11104/0210674
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše