Book Chapter10.1007/978-3-7091-6639-0_7
Mechanization theorems of various geometries
Wen-tsün Wu-1994-01-01-Texts & monographs in symbolic computation/Texts and monographs in symbolic computation
1
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
MathematicsPath (computing)Pure mathematicsGeometryAlgebra over a fieldComputer science
Chat
Click to start Chat