{"id":{"repo_id":"brock","oai_identifier":"oai:brocku.scholaris.ca:10464/19707"},"canonical_url":"https://search.dev.ndltd.org/etd/brock/oai:brocku.scholaris.ca:10464/19707","repository":{"repo_id":"brock","name":"Brock University","base_url":"https://brocku.scholaris.ca/server/oai/request"},"display":{"title":"Interactive Online System for Mathematical Induction","abstract":"Mathematical Induction is a foundational proof technique in discrete mathematics, whereas many students struggle to cover the gap from procedural to abstract reasoning. This project is based on the interactive online system for mathematical induction, developed to teach mathematical induction with the help of structural learning, guided examples to build a strong base and real-time feedback of user inputs. Using Java Servlets, the system offers an interactive learning experience that mirrors traditional textbook notation while eliminating the obstacles of complex proof writing syntax. The system features a structured flow of learning which starts with guided examples before diving into hands on exercises. The core innovation of the system is the proof solver, which offers real-time feedback after every user input. If a step is incorrect, the system highlights the mistake and prevents students from proceeding with a defect in the logic. When a user is facing obstacles while solving a question, the system has an option to switch towards the example environment, which has a guided example of the same theorem the user was struggling with. Additionally, the user can ask for hints in case the user does not want to move towards a guided example to scaffold learning without giving away the solution immediately. Unlike many other proof assistants like COQ, the system does not require users to learn any language. Instead, it maintains a natural textbook style interface with readable mathematical symbols to increase the accessibility of the system. Furthermore, the system has exercises and examples beyond numbers, incorporating generalized problem types which require students to specify the properties used in the proof step. With the integration of guided examples and immediate feedback, the system bridges the gap between theory and application. This research aims to make mathematical induction more accessible and engaging for learners with the help of technology.","abstract_html":"Mathematical Induction is a foundational proof technique in discrete mathematics, whereas many students struggle to cover the gap from procedural to abstract reasoning. This project is based on the interactive online system for mathematical induction, developed to teach mathematical induction with the help of structural learning, guided examples to build a strong base and real-time feedback of user inputs. Using Java Servlets, the system offers an interactive learning experience that mirrors traditional textbook notation while eliminating the obstacles of complex proof writing syntax. The system features a structured flow of learning which starts with guided examples before diving into hands on exercises. The core innovation of the system is the proof solver, which offers real-time feedback after every user input. If a step is incorrect, the system highlights the mistake and prevents students from proceeding with a defect in the logic. When a user is facing obstacles while solving a question, the system has an option to switch towards the example environment, which has a guided example of the same theorem the user was struggling with. Additionally, the user can ask for hints in case the user does not want to move towards a guided example to scaffold learning without giving away the solution immediately. Unlike many other proof assistants like COQ, the system does not require users to learn any language. Instead, it maintains a natural textbook style interface with readable mathematical symbols to increase the accessibility of the system. Furthermore, the system has exercises and examples beyond numbers, incorporating generalized problem types which require students to specify the properties used in the proof step. With the integration of guided examples and immediate feedback, the system bridges the gap between theory and application. This research aims to make mathematical induction more accessible and engaging for learners with the help of technology.","abstract_has_math":false,"creators":["Ansar, Fahad"],"institution":"Brock University","degree_name":"M.Sc. Computer Science","degree_level":"Master","degree_discipline":"Faculty of Mathematics and Science","degree_department":"Department of Computer Science","school":null,"contributors":[],"advisors":["Dr. Michael Winter"],"committee_chairs":[],"committee_members":[],"year":2025,"date_issued":"2025-09-30","date_published":"2025-09-30","updated_at":"2026-07-24T01:23:21Z","subjects":["MATHEMATICS::Algebra, geometry and mathematical analysis::Discrete mathematics","TECHNOLOGY::Information technology::Computer science::Computer science","TECHNOLOGY::Information technology::Computer science::Software engineering"],"languages":["eng"],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/10464/19707","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Dr. Michael Winter"]},{"key":"dc:contributor.department","label":"Department","values":["Department of Computer Science"]},{"key":"dc:creator","label":"Author","values":["Ansar, Fahad"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2025-10-01T15:17:45Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2025-10-01T15:17:45Z"]},{"key":"dc:date.issued","label":"Date","values":["2025-09-30"]},{"key":"dc:publisher","label":"Institution","values":["Brock University"]},{"key":"dc:type","label":"Dc Type","values":["Electronic Thesis or Dissertation"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Faculty of Mathematics and Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Master"]},{"key":"thesis:degree_name","label":"Degree Name","values":["M.Sc. Computer Science"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["MATHEMATICS::Algebra, geometry and mathematical analysis::Discrete mathematics","TECHNOLOGY::Information technology::Computer science::Computer science","TECHNOLOGY::Information technology::Computer science::Software engineering"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://hdl.handle.net/10464/19707"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["Mathematical Induction is a foundational proof technique in discrete mathematics, whereas many students struggle to cover the gap from procedural to abstract reasoning. This project is based on the interactive online system for mathematical induction, developed to teach mathematical induction with the help of structural learning, guided examples to build a strong base and real-time feedback of user inputs. Using Java Servlets, the system offers an interactive learning experience that mirrors traditional textbook notation while eliminating the obstacles of complex proof writing syntax. The system features a structured flow of learning which starts with guided examples before diving into hands on exercises. The core innovation of the system is the proof solver, which offers real-time feedback after every user input. If a step is incorrect, the system highlights the mistake and prevents students from proceeding with a defect in the logic. When a user is facing obstacles while solving a question, the system has an option to switch towards the example environment, which has a guided example of the same theorem the user was struggling with. Additionally, the user can ask for hints in case the user does not want to move towards a guided example to scaffold learning without giving away the solution immediately. Unlike many other proof assistants like COQ, the system does not require users to learn any language. Instead, it maintains a natural textbook style interface with readable mathematical symbols to increase the accessibility of the system. Furthermore, the system has exercises and examples beyond numbers, incorporating generalized problem types which require students to specify the properties used in the proof step. With the integration of guided examples and immediate feedback, the system bridges the gap between theory and application. This research aims to make mathematical induction more accessible and engaging for learners with the help of technology."]},{"key":"dc:title","label":"Title","values":["Interactive Online System for Mathematical Induction"]}]}],"canonical_facts":{"dc:contributor.advisor":["Dr. Michael Winter"],"dc:contributor.department":["Department of Computer Science"],"dc:creator":["Ansar, Fahad"],"dc:date.accessioned":["2025-10-01T15:17:45Z"],"dc:date.available":["2025-10-01T15:17:45Z"],"dc:date.issued":["2025-09-30"],"dc:description.abstract":["Mathematical Induction is a foundational proof technique in discrete mathematics, whereas many students struggle to cover the gap from procedural to abstract reasoning. This project is based on the interactive online system for mathematical induction, developed to teach mathematical induction with the help of structural learning, guided examples to build a strong base and real-time feedback of user inputs. Using Java Servlets, the system offers an interactive learning experience that mirrors traditional textbook notation while eliminating the obstacles of complex proof writing syntax. The system features a structured flow of learning which starts with guided examples before diving into hands on exercises. The core innovation of the system is the proof solver, which offers real-time feedback after every user input. If a step is incorrect, the system highlights the mistake and prevents students from proceeding with a defect in the logic. When a user is facing obstacles while solving a question, the system has an option to switch towards the example environment, which has a guided example of the same theorem the user was struggling with. Additionally, the user can ask for hints in case the user does not want to move towards a guided example to scaffold learning without giving away the solution immediately. Unlike many other proof assistants like COQ, the system does not require users to learn any language. Instead, it maintains a natural textbook style interface with readable mathematical symbols to increase the accessibility of the system. Furthermore, the system has exercises and examples beyond numbers, incorporating generalized problem types which require students to specify the properties used in the proof step. With the integration of guided examples and immediate feedback, the system bridges the gap between theory and application. This research aims to make mathematical induction more accessible and engaging for learners with the help of technology."],"dc:identifier.uri":["https://hdl.handle.net/10464/19707"],"dc:language.iso":["eng"],"dc:publisher":["Brock University"],"dc:subject":["MATHEMATICS::Algebra, geometry and mathematical analysis::Discrete mathematics","TECHNOLOGY::Information technology::Computer science::Computer science","TECHNOLOGY::Information technology::Computer science::Software engineering"],"dc:title":["Interactive Online System for Mathematical Induction"],"dc:type":["Electronic Thesis or Dissertation"],"thesis:degree_discipline":["Faculty of Mathematics and Science"],"thesis:degree_level":["Master"],"thesis:degree_name":["M.Sc. Computer Science"]},"updated_at":"2026-07-24T01:23:21Z"}