Discussion List Archives

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Theorem proving / reasoning using CIF dictionaries

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!


Peter Murray-Rust
Reader Emeritus in Molecular Informatics
Unilever Centre, Dept. Of Chemistry
University of Cambridge

Reply to: [list | sender only]