侵蚀 swMATH ID: 20210 软件作者: Cardelli,L.、Tribastone,M.、Tschaikowski,M.和Vandin,A。 描述: ERODE:常微分方程的求值和约简。ERODE是一个用于求解和精确归约常微分方程组(ODEs)的软件工具。该工具支持最近在ODE变量上引入的两个互补等价关系:前向微分等价将ODE变量划分为块,从而可以获得自一致的聚合ODE系统;每个聚合ODE给出了各自等价类中原始变量总和的累积动态。向后微分等价确定了无论何时从相同的初始条件开始都具有相同解的变量。ERODE使用基于众所周知的Z3 SMT解算器的后端来计算最粗糙的等价,从而细化给定的初始分区。在包含基本化学反应网络(CRN)和连续时间马尔可夫链(CTMC)的多项式导数最多为2次的ODE的特殊情况下,它实现了一种更有效的分区重新定义算法。 主页: http://sysma.imtlucca.it/tools/erode/ 相关软件: 线索;z3(零3);NFsim公司;生物净发电;生物-PEPA;KaDE公司;尼莫;金西姆;CoLoMoTo公司;棱镜;精确ODE约简.jl;建模工具包.jl;套装解析。图形BLAS;微分方程.jl;朱莉娅;生物模型;BoolNet公司;DiffSharp(差异锐化);科内克特;工具箱2 引用于: 14文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 微分等价的符号计算。 Zbl 1425.68463号卢卡·卡德利;米尔科·特里巴斯通;Tschaikowski,马克斯;安德烈·范丁 2019 全部的 前5名20位作者引用 6 米尔科·特里巴斯通 6 安德烈·范丁 5 Tschaikowski,马克斯 4 Gleb A.波古丁。 三 卢卡·卡德利 2 乔治·阿格里斯 2 米歇尔·博雷尔 2 Jiménez Pastor,安东尼奥 2 卢赫·拉富恩特,阿尔贝托 1 伊丽莎维塔·德米特拉基 1 Dong,Qing(清·东) 1 拉杜·格罗苏 1 雅各布、约书亚·保罗 1 罗伯特·约翰逊。 1 金·古德斯特兰·拉森 1 佩雷斯·维罗纳,伊莎贝尔·克里斯蒂娜 1 塔贾纳·彼得罗夫 1 斯特凡诺·托纳齐 1 埃里克·温弗里 1 张兴健 4篇连载文章中引用 4 理论计算机科学 1 非线性科学与数值模拟中的通信 1 计算机科学中的逻辑方法 1 计算机代数中的ACM通信 全部的 前5名在8个字段中引用 10 生物学和其他自然科学(92-XX) 6 计算机科学(68至XX) 4 常微分方程(34-XX) 三 概率论与随机过程(60-XX) 三 系统论;控制(93至XX) 2 交换代数(13-XX) 1 结合环与代数(16-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文