|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 3 van 24 gevonden artikelen
| Titel: |
Automated theorem proving in quasigroup and loop theory |
| Auteur: |
Phillips, J.D. Stanovský, David |
| Verschenen in: |
AI communications |
| Paginering: | Jaargang 23 (2010) nr. 2-3 pagina's 267-283 |
| Jaar: |
2010-03-04 |
| Inhoud: |
We survey all known results in the area of quasigroup and loop theory to have been obtained with the assistance of automated theorem provers. We provide both informal and formal descriptions of selected problems, and compare the performance of selected state-of-the art first order theorem provers on them. Our analysis yields some surprising results, e.g., the theorem prover most often used by loop theorists does not necessarily yield the best performance. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 3 van 24 gevonden artikelen
| << vorige | volgende >> |