Author of the publication

Integrating Multiple Sources to Answer Questions in Algebraic Topology.

, , , and . AISC/MKM/Calculemus, volume 6167 of Lecture Notes in Computer Science, page 331-335. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Integrating Multiple Sources to Answer Questions in Algebraic Topology., , , and . AISC/MKM/Calculemus, volume 6167 of Lecture Notes in Computer Science, page 331-335. Springer, (2010)Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP., , and . ISSAC, page 303-310. ACM, (2009)Defining and computing persistent Z-homology in the general case., , , and . CoRR, (2014)Artificial Intelligence Models for Assessing the Evaluation Process of Complex Student Projects., , , and . IEEE Trans. Learn. Technol., 16 (5): 694-707 (October 2023)Experiences and new alternatives for teaching formal verification of Java programs., and . ITiCSE, page 383. ACM, (2018)Varroa Mite Detection Using Deep Learning Techniques., , , , and . HAIS, volume 14001 of Lecture Notes in Computer Science, page 326-337. Springer, (2023)Programming before theorizing, a case study., and . ISSAC, page 289-296. ACM, (2012)Discrete Vector Fields and Fundamental Algebraic Topology, and . (2010)cite http://arxiv.org/1005.5685arxiv:1005.5685Comment: 53 pages.A Kenzo interface for algebraic topology computations in SageMath., , , and . ACM Commun. Comput. Algebra, 53 (2): 61-64 (2019)Computing the homology of universal covers via effective homology and discrete vector fields., and . J. Symb. Comput., (2025)