By means of algorithms of computer algebra well-known Heron and Brahmagupta formulas for the area of a triangle and cyclic quadrangle are proved and (re)discovered (en)
Pomocí algoritmů počítačové algebry je dokázána a (znovu)objevena známá Heronova a Brahmaguptova formule pro výpočet obsahu trojúhelníka a tětivového čtyřúhelníka