- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on June 30, 2025】Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
Synthesizing geometry constructions
-
- Sumit Gulwani
- Microsoft Research, Redmond, WA, USA
-
- Vijay Anand Korthikanti
- University of Illinois at Urbana-Champaign, Urbana Champaign, USA
-
- Ashish Tiwari
- SRI International, Menlo Park, USA
Journal
-
- Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation
-
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation 50-61, 2011-06-04
ACM