Cheng Minteh

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1998

1 Hongbo Li, Cheng Minteh: Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry. J. Autom. Reasoning 21(1): 1-21 (1998)

	1998
1		Hongbo Li, Cheng Minteh: Clifford Algebraic Reduction Method for Automated Theorem Proving in Differential Geometry. J. Autom. Reasoning 21(1): 1-21 (1998)

Coauthor Index

1 Hongbo Li [1]