This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathematical Knowledge Management, an emerging interdisciplinary ?eld of research in the intersection of mathematics, computer science, library s- ence, and scienti?c publishing. Both conferences aimed to provide mechanized mathematical assistants. Although the two conferences have separate communities...

The Summa Theologiae is Thomas Aquinas' undisputed masterwork, and it includes his thoughts on the elemental forces in human life. Feelings such as love, hatred, pleasure, pain, hope and despair were described by Aquinas as 'passions', representing the different ways in which happiness could be affected. But what causes the passions? What impact do they have on the person who suffers them? Can they be shaped and reshaped in order to better promote human flourishing? The aim of this book is to provide a better understanding of Aquinas' account of the passions. It identifies the Aristotelian...

The Summa Theologiae is Thomas Aquinas' undisputed masterwork, and it includes his thoughts on the elemental forces in human life. Feelings such as love, hatred, pleasure, pain, hope and despair were described by Aquinas as 'passions', representing the different ways in which happiness could be affected. But what causes the passions? What impact do they have on the person who suffers them? Can they be shaped and reshaped in order to better promote human flourishing? The aim of this book is to provide a better understanding of Aquinas' account of the passions. It identifies the Aristotelian...