External Links

    Journal: Journal of Symbolic Computation

    Volume 27, Issue 5

    435 -- 477Karel Stokkermans. A Categorical Critical-pair Completion Algorithm
    479 -- 499Jiang Qian Ying, Li Xu, Zhiping Lin. A Computational Method for Determining Strong Stabilizability of n-D Systems
    501 -- 519E. S. Cheb-Terrab, A. D. Roche. Integrating Factors for Second-order ODEs
    runs on