ML4PG in computer algebra verification

Jonathan Heras, Ekaterina Komendantskaya

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

7 Citations (Scopus)

2 Participation in conference

2 results
- Title
- Start date(ascending)

Filter

Conferences on Intelligent Computer Mathematics: Calculemus 2013
Heras, J. (Member of programme committee)
8 Jul 2013 → 12 Jul 2013
Activity: Participating in or organising an event types › Participation in conference
Conferences on Intelligent Computer Mathematics: Calculemus 2013
Komendantskaya, K. (Participant)
9 Jul 2013
Activity: Participating in or organising an event types › Participation in conference