These two files are MAGMA code. This code was used to prove that the shape of a room can be reconstructed from the first order echoes acquired by 4 microphones on a drone.
The file "echoes_ASO3.txt" is a MAGMA script that verifies the theorems of the paper "A drone can hear the shape of a room" by Boutin and Kemper. It uses the functions in the file "echoes_functions.txt."
Cite this work
Researchers should cite this work as follows: