While these languages are mainly of interest in academic research (including in formalized mathematics), they have begun to be used in engineering as well.
Макар че тези езици са с интерес главно към академичните изследвания (включително в формализирана математика), те са започнали да се използват също и в инженерството.