Tristan Figueroa-Reid

According to our database, Tristan Figueroa-Reid authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Composition Direction of Seymour's Theorem for Regular Matroids - Formally Verified.

Martin Dvorak, Tristan Figueroa-Reid, Rida Hamadani, Byung-Hak Hwang, Evgenia Karunus, Vladimir Kolmogorov, Alexander Meiburg, Alexander Nelson, Peter Nelson, Mark Sandey, Ivan Sergeev

CoRR, September, 2025