Symbolic computation tools in scientific problem solving environments. - Bruce W. Char; Thomas T. Hewett; Jeremy Johnson 001; Yagati N. Lakshman; Ron Perline; Raji Venkatesan; Hoi Man Chang; Michael Miller; Clint Hepner (SIGSAM Bull., 1997)