{"id":2672,"date":"2019-09-03T20:13:22","date_gmt":"2019-09-04T00:13:22","guid":{"rendered":"https:\/\/portfolios.cs.earlham.edu\/?p=2672"},"modified":"2019-09-03T20:15:42","modified_gmt":"2019-09-04T00:15:42","slug":"cs-388-week-2-three-ideas","status":"publish","type":"post","link":"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/","title":{"rendered":"CS 388 \u2013 Week 2 \u2013 Three Ideas"},"content":{"rendered":"\n

Breakdown of Mathematical Proofs Using Natural Language Processing<\/strong><\/p>\n\n\n\n

I wish to use natural language processing to break down a\nbachelor-level mathematical proof into the components that make up a proof\n(e.g. given knowledge, statements, calculations). This will be shown in a GUI\nso that the user can clearly see the build-up of their proof. Without\nconstraints of time, some more technologies could be applied (machine learning)\nto give feedback to the user of the strength of their proof.<\/p>\n\n\n\n

WhatsUp! : A Passive Event-Sharing Application for Friends<\/strong><\/p>\n\n\n\n

This application will enable a user to check on friends current\/planned activities through a simple feed or calendar. Events will have scheduled times, lists of \u201cagreed\u201d participants, and the location. They can be confirmed events, or requests for an event, such as someone looking to go to Walmart at a certain time. Privacy settings could be configured to those in a Geo-Area, or to a specific list of friends, and notifications could also be customized.<\/p>\n\n\n\n

Extensive Music Recommendation Website<\/strong><\/p>\n\n\n\n

This website will allow users to input songs and\/or\nattribute values to return recommendations. Users will be able to view detailed\nanalysis of their input tracks attributes and can search also with track\nattributes (e.g. acousticness, energy, speechiness). This will be done with the\nSpotify API.<\/p>\n","protected":false},"excerpt":{"rendered":"

Breakdown of Mathematical Proofs Using Natural Language Processing I wish to use natural language processing to break down a bachelor-level mathematical proof into the components that make up a proof (e.g. given knowledge, statements, calculations). This will be shown in … 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-2672","post","type-post","status-publish","format-standard","hentry","category-80","category-aleksandr-sergeev","category-student"],"yoast_head":"\nCS 388 \u2013 Week 2 \u2013 Three Ideas - CS\/DS Student Portfolios<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"CS 388 \u2013 Week 2 \u2013 Three Ideas - CS\/DS Student Portfolios\" \/>\n<meta property=\"og:description\" content=\"Breakdown of Mathematical Proofs Using Natural Language Processing I wish to use natural language processing to break down a bachelor-level mathematical proof into the components that make up a proof (e.g. given knowledge, statements, calculations). This will be shown in … Read More\" \/>\n<meta property=\"og:url\" content=\"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/\" \/>\n<meta property=\"og:site_name\" content=\"CS\/DS Student Portfolios\" \/>\n<meta property=\"article:published_time\" content=\"2019-09-04T00:13:22+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2019-09-04T00:15:42+00:00\" \/>\n<meta name=\"author\" content=\"Aleksandr Sergeev\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Aleksandr Sergeev\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/index.php\\\/2019\\\/09\\\/03\\\/cs-388-week-2-three-ideas\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/index.php\\\/2019\\\/09\\\/03\\\/cs-388-week-2-three-ideas\\\/\"},\"author\":{\"name\":\"Aleksandr Sergeev\",\"@id\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/#\\\/schema\\\/person\\\/af88f8f662046451591b3dd1c3f74723\"},\"headline\":\"CS 388 \u2013 Week 2 \u2013 Three Ideas\",\"datePublished\":\"2019-09-04T00:13:22+00:00\",\"dateModified\":\"2019-09-04T00:15:42+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/index.php\\\/2019\\\/09\\\/03\\\/cs-388-week-2-three-ideas\\\/\"},\"wordCount\":218,\"commentCount\":0,\"articleSection\":[\"2020\",\"Aleksandr Sergeev\",\"Student\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/index.php\\\/2019\\\/09\\\/03\\\/cs-388-week-2-three-ideas\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/index.php\\\/2019\\\/09\\\/03\\\/cs-388-week-2-three-ideas\\\/\",\"url\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/index.php\\\/2019\\\/09\\\/03\\\/cs-388-week-2-three-ideas\\\/\",\"name\":\"CS 388 \u2013 Week 2 \u2013 Three Ideas - CS\\\/DS Student Portfolios\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/#website\"},\"datePublished\":\"2019-09-04T00:13:22+00:00\",\"dateModified\":\"2019-09-04T00:15:42+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/#\\\/schema\\\/person\\\/af88f8f662046451591b3dd1c3f74723\"},\"breadcrumb\":{\"@id\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/index.php\\\/2019\\\/09\\\/03\\\/cs-388-week-2-three-ideas\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/index.php\\\/2019\\\/09\\\/03\\\/cs-388-week-2-three-ideas\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/index.php\\\/2019\\\/09\\\/03\\\/cs-388-week-2-three-ideas\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"CS 388 \u2013 Week 2 \u2013 Three Ideas\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/#website\",\"url\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/\",\"name\":\"CS\\\/DS Student Portfolios\",\"description\":\"AI and ML, Image Classification, Arduino\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/#\\\/schema\\\/person\\\/af88f8f662046451591b3dd1c3f74723\",\"name\":\"Aleksandr Sergeev\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/2090ed4080c3e6471a4636ac43d758553fa17df1c621f64024f4cef1dc371d80?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/2090ed4080c3e6471a4636ac43d758553fa17df1c621f64024f4cef1dc371d80?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/2090ed4080c3e6471a4636ac43d758553fa17df1c621f64024f4cef1dc371d80?s=96&d=mm&r=g\",\"caption\":\"Aleksandr Sergeev\"},\"url\":\"https:\\\/\\\/portfolios.cs.earlham.edu\\\/index.php\\\/author\\\/aserge16\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"CS 388 \u2013 Week 2 \u2013 Three Ideas - CS\/DS Student Portfolios","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/","og_locale":"en_US","og_type":"article","og_title":"CS 388 \u2013 Week 2 \u2013 Three Ideas - CS\/DS Student Portfolios","og_description":"Breakdown of Mathematical Proofs Using Natural Language Processing I wish to use natural language processing to break down a bachelor-level mathematical proof into the components that make up a proof (e.g. given knowledge, statements, calculations). This will be shown in … Read More","og_url":"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/","og_site_name":"CS\/DS Student Portfolios","article_published_time":"2019-09-04T00:13:22+00:00","article_modified_time":"2019-09-04T00:15:42+00:00","author":"Aleksandr Sergeev","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Aleksandr Sergeev","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/#article","isPartOf":{"@id":"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/"},"author":{"name":"Aleksandr Sergeev","@id":"https:\/\/portfolios.cs.earlham.edu\/#\/schema\/person\/af88f8f662046451591b3dd1c3f74723"},"headline":"CS 388 \u2013 Week 2 \u2013 Three Ideas","datePublished":"2019-09-04T00:13:22+00:00","dateModified":"2019-09-04T00:15:42+00:00","mainEntityOfPage":{"@id":"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/"},"wordCount":218,"commentCount":0,"articleSection":["2020","Aleksandr Sergeev","Student"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/","url":"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/","name":"CS 388 \u2013 Week 2 \u2013 Three Ideas - CS\/DS Student Portfolios","isPartOf":{"@id":"https:\/\/portfolios.cs.earlham.edu\/#website"},"datePublished":"2019-09-04T00:13:22+00:00","dateModified":"2019-09-04T00:15:42+00:00","author":{"@id":"https:\/\/portfolios.cs.earlham.edu\/#\/schema\/person\/af88f8f662046451591b3dd1c3f74723"},"breadcrumb":{"@id":"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/portfolios.cs.earlham.edu\/index.php\/2019\/09\/03\/cs-388-week-2-three-ideas\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/portfolios.cs.earlham.edu\/"},{"@type":"ListItem","position":2,"name":"CS 388 \u2013 Week 2 \u2013 Three Ideas"}]},{"@type":"WebSite","@id":"https:\/\/portfolios.cs.earlham.edu\/#website","url":"https:\/\/portfolios.cs.earlham.edu\/","name":"CS\/DS Student Portfolios","description":"AI and ML, Image Classification, Arduino","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/portfolios.cs.earlham.edu\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Person","@id":"https:\/\/portfolios.cs.earlham.edu\/#\/schema\/person\/af88f8f662046451591b3dd1c3f74723","name":"Aleksandr Sergeev","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/2090ed4080c3e6471a4636ac43d758553fa17df1c621f64024f4cef1dc371d80?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/2090ed4080c3e6471a4636ac43d758553fa17df1c621f64024f4cef1dc371d80?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/2090ed4080c3e6471a4636ac43d758553fa17df1c621f64024f4cef1dc371d80?s=96&d=mm&r=g","caption":"Aleksandr Sergeev"},"url":"https:\/\/portfolios.cs.earlham.edu\/index.php\/author\/aserge16\/"}]}},"rttpg_featured_image_url":null,"rttpg_author":{"display_name":"Aleksandr Sergeev","author_link":"https:\/\/portfolios.cs.earlham.edu\/index.php\/author\/aserge16\/"},"rttpg_comment":0,"rttpg_category":"<a href=\"https:\/\/portfolios.cs.earlham.edu\/index.php\/category\/student\/2020\/\" rel=\"category tag\">2020<\/a> <a href=\"https:\/\/portfolios.cs.earlham.edu\/index.php\/category\/student\/2020\/aleksandr-sergeev\/\" rel=\"category tag\">Aleksandr Sergeev<\/a> <a href=\"https:\/\/portfolios.cs.earlham.edu\/index.php\/category\/student\/\" rel=\"category tag\">Student<\/a>","rttpg_excerpt":"Breakdown of Mathematical Proofs Using Natural Language Processing I wish to use natural language processing to break down a bachelor-level mathematical proof into the components that make up a proof (e.g. given knowledge, statements, calculations). This will be shown in … Read More","_links":{"self":[{"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/posts\/2672","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=2672"}],"version-history":[{"count":3,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/posts\/2672\/revisions"}],"predecessor-version":[{"id":2675,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/posts\/2672\/revisions\/2675"}],"wp:attachment":[{"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/media?parent=2672"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/categories?post=2672"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/portfolios.cs.earlham.edu\/index.php\/wp-json\/wp\/v2\/tags?post=2672"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}