MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Yi Gao" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

4 documents found, showing 1 through 4.

ATOM

=1 Conformal Flattening ITK Filter Release 0.00
by Yi Gao, John Melonakos, Allen Tannenbaum — 2006
…=1 Conformal Flattening ITK Filter Release 0.00 Yi Gao 1 , John Melonakos 1 , and Allen Tannenbaum…
Add To MetaCart

A Grand Challenge of Theorem Discovery
by Geoff Sutcliffe, Yi Gao, Simon Colton — 2003 — Proceedings of the Workshop on Challenges and Novel Applications for Automated Reasoning, 19th International Conference on Automated Reasoning
…A Grand Challenge of Theorem Discovery Geoff Sutcliffe 1 , Yi Gao 1 , and Simon Colton 2 1…
Cited by 1 (1 self) – Add To MetaCart

Automated Generation of Interesting Theorems
by Yury Puzis, Yi Gao, Geoff Sutcliffe — 2004 — University of Miami, Miami, USA
…Automated Generation of Interesting Theorems Yury Puzis, Yi Gao, Geoff Sutcliffe Department…
Cited by 4 (0 self) – Add To MetaCart

Article URL
by Danfeng Xu, Yushan Liu, Yi Gao, Xuezhi Zhao, Chuangyu Qu, Changlin Mei, Jizhong Ren, Danfeng Xu, Yushan Liu, Yi Gao, Xuezhi Zhao, Chuangyu Qu, Changlin Mei, Jizhong Ren — 2009
…_danfeng@(email omitted);) Yushan Liu (yushan0606@(email omitted);) Yi Gao (gaoyismmu@(email omitted);) Xuezhi Zhao (zh_xz@(email omitted);) Chuangyu…
Add To MetaCart

Showing 1 through 4.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB