Disclaimer: All content has been generated automatically by a program running on the titles of publications extracted from people's webpages. Click here for details. ©2007 Advaith Siddharthan
Advanced Reasoning Group

Research Interests

'theorem proving';
Hasan Amjad; Kong Woei Susanto; Mateja Jamnik; Mike Gordon;

'mutilated chess board'; 'program composition'; 'hardware description languages'; 'yahalom protocol'; 'HOL4 theorem'; 'ARM verification'; 'fixedpoint approach'; 'proof-producing hardware compiler'; 'bdd-based symbolic calculation'; 'algebraic models'; 'encryption algorithms';
Anthony Fox; Joe Hurd; Larry Paulson; Magnus Myreen; Mike Gordon;

'source-level proof reconstruction';
Kong Woei Susanto;

'resolution prover'; 'elementary functions';
Behzad Akbarpour;

'syntactical approach'; 'geometrical inequalities';
Alexey Gotsman;

'informal human mathematical reasoning'; 'systems description'; 'agent-oriented reasoning systems'; 'physical plane'; 'algebraic logics'; 'automatic diagrammatic reasoning in continuous domains'; 'mechanised building of decision procedures';
Mateja Jamnik;

'propositional refutations'; 'models checking'; 'shallow lazy proofs'; 'theorem prover';
Hasan Amjad;