ML4PG in computer algebra verification

Jonathan Heras, Ekaterina Komendantskaya

    Research output: Contribution to conferenceOther

    7 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
    • ML4PG in computer algebra verification

      Heras, J. & Komendantskaya, E., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer , p. 354-358 5 p. (Lecture notes in computer science; vol. 7961).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Citations (Scopus)

    Cite this