卢斯特 104篇文献引用(1992–2023) 软件作者: 卡斯皮,P。;Pilaud,D。;Halbwachs,N。;普拉斯,J.A。 相关软件: 酯类;信号;Simulink… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
信号 51篇文献引用(1987–2020) 软件作者: 诺瓦克,大卫;Jean-Pierre Talpin;蒂埃里·戈蒂埃;保罗·勒格尔尼克 相关软件: 卢斯特;酯类;托勒密… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)…
仄洛斯 6篇文献引用(2013–2023) 软件作者: 蒂莫西·伯克(Timothy Bourke)、马克·普泽特(Marc Pouzet) 相关软件: Simulink;状态流;LUSTRE… 主要字段: 常微分方程(34-XX);数值分析(65-XX);计算机科学(68-XX)…
简约RaTT 1份文件引用(2023) 软件作者: 帕特里克·巴尔(Patrick Bahr);格劳伦德(Graulund),克里斯蒂安(Christian);拉斯穆斯·莫格伯格 相关软件: MiniML;效率;阿格达 主要字段: 计算机科学(68-XX)