summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
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