No photo of Chee Yap

Chee Yap

Professor of Computer Science

    1972 …2021

    Research activity per year

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

    Search results

    • 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. p. 87 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, p. 60 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

    Your message has successfully been sent.
    Your message was not sent due to an error.