|
|
|
|
|
The goal of this project is to create interactive…
Contributors and team members
Ka Fung Tjin, Elsie Wang, Yifan Zhang
|
|
|
An edge-induced vertex coloring is a vertex…
Contributors and team members
Maria Fedriko, Cindy Feng, Gargee Jagtap, Jaqueline Ortiz, Suneal Tolliver
|
|
|
In this project, we proved that we can write any…
Contributors and team members
Baihe Duan, Ankit Jayant, Nathan Lin, Congwei Yang
|
|
|
In this project, we studied the Firefighters on…
Video credits
Abdullah Dean, Casey Wheaton-Werle, Andy Lee, Mose Mizrahi, Tongyun Huang Contributors and team members
Abdullah Dean, Casey Wheaton-Werle, Andy Lee, Mose Mizrahi, Tongyun Huang
|
|
|
|
|
|
Given n strands, a braid is a sequence of…
Contributors and team members
Suchetan Dontha, Aishani Dutta, Yixiao Liu, Qingyu Meng
|
|
|
We study the ratio, in a finite graph, of the…
Contributors and team members
Zhengda Mo, Sam Qunell
|
|
|
On a Maker-Breaker game there are two players,…
Contributors and team members
Albert Cao, Xiaojian Li, Tatum Schmidt, Leeann Xoubi, Weian Yin
|
|
|
An automated theorem prover is a program that…
Contributors and team members
Dun Ma, Reed Oei
|