专栏首页arxiv.org翻译专栏GAPS:自动多项式求解器的生成器(CS RO)
原创

GAPS:自动多项式求解器的生成器(CS RO)

计算机视觉中的最小问题提出了为多项式方程组生成高效自动求解器的需求。给定一个使用不同系数实例重复的多项式系统,传统的Gröbner基或基于范式的解决方案效率很低。幸运的是,发现具有相同系数的相同多项式系统的Gröbner基础具有一致的内部结构。通过离线预先计算这些结构,可以自动有效地在线求解Gröbner基以及多项式系统解决方案。在过去的十年中,已经发布了几种工具来生成针对一般最小问题的自动求解器。来自Larsson等的最新工具autogen。是这些工具的代表,具有最新的求解器效率性能。 GAPS通过更友好的界面,更多的功能和更好的稳定性来包装和改进自动生成。我们在这份报告中展示了GAPS的主要方法和增强功能。还包括该软件的简短教程。。

原文题目:GAPS: Generator for Automatic Polynomial Solvers

原文:Minimal problems in computer vision raise the demand of generating efficient automatic solvers for polynomial equation systems. Given a polynomial system repeated with different coefficient instances, the traditional Gröbner basis or normal form based solution is very inefficient. Fortunately the Gröbner basis of a same polynomial system with different coefficients is found to share consistent inner structure. By precomputing such structures offline, Gröbner basis as well as the polynomial system solutions can be solved automatically and efficiently online. In the past decade, several tools have been released to generate automatic solvers for a general minimal problems. The most recent tool autogen from Larsson et al. is a representative of these tools with state-of-the-art performance in solver efficiency. GAPS wraps and improves autogen with more user-friendly interface, more functionality and better stability. We demonstrate in this report the main approac and enhancement features of GAPS. A short tutorial of the software is also included.

原文作者:Bo Li,Viktor Larsson

原文地址:https://arxiv.org/abs/2004.11765

原创声明,本文系作者授权云+社区发表,未经许可,不得转载。

如有侵权,请联系 yunjia_community@tencent.com 删除。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • Coq Proof Assistant的策略学习与证明(CS AI)

    我们提出了一种利用机器学习在Coq Proof Assistant中进行战术证明搜索的系统。 与HOL4的Tactic Toe项目类似,我们的系统预测适当的战术...

    时代在召唤
  • 使用软件定义的网络管理工业通信延迟(CS RO)

    最近的技术进步促进了复杂的工业网络物理系统的发展,这些系统需要实时通信并保证延迟。在此类系统中违反延迟要求的后果可能会变得越来越严重。在本文中,我们提出了一种基...

    时代在召唤
  • 移动操作的空间动作图(CS RO)

    本文提出了一种新的动作表示形式,用于学习执行复杂的移动操作任务。在典型的深度Q学习设置中,训练卷积神经网络(ConvNet)从表示当前状态的图像(例如,场景的S...

    时代在召唤
  • SAP CRM的状态管理和权限控制的集成

    CRM status management framework supports the authorization concept as below. Cu...

    Jerry Wang
  • SAP CRM的状态管理和权限控制的集成

    CRM status management framework supports the authorization concept as below.

    Jerry Wang
  • Flink Forward 2019--实战相关(9)--Yelp公司分享CEP应用

    Creating millions of user sessions using Complex Event Processing -- Prem Santos...

    阿泽
  • 特别的往 Docker Container 中上传代码的技巧

    折腾服务器的时候常常会遇到一些将本地写的代码传上服务器的需求,利用 SFTP 工具(Filezilla、WinSCP 之类)较为麻烦,所以我通常的做法是先使用 ...

    zgq354
  • 【译】Python中的数据清洗 |Pythonic Data Cleaning With NumPy and Pandas(二)

    【译】Python中的数据清洗 |Pythonic Data Cleaning With NumPy and Pandas(一)

    needrunning
  • 解析JSON(续)

    萤火虫叔叔
  • 盘点2012年中国互联网十大泛滥的东西

    互联网加速了信息传播,社会化传播让传播速度指数级增长。互联网产品生产的短周期,使得好产品的设计、理念、模式和体验更容易传播到其他产品。不过,好的东西不一...

    罗超频道

扫码关注云+社区

领取腾讯云代金券