爪Z 14篇文献引用(1988–2022) 软件作者: 罗布·阿尔坦 相关软件: 马戏团;电源保护;Simulink;…模拟链接… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX);系统理论;控制(93-XX)
SL2SX系列 3份文件引用(2019–2023) 软件作者: 斯特凡诺·米诺波利;戈兰·弗雷斯 相关软件: Simulink;Isabelle/HOL;Matlab… 主要字段: 计算机科学(68-XX)