{"id":282,"date":"2010-03-11T07:30:58","date_gmt":"2010-03-11T07:30:58","guid":{"rendered":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/exploracion-automatica-de-teoria-matematicas\/"},"modified":"2013-03-08T05:53:43","modified_gmt":"2013-03-08T05:53:43","slug":"exploracion-automatica-de-teoria-matematicas","status":"publish","type":"post","link":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/exploracion-automatica-de-teoria-matematicas\/","title":{"rendered":"Exploraci\u00f3n autom\u00e1tica de teor\u00edas matem\u00e1ticas"},"content":{"rendered":"<p>La exploraci\u00f3n autom\u00e1tica de teor\u00edas matem\u00e1ticas es un tema emergente de investigaci\u00f3n dentro de la L\u00f3gica Computacional. Su objetivo es desarrollar sistemas inform\u00e1ticos que ayuden en el desarrollo autom\u00e1tico de teor\u00edas matem\u00e1ticas, incluyendo la invenci\u00f3n de definiciones, teoremas, conjeturas, problemas, ejemplos y algoritmos,<\/p>\n<p>El primer congreso sobre exploraci\u00f3n de teor\u00edas matem\u00e1ticas fue el <a href=\"http:\/\/www.risc.uni-linz.ac.at\/about\/conferences\/automatheo09\/\">Automatheo 2009<\/a> y se celebr\u00f3 en Linz, Austria.<\/p>\n<p>El segundo congreso sobre exploraci\u00f3n de teor\u00edas matem\u00e1ticas es el <a href=\"http:\/\/dream.inf.ed.ac.uk\/events\/automatheo-2010\">Automatheo 2010<\/a> y se celebrar\u00e1 en Edimburgo el 14 y 15 de Julio de 2010. La fecha de env\u00edo de comunicaciones finaliza el 2 de Junio.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>La exploraci\u00f3n autom\u00e1tica de teor\u00edas matem\u00e1ticas es un tema emergente de investigaci\u00f3n dentro de la L\u00f3gica Computacional. Su objetivo es desarrollar sistemas inform\u00e1ticos que ayuden en el desarrollo autom\u00e1tico de teor\u00edas matem\u00e1ticas, incluyendo la invenci\u00f3n de definiciones, teoremas, conjeturas, problemas, ejemplos y algoritmos, El primer congreso sobre exploraci\u00f3n de teor\u00edas matem\u00e1ticas fue el Automatheo 2009&#8230;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_kad_post_transparent":"","_kad_post_title":"","_kad_post_layout":"","_kad_post_sidebar_id":"","_kad_post_content_style":"","_kad_post_vertical_padding":"","_kad_post_feature":"","_kad_post_feature_position":"","_kad_post_header":false,"_kad_post_footer":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"footnotes":"","_jetpack_memberships_contains_paid_content":false},"categories":[164],"tags":[69,42,109],"jetpack_featured_media_url":"","jetpack_sharing_enabled":true,"jetpack_likes_enabled":false,"_links":{"self":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/282"}],"collection":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/comments?post=282"}],"version-history":[{"count":6,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/282\/revisions"}],"predecessor-version":[{"id":3053,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/posts\/282\/revisions\/3053"}],"wp:attachment":[{"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/media?parent=282"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/categories?post=282"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.glc.us.es\/~jalonso\/vestigium\/wp-json\/wp\/v2\/tags?post=282"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}