( 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)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)Specifying Implementations., , and . ISSAC, page 245-251. ACM, (1999)Combining Image Processing Techniques, OCR, and OMR for the Digitization of Musical Books., , , , and . DAS, volume 13237 of Lecture Notes in Computer Science, page 553-567. Springer, (2022)DetectionEvaluationJ: A Tool to Evaluate Object Detection Algorithms., , , , , and . EUROCAST (2), volume 10672 of Lecture Notes in Computer Science, page 273-280. Springer, (2017)fKenzo: A user interface for computations in Algebraic Topology., , , and . J. Symb. Comput., 46 (6): 685-698 (2011)Mediated Access to Symbolic Computation Systems., , and . AISC/MKM/Calculemus, volume 5144 of Lecture Notes in Computer Science, page 446-461. Springer, (2008)An On-Going Framework for Easily Experimenting with Deep Learning Models for Bioimaging Analysis., , , , and . DCAI (Special Sessions), volume 801 of Advances in Intelligent Systems and Computing, page 330-333. Springer, (2018)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)