Geometric Theorem Provers and Algebraic Equations Solvers

Shang-Ching Chou Xiao-Shan Gao Zhuo-Jun Liu Ding-Kang Wang Dongming Wang 1
1 CALFOR - Calcul formel
LIP6 - Laboratoire d'Informatique de Paris 6
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01573189
Contributor : Lip6 Publications <>
Submitted on : Tuesday, August 8, 2017 - 5:24:51 PM
Last modification on : Thursday, March 21, 2019 - 1:09:45 PM

Identifiers

  • HAL Id : hal-01573189, version 1

Citation

Shang-Ching Chou, Xiao-Shan Gao, Zhuo-Jun Liu, Ding-Kang Wang, Dongming Wang. Geometric Theorem Provers and Algebraic Equations Solvers. Mathematics Mechanization and Applications, Academic Press, London, 2000. ⟨hal-01573189⟩

Share

Metrics

Record views

36