YACAS: A Do-It-Yourself Symbolic Algebra Environment
暂无分享,去创建一个
[1] Gene Cooperman. A semantic matcher for computer algebra , 1986, SYMSAC '86.
[2] D. Knuth,et al. Simple Word Problems in Universal Algebras , 1983 .
[3] Donald E. Knuth,et al. The art of computer programming. Vol.2: Seminumerical algorithms , 1981 .
[4] Donald Ervin Knuth,et al. The Art of Computer Programming , 1968 .
[5] Donald E. Knuth,et al. Simple Word Problems in Universal Algebras††The work reported in this paper was supported in part by the U.S. Office of Naval Research. , 1970 .
[6] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[7] Richard J. Fateman,et al. Advances and trends in the design and construction of algebraic manipulation systems , 1990, ISSAC '90.
[8] Hubert Comon,et al. Tree automata techniques and applications , 1997 .
[9] Ivan Bratko,et al. Prolog Programming for Artificial Intelligence , 1986 .
[10] Tobias Nipkow,et al. Term rewriting and all that , 1998 .
[11] Joachim von zur Gathen,et al. Modern Computer Algebra , 1998 .
[12] B. F. Caviness,et al. Proceedings of the fourth ACM symposium on Symbolic and algebraic computation , 1976 .