Integrating Multiple Sources to Answer Questions in Algebraic Topology
From MaRDI portal
Publication:3582718
DOI10.1007/978-3-642-14128-7_28zbMath1286.68479arXiv1005.0749OpenAlexW2950303844MaRDI QIDQ3582718
Jónathan Heras, Ana Romero, Vico Pascual, Julio Jesús Rubio García
Publication date: 24 August 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1005.0749
Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to algebraic topology (55-04) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)
Uses Software