Skip to content

Latest commit

 

History

History
9 lines (8 loc) · 544 Bytes

File metadata and controls

9 lines (8 loc) · 544 Bytes

MathsTutor-Geometry_Theorem_Proving

A system to automatically assess student answers according to a given marking rubric for Geometric Theorem Proving in O/L Mathematics. The development has done using an inference engine using Drools rule library and Java programming language

#How to build project 01)Clone this project 02)Create a drools project in eclipse 03)Replace and add files from this repaository to the project 04)Need to change project text file encoding to UTF-8 (properties -> Resource -> Text file encoding -> other -> UTF-8)