| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 6861245 | Journal of Symbolic Computation | 2015 | 32 Pages |
Abstract
When the knowledge base does not contain the auxiliary functions needed for the respective version of the algorithm, then the proof fails and from this failure a new proof goal is created, which is the synthesis statement for the missing auxiliary functions (“cascading”).
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Isabela DrÄmnesc, Tudor Jebelean,