Show HN: Geomatic – 一个由自动微分支持的命令驱动型几何工作室
摘要
Geomatic 是一个命令驱动的几何工作室,利用自动微分实现交互式几何操作。
所有命令的格式为 `output = \func inputs` 或仅为 `\function inputs`。点和标量是即时构建的。例如,在空白画布上执行 `\line a b` 会创建点 `a` 和 `b`,并用一条线将它们连接起来。<p>用户可以使用类似 NumPy 和 PyTorch 的广播语义进行可视化操作(想象一下创建一个圆列表,其中一个维度对应半径,另一个维度对应圆心)。用户还可以使用反向传播、运行梯度下降或可视化向量场。几乎所有操作都是响应式的,因此更改变量会更新所有下游几何体。它还允许任何人编写并加载自己的可视化内容,这些内容可以被广播和求导。
查看缓存全文
缓存时间: 2026/05/25 09:45
# Geomatic | Tiny Volt
来源:https://www.tinyvolt.com/geomatic
LogoTiny Volt (https://www.tinyvolt.com/)Geomatic (https://www.tinyvolt.com/geomatic)扩展 (https://www.tinyvolt.com/extensions)定价 (https://www.tinyvolt.com/pricing)暂无命令
编辑器加载中...
相似文章
FormalAnalyticGeo:一个基于神经符号的多模态解析几何问题生成框架
介绍了FormalAnalyticGeo,这是一个基于神经符号的框架,用于自动生成多模态解析几何问题。它利用形式化中间表示(CDL)和LLM组件,生成了包含超过7K个经过验证的问题的AnalyticGeo7K数据集,具有高几何精度。
Geometry-Aware Tabular Diffusion
介绍了Geometry-Aware Tabular Diffusion(GATD),该方法通过显式的成对几何特征增强表格扩散去噪器。在十个基准测试上取得了最先进的性能,同时使用的参数显著更少。
VeriGeo:具有数值与分析验证的可控几何问题生成
VeriGeo提出了一种可控几何问题生成框架,利用验证引导的反思确保数值与分析一致性。该方法生成高质量合成数据,在GeoQA上取得最先进结果,并在PGPS9K和MathVista-GPS上表现强劲。
Show HN: GeoChess – 开源地理策略游戏
GeoChess 是一款开源地理策略游戏,玩家轮流声称与当前国家有陆地边界的国家。
E$\Delta$-MHC-Geo Transformer:具有保证正交性的自适应测地线运算
该论文介绍了 EΔ-MHC-Geo Transformer,这是一种新颖的架构,通过 Cayley 旋转和 Householder 反射实现具有保证正交性的自适应测地线运算。与 Deep Delta Learning 等现有基线方法相比,它展示了更优的长视域稳定性和范数保持能力。