Centro/Instituto
Instituto de Matemática Interdisciplinar (IMI)
Capítulos de Libro (3) Publicaciones en las que ha participado algún/a investigador/a
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
-
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