Publications

6 results of 2,587 publications

2006

  1. A maple package for automatic theorem proving and discovery in 3D-geometry

    Automated deduction in geometry: extended abstracts ([Vigo : Universidade de Vigo], D.L.), pp. 125-140

  2. Consistency in preference modelling

    Modern Information Processing (Elsevier), pp. 87-97

  3. De Euclides a Poincaré

    Del punto a los espacios multidimensinales (Ministerio de Educación y Ciencia), pp. 137-158

  4. On using OpenMath for representing dynamic geometry constructions: extended abstract

    Automated deduction in geometry: extended abstracts ([Vigo : Universidade de Vigo], D.L.), pp. 26-30

  5. Phi-Divergence-Type Test for Positive Dependence Alternatives in 2 x k Contingency Tables

    Advances in Distribution Theory, Order Statistics, and Inference (Boston : Birkhäuser, 2006), pp. 417-431

  6. Phi-divergence statistic

    Encyclopedia of Environmetrics (wiley), pp. 1-5