Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Symbolic Geometry Software and Proofs


    Contributors:
    Todd, P. (author) / Lyublinskaya, I. (author) / Ryzhik, V. (author)


    Publication date :

    2010-01-01


    Size :

    9 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    DDC:    372.7



    Autocoding control software with proofs I: Annotation translation

    Jobredeaux, Romain / Wang, Timothy E. / Feron, Eric M. | IEEE | 2011


    Autocoding control software with proofs I: Annotation translation

    Feron, Eric / Jobredeaux, Romain / Wang, Tim | IEEE | 2011

    Free access

    Uncorrected Proofs

    Ray Katz / Katz, Ray | OERSI | 2022

    Free access

    AUTOSAR proofs to be THE automotive software platform for intelligent mobility

    Scharnhorst, T. / Fürst, S. / Rathgeber, S. et al. | British Library Conference Proceedings | 2017


    Geometry-Based Symbolic Approximation for Fast Sequence Matching on Manifolds

    Anirudh, R. / Turaga, P. | British Library Online Contents | 2016