Documenten: Regeling MasterScripties, Opzet Bachelorproject
By the end of June, Sep Thijssen submitted his Master thesis.
June 2, Tanneke Ouboter received her Master of Science degree (cum laude), after finishing her Master thesis Stochastic epidemic models for populations with social structures under supervision of prof. Ronald Meester (at the Vrije Universiteit Amsterdam).
Janneke van den Boomen finished her M.Sc. thesis in graph theory, entitled `Isomorphism classes of spanning trees'.
Tim Verheijen wrote a Bachelor Thesis on the Hill cipher: De Hill Cipher herzien (in Dutch).
Mart Kelder wrote a Bachelor Thesis on Complex Continued Fractions (in Dutch).
Joris Luijsterburg wrote a Bachelor Thesis on the subject of Coëfficiënten van cyclotomische polynomen (in Dutch).
Dennis Meffert finished a Master Thesis (for computer science) that I supervised (with Dick van Leijenhorst). It is about Bilinear Pairings in Cryptography.
Ken Madlener wrote a Bachelor's Thesis Automatic Geometric Theorem Proving using Gröbner Bases.
He received his B.Sc. in Mathematics on 31 October 2008.
Sep Thijssen wrote a Bachelor's Thesis entitled Denesting conditions.
He received his B.Sc. in Mathematics on 31 October 2008.
Joris Sprunken wrote a Bachelor's Thesis entitled Anti-magische Grafen.
He received his B.Sc. in Mathematics in August 2007?
Janneke van de Boomen wrote a Bachelor's Thesis entitled The Matrix Tree Theorem.
She received her B.Sc. in Mathematics in August 2007?
Marcel Gorissen wrote a Master's Thesis entitled Generating Finite Projective Planes from Non-Paratopic Latin Squares.
He graduated as M.Sc. in Mathematics on January 31, 2007.
Renée Hoogveld finished her Bachelor thesis Kettingbreuken en het Planetarium van Christiaan Huygens (Dutch) in October 2006.
Loes Paffen graduated as M.Sc. in Mathematics on October 6, 2005 on a Master's Thesis Golay codes and Gröbner bases (in Dutch)
Mascha Honsbeek wrote her Ph.D. thesis in Mathematics in Nijmegen. The thesis was titled Radical extensions and Galois groups.
She graduated in Nijmegen on May 17, 2005.
Bart Kirkels graduated as M.Sc. in Mathematics on October 8, 2004; he wrote a Master's thesis on Irreducibility Certificates for Polynomials with Integer Coefficients.
Here is a proof of the irreducibility criterion as described in the thesis, implemented in the Proof Assistant Coq
There are 4 files of Magma code implementing various methods for generating irreducibility certificates. The main modular method, code for the certificates based on Bunyakovsky's Conjecture, and on Eisenstein's method. Useful help functions should be loaded first.
Mink Assies graduated as M.Sc. in Mathematics on June 10, 2004; he wrote a Master's thesis On the maximal size of codes of length 3 with the 2-identifiable parent property.
Lucie van der Logt wrote her doctoraalscriptie in July of 2001. It is entitled XTR, a public key cryptosystem.
She graduated in Nijmegen on ??, 2001.