Paul Jackson - Physicist

Paul Jackson - Physicist

Lecturer

Research Interests: The design of mechanical theorem proving environments, their use for software and hardware development and for general-purpose mathematics, and linking theorem provers, computer algebra systems and model checkers

http://www.pp.rhul.ac.uk/~paulj/424/Physics/

Index Previous Next