MyChEMBL: A Virtual Platform for Distributing Cheminformatics Tools and Open Data

MyChEMBL is an open virtual platform which provides a free, secure, standardised and easy to use chemoinformatics environment for bioactivity data mining, machine learning, application development, learning and teaching. The main technical features of myChEMBL along with its applications and future plans are discussed here.FWN – Publicaties zonder aanstelling Universiteit Leide

Computer Arithmetic: Logic, Calculation, and Rewriting

. Computer arithmetic is the logical theory which formalizes the way computers manipulate integer numbers. In this paper, we describe a combined system whose components are a logical theory for the Isabelle theorem prover, a calculational engine based on rewriting techniques, and a decision procedure for an extension of quantifier-free Presburger arithmetic. The goal of this work is to provide a general and efficient tool to help proving theorems in computer arithmetic. This contribution shows how it is possible to combine different formal techniques (deductive systems, rewriting techniques, decision procedures) in order to solve a notoriously hard problem. Keywords: Computer Arithmetic, theorem proving, decision procedures, rewriting, Presburger arithmetic 1. Introduction Computer arithmetic is the mathematical theory which underlies the way calculational machines operate on integer numbers. Computers manipulate integer numbers of a finite, fixed precision, internally represented as..

Computer Arithmetic: Logic, Calculation, and Rewriting

this paper is to provide a logical formulation for computer arithmetic, suitable for coding in a theorem proving environment, along with an algorithmic, as opposed to logically declarative, calculational engine This work has been sponsored by epsrc under grant gr/k52447