[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Reply to: [list | sender only]
Theorem proving / reasoning using CIF dictionaries
- To: Brian McMahon <bm@iucr.org>, Joe Corneli <holtzermann17@gmail.com>, "Discussion list of the IUCr Committee for the Maintenance of the CIF Standard(COMCIFS)" <comcifs@iucr.org>, Nick Spadaccini <nick.spadaccini.uwa@gmail.com>,Sydney Hall <sydney.hall@uwa.edu.au>
- Subject: Theorem proving / reasoning using CIF dictionaries
- From: Peter Murray-Rust <pm286@cam.ac.uk>
- Date: Fri, 7 Dec 2018 12:53:27 +0000
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
Reader Emeritus in Molecular Informatics
Unilever Centre, Dept. Of Chemistry
University of Cambridge
CB2 1EW, UK
+44-1223-763069
Reply to: [list | sender only]
- Prev by Date: Re: Topology CIF dictionary for discussion and review
- Next by Date: Re: Theorem proving / reasoning using CIF dictionaries
- Prev by thread: Re: COMCIFS 2018 draft report
- Next by thread: Re: Theorem proving / reasoning using CIF dictionaries
- Index(es):