Julián Cuevas-Rozo, Jose Divasón, Miguel Ángel Marco Buzunáriz, A. Romero
{"title":"在SageMath中用于代数拓扑计算的Kenzo接口","authors":"Julián Cuevas-Rozo, Jose Divasón, Miguel Ángel Marco Buzunáriz, A. Romero","doi":"10.1145/3371991.3371999","DOIUrl":null,"url":null,"abstract":"In this work we present an interface between SageMath and Kenzo, together with an optional Kenzo package. Our work makes it possible to communicate both computer algebra programs and enhances the SageMath system with new capabilities in algebraic topology, dealing in particular with simplicial objects of infinite nature.","PeriodicalId":7093,"journal":{"name":"ACM Commun. Comput. Algebra","volume":"26 1","pages":"61-64"},"PeriodicalIF":0.0000,"publicationDate":"2019-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"A Kenzo interface for algebraic topology computations in SageMath\",\"authors\":\"Julián Cuevas-Rozo, Jose Divasón, Miguel Ángel Marco Buzunáriz, A. Romero\",\"doi\":\"10.1145/3371991.3371999\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this work we present an interface between SageMath and Kenzo, together with an optional Kenzo package. Our work makes it possible to communicate both computer algebra programs and enhances the SageMath system with new capabilities in algebraic topology, dealing in particular with simplicial objects of infinite nature.\",\"PeriodicalId\":7093,\"journal\":{\"name\":\"ACM Commun. Comput. Algebra\",\"volume\":\"26 1\",\"pages\":\"61-64\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-11-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"ACM Commun. Comput. Algebra\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3371991.3371999\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"ACM Commun. Comput. Algebra","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3371991.3371999","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A Kenzo interface for algebraic topology computations in SageMath
In this work we present an interface between SageMath and Kenzo, together with an optional Kenzo package. Our work makes it possible to communicate both computer algebra programs and enhances the SageMath system with new capabilities in algebraic topology, dealing in particular with simplicial objects of infinite nature.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
