Thu, 16 May 2013 07:19:26 +0100 | Christian Urban |
completed coding functions | changeset | files |
Wed, 15 May 2013 15:07:27 +0100 | Christian Urban |
added recusive functions that decode triangle numbers | changeset | files |
Mon, 13 May 2013 15:28:48 +0100 | Christian Urban |
added | changeset | files |
Mon, 13 May 2013 14:08:54 +0100 | Christian Urban |
added papers | changeset | files |
Fri, 10 May 2013 09:07:03 +0100 | Christian Urban |
added first version of natbiject | changeset | files |
Fri, 10 May 2013 09:06:48 +0100 | Christian Urban |
added test version | changeset | files |
Thu, 09 May 2013 18:16:36 +0100 | Christian Urban |
added lemmas about a pairing function | changeset | files |