cfuerst/formal-numbers.git
7 years agoDescribed Integer Square Root
Christoph Fuerst [Sun, 2 Apr 2017 10:13:36 +0000 (12:13 +0200)]
Described Integer Square Root

7 years agoAdded cases
Christoph Fuerst [Fri, 31 Mar 2017 17:20:40 +0000 (19:20 +0200)]
Added cases

7 years agoAdded contents on Left-To-Right Exponentation
Christoph Fuerst [Fri, 31 Mar 2017 17:13:44 +0000 (19:13 +0200)]
Added contents on Left-To-Right Exponentation

7 years agoDescribed Left to Right Exponentation
Christoph Fuerst [Thu, 30 Mar 2017 15:15:59 +0000 (17:15 +0200)]
Described Left to Right Exponentation

7 years agoDiffie Hellmann Algorithm
Christoph Fuerst [Tue, 28 Mar 2017 19:23:01 +0000 (21:23 +0200)]
Diffie Hellmann Algorithm

7 years agoContent on RSA
Christoph Fuerst [Tue, 28 Mar 2017 19:13:22 +0000 (21:13 +0200)]
Content on RSA

7 years agoImplemented Tonellis Algorithm
Christoph Fuerst [Mon, 27 Mar 2017 17:50:56 +0000 (19:50 +0200)]
Implemented Tonellis Algorithm

7 years agoContents on Report
Christoph Fuerst [Sun, 26 Mar 2017 19:13:27 +0000 (21:13 +0200)]
Contents on Report

7 years agoAdded menu dialog
Christoph Fuerst [Sun, 26 Mar 2017 18:22:33 +0000 (20:22 +0200)]
Added menu dialog

7 years agoAdded contents on Jacobi/Legendre Symbol
Christoph Fuerst [Sun, 26 Mar 2017 10:24:57 +0000 (12:24 +0200)]
Added contents on Jacobi/Legendre Symbol

7 years agoInitial version of Fermat factorization
Christoph Fuerst [Sun, 26 Mar 2017 10:02:01 +0000 (12:02 +0200)]
Initial version of Fermat factorization

7 years agoAdded algorithm Fermat factorization
Christoph Fuerst [Sun, 26 Mar 2017 09:18:08 +0000 (11:18 +0200)]
Added algorithm Fermat factorization

7 years agoAdded chapter on elementary number theory
Christoph Fuerst [Sat, 25 Mar 2017 21:44:04 +0000 (22:44 +0100)]
Added chapter on elementary number theory

7 years agofinished mathematical introduction on finite fields
Christoph Fuerst [Sat, 25 Mar 2017 21:17:36 +0000 (22:17 +0100)]
finished mathematical introduction on finite fields

7 years agoStructure, first contents on mathematics
Christoph Fuerst [Sat, 25 Mar 2017 09:44:07 +0000 (10:44 +0100)]
Structure, first contents on mathematics

7 years agoInitial revision of report
Christoph Fuerst [Sat, 25 Mar 2017 09:23:19 +0000 (10:23 +0100)]
Initial revision of report

7 years agoAlgorithm for prime number factorization (according to Knuth)
Christoph Fuerst [Sat, 25 Mar 2017 08:58:48 +0000 (09:58 +0100)]
Algorithm for prime number factorization (according to Knuth)

7 years agoValidity of Lemma 11 in krypto1.pdf
Christoph Fuerst [Thu, 23 Mar 2017 20:06:33 +0000 (21:06 +0100)]
Validity of Lemma 11 in krypto1.pdf

7 years agoInitial introduction of Legendre Symbol
Christoph Fuerst [Thu, 23 Mar 2017 19:28:58 +0000 (20:28 +0100)]
Initial introduction of Legendre Symbol

7 years agoCorrected Loop invariant of quadratic residue
Christoph Fuerst [Thu, 23 Mar 2017 19:18:11 +0000 (20:18 +0100)]
Corrected Loop invariant of quadratic residue

7 years agoTried to formulate loop invariant for quadraticresidue - NOT YET WORKING
Christoph Fuerst [Wed, 22 Mar 2017 17:26:21 +0000 (18:26 +0100)]
Tried to formulate loop invariant for quadraticresidue - NOT YET WORKING

7 years agotypo
Wolfgang Schreiner [Wed, 22 Mar 2017 15:15:28 +0000 (16:15 +0100)]
typo

7 years agomodified loop invariant for primes
Christoph Fuerst [Tue, 21 Mar 2017 19:17:38 +0000 (20:17 +0100)]
modified loop invariant for primes

7 years agoAdded trial division algorithm for primes
Christoph Fuerst [Tue, 21 Mar 2017 19:14:58 +0000 (20:14 +0100)]
Added trial division algorithm for primes

7 years agoRemoved main
Christoph Fuerst [Tue, 21 Mar 2017 18:49:11 +0000 (19:49 +0100)]
Removed main

7 years agoAdded definition of quadratic residue. TODO: It is defined for primes only, consider...
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

7 years agoInitial revision
Christoph Fuerst [Tue, 21 Mar 2017 18:14:01 +0000 (19:14 +0100)]
Initial revision