Formalization of Elementary Row Operations Using LEAN

Aidan Sabin, South Carolina Governor's School for Science and Mathematics

ECL 114

9:30 AM

South Carolina Governor's School for Science and Mathematics

Mathematics

Mentored

Proof of a Fibonacci Identity with Square Root

Lavender Milligan, Goose Creek High School

ECL 114

9:45 AM

Goose Creek High School

Mathematics

Mentored

Proof of a New Fibonacci Identity

Virginia Rhett Smith, James Island Charter High School
Ell Torek

ECL 114

10:00 AM

James Island Charter High School

Mathematics

Mentored

Combinatorics Tiling Problem

Peyton Matheson, Lucy Garret Beckham High School

ECL 114

10:15 AM

Lucy Garret Beckham High School

Mathematics

Mentored

A Comparative Study: The Effectiveness of Various Search Strategies for Finding Critical Evidence in Crime Scene Analysis

Elianna Tracy, Spring Valley High School

ECL 116

11:00 AM

Spring Valley High School

Mathematics

Non-Mentored

Developing Software for Graphing Neural Manifolds Visible in a Three-Dimensional Space Without Using Nonlinear Dimensionality Reduction

Fionn O'Connor, Spring Valley High School

ECL 116

11:15 AM

Spring Valley High School

Mathematics

Non-Mentored

Proofs of Two Fibonacci Identities

Eli Torek, Fort Dorchester High School
Virginia Rhett Smith
Lavender Milligan

11:00 PM

Fort Dorchester High School

Mathematics

Mentored