%0 Journal Article %1 fuchs2014binary %A Fuchs, Laurent %A Théry, Laurent %D 2014 %I Springer Basel %J Advances in Applied Clifford Algebras %K functional geometricalgebra %N 2 %P 589-611 %R 10.1007/s00006-014-0447-3 %T Implementing Geometric Algebra Products with Binary Trees %U http://dx.doi.org/10.1007/s00006-014-0447-3 %V 24 %X This paper presents a formalization of geometric algebras within the proof assistant C

@article{fuchs2014binary, abstract = {This paper presents a formalization of geometric algebras within the proof assistant C}, added-at = {2014-12-05T22:09:32.000+0100}, author = {Fuchs, Laurent and Théry, Laurent}, biburl = {https://www.bibsonomy.org/bibtex/2d4f502a68fda2f843d1d789e6b980297/wolftype}, description = {Implementing Geometric Algebra Products with Binary Trees - Springer}, doi = {10.1007/s00006-014-0447-3}, interhash = {3d812171d39fc0d14112df276a52a6bd}, intrahash = {d4f502a68fda2f843d1d789e6b980297}, issn = {0188-7009}, journal = {Advances in Applied Clifford Algebras}, keywords = {functional geometricalgebra}, language = {English}, number = 2, pages = {589-611}, publisher = {Springer Basel}, timestamp = {2014-12-05T22:20:47.000+0100}, title = {Implementing Geometric Algebra Products with Binary Trees}, url = {http://dx.doi.org/10.1007/s00006-014-0447-3}, volume = 24, year = 2014 }