{"id":2613,"date":"2019-08-26T22:06:10","date_gmt":"2019-08-27T02:06:10","guid":{"rendered":"https:\/\/portfolios.cs.earlham.edu\/?p=2613"},"modified":"2019-08-26T22:10:08","modified_gmt":"2019-08-27T02:10:08","slug":"cs388-week-1-first-idea-2","status":"publish","type":"post","link":"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/08\/26\/cs388-week-1-first-idea-2\/","title":{"rendered":"CS388 \u2013 Week 1 \u2013 First Idea"},"content":{"rendered":"\n<ol class=\"wp-block-list\"><li><strong>Name\nof Your Project<\/strong><\/li><\/ol>\n\n\n\n<p class=\"wp-block-paragraph\">Breakdown of Mathematical\nProofs Using Natural Language Processing<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>What\nresearch topic\/question your project is going to address?<\/strong><\/li><\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">How available and useful current technology is to address completeness of mathematical proofs in intro\/bachelor level mathematics courses.<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>What\ntechnology will be used in your project?<\/strong><\/li><\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Python Natural Language\nProcessing libraries, and SwiftUI for the GUI.<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>What\nsoftware and hardware will be needed for your project?<\/strong><\/li><\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Languages: Python, Swift<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Development: XCode<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>How\nare you planning to implement?<\/strong><\/li><\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">The end goal would be to assist students taking undergraduate classes.<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>How\nis your project different from others? What\u2019s new in your project?<\/strong><\/li><\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">I have not seen\/be able to\nfind applications of natural language processing towards the field of algebra\nand mathematical proofs.<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>What&#8217;re the difficulties of your project? What problems you might encounter during your project?<\/strong><\/li><\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Finding a\nlarge enough dataset to work with, that is consistent. Creating a strict enough\nrule set to classify proof components by.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Name of Your Project Breakdown of Mathematical Proofs Using Natural Language Processing What research topic\/question your project is going to address? How available and useful current technology is to address completeness of mathematical proofs in intro\/bachelor level mathematics courses. What technology will be used in your project? Python Natural Language Processing libraries, and SwiftUI for &#8230; <a title=\"CS388 \u2013 Week 1 \u2013 First Idea\" class=\"read-more\" href=\"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/08\/26\/cs388-week-1-first-idea-2\/\" aria-label=\"Read more about CS388 \u2013 Week 1 \u2013 First Idea\">Read more<\/a><\/p>\n","protected":false},"author":70,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[80,88,19],"tags":[],"class_list":["post-2613","post","type-post","status-publish","format-standard","hentry","category-80","category-aleksandr-sergeev","category-student"],"_links":{"self":[{"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/posts\/2613","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/users\/70"}],"replies":[{"embeddable":true,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/comments?post=2613"}],"version-history":[{"count":1,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/posts\/2613\/revisions"}],"predecessor-version":[{"id":2614,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/posts\/2613\/revisions\/2614"}],"wp:attachment":[{"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/media?parent=2613"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/categories?post=2613"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/tags?post=2613"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}