1. Abar, C. A. A. P., Kovács, Z., Recio, T., Vajda, R.: Conectando Mathematica e GeoGebra para explorar construções geométricas planas. Presentation at Wolfram Technology Conference, Saõ Paulo, Brazil, November (2019)
2. Bottema, O.: Inequalities for $$R$$, $$r$$ and $$s$$. Publikacije Elektrotehničkog Fakulteta. Serija Matematika i Fizika, 338/352:27–36, (1971)
3. Bottema, O., Djordjevic, R., Janic, R., Mitrinovic, D., Vasic, P.: Geometric Inequalities. Wolters-Noordhoff Publishing, Groningen (1969)
4. Bright, P.: The Web is getting its bytecode: WebAssembly. Condé Nast (2015)
5. Brown, C., Davenport, J.: The complexity of quantifier elimination and cylindrical algebraic decomposition. In Proceedings of ISSAC ’07, 54–60. ACM, (2007)