ML4PG in computer algebra verification

Original language	English
Publication status	Published - 2013
Event	Conferences on Intelligent Computer Mathematics: Calculemus 2013 - University of Bath in Building 8W, Bath, United Kingdom Duration: 8 Jul 2013 → 12 Jul 2013 http://www.cicm-conference.org/2013/cicm.php

Conference

Conference	Conferences on Intelligent Computer Mathematics: Calculemus 2013
Abbreviated title	CICM 2013
Country/Territory	United Kingdom
City	Bath
Period	8/07/13 → 12/07/13
Other	Held as Part of CICM 2013
Internet address	http://www.cicm-conference.org/2013/cicm.php

Access to Document

• http://www.cicm-conference.org/2013/cicm.php?event=&menu=talks

Research output

Research output per year 2013 2013 2013

• 1 Conference contribution

Research output per year

Research output per year

• 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 proceeding › Conference contribution

  • Efficient Algorithm 100%
  • Formalization 100%
  • Triangular Matrix 100%
  • Machine Learning 100%
  • Learning System 100%
  7 Citations (Scopus)

Activities

Activities per year 2013 2013 2013

• 2 Participation in conference

Activities per year

• 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

Cite this

• APA
• Author
• BIBTEX
• Harvard
• Standard
• RIS
• Vancouver

Heras, J., & Komendantskaya, E. (2013). ML4PG in computer algebra verification. Conferences on Intelligent Computer Mathematics: Calculemus 2013, Bath, United Kingdom. http://www.cicm-conference.org/2013/cicm.php?event=&menu=talks

Heras, Jonathan ; Komendantskaya, Ekaterina. / ML4PG in computer algebra verification. Conferences on Intelligent Computer Mathematics: Calculemus 2013, Bath, United Kingdom.

@conference{95f21a3419ca4ab8aab5ada6098d5970,

title = "ML4PG in computer algebra verification",

author = "Jonathan Heras and Ekaterina Komendantskaya",

note = "Slides presented at Track D: systems and projects ; Conferences on Intelligent Computer Mathematics: Calculemus 2013, CICM 2013 ; Conference date: 08-07-2013 Through 12-07-2013",

year = "2013",

language = "English",

url = "http://www.cicm-conference.org/2013/cicm.php",

}

Heras, J & Komendantskaya, E 2013, 'ML4PG in computer algebra verification', Conferences on Intelligent Computer Mathematics: Calculemus 2013, Bath, United Kingdom, 8/07/13 - 12/07/13. <http://www.cicm-conference.org/2013/cicm.php?event=&menu=talks>

ML4PG in computer algebra verification. / Heras, Jonathan; Komendantskaya, Ekaterina.
2013. Conferences on Intelligent Computer Mathematics: Calculemus 2013, Bath, United Kingdom.

Research output: Contribution to conference › Other

TY - CONF

T1 - ML4PG in computer algebra verification

AU - Heras, Jonathan

AU - Komendantskaya, Ekaterina

N1 - Slides presented at Track D: systems and projects

PY - 2013

Y1 - 2013

M3 - Other

T2 - Conferences on Intelligent Computer Mathematics: Calculemus 2013

Y2 - 8 July 2013 through 12 July 2013

ER -

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