搜索资源列表
mtl-2.1.2-20
- MTL C++ Numeric Library-MTL C Library
mtl
- 强大的矩阵模版类，速度超快，可进行矩阵的各种运算。-Powerful matrix template class, super-fast, it can conduct a variety of computing matrix.
mtl4-alpha-1-r6418
- 矩阵运算源码最新版本，支持矩阵乘法、转置求逆，特征值特征向量等操作。-Source the latest version of matrix operations in support of matrix multiplication, transpose inverse, eigenvalue eigenvector and so on.
system_monitor
- 用于系统行为验证。给出系统运行的观测数据，给定一个用MTL形式化语言描述的表达式，运行结果为该系统行为在此形式化表达式上的鲁棒值。-it is a tool for the computation of the robustness of a propositional temporal logic specification with respect to a discrete time signal.
MTL-all-4.0.7629-Linux
- 矩阵模板库，用于一般矩阵计算的C++算法，包括解线性方程组算法-Matrix template library, the general matrix of calculations for C++ algorithms, including algorithm for solving linear equations