ML4PG in computer algebra verification

Jonathan Heras, Ekaterina Komendantskaya

Research output: Contribution to conference › Other

2 Participation in conference

2 results
- Title
- Start date(ascending)

Filter

Conferences on Intelligent Computer Mathematics: Calculemus 2013
Jonathan Heras (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
Katya Komendantskaya (Participant)
9 Jul 2013
Activity: Participating in or organising an event types › Participation in conference