Theorem proving / reasoning using CIF dictionaries

[Peter Murray-Rust]

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
with constraints.

Hope this makes some sense!

P.




-- 
Peter Murray-Rust
Reader Emeritus in Molecular Informatics
Unilever Centre, Dept. Of Chemistry
University of Cambridge
CB2 1EW, UK
+44-1223-763069
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.iucr.org/pipermail/comcifs/attachments/20181207/af584ff6/attachment.html>