( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
ML4PG in Computer Algebra Verification.

, и . MKM/Calculemus/DML, том 7961 из Lecture Notes in Computer Science, стр. 354-358. Springer, (2013)

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.

Wsewolod Herasymowycz

Anna Herasymowytsch

Carlos Omar Heras Bautista

Hugo las Heras

Rubén Heras Evangelio

 

Другие публикации лиц с тем же именем

A System for Computing and Reasoning in Algebraic Topology., , и . Calculemus/MKM, том 6824 из Lecture Notes in Computer Science, стр. 295-297. Springer, (2011)Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging., , и . AISC/MKM/Calculemus, том 7362 из Lecture Notes in Computer Science, стр. 216-230. Springer, (2012)Statistical Proof-Patterns in Coq/SSReflect, и . CoRR, (2013)DecoFungi: a web application for automatic characterisation of dye decolorisation in fungal strains., , , и . BMC Bioinform., 19 (1): 66:1-66:4 (2018)GelJ - a tool for analyzing DNA fingerprint gel images., , , , , , и . BMC Bioinform., (2015)The Benefits of Close-Domain Fine-Tuning for Table Detection in Document Images., , , , и . CoRR, (2019)A survey of tools for analysing DNA fingerprints., , , , , , и . Briefings Bioinform., 17 (6): 903-911 (2016)Modelling algebraic structures and morphisms in ACL2., , и . Appl. Algebra Eng. Commun. Comput., 26 (3): 277-303 (2015)Semi-Supervised Machine Learning: a Homological Approach., , , , и . CoRR, (2023)Applications of deep learning techniques for automated multiple sclerosis detection using magnetic resonance imaging: A review., , , , , , , , , и 2 other автор(ы). Comput. Biol. Medicine, (2021)