Automated Planar Geometry in Wolfram Language

preview_player
Показать описание
We present updates to the automated geometric functionality of Wolfram Language, including such existing system functions as GeometricScene, RandomInstance and FindGeometricConjectures, as well as such resource/future functions as FindGeometricProof and GeometricSolveValues.
Рекомендации по теме