我们非常感谢支持
西蒙斯基金会和成员机构。

象征性计算

最近提交的作者和标题

[总共6个条目:1-6]
[每页显示最多25个条目:较少|更多的]

2021年6月14日星期一

[1] 必威精装版App西汉姆联arxiv:2106.05997(来自cs.lg的跨列表)[PDF.其他]
标题:使用基于SMT的模型检查验证量化的神经网络
主题: 机器学习(CS.LG);加密和安全性(CS.CR);象征性计算(CS.SC)

星期三,2021年6月9日

[2] 必威精装版App西汉姆联arxiv:2106.04340.(来自cs.lo的跨列表)[PDF.其他]
标题:非线性算术的插值和模型检查
注释:在Cav 2021发表
主题: 计算机科学逻辑(CS.LO);编程语言(CS.PL);象征性计算(CS.SC)
[3] 必威精装版App西汉姆联arxiv:2106.04104(来自cs.cv的跨列表)[PDF.其他]
标题:通过计算机代数设计低伪影插值核
作者: 彼得卡尔波夫
注释:22页,6个数字
主题: 计算机愿景和模式识别(CS.cv);象征性计算(CS.SC);图像和视频处理(Eess.iv)

星期二,2021年6月8日

[4] 必威精装版App西汉姆联arxiv:2106.03676(来自Math.ac的跨列表)[PDF.其他]
标题:学习Buchberger算法的性能度量
主题: 换向代数(Math.ac);机器学习(CS.LG);象征性计算(CS.SC);代数几何(math.ag);机器学习(Stat.ML)

2021年6月7日星期一

[5] 必威精装版App西汉姆联arxiv:2106.02505.[PDF.其他]
标题:单变量多项式近似和应用于根隔离,数值多点评估等问题的新数据结构
作者: Guillaume Moroz.(赌)
主题: 象征性计算(CS.SC)

星期五,4月4日2021年6月4日

[6] 必威精装版App西汉姆联arxiv:2106.01827(来自Math.NA的跨清单)[PDF.其他]
标题:Dubovsky广义模型框架内经济周期数值分析的计算机计划
主题: 数值分析(Math.NA);象征性计算(CS.SC)
[总共6个条目:1-6]
[每页显示最多25个条目:较少|更多的]

禁用mathjax.什么是mathjax?

链接到:必威精装版App西汉姆联表单界面CS新的2106接触Help.访问钥匙信息)