Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

Reasoning systems have reached a high degree of maturity in the last decade. However, even the most successful systems are usually not general purpose problem solvers but are typically specialised on problems in a certain domain. The MathWeb SOftware Bus (Mathweb-SB) is a system for combining reasoning specialists via a common osftware bus. We described the integration of the lambda-clam systems, a reasoning specialist for proofs by induction, into the MathWeb-SB. Due to this integration, lambda-clam now offers its theorem proving expertise to other systems in the MathWeb-SB. On the other hand, lambda-clam can use the services of any reasoning specialist already integrated. We focus on the latter and describe first experimnents on proving theorems by induction using the computational power of the MAPLE system within lambda-clam.

New Ways of Working in Acute Care: A Case for Change

This position paper focuses on the current tensions and challenges of aligning inpatient care with innovations in mental health services. It argues that a cultural shift is required within inpatient services. Obstacles to change including traditional perceptions of the role and responsibilities of the psychiatrist are discussed. The paper urges all staff working in acute care to reflect on the service that they provide, and to consider how the adoption of new ways of working might revolutionise the organisational culture. This cultural shift offers inpatient staff the opportunity to fully utilise their expertise. New ways of working may be perceived as a threat to existing roles and responsibilities or as an exciting opportunity for professional development with increased job satisfaction. Above all, the move to new ways of working, which is gathering pace throughout the UK, could offer service users a quality of care that meets their needs and expectations.