Zachary Flores

According to our database, Zachary Flores authored at least 3 papers between 2020 and 2023.

Collaborative distances:

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

2023

A Formalization of Operads in Coq.

Zachary Flores, Angelo Taranto, Eric Bond, Yakir Forman

CoRR, 2023

A Formal Algebraic Framework for DSL Composition.

Zachary Flores, Angelo Taranto, Eric Bond

CoRR, 2023

2020

On the apolar algebra of a product of linear forms.

Michael DiPasquale, Zachary Flores, Chris Peterson

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020