|
Journals in DBLP
- Karel Stokkermans
A Categorical Critical-pair Completion Algorithm. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1999, v:27, n:5, pp:435-477 [Journal]
- Jiang Qian Ying, Li Xu, Zhiping Lin
A Computational Method for Determining Strong Stabilizability of n-D Systems. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1999, v:27, n:5, pp:479-499 [Journal]
- E. S. Cheb-Terrab, A. D. Roche
Integrating Factors for Second-order ODEs. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1999, v:27, n:5, pp:501-519 [Journal]
|