数学

2012年01月 的作者和标题

[2101] arXiv:1201.3727 (交叉列表自 cs.DM) [中文pdf, pdf, 其他]

标题： 刚性生成子图和生成树的包装问题 显示英文标题

标题： Packing of Rigid Spanning Subgraphs and Spanning Trees

Joseph Cheriyan, Olivier Durand de Gevigney, Zoltán Szigeti

主题： 离散数学 (cs.DM) ; 组合数学 (math.CO)

[2102] arXiv:1201.3749 (交叉列表自 q-bio.QM) [中文pdf, pdf, 其他]

标题： 化学主方程的高效参数分析通过模型降阶方法 显示英文标题

标题： Efficient parametric analysis of the chemical master equation through model order reduction

Steffen Waldherr, Bernard Haasdonk

评论： 23页，8幅图，2张表格

期刊参考： BMC系统生物学 2012, 6:81

主题： 定量方法 (q-bio.QM) ; 数值分析 (math.NA)

[2103] arXiv:1201.3787 (交叉列表自 gr-qc) [中文pdf, pdf, 其他]

标题： 关于通货膨胀的起源 显示英文标题

标题： On the origin of inflation

Torsten Asselmeyer-Maluga, Jerzy Król

评论： 4页，2个图

主题： 广义相对论与量子宇宙学 (gr-qc) ; 宇宙学与非星系天体物理学 (astro-ph.CO) ; 高能物理 - 理论 (hep-th) ; 数学物理 (math-ph)

[2104] arXiv:1201.3794 (交叉列表自 hep-th) [中文pdf, pdf, 其他]

标题： 几何与调和超空间：近期进展 显示英文标题

标题： Geometry and Harmonic Superspace: some recent progress

F. Delduc, E. Ivanov

评论： 2011年7月18日至23日在杜布纳举行的SQS国际研讨会发言

主题： 高能物理 - 理论 (hep-th) ; 数学物理 (math-ph)

[2105] arXiv:1201.3838 (交叉列表自 hep-th) [中文pdf, pdf, 其他]

标题： 时间算符的矩阵表示 显示英文标题

标题： Matrix representation of the time operator

Carl M. Bender, M. Gianfreda

评论： 13页，3幅图

主题： 高能物理 - 理论 (hep-th) ; 数学物理 (math-ph) ; 量子物理 (quant-ph)

[2106] arXiv:1201.3931 (交叉列表自 hep-ph) [中文pdf, pdf, 其他]

标题： 经典动量依赖洛伦兹破缺拉格朗日量 显示英文标题

标题： Classical Lagrangians for Momentum Dependent Lorentz Violation

Don Colladay, Patrick McDonald

评论： 14页

主题： 高能物理 - 现象学 (hep-ph) ; 微分几何 (math.DG)

[2107] arXiv:1201.3952 (交叉列表自 cond-mat.soft) [中文pdf, pdf, 其他]

标题： 四面体胶体团簇由双分散球体的随机停放形成 显示英文标题

标题： Tetrahedral colloidal clusters from random parking of bidisperse spheres

Nicholas B. Schade, Miranda C. Holmes-Cerfon, Elizabeth R. Chen, Dina Aronzon, Jesse W. Collins, Jonathan A. Fan, Federico Capasso, Vinothan N. Manoharan

评论： 24页，6个图

期刊参考： 物理评论快报，110（14），148303（2013）

主题： 软凝聚态物理 (cond-mat.soft) ; 数学物理 (math-ph)

[2108] arXiv:1201.3969 (交叉列表自 gr-qc) [中文pdf, pdf, 其他]

标题： 打破形状动力学哈密顿量的唯一性 显示英文标题

标题： Breaking the uniqueness of the Shape Dynamics Hamiltonian

Henrique Gomes

评论： 14页，仅元数据已更改：摘要已被替换以去掉参考文献。

主题： 广义相对论与量子宇宙学 (gr-qc) ; 数学物理 (math-ph)

[2109] arXiv:1201.3979 (交叉列表自 quant-ph) [中文pdf, pdf, 其他]

标题： 单向不可定域量子离域度 显示英文标题

标题： The one-way unlocalizable quantum discord

Zhengjun Xi, Heng Fan, Yongming Li

评论： 6页，3个图。修正了少量错误，增加了参考文献。

主题： 量子物理 (quant-ph) ; 信息论 (cs.IT)

[2110] arXiv:1201.3982 (交叉列表自 cs.CR) [中文pdf, pdf, 其他]

标题： 构造D所构建的格的Min-Sum算法 显示英文标题

标题： Min-Sum algorithm for lattices constructed by Construction D

Hassan Mehri

评论： 10页，1幅图

主题： 密码学与安全 (cs.CR) ; 信息论 (cs.IT) ; 组合数学 (math.CO)

[2111] arXiv:1201.4002 (交叉列表自 stat.ML) [中文pdf, pdf, 其他]

标题： 在不完全信息和成本约束下的顺序采样自适应策略 显示英文标题

标题： Adaptive Policies for Sequential Sampling under Incomplete Information and a Cost Constraint

Apostolos Burnetas, Odysseas Kanavetas

主题： 机器学习 (stat.ML) ; 机器学习 (cs.LG) ; 优化与控制 (math.OC)

[2112] arXiv:1201.4013 (交叉列表自 cs.NI) [中文pdf, pdf, 其他]

标题： 受限密集网络的连通性：边界效应与缩放定律 显示英文标题

标题： Connectivity of Confined Dense Networks: Boundary Effects and Scaling Laws

Justin P. Coon, Carl P. Dettmann, Orestis Georgiou

评论： 21页，6个图，1个表格

主题： 网络与互联网架构 (cs.NI) ; 信息论 (cs.IT)

[2113] arXiv:1201.4033 (交叉列表自 nlin.SI) [中文pdf, pdf, 其他]

标题： 变系数三次-五次非线性薛定谔方程的对称分类 显示英文标题

标题： Symmetry classification of variable coefficient cubic-quintic nonlinear Schrödinger equations

C. Özemir, F. Güngör

主题： 精确可解与可积系统 (nlin.SI) ; 数学物理 (math-ph)

[2114] arXiv:1201.4060 (交叉列表自 physics.comp-ph) [中文pdf, pdf, 其他]

标题： 关于谱方法中插值方法的效率和精度 显示英文标题

标题： On the efficiency and accuracy of interpolation methods for spectral codes

M. A. T. van Hinsberg, J. H. M. ten Thije Boonkkamp, F. Toschi, H. J. H. Clercx

评论： 19页，5幅图

主题： 计算物理 (physics.comp-ph) ; 数值分析 (math.NA) ; 流体动力学 (physics.flu-dyn)

[2115] arXiv:1201.4067 (交叉列表自 physics.flu-dyn) [中文pdf, pdf, 其他]

标题： 动能波湍流 显示英文标题

标题： Kinetic Wave Turbulence

Gregory L. Eyink, Yi-Kang Shi

评论： 38页，21幅图

主题： 流体动力学 (physics.flu-dyn) ; 数学物理 (math-ph)

[2116] arXiv:1201.4092 (交叉列表自 gr-qc) [中文pdf, pdf, 其他]

标题： 协变扩展相空间用于弯曲背景上的场 显示英文标题

标题： Covariant Extended Phase Space for Fields on Curved Background

Pankaj Sharan

评论： 19页。arXiv管理员备注：大量文本与arXiv:1104.5095重复。

主题： 广义相对论与量子宇宙学 (gr-qc) ; 高能物理 - 理论 (hep-th) ; 数学物理 (math-ph)

[2117] arXiv:1201.4143 (交叉列表自 hep-th) [中文pdf, pdf, 其他]

标题： D-膜荷与Ramon-Ramond场的几何课题 - 第二部分：低次数RR场 显示英文标题

标题： Topics on the geometry of D-brane charges and Ramond-Ramond fields - Part II: Low-degree RR fields

Fabio Ferrari Ruffino

评论： 22页（附录在内）

主题： 高能物理 - 理论 (hep-th) ; 数学物理 (math-ph)

[2118] arXiv:1201.4222 (交叉列表自 nlin.SI) [中文pdf, pdf, 其他]

标题： 超代数$q$的 Wakimoto 实现以及$U_q(\hat{sl}(N|1))$和$U_{q,p}(\hat{sl}(N|1))$ 显示英文标题

标题： The $q$-Wakimoto Realization of the Superalgebras $U_q(\hat{sl}(N|1))$ and $U_{q,p}(\hat{sl}(N|1))$

Takeo Kojima

评论： 10页，LaTeX，《第九届国际“李理论及其在物理学中的应用”研讨会（LT-9） proceedings，2011年6月20-26日，保加利亚瓦尔纳》，斯普林格出版社

期刊参考： 《Springer Proceedings 36, 263-276 (2013)》

主题： 精确可解与可积系统 (nlin.SI) ; 数学物理 (math-ph) ; 量子代数 (math.QA)

[2119] arXiv:1201.4243 (交叉列表自 cs.CR) [中文pdf, pdf, 其他]

标题： 安全组播中的密钥分发方案分析 显示英文标题

标题： Analysis of a Key Distribution Scheme in Secure Multicasting

Maze Gerard

期刊参考： 《数学密码学杂志》，第6卷，第1期（2012年），第69至80页

主题： 密码学与安全 (cs.CR) ; 离散数学 (cs.DM) ; 信息论 (cs.IT)

[2120] arXiv:1201.4249 (交叉列表自 gr-qc) [中文pdf, pdf, 其他]

标题： 洛伦兹流形中超曲面的体积比较与奇点定理 显示英文标题

标题： Volume Comparison for Hypersurfaces in Lorentzian Manifolds and Singularity Theorems

Jan-Hendrik Treude, James D.E. Grant

评论： 15页，LaTeX

期刊参考： 《全球分析与几何年鉴》，第43卷，第3期，233-251页，施普林格（2013年）

主题： 广义相对论与量子宇宙学 (gr-qc) ; 数学物理 (math-ph) ; 微分几何 (math.DG)

[2121] arXiv:1201.4261 (交叉列表自 stat.AP) [中文pdf, pdf, 其他]

标题： 法医学鉴定：数据库似然比与亲缘关系DNA搜索 显示英文标题

标题： Forensic Identification: Database likelihood ratios and familial DNA searching

Klaas Slooten, Ronald Meester

评论： 与v2版本的变化：论文为提高可读性而缩短；因仿真错误导致的寻找具有兄弟索引的半同胞的错误结果已被更正。

主题： 应用 (stat.AP) ; 概率 (math.PR) ; 基因组学 (q-bio.GN)

[2122] arXiv:1201.4267 (交叉列表自 hep-th) [中文pdf, pdf, 其他]

标题： 卡迪-卡特兰模 invariant 显示英文标题

标题： The Cardy-Cartan modular invariant

Jurgen Fuchs, Christoph Schweigert, Carl Stigner

评论： 扩展版对Maximilian Kreuzer纪念文集的贡献。v2：修正了排版错误。

主题： 高能物理 - 理论 (hep-th) ; 量子代数 (math.QA)

[2123] arXiv:1201.4276 (交叉列表自 hep-th) [中文pdf, pdf, 其他]

标题： 梦之境与经典希格斯场、维度约化以及一切的一切 显示英文标题

标题： Dream-land with Classic Higgs field, Dimensional Reduction and all that

D. V. Shirkov

评论： 9页，8幅图，曾在“规范场：昨天、今天、明天”国际会议（2010年1月19-24日，俄罗斯莫斯科）上报告，以纪念安德烈·阿列克谢耶维奇·斯拉夫诺夫七十周年诞辰

期刊参考： 《俄罗斯科学院斯捷克洛夫数学研究所学报》，2011年，第272卷，第216-222页

主题： 高能物理 - 理论 (hep-th) ; 高能物理 - 现象学 (hep-ph) ; 数学物理 (math-ph)

[2124] arXiv:1201.4342 (交叉列表自 cs.GT) [中文pdf, pdf, 其他]

标题： 一种求解组合逆向拍卖双目标赢家确定问题的Pareto-元启发式算法 显示英文标题

标题： A Pareto-metaheuristic for a bi-objective winner determination problem in a combinatorial reverse auction

Tobias Buer, Herbert Kopfer

评论： 已被接受在《Computers & Operations Research》发表，线上可用，2013年。

期刊参考： 《计算机与运筹学》41卷（2014年），第208-220页

主题： 计算机科学与博弈论 (cs.GT) ; 人工智能 (cs.AI) ; 优化与控制 (math.OC)

[2125] arXiv:1201.4429 (交叉列表自 gr-qc) [中文pdf, pdf, 其他]

标题： 带有电荷的静态恒星模型作为振荡器 显示英文标题

标题： Interior Static Stellar Model with Electric Charge as an Oscillator

A.M.Baranov

评论： 2页，第五届亚洲太平洋国家引力与天体物理国际会议（ICGA-5）上发表的报告，莫斯科，2001年

期刊参考： 《引力与宇宙学》，第8卷（2002年），增刊II，第10-11页

主题： 广义相对论与量子宇宙学 (gr-qc) ; 数学物理 (math-ph)

[2126] arXiv:1201.4432 (交叉列表自 gr-qc) [中文pdf, pdf, 其他]

标题： 开放宇宙模型：用马修函数描述 显示英文标题

标题： Open Universe Model: Description by Mathieu Functions

A.M.Baranov, D.A.Baranov

评论： 2页，第5届亚太国家引力与天文学国际会议（ICGA-5）上所做的报告，莫斯科，2001年

期刊参考： 《引力与宇宙学》，第8卷（2002年），增刊II，第12-13页

主题： 广义相对论与量子宇宙学 (gr-qc) ; 数学物理 (math-ph)

[2127] arXiv:1201.4468 (交叉列表自 cs.DM) [中文pdf, pdf, 其他]

标题： 关于Sturmian词的一种新的几何方法 显示英文标题

标题： A new geometric approach to Sturmian words

Kaisa Matomäki, Kalle Saari

评论： 12页，7个图。一篇将发表于《理论计算机科学》的论文预印本。

主题： 离散数学 (cs.DM) ; 组合数学 (math.CO)

[2128] arXiv:1201.4469 (交叉列表自 cs.SY) [中文pdf, pdf, 其他]

标题： 谱估计的不确定性界限 显示英文标题

标题： Uncertainty Bounds for Spectral Estimation

Johan Karlsson, Tryphon T. Georgiou

评论： 八位数（金额达到或超过10,000,000的情况）

主题： 系统与控制 (eess.SY) ; 优化与控制 (math.OC) ; 统计理论 (math.ST)

[2129] arXiv:1201.4472 (交叉列表自 cs.DM) [中文pdf, pdf, 其他]

标题： 关于Jaeger的Petersen染色猜想的备注 显示英文标题

标题： A remark on Petersen coloring conjecture of Jaeger

Vahan V. Mkrtchyan

评论： 6页，2个图，+考虑了审稿人的意见+引入了西尔维斯特着色猜想+证明了与该猜想相关的结果

期刊参考： 《澳大利亚和新西兰组合数学杂志》56, (2013), 145-151

主题： 离散数学 (cs.DM) ; 组合数学 (math.CO)

[2130] arXiv:1201.4580 (交叉列表自 q-fin.TR) [中文pdf, pdf, 其他]

标题： 金融市场上的交易机制非线性模型 显示英文标题

标题： A non-linear model of trading mechanism on a financial market

N. Vvedenskaya, Y. Suhov, V. Belitsky

评论： 15页，1幅图

期刊参考： 《马尔可夫过程及相关领域》，第19卷（2013年），第83-98页

主题： 交易与市场微观结构 (q-fin.TR) ; 概率 (math.PR)

[2131] arXiv:1201.4587 (交叉列表自 nlin.CD) [中文pdf, pdf, 其他]

标题： 具有变化免疫期的传染病模型的稳定性与分岔 显示英文标题

标题： Stability and bifurcations in an epidemic model with varying immunity period

K. B. Blyuss, Y. N. Kyrychko

评论： 16页，5幅图

期刊参考： 《数学生物学通报》72卷，第490-505页（2010年）

主题： 混沌动力学 (nlin.CD) ; 动力系统 (math.DS) ; 定量方法 (q-bio.QM)

[2132] arXiv:1201.4591 (交叉列表自 nlin.CD) [中文pdf, pdf, 其他]

标题： 疟疾抗原变异模型中的稳定性与分支问题 显示英文标题

标题： Stability and bifurcations in a model of antigenic variation in malaria

K. B. Blyuss, S. Gupta

评论： 14页，5幅图

期刊参考： 《J. Math. Biol.》58, 923-937 (2009)

主题： 混沌动力学 (nlin.CD) ; 动力系统 (math.DS) ; 种群与进化 (q-bio.PE) ; 定量方法 (q-bio.QM)

[2133] arXiv:1201.4595 (交叉列表自 hep-th) [中文pdf, pdf, 其他]

标题： β-变形的挑战 显示英文标题

标题： Challenges of beta-deformation

A. Morozov

评论： 20页

期刊参考： 《理论物理数学》173卷1期（2012年）1417-1437页

主题： 高能物理 - 理论 (hep-th) ; 数学物理 (math-ph)

[2134] arXiv:1201.4598 (交叉列表自 gr-qc) [中文pdf, pdf, 其他]

标题： 引言：圈量子引力论 显示英文标题

标题： Introduction to Loop Quantum Gravity

Abhay Ashtekar

评论： 30页，2个图。arXiv管理员注：大量文本与arXiv:gr-qc/0410054重复。

主题： 广义相对论与量子宇宙学 (gr-qc) ; 高能物理 - 理论 (hep-th) ; 数学物理 (math-ph)

[2135] arXiv:1201.4618 (交叉列表自 q-bio.QM) [中文pdf, pdf, 其他]

标题： 癌症发生树的完美重建 显示英文标题

标题： Perfect Reconstruction of Oncogenetic Trees

Charalampos E. Tsourakakis

主题： 定量方法 (q-bio.QM) ; 离散数学 (cs.DM) ; 组合数学 (math.CO) ; 种群与进化 (q-bio.PE)

[2136] arXiv:1201.4632 (交叉列表自 stat.ME) [中文pdf, pdf, 其他]

标题： Hodge秩是Perron秩的极限 显示英文标题

标题： HodgeRank is the limit of Perron Rank

Ngoc Mai Tran

主题： 方法论 (stat.ME) ; 数值分析 (math.NA)

[2137] arXiv:1201.4649 (交叉列表自 gr-qc) [中文pdf, pdf, 其他]

标题： 用SO(1,3)规范引力的自旋-1/2粒子 显示英文标题

标题： Gauging gravity with SO(1,3) for spin-1/2 particles

Arpan Saha, Banibrata Mukhopadhyay

评论： 21页LaTeX文档

主题： 广义相对论与量子宇宙学 (gr-qc) ; 高能物理 - 理论 (hep-th) ; 数学物理 (math-ph)

[2138] arXiv:1201.4673 (交叉列表自 gr-qc) [中文pdf, pdf, 其他]

标题： 带电球静星模型 显示英文标题

标题： Charged Ball Static Star Model

Alexandre M. Baranov, Zakhar V. Vlasov

评论： 9页，2009年7月6日至9日，在莫斯科举行的第十五届“相对论的物理诠释”国际学术会议（PIRT-2009, 莫斯科-利物浦-桑德兰）上发表的报告

期刊参考： 相对论的物理解释：第十五届国际科学会议论文集。莫斯科，2009年7月6-9日，莫斯科：BMSTU出版社，2009年，489页

主题： 广义相对论与量子宇宙学 (gr-qc) ; 数学物理 (math-ph)

[2139] arXiv:1201.4720 (交叉列表自 hep-th) [中文pdf, pdf, 其他]

标题： BRST对称性的软破缺与规范依赖性 显示英文标题

标题： Soft breaking of BRST symmetry and gauge dependence

P. M. Lavrov, O. V. Radchenko, A. A. Reshetnyak

评论： 1+11页， presentation（展示/陈述）得到改进，与论文arXiv:1108.4820 [hep-th]的结果对比已在细节上阐明。

期刊参考： 现代物理快报A。卷27，第13期（2012年）1250067 1-12

主题： 高能物理 - 理论 (hep-th) ; 高能物理 - 格点 (hep-lat) ; 数学物理 (math-ph)

[2140] arXiv:1201.4731 (交叉列表自 quant-ph) [中文pdf, pdf, 其他]

标题： 双原子分子的一个简单精确可解模型中的相对论斯塔克共振 显示英文标题

标题： Relativistic Stark resonances in a simple exactly soluble model for a diatomic molecule

Francois Fillion-Gourdeau, Emmanuel Lorin, Andre D. Bandrauk

评论： 37页，30幅图

期刊参考： 2012 J. Phys. A: Math. Theor. 45 215304

主题： 量子物理 (quant-ph) ; 数学物理 (math-ph) ; 光学 (physics.optics)

[2141] arXiv:1201.4738 (交叉列表自 physics.class-ph) [中文pdf, pdf, 其他]

标题： 偏旋介质与软-硬/DB边界条件 显示英文标题

标题： Skewon-Axion Medium and Soft-and-Hard/DB Boundary Condition

Ismo V. Lindell, Ari Sihvola

主题： 经典物理 (physics.class-ph) ; 数学物理 (math-ph)

[2142] arXiv:1201.4764 (交叉列表自 cs.DS) [中文pdf, pdf, 其他]

标题： 拟阵预言不等式 显示英文标题

标题： Matroid Prophet Inequalities

Robert Kleinberg, S. Matthew Weinberg

评论： 18页

主题： 数据结构与算法 (cs.DS) ; 计算机科学与博弈论 (cs.GT) ; 概率 (math.PR)

[2143] arXiv:1201.4768 (交叉列表自 cs.NI) [中文pdf, pdf, 其他]

标题： 即时解码网络编码的完成延迟最小化 显示英文标题

标题： Completion Delay Minimization for Instantly Decodable Network Codes

Sameh Sorour, Shahrokh Valaee

主题： 网络与互联网架构 (cs.NI) ; 信息论 (cs.IT)

[2144] arXiv:1201.4780 (交叉列表自 quant-ph) [中文pdf, pdf, 其他]

标题： 量子随机游走：综合性综述 显示英文标题

标题： Quantum walks: a comprehensive review

Salvador E. Venegas-Andraca

评论： 论文被《量子信息处理》期刊接受发表

期刊参考： 量子信息处理 第11卷（5期），第1015-1106页（2012）

主题： 量子物理 (quant-ph) ; 数学物理 (math-ph)

[2145] arXiv:1201.4839 (交叉列表自 quant-ph) [中文pdf, pdf, 其他]

标题： 具有时空波动量子币的量子随机游走的渐近行为 显示英文标题

标题： Asymptotic behavior of quantum walks with spatio-temporal coin fluctuations

Andre Ahlbrecht, Christopher Cedzich, Robert Matjeschk, Volkher B. Scholz, Albert H. Werner, Reinhard F. Werner

期刊参考： 量子信息处理 11, 1219 (2012)

主题： 量子物理 (quant-ph) ; 数学物理 (math-ph)

[2146] arXiv:1201.4935 (交叉列表自 hep-th) [中文pdf, pdf, 其他]

标题： 轴子电动力学场方程的对称性和解 显示英文标题

标题： Symmetries and solutions of field equations of axion electrodynamics

A. G. Nikitin, Oksana Kuriksha

评论： 新增第6节讨论超光速传播速度

期刊参考： 物理评论D 86, 025010 (2012)

主题： 高能物理 - 理论 (hep-th) ; 数学物理 (math-ph)

[2147] arXiv:1201.5054 (交叉列表自 nlin.SI) [中文pdf, pdf, 其他]

标题： 具有环量的二维流体力学契尔年科雪橇的运动 显示英文标题

标题： The motion of the 2D hydrodynamic Chaplygin sleigh in the presence of circulation

Yuri N. Fedorov, Luis C. García-Naranjo, Joris Vankerschaver

评论： 25页，7个图。本文使用了arXiv:1109.3210的一些引入性材料。

期刊参考： 《Discrete and Continuous Dynamical Systems》卷33，第9期（2013年9月），第4017-4040页

主题： 精确可解与可积系统 (nlin.SI) ; 数学物理 (math-ph)

[2148] arXiv:1201.5057 (交叉列表自 hep-th) [中文pdf, pdf, 其他]

标题： E^3/Z3 类 orbifold、镜像对称性与 Calabi-Yau 型 Hodge 结构 显示英文标题

标题： The E^3/Z3 orbifold, mirror symmetry, and Hodge structures of Calabi-Yau type

Sergio Luigi Cacciatori, Sara Angela Filippini

评论： 33页

主题： 高能物理 - 理论 (hep-th) ; 代数几何 (math.AG)

[2149] arXiv:1201.5061 (交叉列表自 nlin.SI) [中文pdf, pdf, 其他]

标题： 关于中心二次假设：可积模型与Painlevé约化 显示英文标题

标题： On the central quadric ansatz: integrable models and Painleve reductions

E.V. Ferapontov, B. Huard, A. Zhang

评论： 12页

主题： 精确可解与可积系统 (nlin.SI) ; 数学物理 (math-ph) ; 微分几何 (math.DG)

[2150] arXiv:1201.5086 (交叉列表自 cs.SE) [中文pdf, pdf, 其他]

标题： 通过插值生成程序不变式 显示英文标题

标题： Generating Program Invariants via Interpolation

Marc Moreno Maza, Rong Xiao

评论： 19页

主题： 软件工程 (cs.SE) ; 离散数学 (cs.DM) ; 符号计算 (cs.SC) ; 组合数学 (math.CO)