@incollection{MEM_2023_52_a11,
     author = {Bantchev, Boyko},
     title = {From construction to computation to symbolic calculation: an example in plane geometry},
     booktitle = {},
     series = {Mathematics and Education in Mathematics},
     pages = {148--153},
     year = {2023},
     volume = {52},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/MEM_2023_52_a11/}
}