Modelowanie i wnioskowanie geometryczne