( en | de | ru )

 

Disambiguation of "Pascual, Vico"

Author of the publication

copydeleteadd this publication to your clipboard
Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System.

, , and . LOPSTR, volume 6564 of Lecture Notes in Computer Science, page 37-51. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Vico Leuchte

Vico Haverkamp

Calin Vicol

Fanny Pascual

Pascual Jordan

 

Other publications of authors with the same name

MicrogliaJ: An Automatic Tool for Microglial Cell Detection and Segmentation., , , , , , , and . IbPRIA, volume 14062 of Lecture Notes in Computer Science, page 593-602. Springer, (2023)A System for Computing and Reasoning in Algebraic Topology., , and . Calculemus/MKM, volume 6824 of Lecture Notes in Computer Science, page 295-297. Springer, (2011)The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images., , , , and . CoRR, (2019)Towards Integrating ImageJ with Deep Biomedical Models., , , , and . DCAI (Special Sessions), volume 801 of Advances in Intelligent Systems and Computing, page 334-338. Springer, (2018)Text Classification Models for Form Entity Linking., , , , and . DCAI (1), volume 583 of Lecture Notes in Networks and Systems, page 260-269. Springer, (2022)WekaBioSimilarity - Extending Weka with Resemblance Measures., , , and . CAEPIA, volume 9868 of Lecture Notes in Computer Science, page 89-98. Springer, (2016)Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach., , , and . International Conference on Computational Science (3), volume 3516 of Lecture Notes in Computer Science, page 635-642. Springer, (2005)Semi-supervised Learning Methods for Semantic Segmentation of Polyps., , , , and . CAEPIA, volume 14640 of Lecture Notes in Computer Science, page 162-172. Springer, (2024)Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems., , and . Calculemus/MKM, volume 5625 of Lecture Notes in Computer Science, page 467-473. Springer, (2009)Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology., , , and . ELS, page 155-176. ELSAA, (2008)