Author of the publication

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

An Introduction to Logical Animation., and . IWMM/GIAE, volume 3519 of Lecture Notes in Computer Science, page 418-428. Springer, (2004)The Sustainability of Digital Educational Resources., , , and . ICMS, volume 8592 of Lecture Notes in Computer Science, page 230-234. Springer, (2014)Calculus without Limit Theory, and . (2018)cite arxiv:1802.03029Comment: 14 pages and no figures.Exact polynomial factorization by approximate high degree algebraic numbers., , , and . SNC, page 21-28. ACM, (2009)Finding exact minimal polynomial by approximations., , , and . SNC, page 125-132. ACM, (2009)Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method., and . Automated Deduction in Geometry, volume 6877 of Lecture Notes in Computer Science, page 221-258. Springer, (2010)Attention-Based Densely Connected Convolutional Network for Chromosome Classification., , , , , , , , , and 1 other author(s). ICCAI, page 534-540. ACM, (2022)The expansion of real forms on the simplex and applications, , and . CoRR, (2012)A Set of Geometric Invariants for Kinematic Analysis of 6R Manipulators., , and . Int. J. Robotics Res., 19 (8): 784-792 (2000)Parallel computation of real solving bivariate polynomial systems by zero-matching method., , , and . Appl. Math. Comput., 219 (14): 7533-7541 (2013)