Classifying chemical elements and particles: from the atomic to the sub-atomic world

published in the book "The Periodic Table: Into the 21st Century", edited by D.H. Rouvray and R.B. King (Research Studies Press, Baldock, UK, 2004) pp. 297-329.This paper presents two facets. First, we show that the periodic table of chemical elements can be described, understood and modified (as far as its format is concerned) on the basis of group theory and more specifically by using the group SO(4,2)xSU(2). Second, we show that "periodic tables" also exist in the sub-atomic and sub-nuclear worlds and that group theory is of paramount importance for these tables. In that sense, this paper may be considered as an excursion, for non specialists, into nuclear and particle physics

The use of data-mining for the automatic formation of tactics

This paper discusses the usse of data-mining for the automatic formation of tactics. It was presented at the Workshop on Computer-Supported Mathematical Theory Development held at IJCAR in 2004. The aim of this project is to evaluate the applicability of data-mining techniques to the automatic formation of tactics from large corpuses of proofs. We data-mine information from large proof corpuses to find commonly occurring patterns. These patterns are then evolved into tactics using genetic programming techniques