A mathematica notebook for computing the homology of iterated products of groups

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4151 LNCS, Issue , 2006, Pages 47-57

  Alvarez V ^a   Armario, J A ^a   Frau, M D ^a   Real, P ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; COMPUTER SCIENCE; DATA STRUCTURES; MATHEMATICAL MODELS; NUMERICAL METHODS;

ABELIAN GROUPS; HOMOLOGICAL MODELS; HOMOLOGY; SEMIDIRECT PRODUCTS;

COMPUTATION THEORY;

EID: 33750063165     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11832225_5     Document Type: Conference Paper

References (22)

1. V. Álvarez. http://mathworld.wolfram.com/HomologyIteratedGroups. html (2006). To appear.
2. V. Álvarez, J.A. Armario, M.D. Frau and P. Real. A genetic algorithm for cocyclic Hadamard matrices. AAECC-16 Proceedings, LNCS 3857, 144-153, (2006).
3. V. Álvarez, J.A. Armario, M.D. Frau and P. Real. (Co)homology of iterated products of semidirect products of abelian groups. Preprint. Sent to the 9th International Workshop on Computer Algebra in Scientific Computing, CASC-06, Moldavia, (2006).
4. V. Álvarez, J.A. Armario, M.D. Frau and P. Real. Comparison maps for relatively free resolutions. Preprint. Sent to the 9th International Workshop on Computer Algebra in Scientific Computing, CASC-06, Moldavia, (2006).
5. J. Carlson, http://www.math.uga.edu/jfc/
6. X. Dousson, J. Rubio, F. Sergeraert and Y. Siret. The KENZO program. Institute Fourier, Grenoble (19998). http://www-fourier.ujf-grenoble.fr/ ~sergeraert/Kenzo/
7. J.G. Dumas, F. Heckenbach, D. Saunders and V. Welker. Computing simplicial homology based on efficient smith normal form algorithms. Algebra, Geometry and Software Systems, 177-204. Springer, Heidelberg (2003).
8. S. Eilenberg and S. Mac Lane. On the groups H(π,n) II. Annals of Math., 66, 49-139, (1954).
9. The GAP group, 'GAP- Group, Algorithms and programming', School of Mathematical and Computational Sciences, University of St. Andrews, Scotland (1998).
10. J. Grabmeier and L.A. Lambe. Computing Resolutions Over Finite p-Groups. Proceedings ALCOMA'99, Eds. A. Betten, A. Kohnert, R. Lave, A. Wassermann, Springer. Lecture Notes in Computational Science and Engineering, Springer-Verlag, Heidelberg (2000).
11. G. Ellis. GAP package HAP, 'Homological Algebra Programming', http://hamilton.nuigalway.ie/Hap/www/
12. J. Huebschmann. Cohomology of nilpotent groups of class 2. J. Algebra, 126, 400-450, (1989).
13. J. Huebschmann. Cohomology of metacyclic groups. Transactions of the American Mathematical Society, 328, n. 1, 1-72, (1991).
14. D. Jabon. http://mathworld.wolfram.com/SmithNormalForm.html (1994).
15. L.A. Lambe. Algorithms for the homology of nilpotent groups. Conf. on applications of computers to Geom. and Top., Lecture Notes in Pure and Applied Math., 114, Marcel Dekker Inc., N.Y., (1989).
16. L.A. Lambe. Homological perturbation theory, Hochschild homology and formal groups. Proc. Conference on Deformation Theory and Quantization with Applications to Physics, Amherst, MA, June 1990, Cont. Math., 134, 183-218, (1992).
17. L.A. Lambe and J.D. Stasheff. Applications of perturbation theory to iterated fibrations. Manuscripta Math., 58, 367-376, (1987).
18. The MAGMA computational algebra system, http://magma.maths.usyd.edu.au
19. P. Real. Homological Perturbation Theory and Associativity. Homology, Homotopy and Applications, 2, 51-88, (2000).
20. J. Rubio. Integrating functional programming and symbolic computation. Mathematics and computers in simulation, 44, 505-511, (1997).
21. F. Sergeraert. The computability problem in Algebraic Topology. Advances in Math., 1104, 1-29 (1994).
22. O. Veblen. Analisis situs. A.M.S. Publications, 5 (1931).