{"version":"1.0","provider_name":"","provider_url":"https:\/\/www.deberes.net\/tesis","author_name":"deberes","author_url":"https:\/\/www.deberes.net\/tesis\/author\/infouniversidad\/","title":"Razonamiento mecanizado en \u00e1lgebra homol\u00f3gica","type":"rich","width":600,"height":338,"html":"<blockquote class=\"wp-embedded-content\" data-secret=\"NKkuE3ePCb\"><a href=\"https:\/\/www.deberes.net\/tesis\/sistemas-formales\/razonamiento-mecanizado-en-algebra-homologica\/\">Razonamiento mecanizado en \u00e1lgebra homol\u00f3gica<\/a><\/blockquote><iframe sandbox=\"allow-scripts\" security=\"restricted\" src=\"https:\/\/www.deberes.net\/tesis\/sistemas-formales\/razonamiento-mecanizado-en-algebra-homologica\/embed\/#?secret=NKkuE3ePCb\" width=\"600\" height=\"338\" title=\"\u00abRazonamiento mecanizado en \u00e1lgebra homol\u00f3gica\u00bb \u2014 \" data-secret=\"NKkuE3ePCb\" frameborder=\"0\" marginwidth=\"0\" marginheight=\"0\" scrolling=\"no\" class=\"wp-embedded-content\"><\/iframe><script>\n\/*! This file is auto-generated *\/\n!function(d,l){\"use strict\";l.querySelector&&d.addEventListener&&\"undefined\"!=typeof URL&&(d.wp=d.wp||{},d.wp.receiveEmbedMessage||(d.wp.receiveEmbedMessage=function(e){var t=e.data;if((t||t.secret||t.message||t.value)&&!\/[^a-zA-Z0-9]\/.test(t.secret)){for(var s,r,n,a=l.querySelectorAll('iframe[data-secret=\"'+t.secret+'\"]'),o=l.querySelectorAll('blockquote[data-secret=\"'+t.secret+'\"]'),c=new RegExp(\"^https?:$\",\"i\"),i=0;i<o.length;i++)o[i].style.display=\"none\";for(i=0;i<a.length;i++)s=a[i],e.source===s.contentWindow&&(s.removeAttribute(\"style\"),\"height\"===t.message?(1e3<(r=parseInt(t.value,10))?r=1e3:~~r<200&&(r=200),s.height=r):\"link\"===t.message&&(r=new URL(s.getAttribute(\"src\")),n=new URL(t.value),c.test(n.protocol))&&n.host===r.host&&l.activeElement===s&&(d.top.location.href=t.value))}},d.addEventListener(\"message\",d.wp.receiveEmbedMessage,!1),l.addEventListener(\"DOMContentLoaded\",function(){for(var e,t,s=l.querySelectorAll(\"iframe.wp-embedded-content\"),r=0;r<s.length;r++)(t=(e=s[r]).getAttribute(\"data-secret\"))||(t=Math.random().toString(36).substring(2,12),e.src+=\"#?secret=\"+t,e.setAttribute(\"data-secret\",t)),e.contentWindow.postMessage({message:\"ready\",secret:t},\"*\")},!1)))}(window,document);\n<\/script>\n","description":"Razonamiento mecanizado en \u00e1lgebra homol\u00f3gica tesis doctoral de Jes\u00fas Mar\u00eda Aransay Azofra. Tesis doctoral de Jes\u00fas Mar\u00eda Aransay Azofra En la tesis se aborda el problema de obtener una versi\u00f3n certificada de un algoritmo fundamental en topolog\u00eda. Tesis sobre Homolog\u00eda, Informatica, Rioja, Sistemas formales"}