|
|
|
|
|
|
Rippling: Meta-Level Guidance for Mathematical Reasoning The automation of mathematical reasoning has been an important topic of research almost since computers were invented. The new technique of rippling, described here for the first time in book form, is designed to be an approach to mathematical reasoning that takes into account ideas of heuristics and searching. Rippling addresses... | | | | |
|
|
|
Result Page: 95 94 93 92 91 90 89 88 87 86 85 84 83 82 81 80 79 78 |