Author:
Fuchs Laurent,Théry Laurent
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Barnabei, M., Brini, A., Rota, G.C.: On the Exterior Calculus of Invariant Theory. Journal of Algebra 96, 120–160 (1985)
2. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development, Coq’Art: The Calculus of Inductive Constructions. Springer, Heidelberg (2004)
3. Coq development team: The Coq Proof Assistant Reference Manual, Version 8.2. LogiCal Project (2008), http://coq.inria.fr
4. Crapo, H., Richter-Gebert, J.: Automatic proving of geometric theorems. In: White [16], pp. 167–196
5. Dorst, L., Fontijne, D., Mann, S.: Geometric Algebra for Computer Science: An Object Oriented Approach to Geometry. Morgan Kauffmann Publishers (2007)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献