filmov
tv
Automated Planar Geometry in Wolfram Language
Показать описание
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.