MathScheme: project description

Authors:
Jacques Carette;William M. Farmer;Russell O'Connor
Affiliations:
Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada;Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada;Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada
Venue:
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics
Year:
2011

Biform Theories in Chiron

Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
High-Level Theories

Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code

Science of Computer Programming

The formalization of syntax-based mathematical algorithms using quotation and evaluation

CICM'13 Proceedings of the 2013 international conference on Intelligent Computer Mathematics

Hi-index	0.00