Yap, Chee-Keng
VIAF ID: 44478069 ( Personal )
Permalink: http://viaf.org/viaf/44478069
Preferred Forms
- 200 _ | ‡a Yap ‡b Chee Keng
- 100 1 _ ‡a Yap, Chee Keng
-
-
- 100 1 _ ‡a Yap, Chee-Keng
- 100 1 0 ‡a Yap, Chee-Keng
-
-
- 100 1 _ ‡a Yap, Chee-Keng
- 100 1 _ ‡a Yap, Chee-Keng
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Algorithmic and geometric aspects of robotics, 1986: | |
Calcul numérique certifié dans les espaces fonctionnels : Un trilogue entre approximations polynomiales rigoureuses, calcul symbolique et preuve formelle. | |
Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof | |
Frontiers in Algorithmics : 9th International Workshop, FAW 2015, Guilin, China, July 3-5, 2015, Proceedings | |
Fundamental problems of algorithmic algebra | |
Mathematical software - ICMS 2014 4th International Congress, Seoul, South Korea, August 5-9, 2014, proceedings | |
New upper bounds in Klee's measure problem | |
A semantical analysis of intensional logics |