Chee Yap

2023

Range Functions of Any Convergence Order and Their Amortized Complexity Analysis

Hormann, K., Yap, C. & Zhang, Y. S., 2023, Computer Algebra in Scientific Computing - 25th International Workshop, CASC 2023, Proceedings. Boulier, F., England, M., Kotsireas, I., Sadykov, T. M. & Vorozhtsov, E. V. (eds.). Springer Science and Business Media Deutschland GmbH, p. 162-182 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14139 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2022

Subdivision Methods for Sum-Of-Distances Problems: Fermat-Weber Point, n-Ellipses and the Min-Sum Cluster Voronoi Diagram

Mantas, I., Papadopoulou, E., Suderland, M. & Yap, C., Jun 1 2022, 38th International Symposium on Computational Geometry, SoCG 2022. Goaoc, X. & Kerber, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 69. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 224).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2021

Certified approximation algorithms for the fermat point and n-ellipses

Junginger, K., Mantas, I., Papadopoulou, E., Suderland, M. & Yap, C., Sep 1 2021, 29th Annual European Symposium on Algorithms, ESA 2021. Mutzel, P., Pagh, R. & Herman, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 54. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 204).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Novel Range Functions via Taylor Expansions and Recursive Lagrange Interpolation with Application to Real Root Isolation

Hormann, K., Kania, L. & Yap, C., Jul 18 2021, ISSAC 2021 - Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 193-200 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

Research output: Chapter in Book/Report/Conference proceeding › 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 proceeding › Conference 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 proceeding › Conference contribution

Open Access

Rods and rings: Soft subdivision planner for ℝ³ × S²

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 proceeding › Conference 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 proceeding › Conference contribution

Open Access

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 proceeding › Conference 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 proceeding › Conference contribution

Open Access

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

Open Access

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

Open Access

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 proceeding › Conference 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 proceeding › Conference contribution

Open Access

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

Open Access

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

Open Access

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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

Chee Yap

Research output

Search results