我试图自动证明/反驳一些与正方形有关的几何定理,例如“对于7个不相交的正方形的每3个集合,可以从每个集合中选择1个正方形,使得3个代表是内部不相交的?”. 我尝试使用OpenGeoProver,并提出了以下对方块的描述:…
标签:geometry
如何为使用WPF StreamGeometry绘制的折线启用消除锯齿功能?
我需要在DrawingVisual中绘制折线.我出于性能原因使用StreamGeometry.我遇到的问题是我无法弄清楚如何启用抗锯齿.我在StreamGeometry或DrawingContext上找不到任何方法或属性…
geometry – 自相交/复杂多边形中的点
我已经阅读了 How can I determine whether a 2D Point is within a Polygon?,但我不确定该解决方案是否适用于由中间区域划分的多边形.想象一下方形图8或简单地将两个方…
几何 – 是否可以测试像素是否在bresenham生成的线上而不生成线?
我在网格上有一个像素P.我想知道该像素是否在P0和P1之间的 bresenham生成线上而不实际生成线.这有可能提出这样一个决定因素吗? 最佳答案 我写这个作为答案,尽管这只是一个非常局部的答案. 我相信答案是肯定的.然…