| Título: | Resolution based techniques for automated proving of theorems in Tarskian-Euclidian geometry |
| Autores: | Savchenko, Sergei. |
| Fecha: | 1999 |
| Publicador: | McGill University - MCGILL |
| Fuente: |
 |
| Tipo: | Electronic Thesis or Dissertation |
| Tema: |
Mathematics. Computer Science. |
| Descripción: | The discipline of automated theorem proving encompasses techniques which allow us to find a justification of a logical statement expressing an assertion in some domain of knowledge. Beside obvious importance for mathematics, many of the tasks traditionally associated with human intellect can be solved through application of these techniques. Methods based on Robinson's resolution form one of the cornerstones of automated theorem proving. The efficiency of these methods, however, is less than admissible for many interesting domains of mathematics. By studying the underlining axioms of the domain it is often possible to find some computational shortcut. This thesis overviews available generic methods and then considers possible refinements aimed at theorems in Euclidian geometry formulated on the Tarskian axiom system. |
| Idioma: | en |
1 Investigations on the form-genera Beauveria and Tritirachium por MacLeod, Donald Murdock | 6 Treatment and recovery in first-episode psychosis : a qualitative analysis of client experiences por Windell, Deborah L. |
2 Seismic sensitivity of tall guyed telecommunication towers. por Ghodrati Amiri, Gholamreza. | 7 |
3 Exploring the Relationship Between Assets and Family Stress Among Low-Income Families por Rothwell, David W.,Han, Chang-Keun | 8 |
4 The case for asset-based interventions with indigenous peoples: Evidence from Hawai‘i por Rothwell, David W. | 9 |
5 Second Thoughts: Who Almost Participates in an IDA Program? por Rothwell, David W.,Han, Chang-Keun | 10 Recent contributions to the phenomenology of musical time : a critical survey por Beaudreau, Pierre |