Computational homotopy of finite regular CW-spaces. (English) Zbl 1311.55008
Reviewer: Jonathan Hodgson (Swarthmore)
Found 8 Documents (Results 1–8)
Homological models for semidirect products of finitely generated Abelian groups. (English) Zbl 1271.20063
Reviewer: Olympia Talelli (Athens)
Computing the homology of groups: the geometric way. (English) Zbl 1251.20048
Reviewer: Martin D. Crossley (Swansea)
A system for computing and reasoning in algebraic topology. (English) Zbl 1335.68228
Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 295-297 (2011).
An axiomatic setup for algorithmic homological algebra and an alternative approach to localization. (English) Zbl 1227.18009
Reviewer: Intan Muchtadi-Alamsyah (Bandung)
Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP. (English) Zbl 1237.68260
May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 303-310 (2009).
Using open mathematical documents to interface computer algebra and proof assistant systems. (English) Zbl 1247.68271
Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 467-473 (2009).
Filter Results by …
Document Type
- Journal Articles (5)
- Collection Articles (3)
all
top 5
Author
- Rubio García, Julio Jesús (5)
- Romero, Ana (3)
- Ellis, Graham J. (2)
- Heras, Jónathan (2)
- Pascual, Vico (2)
- Alvarez, Victor (1)
- Armario, José ándrés (1)
- Barakat, Mohamed (1)
- Frau, María Dolores (1)
- Hegarty, Fintan (1)
- Lange-Hegermann, Markus (1)
- Real, Pedro (1)
Serial
all
top 3
Software
- GAP (8)
- Kenzo (8)
- HAP (7)
- OpenMath (3)
- ACL2 (2)
- fKenzo (2)
- CrystCat (1)
- Graphviz (1)
- HadamardSearch (1)
- Janet (1)
- LocalizeRingForHomalg (1)
- Mathematica (1)
- OMDoc (1)
- OreModules (1)
- PLEX (1)
- SCSCP (1)
- SINGULAR (1)
- happermutahedral (1)
- homalg (1)
