Network servers for symbolic mathematics

Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC

Volumn , Issue , 1997, Pages 249-256

  Fateman, Richard J ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL METHODS; COMPUTER NETWORKS; COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; ENCODING (SYMBOLS); LISP (PROGRAMMING LANGUAGE); USER INTERFACES;

HYPERTEXT MARKUP LANGUAGE (HTML); SYMBOLIC MATHEMATICS;

FORMAL LOGIC;

EID: 0030653202     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/258726.258795     Document Type: Conference Paper

References (7)