Author:
Dalmas Stéphane,Gaëtano Marc,Huchet Claude
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. The draft OpenMath home page on the World Wide Web. http://www.can.nl/∼abbott/OpenMath/index.html.
2. Milton Abramowitz and Irene A. Stegun. Handbook of Mathematical Functions. Dover, 1970.
3. Alexandre Boudet, Jean-Pierre Jouannaud, and Manfred Schmidt-Schauss. Unification in boolean rings and abelian groups. Journal of Symbolic Computation, 8:449–477, 1989.
4. Jim Christian. Flatterms, discrimination nets and fast term rewriting. Journal of Automated Reasoning, 10:95–113, 1993.
5. Jim Christian and Patrick Lincoln. Adventures in associative-commutative unification. Journal of Symbolic Computation, 8:217–240, 1989.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献