|
 |
- Download Chapter.
- View Chapter.
- Summary.
-
Chapter 3 focusses on two of the most important aspects in the development of a software system: extensibility and
usability. To tackle the extensibility challenge, we have developed a plug-in framework which allows us to add new
functionality to the Kenzo framework in two different ways: (1) adding new Kenzo functionality or (2) connecting the
framework with Computer Algebra systems and Theorem Provers tools. To increase the usability of the Kenzo framework,
we have developed a friendly graphical user interface. That interface is customizable thanks to the plug-in framework.
The whole system (that is, the Kenzo and plug-in frameworks and the user interface) has been called fKenzo.
This chapter is split in two parts. The former one is devoted to present the plug-in framework presenting its architecture and the way of
increasing the functionality of the Kenzo framework through this system. The latter one is focussed on presenting the graphical user
interface trying to cover both the user and developer perspectives.
- Related Papers (preprints):
- fKenzo.
- We'll begin with a brief introduction to some fairly recent work of
Gunnar Carlsson, Herbert Edelsbrunner and others which uses the
efficient computation of low-dimensional homology
of spaces as an effective technique for investigating large data sets
arising in applied problems
from biology and physics. Their work is based on the notion of a
persistent homology module.
We'll then explain how the notion of persistent homology can also be
applied to group homology. It provides a strong group invariant and
we'll suggest that it might be of use in the coclass study of finite
p-groups. We'll also outline one approach to computing the persistent
homology of a finite p-group.
|
|
|
|
|
