No photo of Chee Yap

Chee Yap

Professor of Computer Science

    1972 …2020

    Research output per year

    If you made any changes in Pure these will be visible here soon.

    Research Output

    2020

    Clustering Complex Zeros of Triangular Systems of Polynomials

    Imbach, R., Pouget, M. & Yap, C., Jan 1 2020, (Accepted/In press) In : Mathematics in Computer Science.

    Research output: Contribution to journalArticle

    Special Issue on Symbolic and Algebraic Computation: ISSAC 2017

    Safey El Din, M. & Yap, C., May 1 2020, In : Journal of Symbolic Computation. 98, p. 1-2 2 p.

    Research output: Contribution to journalEditorial

    2019

    An algorithmic approach to limit cycles of nonlinear differential systems: The averaging method revisited

    Huang, B. & Yap, C., Jul 8 2019, ISSAC 2019 - Proceedings of the 2019 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 211-218 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access

    Effective subdivision algorithm for isolating zeros of real systems of equations, with complexity analysis

    Xu, J. & Yap, C., Jul 8 2019, ISSAC 2019 - Proceedings of the 2019 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 355-362 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Rods and rings: Soft subdivision planner for ℝ3 × S2

    Hsu, C. H., Chiang, Y. J. & Yap, C., Jun 1 2019, 35th International Symposium on Computational Geometry, SoCG 2019. Barequet, G. & Wang, Y. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 43. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 129).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Root-Finding with Implicit Deflation

    Imbach, R., Pan, V. Y., Yap, C., Kotsireas, I. S. & Zaderman, V., Jan 1 2019, Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Proceedings. England, M., Sadykov, T. M., Seiler, W. M., Koepf, W. & Vorozhtsov, E. V. (eds.). Springer Verlag, p. 236-245 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11661 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Sian: A tool for assessing structural identifiability of parametric ODEs

    Hong, H., Ovchinnikov, A., Pogudin, G. & Yap, C., Jun 2019, In : ACM Communications in Computer Algebra. 53, 2, p. 37-40 4 p.

    Research output: Contribution to journalArticle

    SIAN: Software for structural identifiability analysis of ODE models

    Hong, H., Ovchinnikov, A., Pogudin, G., Yap, C. & Wren, J., Aug 15 2019, In : Bioinformatics. 35, 16, p. 2873-2874 2 p.

    Research output: Contribution to journalArticle

    Towards Soft Exact Computation (Invited Talk)

    Yap, C., Jan 1 2019, Computer Algebra in Scientific Computing - 21st International Workshop, CASC 2019, Proceedings. England, M., Sadykov, T. M., Seiler, W. M., Koepf, W. & Vorozhtsov, E. V. (eds.). Springer Verlag, p. 12-36 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11661 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2018

    An approach for certifying homotopy continuation paths: Univariate case

    Xu, J., Burr, M. & Yap, C., Jul 11 2018, ISSAC 2018 - Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 399-406 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    A near-optimal subdivision algorithm for complex root isolation based on the Pellet test and Newton iteration

    Becker, R., Sagraloff, M., Sharma, V. & Yap, C., May 1 2018, In : Journal of Symbolic Computation. 86, p. 51-96 46 p.

    Research output: Contribution to journalArticle

    Implementation of a Near-Optimal Complex Root Clustering Algorithm

    Imbach, R., Pan, V. Y. & Yap, C., Jan 1 2018, Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. Davenport, J. H., Labahn, G., Urban, J. & Kauers, M. (eds.). Springer Verlag, p. 235-244 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10931 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    On μ -Symmetric Polynomials and D-Plus

    Yang, J. & Yap, C. K., Jan 1 2018, Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. Davenport, J. H., Labahn, G., Urban, J. & Kauers, M. (eds.). Springer Verlag, p. 482-491 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10931 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Soft subdivision motion planning for complex planar robots

    Zhou, B., Chiang, Y. J. & Yap, C., Aug 1 2018, 26th European Symposium on Algorithms, ESA 2018. Bast, H., Herman, G. & Azar, Y. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, (Leibniz International Proceedings in Informatics, LIPIcs; vol. 112).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2017

    Amortized analysis of smooth quadtrees in all dimensions

    Bennett, H. & Yap, C., Jun 1 2017, In : Computational Geometry: Theory and Applications. 63, p. 20-39 20 p.

    Research output: Contribution to journalArticle

    Certified computation of planar Morse–Smale complexes

    Chattopadhyay, A., Vegter, G. & Yap, C. K., Jan 1 2017, In : Journal of Symbolic Computation. 78, p. 3-40 38 p.

    Research output: Contribution to journalArticle

    Foreword

    Yap, C., El Din, M. S. & Burr, M., Jul 23 2017, In : Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC. Part F129312, p. iii-iv

    Research output: Contribution to journalEditorial

    Robust geometric computation

    Sharma, V. & Yap, C. K., Jan 1 2017, Handbook of Discrete and Computational Geometry, Third Edition. CRC Press, p. 1189-1223 35 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    2016

    Complexity analysis of root clustering for a complex polynomial

    Becker, R., Sagraloff, M., Sharma, V., Xu, J. & Yap, C., Jul 20 2016, ISSAC 2016 - Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation. Rosenkranz, M. (ed.). Association for Computing Machinery, p. 71-78 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC; vol. 20-22-July-2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Mathematical aspects of computer and information sciences: 6th International Conference, MACIS 2015 Berlin, Germany, November 11–13, 2015 Revised Selected Papers

    Kotsireas, I. S., Rump, S. M. & Yap, C. K., Jan 1 2016, Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers. Kotsireas, I. S., Rump, S. M. & Yap, C. K. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9582).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Path planning for simple robots using soft subdivision search

    Hsu, C. H., Ryan, J. P. & Yap, C., Jun 1 2016, 32nd International Symposium on Computational Geometry, SoCG 2016. Fekete, S. & Lubiw, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 68.1-68.5 (Leibniz International Proceedings in Informatics, LIPIcs; vol. 51).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Planar Minimization Diagrams via Subdivision with Applications to Anisotropic Voronoi Diagrams

    Bennett, H., Papadopoulou, E. & Yap, C., Aug 1 2016, In : Computer Graphics Forum. 35, 5, p. 229-247 19 p.

    Research output: Contribution to journalArticle

    Preface

    Kotsireas, I. S., Rump, S. M. & Yap, C. K., Jan 1 2016, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9582, p. V-VI

    Research output: Contribution to journalEditorial

    2015

    9th International Frontiers of Algorithmics Workshop (FAW). Guilin, China. August 3-5, 2015

    Wang, J. (ed.) & Yap, C. (ed.), 2015, Springer. (Lecture notes in computer science; vol. 9130)

    Research output: Book/ReportBook

    Frontiers in Algorithmics: 9th International Workshop, FAW 2015 Guilin, China, July 3–5, 2015 Proceedings

    Wang, J. & Yap, C., Jan 1 2015, Frontiers in Algorithmics - 9th International Workshop, FAW 2015, Proceedings. Yap, C. & Wang, J. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9130).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    On soft predicates in subdivision motion planning

    Wang, C., Chiang, Y. J. & Yap, C., Jun 3 2015, In : Computational Geometry: Theory and Applications. 48, 8, p. 589-605 17 p.

    Research output: Contribution to journalArticle

    Resolution-exact algorithms for link robots

    Luo, Z., Chiang, Y. J., Lien, J. M. & Yap, C., Jan 1 2015, Algorithmic Foundations of Robotics - Selected Contributions of the 11th International Workshop on the Algorithmic Foundations of Robotics, WAFR 2014. van der Stappen, A. F., Levent Akin, H., Amato, N. M. & Isler, V. (eds.). Springer Verlag, p. 353-370 18 p. (Springer Tracts in Advanced Robotics; vol. 107).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Soft subdivision search and motion planning, II: Axiomatics (plenary talk)

    Yap, C., 2015, 9th International Frontiers of Algorithmics Workshop (FAW). Guilin, China. August 3-5, 2015. Springer, (Lecture notes in computer science; vol. 9130).

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

    2014

    Amortized analysis of smooth quadtrees in all dimensions

    Bennett, H. & Yap, C., Jan 1 2014, Algorithm Theory, SWAT 2014 - 14th Scandinavian Symposium and Workshops, Proceedings. Springer Verlag, p. 38-49 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8503 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    A subdivision approach to weighted voronoi diagrams

    Bennett, H., Papadopoulou, E. & Yap, C., 2014, 24th Annual Fall Workshop on Computational Geometry (FWCG). Oct. 31- Nov. 1, 2014. University of Connecticut, Storrs.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Isotopic arrangement of simple curves: An exact numerical approach based on subdivision

    Lien, J. M., Sharma, V., Vegter, G. & Yap, C., Jan 1 2014, Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings. Springer Verlag, p. 277-282 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8592 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Resolution exact algorithms for link robots

    Zhongdi, L., Chiang, Y., Lien, J. & Yap, C., 2014, Proceedings of the 11th International Workshop on Algorithmic Foundations of Robotics (WAFR) August 3-5, 2014. Bogazici University, Istanbul Turkey.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2013

    Analytic root clustering: A complete algorithm using soft zero tests

    Yap, C., Sagraloff, M. & Sharma, V., Jul 26 2013, The Nature of Computation: Logic, Algorithms, Applications - 9th Conference on Computability in Europe, CiE 2013, Proceedings. p. 434-444 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7921 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Non-local isotopic approximation of nonsingular surfaces

    Lin, L., Yap, C. & Yu, J., Feb 1 2013, In : CAD Computer Aided Design. 45, 2, p. 451-462 12 p.

    Research output: Contribution to journalArticle

    On soft predicates in subdivision motion planning

    Wang, C., Chiang, Y. J. & Yap, C., Jul 8 2013, Proceedings of the 29th Annual Symposium on Computational Geometry, SoCG 2013. p. 349-358 10 p. (Proceedings of the Annual Symposium on Computational Geometry).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Pi is in logspace

    Yap, C., 2013, People, problems, proofs: Essays from Goedel's lost letter 2010. Lipton, RJ. & Reagan, KW. (eds.). Springer, Chapter 31

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

    Soft subdivision search in motion planning

    Yap, C., 2013, Proceedings, 1st Workshop on Robotics Challenge and Vision (RCV 2013): A Computing Consortium (CCC). Robotics Science and Systems Conference (RSS 2013, best paper award) Berlin. Aladren, A. (ed.).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2012

    Certified computation of planar Morse-Smale complexes

    Chattopadhyay, A., Vegter, G. & Yap, C. K., Jul 23 2012, Proceedings of the 28th Annual Symposuim on Computational Geometry, SCG 2012. p. 259-268 10 p. (Proceedings of the Annual Symposium on Computational Geometry).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Complete subdivision algorithms, II: Isotopic meshing of singular algebraic curves

    Burr, M., Choi, S. W., Galehouse, B. & Yap, C. K., Feb 2012, In : Journal of Symbolic Computation. 47, 2, p. 131-152 22 p.

    Research output: Contribution to journalArticle

    Complete subdivision algorithms, II: Isotopic meshing of singular algebraic curves

    Burr, M., Choi, SW., Galehouse, B. & Yap, C., 2012, In : Journal of Symbolic Computation. 47, 2, p. 131-152

    Research output: Contribution to journalArticle

    Explicit mesh surfaces for particle based fluids

    Yu, J., Wojtan, C., Turk, G. & Yap, C., Jan 1 2012, In : Computer Graphics Forum. 31, 2, p. 815-824 10 p.

    Research output: Contribution to journalConference article

    Near optimal tree size bounds on a simple real root isolation algorithm

    Sharma, V. & Yap, C. K., Dec 1 2012, ISSAC 2012 - Proceedings of the 37th International Symposium on Symbolic and Algebraic Computation. p. 319-326 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Towards exact numerical Voronoi diagrams (invited talk)

    Yap, C. K., Sharma, V. & Lien, J. M., Oct 3 2012, Proceedings of the 2012 9th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2012. p. 2-16 15 p. 6257651. (Proceedings of the 2012 9th International Symposium on Voronoi Diagrams in Science and Engineering, ISVD 2012).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2011

    Adaptive Isotopic Approximation of Nonsingular Curves: The Parameterizability and Nonlocal Isotopy Approach

    Lin, L. & Yap, C., Jun 1 2011, In : Discrete and Computational Geometry. 45, 4, p. 760-795 36 p.

    Research output: Contribution to journalArticle

    A real elementary approach to the master recurrence and generalizations

    Yap, C., May 13 2011, Theory and Applications of Models of Computation - 8th Annual Conference, TAMC 2011, Proceedings. p. 14-26 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6648 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    A simple but exact and efficient algorithm for complex root isolation

    Yap, C. K. & Sagraloff, M., Jul 1 2011, ISSAC 2011 - Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation. p. 353-360 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Empirical study of an evaluation-based subdivision algorithm for complex root isolation

    Kamath, N., Voiculescu, I. & Yap, C. K., Dec 1 2011, SNC'11 - Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation. p. 155-164 10 p. (SNC'11 - Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution