Daniel Lazard Ideal Bases and Primary Decomposition: Case of Two Variables. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1985, v:1, n:3, pp:261-270 [Journal]
E. V. Krishnamurthy Symbolic Iterative Algorithm for Generalised Inversion of Rational Polynomial Matrices. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1985, v:1, n:3, pp:271-281 [Journal]
Guy W. Cherry Integration in Finite Terms with Special Functions: the Error Function. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1985, v:1, n:3, pp:283-302 [Journal]
Thierry Coquand, Gérard P. Huet A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1985, v:1, n:3, pp:323-328 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP