Travelled to:1 × Australia
1 × France
1 × USA
Collaborated with:A.Fiedler ∅ M.Kerber M.Kohlhase E.Melis J.H.Siekmann D.Nesmith J.Richts C.Benzmüller L.Cheikhrouhou D.Fehrer K.Konrad A.Meier W.Schaarschmidt V.Sorge
Talks about:proof (3) omega (2) reconstruct (1) mathemat (1) toolkit (1) present (1) environ (1) develop (1) toward (1) machin (1)
Person: Xiaorong Huang
DBLP: Huang:Xiaorong
Contributed to:
199719961994Wrote 5 papers:
- CADE-1997-BenzmullerCFFHKKKMMSSS #named #towards
- Omega: Towards a Mathematical Assistant (CB, LC, DF, AF, XH, MK, MK, KK, AM, EM, WS, JHS, VS), pp. 252–255.
- CADE-1996-HuangF #proving
- Presenting Machine-Found Proofs (XH, AF), pp. 221–225.
- CADE-1994-Huang #proving #re-engineering
- Reconstruction Proofs at the Assertion Level (XH), pp. 738–752.
- CADE-1994-HuangKKMNRS #development #named #proving
- Omega-MKRP: A Proof Development Environment (XH, MK, MK, EM, DN, JR, JHS), pp. 788–792.
- CADE-1994-HuangKKMNRS94a #automation #deduction #named #tool support
- KEIM: A Toolkit for Automated Deduction (XH, MK, MK, EM, DN, JR, JHS), pp. 807–810.