Login / Signup
Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method.
Shang-Ching Chou
Xiao-Shan Gao
Published in:
IWAR (1992)
Keyphrases
</>
automated reasoning
differential geometry
similarity measure
detection algorithm
theorem prover