Automated Deduction in Geometry Lecture Notes in Artificial Intelligencede Pascal SchreckMateriasMathematical Logic and Formal LanguagesComputational complexityComputer graphicsDiscrete Mathematics in Computer ScienceSoftware engineeringAlgebraSymbolic and Algebraic ManipulationComputer scienceData processing