Centre/Institute
Instituto de Matemática Interdisciplinar (IMI)
Effective from 2006
Publications
2006
-
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
-
Consistency in preference modelling
Modern Information Processing (Elsevier), pp. 87-97
-
De Euclides a Poincaré
Del punto a los espacios multidimensinales (Ministerio de Educación y Ciencia), pp. 137-158
-
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
-
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
-
Phi-divergence statistic
Encyclopedia of Environmetrics (wiley), pp. 1-5