Searching for authors named "Xudong Zhao" – sorted by Relevance.
-
Combining symbolic computation and theorem proving: some problems of Ramanujan
- Xudong Zhao January 1994 CMU-CS-94-103 School of Computer Science Carnegie Mellon University Pittsburgh
- Cited by 10 (2 self) – Add To MetaCart
-
Analytica - A Theorem Prover for Mathematica
- Analytica --- A Theorem Prover for Mathematica Edmund Clarke Xudong Zhao September 1992 CMU-CS-92
- Cited by 33 (1 self) – Add To MetaCart
-
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking
- Khaira ?? , John O'Leary ?? , Xudong Zhao ?? Abstract This paper presents the formal verification
- Cited by 22 (7 self) – Add To MetaCart
-
Yirng-An Chen
- : Randal E. Bryant (Chair), Edmund M. Clarke, Rob. A. Rutenbar, Xudong Zhao (Intel). National Tsing
- Add To MetaCart

