Synthesizing geometry constructions

S Gulwani, VA Korthikanti, A Tiwari - ACM SIGPLAN Notices, 2011 - dl.acm.org
In this paper, we study the problem of automatically solving ruler/compass based geometry
construction problems. We first introduce a logic and a programming language for …
被引用次数：176 相关文章
[PDF] researchgate.net

[PDF][PDF] Synthesizing Geometry Constructions

S Gulwani, VA Korthikanti, A Tiwari - 2011 - researchgate.net
In this paper, we study the problem of automatically solving ruler/compass based geometry
construction problems. We first introduce a logic and a programming language for …

Synthesizing geometry constructions

S Gulwani, VA Korthikanti, A Tiwari - Proceedings of the 32nd ACM …, 2011 - dl.acm.org
In this paper, we study the problem of automatically solving ruler/compass based geometry
construction problems. We first introduce a logic and a programming language for …
[PDF] audentia-gestion.fr

[PDF][PDF] Synthesizing Geometry Constructions

S Gulwani, VA Korthikanti, A Tiwari - 2011 - audentia-gestion.fr
In this paper, we study the problem of automatically solving ruler/compass based geometry
construction problems. We first introduce a logic and a programming language for …
[PDF] sri.com

[PDF][PDF] Synthesizing Geometry Constructions

S Gulwani, VA Korthikanti, A Tiwari - 2011 - csl.sri.com
In this paper, we study the problem of automatically solving ruler/compass based geometry
construction problems. We first introduce a logic and a programming language for …
[PDF] archive.org

[PDF][PDF] Synthesizing Geometry Constructions

S Gulwani, VA Korthikanti, A Tiwari - 2011 - scholar.archive.org
In this paper, we study the problem of automatically solving ruler/compass based geometry
construction problems. We first introduce a logic and a programming language for …

[引用][C] Synthesizing geometry constructions

S Gulwani, VA Korthikanti, A Tiwari - Proceedings of the 32nd ACM …, 2011 - cir.nii.ac.jp
Synthesizing geometry constructions | CiNii Research CiNii 国立情報学研究所 学術情報
ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本をさがす …

[引用][C] Synthesizing Geometry Constructions

S GULWANI, VA KORTHIKANTI… - ACM SIGPLAN …, 2011 - pascal-francis.inist.fr
Synthesizing Geometry Constructions CNRS Inist Pascal-Francis CNRS Pascal and Francis
Bibliographic Databases Simple search Advanced search Search by classification Search …
[PDF] academia.edu

[PDF][PDF] Synthesizing Geometry Constructions

S Gulwani, VA Korthikanti, A Tiwari - 2011 - academia.edu
In this paper, we study the problem of automatically solving ruler/compass based geometry
construction problems. We first introduce a logic and a programming language for …
[PDF] microsoft.com

[PDF][PDF] Synthesizing Geometry Constructions

S Gulwani, VA Korthikanti, A Tiwari - 2011 - microsoft.com
In this paper, we study the problem of automatically solving ruler/compass based geometry
construction problems. We first introduce a logic and a programming language for …