Search

Author:

Miller, Justin Davis

Title:

Extending First Order Logic to Quantify Over Formulas

Area of Honors:

Mathematics

Keywords:

First Order Logic
Mathematical Logic
Mathematics
Foundations of Mathematics

File:

Download master.pdf

Thesis Supervisors:

Jason Michael Rute, Thesis Supervisor
Anne Kirsten Eisentraeger, Thesis Honors Advisor

Author:

Shen, Yuefei

Title:

ON CUBIC PARTITIONS AND PARTITIONS CLASSIFIED BY SMALLEST MISSING PART

Area of Honors:

Mathematics

Keywords:

partitions
cubic partitions
combinatorics

File:

Download thesis.pdf

Thesis Supervisors:

George E. Andrews, Thesis Supervisor
Anne Kirsten Eisentraeger, Thesis Honors Advisor

Author:

Cotner, Sean Thomas

Title:

Diophantine Approximation and Complexity Measures

Area of Honors:

Mathematics

Keywords:

Diophantine approximation
Kolmogorov complexity

File:

Download Final_thesis.pdf

Thesis Supervisors:

Jan Severin Reimann, Thesis Supervisor
Anne Kirsten Eisentraeger, Thesis Honors Advisor

Author:

Huynh, Simon

Title:

The Shortest Vector Problem in Ideal Lattices

Area of Honors:

Mathematics

Keywords:

number theory
Cryptology
mathematics
abstract algebra
ideal lattices
cyclic lattices
the Shortest Vector Problem
number fields
number rings
lattices
cryptosystems
quantum computers
RSA
Post-quantum Cryptography

File:

Download huynh_honors_Thesis_the_Shortest_Vector_Problem_in_Ideal_Lattices.pdf

Thesis Supervisors:

Anne Kirsten Eisentraeger, Thesis Supervisor
Mark Levi, Thesis Honors Advisor