Author:
de la Tour Thierry Boy,Fèvre Stéphane,Wang Dongming
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Ablamowicz, R., Lounesto, P., Parra, J. M.: Clifford algebras with numeric and symbolic computations. Birkhäuser, Boston (1996). 131
2. Tech. Rep.;S.-C. Chou,1992
3. Chou, S.-C., Gao, X.-S., Zhang, J.-Z.: Machine proofs in geometry.World Scientific, Singapore (1995). 130
4. Dershowitz, N., Jouannaud, J.-P.: Rewrite systems. In: Handbook of theoretical computer science, vol. B (J. van Leeuwen, ed.), Elsevier, Amsterdam, pp. 243–320 (1990??). 138
5. Fèvre, S., Wang, D.: Proving geometric theorems using Clifford algebra and rewrite rules. In: Proc. CADE-15 (Lindau, Germany, July 5–10, 1998), LNAI 1421, Springer, Berlin Heidelberg, pp. 17–32. 130, 131, 146, 148
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Qubit Logic, Algebra and Geometry;Automated Deduction in Geometry;2001