ML4PG in computer algebra verification

Jonathan Heras, Ekaterina Komendantskaya

    Research output: Contribution to conferenceOther

    5 Citations (Scopus)
    Original languageEnglish
    Publication statusPublished - 2013
    EventConferences on Intelligent Computer Mathematics: Calculemus 2013 - University of Bath in Building 8W, Bath, United Kingdom
    Duration: 8 Jul 201312 Jul 2013
    http://www.cicm-conference.org/2013/cicm.php

    Conference

    ConferenceConferences on Intelligent Computer Mathematics: Calculemus 2013
    Abbreviated titleCICM 2013
    CountryUnited Kingdom
    CityBath
    Period8/07/1312/07/13
    OtherHeld as Part of CICM 2013
    Internet address

    Cite this

    Heras, J., & Komendantskaya, E. (2013). ML4PG in computer algebra verification. Conferences on Intelligent Computer Mathematics: Calculemus 2013, Bath, United Kingdom.