summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Christoph Fuerst [Wed, 22 Mar 2017 17:26:21 +0000 (18:26 +0100)]
Tried to formulate loop invariant for quadraticresidue - NOT YET WORKING
Wolfgang Schreiner [Wed, 22 Mar 2017 15:15:28 +0000 (16:15 +0100)]
typo
Christoph Fuerst [Tue, 21 Mar 2017 19:17:38 +0000 (20:17 +0100)]
modified loop invariant for primes
Christoph Fuerst [Tue, 21 Mar 2017 19:14:58 +0000 (20:14 +0100)]
Added trial division algorithm for primes
Christoph Fuerst [Tue, 21 Mar 2017 18:49:11 +0000 (19:49 +0100)]
Removed main
Christoph Fuerst [Tue, 21 Mar 2017 18:46:09 +0000 (19:46 +0100)]
Added definition of quadratic residue. TODO: It is defined for primes only, consider in definition. Define Postcondition
Christoph Fuerst [Tue, 21 Mar 2017 18:14:01 +0000 (19:14 +0100)]
Initial revision
projects / cfuerst / formal-numbers.git / log