Vol-3376⫷ Vol-3377 ⫸Vol-3378
urn:nbn:de:0074-3377-0


Vol-3377/dp4⫷Vol-3377/ci1
Zoltán KovácsRóbert Vajda

Extending GeoGebra/realgeom with QEPCAD B to obtain proofs on geometric inequalities