Topics: Algebraic Models of Specific Processors, Computability in Integrable Spaces, Exact Rational Arithmetic

G. de Miguel Casado: “Fractional Positional Notation for Exact Rational Arithmetic”, In Proceedings of Computability in Europe 2010, pp. 103-112, (2010).

G. de Miguel Casado; J.M. García Chamizo and H. Mora Mora: “Online-division with Periodic Rational Numbers”, In Proceedings of Computability in Europe 2008, pp. 97-106, (2008).

G. de Miguel Casado and J.M. García Chamizo: “A Software Library for Reliable Online-Arithmetic with Rational Numbers”, In Proceedings DROPS – Numerical Validation in Current Hardware Architectures, (2008).

G. de Miguel Casado; J.M. García Chamizo and M.T. Signes Pont: “Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers”, In Lecture Notes in Computer Science, Vol. 4497, pp. 218-227, (2007).

G. de Miguel Casado and J.M. García Chamizo: “The Role of Algebraic Models and Type-2 Theory of Effectivity in Special Purpose Processor Design”, In Lecture Notes in Computer Science, Vol. 3988, pp. 137-146, (2006).