Author of the publication

Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology.

, , , and . ELS, page 155-176. ELSAA, (2008)

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.

 

Other publications of authors with the same name

AIROGS: Artificial Intelligence for RObust Glaucoma Screening Challenge., , , , , , , , , and 26 other author(s). CoRR, (2023)Automatic Generation of Subtitles for Videos of the Government of La Rioja., , and . OLA, volume 1824 of Communications in Computer and Information Science, page 393-402. Springer, (2023)Mixing Data Augmentation Methods for Semantic Segmentation., and . OLA, volume 1824 of Communications in Computer and Information Science, page 129-136. Springer, (2023)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)Improving Accessibility in PublicWeb Pages., , , , , and . SEPLN (Projects and Demonstrations), volume 3516 of CEUR Workshop Proceedings, page 21-25. CEUR-WS.org, (2023)Deep Learning Models for Justified Referral in AI Glaucoma Screening., , , and . ISBI, page 1-3. IEEE, (2024)Semi-supervised Learning for Myopic Maculopathy Analysis.. MMAC@MICCAI, volume 14563 of Lecture Notes in Computer Science, page 75-82. Springer, (2023)Two-stage Fine-Tuning for Automatic Identification of Sections in Clinical Documents.. IberLEF@SEPLN, volume 3496 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Google Colaboratory for Quantifying Stomata in Images., , and . EUROCAST (2), volume 12014 of Lecture Notes in Computer Science, page 231-238. Springer, (2019)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)