334 reputation
110
bio website
location Calgary
age 20
visits member for 2 years, 6 months
seen Nov 7 at 21:14

I just finished my 3rd year of an Honours Pure Mathematics degree at the University of Calgary. I have done research on applications of simplicial complexes to tetrahedron packing and contact number problems in sphere packings, non-standard models of Peano arithmetic, diagonal distance in quantum error correcting codes, asymptotic combinatorics of modal frames and game theory applications, nilpotent orbit varieties, and bicyclic convex 4-polytopes. I also defined a sequent calculus for dynamic topological logic, wrote a computational chemistry paper introducing the notion of Benzene aromarings, am collaborating with physicists on a black hole physics paper, and am involved in a photovoltaic systems engineering project. I am also currently writing a book on the Geometric Analysis of Convex Bodies which studies the theory of rectification, the connection between elliptic curves and lattice packings, non-congruent sphere packing kissing numbers, homothetic translative covering problems, totally separable sphere packings, and the Mahler conjecture. Mathematically, my main goal before I finish my undergraduate is to prove the Mahler conjecture for certain classes of convex 3-polytopes and 4-polytopes and to finish my book project.


Jul
2
awarded  Curious
Jun
21
awarded  Yearling
Feb
7
revised Generating a non-convex polyhedron from a list of vertex coordinates
added 131 characters in body
Feb
5
comment Generating a non-convex polyhedron from a list of vertex coordinates
The figure I generated from the code in my answer ended up in a paper I wrote: arxiv.org/abs/1210.5756 if you are interested! Thanks for the help.
Feb
5
comment Linear Solve with Modular Arithmetic
@Artes Sorry that I forgot to accept your answer, yes it was helpful and exactly what I needed to finish writing my Algorithm. Thanks!
Feb
5
accepted Linear Solve with Modular Arithmetic
Oct
4
comment Linear Solve with Modular Arithmetic
@J.M., I did not know that. Can you tell me how I would do this syntactically?
Oct
4
asked Linear Solve with Modular Arithmetic
Jul
13
comment Using FindInstance to Prove No Solutions Exist
@ThiesHeidecke: I ended up having already solved this particular problem I asked in the question, but this technique happened to end up being very useful for something else I am now working on, so thank you!
Jul
11
awarded  Nice Question
Jul
8
accepted Using FindInstance to Prove No Solutions Exist
Jul
8
revised Using FindInstance to Prove No Solutions Exist
added 6 characters in body
Jul
8
comment Using FindInstance to Prove No Solutions Exist
I'm not sure why I should add my bounds on the angles to be periodic... I only consider it relevant to consider to internal angle which is bounded below $2\pi$.
Jul
7
asked Using FindInstance to Prove No Solutions Exist
Jul
4
comment Problems Computing (in a reasonable amount of time) Solutions to a System of Inequalities
@Artes: That substitution $2^p \rightarrow x, 2^r \rightarrow y, 2^s \rightarrow z$ was a great idea. Thanks for the answer!
Jul
4
comment Problems Computing (in a reasonable amount of time) Solutions to a System of Inequalities
@VitaliyKaurov: Thanks for clearing up my concern about how I thought the computation was using a bad algorithm since it was taking so long to do.
Jul
4
comment Problems Computing (in a reasonable amount of time) Solutions to a System of Inequalities
Thank you very much for the thoughtful response, your answer was the most useful for actually answering my question so I am accepting it (although the other ones were also very insightful as well!)
Jul
4
accepted Problems Computing (in a reasonable amount of time) Solutions to a System of Inequalities
Jul
4
comment Problems Computing (in a reasonable amount of time) Solutions to a System of Inequalities
I tried both of your ideas and they were not very useful in reducing the computation time. Any other ideas?
Jul
4
comment Problems Computing (in a reasonable amount of time) Solutions to a System of Inequalities
@J.M. I have not, I will go try it! Thanks for the suggestion.