Fermat, Euler, Wilson -- three case studies in number theory (Q1707601): Difference between revisions

From MaRDI portal
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(5 intermediate revisions by 4 users not shown)
Property / DOI
 
Property / DOI: 10.1007/s10817-016-9387-z / rank
Normal rank
 
Property / describes a project that uses
 
Property / describes a project that uses: VeriFun / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1007/s10817-016-9387-z / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2529619281 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3894958 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Proof Checking the RSA Public Key Encryption Algorithm / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4550802 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An experiment with the Boyer-Moore theorem prover: A proof of Wilson's theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: On proving the termination of algorithms by machine / rank
 
Normal rank
Property / cites work
 
Property / cites work: A theorem prover for a computational logic / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1007/S10817-016-9387-Z / rank
 
Normal rank

Latest revision as of 05:17, 11 December 2024

scientific article
Language Label Description Also known as
English
Fermat, Euler, Wilson -- three case studies in number theory
scientific article

    Statements

    Fermat, Euler, Wilson -- three case studies in number theory (English)
    0 references
    0 references
    0 references
    3 April 2018
    0 references
    program verification
    0 references
    theorem proving by induction
    0 references
    number theory
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references