Automated Deduction and Knowledge Management in Geometry
Sign Up to like & getrecommendations! Published in 2020 at "Mathematics in Computer Science"
DOI: 10.1007/s11786-020-00489-7
Abstract: Scientific research and education at all levels are concerned primarily with the discovery, verification, communication, and application of scientific knowledge. Learning, reusing, inventing, and archiving are the four essential aspects of knowledge accumulation in mankind’s… read more here.
Keywords: automated deduction; management geometry; knowledge; knowledge management ... See more keywords