Edinburgh Research Explorer

PG Tips: A Recommender System for an Interactive Theorem Prover

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

Standard

PG Tips: A Recommender System for an Interactive Theorem Prover. / Mercer, Alison Elizabeth ; Bundy, Alan; Duncan, Hazel; Aspinall, David.

Proceedings of Mathematical User-Interfaces Workshop (MathUI’2006). 2006. p. 1-8.

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

Harvard

Mercer, AE, Bundy, A, Duncan, H & Aspinall, D 2006, PG Tips: A Recommender System for an Interactive Theorem Prover. in Proceedings of Mathematical User-Interfaces Workshop (MathUI’2006). pp. 1-8.

APA

Mercer, A. E., Bundy, A., Duncan, H., & Aspinall, D. (2006). PG Tips: A Recommender System for an Interactive Theorem Prover. In Proceedings of Mathematical User-Interfaces Workshop (MathUI’2006) (pp. 1-8)

Vancouver

Mercer AE, Bundy A, Duncan H, Aspinall D. PG Tips: A Recommender System for an Interactive Theorem Prover. In Proceedings of Mathematical User-Interfaces Workshop (MathUI’2006). 2006. p. 1-8

Author

Mercer, Alison Elizabeth ; Bundy, Alan ; Duncan, Hazel ; Aspinall, David. / PG Tips: A Recommender System for an Interactive Theorem Prover. Proceedings of Mathematical User-Interfaces Workshop (MathUI’2006). 2006. pp. 1-8