Walther, Christoph and Wasser, Nathan (2017):
Fermat, Euler, Wilson - Three Case Studies in Number Theory.
In: J. Autom. Reasoning, pp. 267-286, 59, (2), DOI: 10.1007/s10817-016-9387-z, [Online-Edition: https://doi.org/10.1007/s10817-016-9387-z],
[Article]
Official URL: https://doi.org/10.1007/s10817-016-9387-z
| Item Type: | Article |
|---|---|
| Erschienen: | 2017 |
| Creators: | Walther, Christoph and Wasser, Nathan |
| Title: | Fermat, Euler, Wilson - Three Case Studies in Number Theory |
| Language: | German |
| Journal or Publication Title: | J. Autom. Reasoning |
| Volume: | 59 |
| Number: | 2 |
| Divisions: | 20 Department of Computer Science > Software Engineering 20 Department of Computer Science |
| Date Deposited: | 27 Apr 2018 10:52 |
| DOI: | 10.1007/s10817-016-9387-z |
| Official URL: | https://doi.org/10.1007/s10817-016-9387-z |
| Export: |
Optionen (nur für Redakteure)
 |
View Item |
Drucken
Impressum