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

    Filter
    Conference contribution
    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., 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

    Towards Soft Exact Computation (Invited Talk)

    Yap, C., 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

    Implementation of a Near-Optimal Complex Root Clustering Algorithm

    Imbach, R., Pan, V. Y. & Yap, C., 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., 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

    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., 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

    2015

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

    Wang, J. & Yap, C., 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

    Resolution-exact algorithms for link robots

    Luo, Z., Chiang, Y. J., Lien, J. M. & Yap, C., 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

    2014

    Amortized analysis of smooth quadtrees in all dimensions

    Bennett, H. & Yap, C., 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., 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., 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

    On soft predicates in subdivision motion planning

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

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

    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., 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

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

    Sharma, V. & Yap, C. K., 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., 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

    A real elementary approach to the master recurrence and generalizations

    Yap, C., 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., 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., 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

    2010

    The design of core 2: A library for exact numeric computation in geometry and algebra

    Yu, J., Yap, C., Du, Z., Pion, S. & Brönnimann, H., 2010, Mathematical Software, ICMS 2010 - Third International Congress on Mathematical Software, Proceedings. p. 121-141 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6327 LNCS).

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

    2009

    Adaptive isotopic approximation of nonsingular curves: The parametrizability and nonlocal isotopy approach

    Lin, L. & Yap, C., 2009, Proceedings of the 25th Annual Symposium on Computational Geometry, SCG'09. p. 351-360 10 p. (Proceedings of the Annual Symposium on Computational Geometry).

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

    Continuous amortization: A non-probabilistic adaptive analysis technique

    Burr, M., Krahmer, F. & Yap, C., Dec 2009, Electronic colloquium on computational complexity (ECCC), TR09 (136).

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

    Exact numerical computation in algebra and geometry

    Yap, C. K., 2009, ISSAC 2009 - Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation. p. 387-388 2 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

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

    Foundations of exact rounding

    Yap, C. K. & Yu, J., 2009, WALCOM: Algorithms and Computation - Third International Workshop, WALCOM 2009, Proceedings. p. 15-31 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5431 LNCS).

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

    In Praise of numerical computation

    Yap, C. K., 2009, Efficient Algorithms: Essays Dedicated to Kurt Mehlhorn on the Occasion of His 60th Birthday. Albers, S., Alt, H. & Naher, S. (eds.). p. 380-407 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5760 LNCS).

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

    Lower bounds for zero-dimensional projections

    Brownawell, W. D. & Yap, C. K., 2009, ISSAC 2009 - Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation. p. 79-85 7 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

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

    2008

    An experimental study of weighted k-link shortest path algorithms

    Daescu, O., Mitchell, J. S. B., Ntafos, S., Palmer, J. D. & Yap, C. K., 2008, Algorithmic Foundation of Robotics VII - Selected Contributions of the Seventh International Workshop on the Algorithmic Foundations of Robotics. p. 187-202 16 p. (Springer Tracts in Advanced Robotics; vol. 47).

    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., 2008, ISSAC'08: Proceedings of the 21st International Symposium on Symbolic and Algebraic Computation 2008. 1 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

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

    Theory of real computation according to EGC

    Yap, C., 2008, Reliable Implementation of Real Number Algorithms: Theory and Practice - International Seminar, Revised Papers. p. 193-237 45 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5045 LNCS).

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

    2007

    Amortized bound for root isolation via sturm sequences

    Du, Z., Sharma, V. & Yap, C. K., 2007, Symbolic-Numeric Computation. Wang, D., Wang, D. & Zhi, L. (eds.). Springer International Publishing, p. 113-129 17 p. (Trends in Mathematics; vol. 41).

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

    Complete numerical isolation of real zeros in zero-dimensional triangular systems

    Cheng, J. S., Gao, X. S. & Yap, C. K., 2007, ISSAC 2007 - Proceedings of the 2007 International Symposium on Symbolic and Algebraic Computation. p. 92-99 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

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

    2006

    Almost tight recursion tree bounds for the descartes method

    Eigenwillig, A., Sharma, V. & Yap, C. K., 2006, Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation, ISSAC 2006. Association for Computing Machinery (ACM), p. 71-78 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC; vol. 2006).

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

    Approximating minimum-cost polygonal paths of bounded number of links in weighted subdivisions

    Daescu, O., Mitchell, J. S. B., Ntafos, S., Palmer, J. D. & Yap, C. K., 2006, Proceedings of the Twenty-Second Annual Symposium on Computational Geometry 2006, SCG'06. Association for Computing Machinery (ACM), p. 483-484 2 p. (Proceedings of the Annual Symposium on Computational Geometry; vol. 2006).

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

    Complete subdivision algorithms, I: Intersection of Bezier curves

    Yap, C. K., 2006, Proceedings of the Twenty-Second Annual Symposium on Computational Geometry 2006, SCG'06. p. 217-226 10 p. (Proceedings of the Annual Symposium on Computational Geometry; vol. 2006).

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

    Reply to "backward error analysis ..."

    Kettner, L., Mehlhorn, K., Pion, S., Schirra, S. & Yap, C., 2006, Computational Science and Its Applications - ICCSA 2006: International Conference, Proceedings - Part I. Springer Verlag, 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3980 LNCS).

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

    2005

    k-Link shortest paths in weighted subdivisions

    Daescu, O., Mitchell, J. S. B., Ntafos, S., Palmer, J. D. & Yap, C. K., 2005, Lecture Notes in Computer Science. Dehne, F., Lopez-Ortiz, A. & Sack, J-R. (eds.). Vol. 3608. p. 325-337 13 p.

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

    Shortest path amidst disc obstacles is computable

    Chang, E. C., Choi, S. W., Kwon, D., Park, H. & Yap, C., 2005, Proceedings of the 21st Annual Symposium on Computational Geometry, SCG'05. p. 116-125 10 p.

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

    2003

    Constructive root bound method for k-aray rational input numbers

    Pion, S. & Yap, C., 2003, Proceedings of the 19th SoCG. p. 256-263

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

    Minimizing the trace length of a rod endpoint amidst polygonal obstacles is NP-hard

    Asano, T., Kirkpatrick, D. & Yap, C., 2003, 15th Canadian Conference on Computational Geometry. Halifax, Nova Scotia. August 11-13, 2003.

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

    2002

    A different Manhattan project: Automatic statistical model generation

    Yap, C. K., Biermann, H., Hertzman, A., Li, C., Meyer, J., Pao, H. K. & Paxia, T., 2002, Proceedings of SPIE - The International Society for Optical Engineering. Erbacher, R. F., Chen, P. C., Grohn, M., Roberts, J. C. & Wittenbrink, C. M. (eds.). Vol. 4665. p. 259-268 10 p.

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

    Provably robust volume meshing (poster presentation)

    Yap, C., Pion, S., Du, Z. & Wang, Z., 2002, Proceedings of the 23rd Army Science Conference. Orlando, Florida. December 2-5, 2002.

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

    2001

    A new constructive root bound for algebraic expressions

    Li, C. & Yap, C., 2001, Proceedings of the 12th Annual ACM-SIAM Symposium on Discrete Algorithms. p. 496-505 10 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

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