Lucas Rufino Martelotte

According to our database, Lucas Rufino Martelotte authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Point-free calculational proofs and program derivation in linear algebra using a graphical syntax.

Júlia Mota, João A. R. Paixão, Lucas Rufino Martelotte

J. Funct. Program., 2025