Vico Pascual

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Modelling algebraic structures and morphisms in ACL2 Applicable Algebra in Engineering, Communication and Computing	2015-06-22	Paper
scientific article; zbMATH DE number 6118174 (Why is no real title available?)	2012-12-23	Paper
scientific article; zbMATH DE number 5976765 (Why is no real title available?)	2011-11-22	Paper
A system for computing and reasoning in algebraic topology Lecture Notes in Computer Science	2011-07-29	Paper
Proving with ACL2 the correctness of simplicial sets in the Kenzo system Logic-Based Program Synthesis and Transformation	2011-05-27	Paper
fKenzo: a user interface for computations in algebraic topology Journal of Symbolic Computation	2011-04-05	Paper
Integrating Multiple Sources to Answer Questions in Algebraic Topology Lecture Notes in Computer Science	2010-08-24	Paper
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems Lecture Notes in Computer Science	2009-07-09	Paper
Mediated Access to Symbolic Computation Systems Lecture Notes in Computer Science	2009-01-27	Paper
Computational Science – ICCS 2005 Lecture Notes in Computer Science	2005-11-30	Paper
An object-oriented interpretation of the EAT system Applicable Algebra in Engineering, Communication and Computing	2003-11-17	Paper
scientific article; zbMATH DE number 2000439 (Why is no real title available?)	2003-11-03	Paper

Research outcomes over time

This page was built for person: Vico Pascual