Vico Pascual

From MaRDI portal
Person:1413644

Available identifiers

zbMath Open pascual.vicoMaRDI QIDQ1413644

List of research outcomes





PublicationDate of PublicationType
Modelling algebraic structures and morphisms in ACL22015-06-22Paper
https://portal.mardi4nfdi.de/entity/Q31457422012-12-23Paper
https://portal.mardi4nfdi.de/entity/Q31011742011-11-22Paper
A system for computing and reasoning in algebraic topology2011-07-29Paper
Proving with ACL2 the correctness of simplicial sets in the Kenzo system2011-05-27Paper
fKenzo: a user interface for computations in algebraic topology2011-04-05Paper
Integrating Multiple Sources to Answer Questions in Algebraic Topology2010-08-24Paper
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems2009-07-09Paper
Mediated Access to Symbolic Computation Systems2009-01-27Paper
Computational Science – ICCS 20052005-11-30Paper
An object-oriented interpretation of the EAT system2003-11-17Paper
https://portal.mardi4nfdi.de/entity/Q44339882003-11-03Paper

Research outcomes over time

This page was built for person: Vico Pascual

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1413644&oldid=6182263"
Powered by MediaWiki