Research

2005--2007: 'computational models'; 'combined reasoning'; 'automated cooperation';

2000--2004: 'proof planning'; 'learning new methods in proof planning'; 'diagrammatic reasoning'; 'resource guided concurrent deduction'; 'schematic proofs'; 'agent-oriented reasoning systems'; 'automatic diagrammatic reasoning in continuous domains'; 'mechanised building of decision procedures'; 'informal human mathematical reasoning'; 'algebraic logics'; 'systems description'; 'physical plane'; 'theorem proving'; 'psychological validity'; 'experimental comparison'; 'real plane';

1995--1999: 'diagrammatic proofs'; 'agent based mathematical reasoning'; 'resource guided concurrent deduction'; 'mathematical theories'; 'automated reasoning';

1990--1994: 'human cultural systems'; 'systems analysis';