| Publication | Date of Publication | Type |
|---|
Some representations of real numbers using integer sequences
Mathematical Structures in Computer Science | 2023-02-10 | Paper |
Garamon: a geometric algebra library generator
Advances in Applied Clifford Algebras | 2019-10-01 | Paper |
Three-dimensional quadrics in extended conformal geometric algebras of higher dimensions from control points, implicit equations and axis alignment
Advances in Applied Clifford Algebras | 2019-10-01 | Paper |
A geometric algebra implementation using binary tree
Advances in Applied Clifford Algebras | 2018-02-07 | Paper |
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
Annals of Mathematics and Artificial Intelligence | 2015-07-27 | Paper |
The non-degenerate Dupin cyclides in the space of spheres using geometric algebra
Advances in Applied Clifford Algebras | 2014-09-18 | Paper |
Implementing geometric algebra products with binary trees
Advances in Applied Clifford Algebras | 2014-09-18 | Paper |
Digital geometry from a geometric algebra perspective
Advanced Information Systems Engineering | 2014-09-15 | Paper |
A framework for \(n\)-dimensional visibility computations
Guide to Geometric Algebra in Practice | 2014-06-23 | Paper |
Foundational aspects of multiscale digitization
Theoretical Computer Science | 2013-02-19 | Paper |
A formalization of Grassmann-Cayley algebra in Coq and its application to theorem proving in projective geometry
Automated Deduction in Geometry | 2011-11-25 | Paper |
scientific article; zbMATH DE number 5910510 (Why is no real title available?)
| 2011-06-21 | Paper |
Properties and applications of the simplified generalized perpendicular bisector
Discrete Geometry for Computer Imagery | 2011-05-19 | Paper |
An algorithm to decompose \(n\)-dimensional rotations into planar rotations
Computational Modeling of Objects Represented in Images | 2011-01-18 | Paper |
Ω-Arithmetization of Ellipses
Computational Modeling of Objects Represented in Images | 2011-01-18 | Paper |
\(\Omega\)-arithmetization: a discrete multi-resolution representation of real functions
Lecture Notes in Computer Science | 2009-12-11 | Paper |
Arithmetization of a circular arc
Discrete Geometry for Computer Imagery | 2009-12-01 | Paper |
Insight in discrete geometry and computational content of a discrete model of the continuum
Pattern Recognition | 2009-08-19 | Paper |
Simploidals sets: Definitions, operations and comparison with simplicial sets
Discrete Applied Mathematics | 2009-03-04 | Paper |
A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
Discrete Geometry for Computer Imagery | 2008-04-24 | Paper |
Homology of Simploidal Set
Discrete Geometry for Computer Imagery | 2008-04-17 | Paper |
Discrete Geometry for Computer Imagery
Lecture Notes in Computer Science | 2005-09-13 | Paper |
