Vico Pascual

Available identifiers

zbMath Open pascual.vicoMaRDI QIDQ1413644

List of research outcomes

Publication	Date of Publication	Type
Modelling algebraic structures and morphisms in ACL2	2015-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q3145742	2012-12-23	Paper
https://portal.mardi4nfdi.de/entity/Q3101174	2011-11-22	Paper
A System for Computing and Reasoning in Algebraic Topology	2011-07-29	Paper
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System	2011-05-27	Paper
fKenzo: a user interface for computations in algebraic topology	2011-04-05	Paper
Integrating Multiple Sources to Answer Questions in Algebraic Topology	2010-08-24	Paper
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems	2009-07-09	Paper
Mediated Access to Symbolic Computation Systems	2009-01-27	Paper
Computational Science – ICCS 2005	2005-11-30	Paper
An object-oriented interpretation of the EAT system	2003-11-17	Paper
https://portal.mardi4nfdi.de/entity/Q4433988	2003-11-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Vico Pascual