
Journals in DBLP
 Norbert Kajler, Neil Soiffer
A Survey of User Interfaces for Computer Algebra Systems. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1998, v:25, n:2, pp:127159 [Journal]
 Yves Bertot, Laurent Théry
A Generic Approach to Building User Interfaces for Theorem Provers. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1998, v:25, n:2, pp:161194 [Journal]
 Michael B. Hayden, Edmund A. Lamagna
NEWTON: An Interactive Environment for Exploring Mathematics. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1998, v:25, n:2, pp:195212 [Journal]
 Simon Gray, Norbert Kajler, Paul S. Wang
Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1998, v:25, n:2, pp:213237 [Journal]
 Helen Lowe, Alan Bundy, Duncan McLean
The Use of Proof Planning for Cooperative Theorem Proving. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1998, v:25, n:2, pp:239261 [Journal]
 J. Stuart Aitken, Philip D. Gray, Thomas F. Melham, Muffy Thomas
Interactive Theorem Proving: An Empirical Study of User Activity. [Citation Graph (0, 0)][DBLP] J. Symb. Comput., 1998, v:25, n:2, pp:263284 [Journal]
