-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathresearch.html
90 lines (81 loc) · 3.68 KB
/
research.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<!-- Google tag (gtag.js) -->
<script async src="https://www.googletagmanager.com/gtag/js?id=G-P8VCZCBFCN"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments);}
gtag('js', new Date());
gtag('config', 'G-P8VCZCBFCN');
</script>
<link rel="stylesheet" href="styles/index.css">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Alex Dean</title>
<script src="scripts/theme.js"></script>
<script src="scripts/mobile-nav.js"></script>
</head>
<body>
<button class="mobile-nav-toggle" aria-label="Toggle navigation menu">
<span></span>
<span></span>
<span></span>
</button>
<div class="mobile-menu">
<a href="index.html">Home</a>
<a href="books.html">Books</a>
<a href="engineering.html">Engineering</a>
<a href="research.html">Research</a>
</div>
<div class="front-page">
<div class="page-navigation">
<a href="books.html">Books</a> <br/>
<a href="engineering.html">Engineering</a> <br/>
<a href="research.html">Research</a>
</div>
<div class="page-description">
<div class="back-navigation">
<a href="index.html" class="back-button">
<span class="back-arrow">←</span>
<span class="back-text">Back</span>
</a>
</div>
<h1>Alex Dean</h1>
<h2>Papers & Publications</h2>
<ol>
<!--
In the future, the plan is to have each paper link to a page of its own.
So, I'll keep the following code commented out, for now.
-->
<!-- <li><a href="papers/paper3.html">Firefighting on the Hexagonal Grid and on
Infinite Trees</a>, appeared in <i>Discrete Applied Mathematics</i> —
With Sean English, Tongyun Huang, Robert A. Krueger, Andy Lee, Mose Mizrahi,
and Casey Wheaton-Werle; December 2021.
</li>
<li><a href="papers/paper2.html">Automatic Theorem Proving</a> — With Reed Oei,
Eric Ma, Tatum Schmidt, Christian Shulz, and Philipp Hieronymi; December 2019.
</li>
<li><a href="papers/paper1.html">Explorations of the Stern Sequence</a> — With
Grace Jaffe, Jared Lobo, and Philipp Hieronymi; August 2019.</li> -->
<li>
<a href="https://arxiv.org/abs/2010.05060">Firefighting on the Hexagonal Grid
and on Infinite Trees</a>, appeared in <i>Discrete Applied Mathematics</i>
— With Sean English, Tongyun Huang, Robert A. Krueger, Andy Lee,
Mose Mizrahi, and Casey Wheaton-Werle; December 2021.
</li>
<li>
<a href="https://drive.google.com/file/d/1_iUSjX1ibRGEQcAiCl4i1aZqD6LwIzlB/view">
Automatic Theorem Proving</a> — With Reed Oei, Eric Ma, Tatum
Schmidt, Christian Shulz, and Philipp Hieronymi; December 2019.
</li>
<li>
<a href="https://drive.google.com/file/d/10WXdHJYFiQrMXf0BQkk_y7Bk6bcLJJbP/view">
Explorations of the Stern Sequence</a> — With Grace Jaffe, Jared Lobo,
and Philipp Hieronymi; August 2019.
</li>
</ol>
</div>
</div>
</body>
</html>