TU Darmstadt / ULB / TUbiblio

Fermat, Euler, Wilson - Three Case Studies in Number Theory

Walther, Christoph and Wasser, Nathan (2017):
Fermat, Euler, Wilson - Three Case Studies in Number Theory.
In: Journal of Automated Reasoning, 59 (2), pp. 267-286. Springer, ISSN 1573-0670,
DOI: 10.1007/s10817-016-9387-z,
[Article]

Item Type: Article
Erschienen: 2017
Creators: Walther, Christoph and Wasser, Nathan
Title: Fermat, Euler, Wilson - Three Case Studies in Number Theory
Language: English
Journal or Publication Title: Journal of Automated Reasoning
Journal volume: 59
Number: 2
Publisher: Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
20 Department of Computer Science > Software Engineering
Date Deposited: 27 Apr 2018 10:52
DOI: 10.1007/s10817-016-9387-z
Official URL: https://link.springer.com/article/10.1007/s10817-016-9387-z
Corresponding Links:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details