projects / cfuerst / formal-numbers.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cfuerst/formal-numbers.git
2017-04-30 Christoph Fuerstcorrected invariant of sieve commit | commitdiff | tree | snapshot
2017-04-28 Christoph FuerstAdded loop invariants commit | commitdiff | tree | snapshot
2017-04-28 Christoph Fuerstformulated invariant for sieveOfErathostenes commit | commitdiff | tree | snapshot
2017-04-20 Christoph Fuerstcorrected wrong last invariant in sieveSet commit | commitdiff | tree | snapshot
2017-04-20 Christoph FuerstUpdate after second Review Wolfgang commit | commitdiff | tree | snapshot
2017-04-20 Christoph FuerstUpdate after second review Wolfgang commit | commitdiff | tree | snapshot
2017-04-19 Christoph FuerstUpdates after Review Wolfgang commit | commitdiff | tree | snapshot
2017-04-19 Christoph FuerstUpdate after Review Wolfgang commit | commitdiff | tree | snapshot
2017-04-14 Christoph Fuerstinitial revision of Steins algorithm commit | commitdiff | tree | snapshot
2017-04-14 Christoph FuerstReadability, no functional changes commit | commitdiff | tree | snapshot
2017-04-14 Christoph Fuerstoptimized algorithm commit | commitdiff | tree | snapshot
2017-04-11 Christoph FuerstAdded sieve of erathostenes commit | commitdiff | tree | snapshot
2017-04-11 Christoph FuerstImplemented Set-Based View on Sieve Of Erathostenes commit | commitdiff | tree | snapshot
2017-04-10 Christoph FuerstFinally corrected DiscreteLog-Algorithm commit | commitdiff | tree | snapshot
2017-04-09 Christoph FuerstFinalized formalization of discrete_log commit | commitdiff | tree | snapshot
2017-04-08 Christoph Fuerstb is actually a prime commit | commitdiff | tree | snapshot
2017-04-08 Christoph FuerstCorrected and finalized verification of Baby-Step Giant... commit | commitdiff | tree | snapshot
2017-04-06 Christoph FuerstCorrected datatype commit | commitdiff | tree | snapshot
2017-04-06 Christoph FuerstAdded calculation for m commit | commitdiff | tree | snapshot
2017-04-06 Christoph FuerstFurther Pre-Conditions for Discrete Logarithm commit | commitdiff | tree | snapshot
2017-04-06 Christoph FuerstWorking version of Discrete Logarithm commit | commitdiff | tree | snapshot
2017-04-06 Christoph FuerstFormalization of DiscreteLog commit | commitdiff | tree | snapshot
2017-04-05 Christoph FuerstFirst revision of discrete-log, added Prime check commit | commitdiff | tree | snapshot
2017-04-03 Christoph FuerstAdded source-listings, cleaned up discrete_log commit | commitdiff | tree | snapshot
2017-04-03 Christoph FuerstDivided sources into several files commit | commitdiff | tree | snapshot
2017-04-03 Christoph FuerstCorrected wrong invariant of LeftToRight, Updated Repor... commit | commitdiff | tree | snapshot
2017-04-02 Christoph FuerstAdded reasoning for z commit | commitdiff | tree | snapshot
2017-04-02 Christoph FuerstDivided into seperate files commit | commitdiff | tree | snapshot
2017-04-02 Christoph FuerstDescribed Integer Square Root commit | commitdiff | tree | snapshot
2017-03-31 Christoph FuerstAdded cases commit | commitdiff | tree | snapshot
2017-03-31 Christoph FuerstAdded contents on Left-To-Right Exponentation commit | commitdiff | tree | snapshot
2017-03-30 Christoph FuerstDescribed Left to Right Exponentation commit | commitdiff | tree | snapshot
2017-03-28 Christoph FuerstDiffie Hellmann Algorithm commit | commitdiff | tree | snapshot
2017-03-28 Christoph FuerstContent on RSA commit | commitdiff | tree | snapshot
2017-03-27 Christoph FuerstImplemented Tonellis Algorithm commit | commitdiff | tree | snapshot
2017-03-26 Christoph FuerstContents on Report commit | commitdiff | tree | snapshot
2017-03-26 Christoph FuerstAdded menu dialog commit | commitdiff | tree | snapshot
2017-03-26 Christoph FuerstAdded contents on Jacobi/Legendre Symbol commit | commitdiff | tree | snapshot
2017-03-26 Christoph FuerstInitial version of Fermat factorization commit | commitdiff | tree | snapshot
2017-03-26 Christoph FuerstAdded algorithm Fermat factorization commit | commitdiff | tree | snapshot
2017-03-25 Christoph FuerstAdded chapter on elementary number theory commit | commitdiff | tree | snapshot
2017-03-25 Christoph Fuerstfinished mathematical introduction on finite fields commit | commitdiff | tree | snapshot
2017-03-25 Christoph FuerstStructure, first contents on mathematics commit | commitdiff | tree | snapshot
2017-03-25 Christoph FuerstInitial revision of report commit | commitdiff | tree | snapshot
2017-03-25 Christoph FuerstAlgorithm for prime number factorization (according... commit | commitdiff | tree | snapshot
2017-03-23 Christoph FuerstValidity of Lemma 11 in krypto1.pdf commit | commitdiff | tree | snapshot
2017-03-23 Christoph FuerstInitial introduction of Legendre Symbol commit | commitdiff | tree | snapshot
2017-03-23 Christoph FuerstCorrected Loop invariant of quadratic residue commit | commitdiff | tree | snapshot
2017-03-22 Christoph FuerstTried to formulate loop invariant for quadraticresidue... commit | commitdiff | tree | snapshot
2017-03-22 Wolfgang Schreinertypo commit | commitdiff | tree | snapshot
2017-03-21 Christoph Fuerstmodified loop invariant for primes commit | commitdiff | tree | snapshot
2017-03-21 Christoph FuerstAdded trial division algorithm for primes commit | commitdiff | tree | snapshot
2017-03-21 Christoph FuerstRemoved main commit | commitdiff | tree | snapshot
2017-03-21 Christoph FuerstAdded definition of quadratic residue. TODO: It is... commit | commitdiff | tree | snapshot
2017-03-21 Christoph FuerstInitial revision commit | commitdiff | tree | snapshot