Theorem proving / reasoning using CIF dictionaries
pm286 at cam.ac.uk
Fri Dec 7 12:53:27 GMT 2018
Joe Cornell is a mathematician who is interested in theorem proving
starting from semantic definitions. The CIF dictionaries could be an
interesting starting point where definitions and executable code are
coupled. Do you know of efforts to use CIF to calculate properties or
relations that are not explicitly defined in the dictionaries - possible
Hope this makes some sense!
Reader Emeritus in Molecular Informatics
Unilever Centre, Dept. Of Chemistry
University of Cambridge
CB2 1EW, UK
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the comcifs