From 201d407fa7089b35ab1d25eef6ad14de84e81291 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <michael.kohlhase@fau.de> Date: Sat, 13 Jul 2019 11:57:08 +0200 Subject: [PATCH] more material --- projects/tetrapod.md | 17 +++++++++++ projects/tetrapod/index.md | 42 ++++++++++++++++++++++++++++ projects/tetrapod/tetrapod-arms.jpg | Bin 0 -> 8743 bytes projects/tetrapod/tetrapod-arms.tex | 25 +++++++++++++++++ 4 files changed, 84 insertions(+) create mode 100644 projects/tetrapod/index.md create mode 100644 projects/tetrapod/tetrapod-arms.jpg create mode 100644 projects/tetrapod/tetrapod-arms.tex diff --git a/projects/tetrapod.md b/projects/tetrapod.md index 25ff017..7a7f48b 100644 --- a/projects/tetrapod.md +++ b/projects/tetrapod.md @@ -25,3 +25,20 @@ funding: internal The aim of the Tetrapod project is to produce tools for **trustworthy and efficient modeling** of problems involving mathematics as well as tools for doing **mathematical knowledge processing**. + +The main result of the project is the conception of a "doing math" involves four primary aspects + +* **computation** (which produces **information**), +* **reasoning** (which produces **arguments**), +* **tabulation** (which produces **data**), +* **narration** (which produces **documents**), + +that are joined by a fifth, which binds them together: + +* **organisation** (which produces **ontologies**). + +All in all we propose that these five aspects can be arranged in a tetrapodal structure + +<img alt="the tetrapod image for the five aspects of doing mathematics" src="tetrapod-arms.jpg"/> + +Feel free to include this image into your paper via the [tikz sources provided here](tetrapod-arms.tex) diff --git a/projects/tetrapod/index.md b/projects/tetrapod/index.md new file mode 100644 index 0000000..ead2340 --- /dev/null +++ b/projects/tetrapod/index.md @@ -0,0 +1,42 @@ +--- +layout: project + +title: Tetrapod +shorttitle: Tetrapod +teaser: All four dimensions of Mathematical Knowledge Processing + +active: true +start_date: '2011-12' +publink: auto + +people: + - mkohlhase + - dmueller + - frabe + +collaborators: + - Prof. William Farmer (McMaster University) + - Prof. Jacques Carette (McMaster University) + +logo: public/kwarc_logo.svg +funding: internal +--- + +The aim of the Tetrapod project is to produce tools for **trustworthy and efficient + modeling** of problems involving mathematics as well as tools for doing **mathematical + knowledge processing**. + +The main result of the project is the conception of a "doing math" involves four primary aspects + +* **computation** (which produces **information**), +* **reasoning** (which produces **arguments**), +* **tabulation** (which produces **data**), +* **narration** (which produces **documents**), + +that are joined by a fifth, which binds them together: + +* **organisation** (which produces **ontologies**). + +All in all we propose that these five aspects can be arranged in a tetrapodal structure + +<img src=" diff --git a/projects/tetrapod/tetrapod-arms.jpg b/projects/tetrapod/tetrapod-arms.jpg new file mode 100644 index 0000000000000000000000000000000000000000..245b7edf76fec69ab8c3cde3dfc3d7233a646256 GIT binary patch literal 8743 zcmex=<NpH&0WUXCHwH#V1_loX4+e(+kGK>(ot@(Yg8bb)eO$p3TmlRX3=B*H3=Fw> zB}GB*P6`o`Q3@b27*0$sE^rJ8@PY9$>2KE<7(t?!bwMPFm@6f<IGKTg;SU1?Lrro) zQ3(SBV+8{PgGPBt0f@bTfq_9JDI3h*0%8|ML`E?%FrEOh(;@6TAa)Xj{Q<--3JG#% zU|?clVBp|MM`9--v7z>YoU7zmRFavNTA>h}pH@<ySd^+z3<?QPXJ>_gqWrYXoK%o1 zC?-iUR1Z2;l3Gy$5_8Tks4U7%&nQvAaDkD5p&<hzE<Oi>!<bR*3_=WK0t6$(@)t2M zSbSw*V4i>wOPa~Ru)URmLE;udOl1KB1Ahwx!?yFurA1{BQ&>P0D+3n;KZ6K^B!e7- zGJ^(#E`t$+IfFHW1A{Ar7lS`T2ty=8978fg2171G5komc4MQVC8$&n41cs>$vl!+x zEMZv5u#RC9!*+%}3<nvGF`Q<&z;Kn}Hp2skrwp$dJ}`V^_|3@3$j->iD9k9yD9@<M zsLg1^Xu)X5=*sBB7{nOKn829Mn8#SkSi{)N*v&YJaTeo3#+8g48Fw-sWIV}uk?|(u zL&lekpBR5JF*ETni7?4BsWIs@Sui;=c{7DD#WJNc6*5&ZwJ`ND&0t!@w1#OL(?O=w zOjns6Fui8_%FMvb%`C>O$gIn3!R*ZJ&m6^^#$3c)$K1s{jd>CCI_6!>$C)oPKVW{t z{F8-^MVLi_MVG~z#e*f3C7Gp=rH-YCWfsc{mTfFYST3_XWck4IkCm5IhE<!@iq(@f zf;FABoVAU08tXFFt*l2`ud+U6{l><|CdQ`DX3plp7Ri>yR?XJKHkWNZ+X1$VY>(N# zva_>GvTL*3viq|qvX`*8vCm{*!@i&W68ls39~|5q@*GASZX8h@c^pj~(>PXf?Blq^ z@tor~rvRrarxm9^X9{N}XFul>&Rv}6IiGU=<`U#m=d$Gr;mYD_<eI^?j_WAb9j?#Z z+}ujsmfV5dncNNBGq^W!pWuGT{gX$CM~laqCx)k#r;lej&jFsBJfC@adDVCwc%yhr zc>8!)@*d{B$NPg%m`{(-lP`s@o^LkaHoi-I@Ax_SRrwwH<M^xir}1y*KhOV0fKxzC zz*!(spiW@6z)ped0$&A%1q}uL1#<;^1Xl^36nr7XE~F;pDwHDBBD7fOu+U>+W?^Mv zXW?YwX5l5mM}?n?u!*RPc#33+bc?JNIVbW#R7liBG)%NYbhhYT(FbD8VrpWZVmV^{ zVw=RSiTx6n6?YU*74H;ZCw@u%yM(lagG8!Cm&AIBs}jE?6(n6Hvn3}=ZkN0(#UiC8 z6)06MHBaiO)Ej9LX=~|Z=`QI_(zj%oWVB?0WU6Hr%bbz<Dk~@JE?XcwQ}(dz8#ysK z2e~Y{DRTSdUdjv0+sS9jPm$j*|4Knr!BHVcVTQsHg%64{iXMukiVGFbDgIVcR|-{X zQd+NcSD8!MLOD%&it-`l4=VC1zA7~;t5t5Pa;jRWW~feAJ+As)O<gTqtzB)q+6#3F zbx-vw_0{TkG<Y@aH3~HrX<X4{)3ngc)|{((L5oStR4YSkw$^!VCT%nAOzpYa7j;;5 zEOqj97U^8q<<WK2Ez@1C`%q6z&quFGZ@b<*eHHyE{fYX=_5T@|8sr!(F}Q6gWawqs zWVp-llaZEDve9g#E5^LWZpQV-JB&Y?Xq%*(%rm)RDs1X&+HQKt^skw@S&`W~vzO*7 z<_YF=%&%LBSOi$~Se&qAwREzqx7=g-)5^@M#A=h(duv_mZ0l9lFKpCpQf-#lJhoM` zO|)HT`@l}YF2Qbr-2;0?`$YRi_KzHt9a0>YIXrjNbj)&G<M__Wz^TY-tJ8O9E9YA0 z11`)i?k-&}=UjzcLtSUN-g8rOOLtrC_QBoMz1sbN2djs-$3&0op0b|Fo+~{+c$s_E zdL8lR@ecN$<^9M<%csa^moJmAm+xfXJASHud4Ajd8T>u{C;Q(GP!A{!*d53g7!Wu+ z@L7;yP)*SBVBz5S;8nrjLYzYSLvDv^gqDUL3gZup30oQVJ=`UHQuu=i{fOF#(~(k< znUOo9*rURtmPLJyc8#7I{WQijrY+`Lta@xk?8!K(xSY7X@%-_L@tYG^6T%Z#CHzVB zPh6DvHOVt+PSS^D=j7?huTvaSrlh<~wN0Ir`aI1xZBp8cblddF=`S<vGp1#{$#l+~ zmH9EtBWr%v_iX>{<=Ovp!gJQ=a^xoD?#vU)%g#HJFPC4Df3ZNjpsnCRp;h73!Vg8> zMazmAi(`v-l!%lRl$<HmC~Yl$SY}r?yX;4KSo!7(!HT?!GnHDEot4k4+^UvVvs5Qn zAF5HTX{>oz>sY(6j<GJO?ohpQeM|k*2KR;)ja-e{jc1z-nkF@UX%27R)gs%{(DJy| zy>)dPUt3Yz^>*v_`5i1BnH}dkjXP&{{_9HVI@N8^J+1psPjb(xUc=rQz5n~t`p)&6 z_0OBYHX(1qwTbo<S4<L|R5j`GWZ%i#rYKD5n(}38{M3`vOs37B&NaPs`hyuhGj_~W znK@zRpII5RuFiIvy?&0&oX$Dl=cdfPG|yq)y7{v6yXXH}kh$Q-LidH+7O5?owwP^k z+2UtQ!j>FgYO!?XGO1<V%l<CUTmE20(264~%~!5mC9|r3HPh<S)i2k?thun(W$li2 zy6YCM7hB)Gfnh`GhF2RCHeTE0z3I?qi_Pn{sBW3FRd{RHHpXq0+dgd1*#2Ng<c^Cw zy>=ejWxZ?bZoS>h_bBd}y;pQ^|30pLE&KlOuiF3hK*51G2h$HeJ`{iG_Th-bSB?Z8 zId|0i=!s))#||HNJih;g?TI}ntxoPdWpQfzX|vPY&X}Irde-#p)^ld(ww*UWzvF`C zg<ThIF7CTzf9c?5m&?blcwRYu)$i)XYoXU}T#vc_;6}=g7dLZme!Nw7>-X)3JFIuQ z?h4$Uc2DNsqWhZn*FP|Ou=k<M!!wV9AKiYO{P^{g;wOKewmjo~Hto6m^OY}*UhH}4 z_VU83=vPl)7rg%crtPiZ+d1zv-femB@czt)h!0Oc7JdBxspqrg=jC5az8v}*@b%ue z+;6|Xcm0t3vErx2&*Q(se?9+Q{)hd~jK7+Hcm4DJcjtfZ|NsAQGdMFaGl2kzWM*b& zW?^Fi0S-1cRyIx!E-p?EPEIZ!ejYAvK5kA<UO`?yegOeN0WKaPVIcuwegOf2{|6Yj zIT%VAmN7C4GW<WnAjQDQz|070g@W1_V9d(K&cVX@{|JMD00Scn6C(=~6B8pd3o`=) z12ZEN3o9Et1BalHu!tz9qL`AhxQd~wW%*`f$DseW7&t%%*)#lFeq5&TxJ=<0?N#qq zB$uoVZFwdsXDD=7_{64;8&A(pUehIfdBfR4yJ+P;!?0ipg%iay`jUTd$j!1o8#?vZ zzwL%Bx2pMtPrlgKFK|dlJ7e`HCacWnDcglr<|(<XTP<U%GoP~{r{Ov4lh6`(?Wkv! zJL-J4f8t!yn7uA@tLqxyPGy@@hQB2F*J>W)%D8sU*rihKi;eT7F82Qn8?{>%1Lam- zTP#|sn|fVrUi7L<Nz)DW3k^Lsin-Sv^Apx?l-hSITJ><&k-#XostY$ey(La{d|2MU zeb=I_U8{?-_g)RnFJ70YdcNPWP^szcq*qI?&y($tIxc0&tmCX5cSPIzd;ZJN;D3RE zdV4@Y011fWMr;2wT)t}`aOLY3NxsUdk1uHdJAA^#n{mJPGY1={-?3VncjhiSJ<aTg zwsrNLr|+Kio;j-X%lT5}wBzfKX76gc!FQ^_f8kCYtxH!tRBK)xwOn{^qw?yGwKG+| zZGL9`)c#bYs;81kkI;fmyww-yyG5kEHTRqKdxh))*=EPW;8~ulcqA@Ga^+UYRTy)t ze&y>sW;l)SO`rPO_Y;m;%6v_(T#)_#IKTg)<Lfs1uot~qu_5uqROe#Brll-XtXwzr zd^`Cqbm5%uF1u&H*1j70@u|DQorh-Hw=c$8eR<mQ<!slzqzK))Yi`VBb5vKE@|w+A zeqG=(#l4Lp1`LW^3X+e^c%|;W>b$vk)~xm5Q~?Q+Gne&mUu@i>y+u!~qW#>Pm*;C0 zRU6i`n!2xZXiamg@7;9s^KmJwW0J>Gomc<f+7n)Mu<6wu;pjh)lS<-de%rTx^VXRf zm)Gj-jq{M7ZsmPa&42CsV)nPne{<d(tJo^I@^iC7bKL$Ze_u{LySOvukG}YVQ!UF{ z!xcY9a?E&{GR1$hfwEiuQBR#nJ%f8<f=`lG-@3MY`*%6@sR`Q`->-_7TxEJC??1!2 z>~@a6sgo}DHdop*_4L-9E;LeRWWV>HAzE6?Tl|a5+f|QlrfJW)=z6MP&8*c5OJ_g- zxF+jaUrg{1+cWizZtIfw#2q)S)_-|6B>tAZ>W;^K7Em-Z?ADEF+0AONb=jRmQ#Z_v z7rJ=q6W`lK%e#uFHmN+7j8y&i?eH8!l`zS(8nc!;@}4bTx5G>{v@!W&#_A{D^A!po zb(L;yz7;K9+@z7LvU9oH))dcz#hvT4C-3@UYVXm}nedz;bN}y?`T2k9`TsMx@>^?r z_bYa<{`jkB?WBMAW?8RXIxV(mHS>uYBP;V0Dk}|>#Jo>6I<4HxlPLP?<LYD21h4*` zILqhK^o`%xTq{H6qoZ%QwN5;-QS+9UrhEGFep?kW=av(B1`m#vB)UsSc)Cpcv^Xm7 z7g7YD+PwBS@6S83vQ2E)u50f2c6`gGB?VkE23cY=H|5NGCaWaTP$<un&fKoD$j$m_ z*Yl;#p;<EKepjQfKT??XQd0IvPv5VS%`5pc^A*>48hdo!aIOr=E$Y#ch}!#y?a1Gv z*T*fGeg8Au^RBLc{G<MtM&+ehQQe$Ze<$Z;SB3og`7_R8w@kni|F%b7GB++Z8o3l~ zi%eY+l#;aiL_$M`Cx@Z(tRv-S`;ulA$%QV@_grkGVYW?Tv$Y;$p`515(cUmKLFqt6 zM^PdELk!8hZL<~D&v>-@R%rc{g10rWY;EkjcG|OGt)&mELNBVNPFhkMa`LQ}rD2=k z#tW10^$9<o=9A{vt-FEGVV_4pmuY!_>aIsug*9F*x_<M<pP&C3?tD(!di?9Oz_>?} zhZ4^uv1qyPzb2}EOYsNq>PN?xtM2q#bN5%=YoofI%WmHY`Lm&jU+|0J`bT0%mowS= zsP<ga41DZ3G48(H+YjY+cc)K}D-Ow<zcJSMYTD7)^`>`1Lqm4D*-Lf#aC<y%7Tdll zoVB&)ll;MZ{w>!Qhvfb{?&2Ei^67%HRg{+9g00t%M9o@w>t6Wn2kYi}`tvO6Y06#D zbg@s-&b|NY$>Q2g$vwW6S675jUHfeHsejqc$v58ytbU*1qS7HGofvGfLFtsOYq!)B zmLDrsT!mFS<JL)E?R&HTQ&-oDo&P4>y0$HBTa|nE4Hv#EM;32N`SJME*Ql$a_uu9u zi5_H5Gn9J9<mke%anrG~1y09VWj8<rm*mnRI^fl+wbpI@g6mIg;^}i<A{O)dO<#0c z^ex#}9j((<C5~F(Q0w3+p1j+MVe>zUIlDfdpIK_Pzdk(UMy%4)y9Up;&Ab!ypmOQF zGsoAio;7K)*;AhE6J?j~9ra$$DJzj^w8?#GRQS#{??k3vyXC$n>Ghu3Om{7=JvjOL zU|~~gNVa`K_^zXAho|%2WJx^DI+?4dNb$5lsuJ&f*_KZtQ?lpAPhVTFw7uaZbNQNY zOb1SDfA-?MQnZaXc8y@L?=qGsjx|4pFRn9*bXGoZ$aa!7`_A`0?-V7^Xs_(aUuWYi zd0^AJ1+udat`I%&ZWE`_=T`?cH+gK*Q|s8unlpK6_N9$46b%?9t{hB`Vw%X*f3?bB z<LUCgJ6HJ*?^=5^d@93opZT_{_Mcl5o6mM_=^L32=dP;}OIFXQ=K8+X>yk}lziLOI zV2kv=^`Gr;TkT3a@QeFQy6Qj6DUYskT5US%QpB=2?%s={<5Dik9&N4}UO!$cBv&T8 z6$Y%4>iou|ZFzk2twlEi{X0AbRIK*h;#hukN>#U*>8c8$X@*{Eo<e)2+?4O$tbZ6P zDw+c+{EdD0PJhebrY62HbK`HDHy@Acs>FNCUkPSB8qaj2!#(FcClAlT#*0Tnf?4m? z@np|E&9?bk#kv(o9lMh*+W(n#?8ssHb35n0PUcRuSd(1ma=7Z&qq!%ae6PDcbKTF^ z#moBUq?}xK(^^d_MWHWQ%|6Wh+{W+?KH5x<ouV7(g-xm3I^m(=zuJrUG@h$zz1#Y0 z%bn7&$yE_A$`x$0jyLK}S3dW~IfOI8I?6vgapI$#X_jlXOb^WX;!@D@?p}uJ^<Sk2 ztxhgGwchC5a`QgTYNqm&vSq407keipR8DXaoNf9@Wa`(gd?K6zb8kJfJzBm0@dAry znOBx&&(DtKo%1F)Szg}Gx$E+*H%$8y=W;ak-nbO?to3Zw-sBA@Ox#Uv=gE2XzT1;o zJG<?x{lblZyQDHEt=L>uZggl_#5D)0ub)_MxH$E8lo_lw2t9QqQE=6YuIuXcaV_&d zeYF)~XIjB>{9l++!qwR~Mcmd*ieO2WnXu6K%a3)gjz>8ro>-x_;$mN1=_#w_ubCa6 z+~j>8D68wT=jz8L788qPvn{WwukDz4rrgef@0rM(B-3V<CO&}~i<N&{%9*XZdU<`A zl=rHrmEWYAm8V;|npC*$Xx7{D(Ld^^uTqan`1UK`7qzSn<vwvFOg~*qJG8diX|mQ) zqZQJ#nfXur_|L#5mK-j%XVUW6V1`LjW{oGlSN)T}adyrkmLiWS5BjWS?yF?4|1mGv zb<U$LH`nP}KfClq^y6FYCBNp`*97-25wwx(t*)8zZGF0urS-QE*S|&4eU?wQ$*x?r ztgS1@qs+h0?eIiB<0TF1Ve8jE5%w?_?09!-jgw(a$BMrEx|av5%0IF1(6u$YeV=dD zaiyT_-@NUWf$rTmeCKBR|2uhg^6K-Srs!~9IvVk%NR;8#Nv$H*rSZM%FP47nO#QO! z-FLPNx0}`bH!nUn(d*W%RgY~n`3@?a{F$+NqOxIYh0J5Y0F9H(p-Nh|Yr2;Hnf%H+ zIyT?eKKLCMr*zl@Q;XN{KDIftv`Jo!lI%4;|H>qN&9Slqneau1r=FS0s4Cn|&2dY) zk>)%hb7qCvdfj80fz$8Cd30Jls5Pk;>V9O#vPt}`(4wTdva)Yn^Bdwq!lr)x{x8Br zMEl~U`0U)(L1y7s@0{PDYolqHt@TDyWa4tqh|OHzSR<{p)~D@!@o4KjEmybV6~<bz z?v4|#=AJn(di=6ttCA>dnp0Mp+%e<lULJ*yyPVw~^R}4WkNOspRDEyVo2x~iCc9rt z_noO)W}NH2$<D>+(4lSXrp))Zov#)0Gx(8<d^)4(y!2J`&b@cry07nD*w#1UDqm+_ zPH_nLoVdw`Jv-j)lJvfLRlk#tEbA>*n7^PtUh3t>{+rd7wexsgm1B-fTmP!x<<=eF z1&wolr(b^}v@uih*U8=wTl($xF*ZI~<hH(Nb=AY4i&l%@f6^DWp)bWZJaVpC?4t!| zv%b0Sn&w-X%c}nJ`Sw#9$FtlgA3Wf`JT2h1eyYFfkG&JECwP3Bx7jMEgX^V{nR~<A z>}R)}%P*gg&xx3FaorN(FZ{0`$C?@b)=$^pd~n5*>=|=bUwl@+&dT?dde)b-=6XM7 z=!H+<dK|rF;>E=!i=ynN#jyR{`{`7gkH90-_$Sx-wtT8TX0Cnzg4F9(|K=$jKC!9l zZhyAD*zV6~6ry~3^A$2>A8aj|z`Lm<+4#zis|WWw^CXzmP3*|4o_b`f=WF9-CmPmG zR!*tlyS6WPiFvKf*KbEVeWhMG+B^K)XL>nVe$%(2-!@WRZaX`@?n-kTU9k<xj!BP7 z+z}YLGx^qRWsQ$lqJN8Dbo$A|ou+f+q4Fv5B?)U<J}~dz8}rRF;uh=rCvB^(7q6PW z!my@Uq9RXXrq7x4VmU2Km(;49PPn1saHH{)M8=0xX&N5iHIiim@+y@!xvrQ$$v0rv zBD<&SuFlrFEoXXgCHL3BRm<jS9uKh&w^+mTy)4POGVZHuDA&;mmlwnwap(N0a+Q0P z^1G<Fk(<_Td>kV+VSlL9s?0}oN}abBcO5uio~B|x^?gWaz?w*2E7mhEC2Rao^tEk1 zT+F-JJ9O5K*Ke#Wr`#;itPb~`W!i9MJ$IbjiInO4&KXNgViMea<eXCl=X>AvzHfV~ z%U|#MJGI+oy41E~E-wztOm;QC_%U^srYNV#F-D0c%vbvb<Bl6fJ&C`s8+LW#x>d_A z`>1R@K3`^H*N;i3McyXgT3gg}u-HreTj-mQJJ)A@3tOe7^jUuUi}TA)|8Y{|EnoYu zG(@J>(Bbzx^?gCX+cMPogqLdmb3SA#==9L^NQiLMGya49)iOt_EHBJZeRF2M(6Upn zb93x2URv63y|0kRTg-5>&(o5l?~;BsJQx4ZF!=_9piIBOog1tFHCIKQ%3ht7|A9Ml zqSnR_k0!SL+4a)?#ltC^4s&!(y67c1H}FlS=!x?Y6Zg(iTwGfz?ow<1G;G^-^NM*6 zk>W+FC+8eYo8G`EuX$Of#GxzM<(O^Go9c~g-O6UG3JP+4Da)MoCHf+pe4)^0?JGB< zlTt-LYN|vn^PV8b-Ddf<AbZtQ!Ofz<XP!4rJo0SCts8meWoA}drD1Bnlpbw4a&+y# zYg4~|yc=u(CO+}gqZPMbnV+h@_fszCWBJze#q;l<jCmUOTKBk2;W@28le2AB&FdC? zEgo>><M}Of8{Vi?xw(|KO3$0G!2aWnvxstNxNTQp@5Wx+nEm%>2Y%|Rp1W~H*)s0d zt1&@ua_VXmjUIV5#%maON|cp8%2>jxe)^k2isi;bZYI9LQw|qxT_<<_%;n^g*Q>T| zOLgB+Z1tz{C!ev*#g)s$o|awBZ#b;9aEd0M$E@QM*L|qIXmjsKcFd}4TZJ0zkKgxl zlxbvVIU#X!;$b1@=sEWnNieo}C<$MF_MaimNb;=Y+W5;(LA=(6r>=fVlr=1=-fEh{ zkPxVwZxFv><B!zV*>Qg=)nxLQOuVsDSEgV|L^e<TcJ7PMF4p&)`@BJTk=^Xmo$d!? zJD+g6ia9RXq+INMY|);rhu0R_o-{uB#)B~>Y~!gl2_el%rc0Epv{rw7f5}wOIJ+%8 z>t^zzU41_;Yu}v`BfyvZ#Cd{ia;#>6e`WT9)$`7a?^Nbpwd%^pXIC2^RGiy-%&{X$ zFturmkm_ld>4{2(Cn}9N)f_#QyiX+UeP$T9uKLd2dwakw;WIV0I<J2D+;cl|UG0Pc zPg_pGk!dkmR~lMX1YdK;^SG?j-^4sqA|;XOYX8j^hU?$1D$8f@J8i6^WVlAJ;AN$6 zc8b!PIVl`33zIE2#eEXv^n4cP-gjbcXxHZx6T&B77o9un==|eGvvk%;FS~f|dsVIO zWSK=3s?LfInmjx+p14gj+^f!g#Wk7Z+QhxL=3bt3r|`s_&0>qr6-Lj|)@=TqS;X~I zw9Ihtdii~t#~x0p%L&`N&!>9w?ogSzzZWg~_w)1ZB|oM0!ya4vFTVNdQDo{|+f;#1 zb0S=K&yCt1!Zz`f-_>rP)+uEc{FM{@bB_I9vzTLH`P#+h7yntd=KZ<0+UERfE1Na_ zdal#b{eJJ+vNk!2>yPWQFQ>Bad^bH(^IUoLt%mrFAV-z*^raoXtCnpt)eX_gNSWsG zLAlRhzFuUi?3v`iwLuc+3cdcFn0wFN@?G4kr=g*7RX?D8@QG$Wwu(MEF|ACX{{DeC zH!eGbAD^Q5`#^c?GN~;cLP9#F8hiGpX3V-|`u5$uq^%P6!M`##{b%TTQ~!0kSZ~~F zuElyP73LfNsb*d<WVK<)cqWx{wfD_b{lk|Ot#`>jDU{CU58jm_%_X<=R8jw<$hq@R z)|TqIh&z~k=sR=ukV^UfKdwL7nCCHWeHGOCM#*^7zpZhW2jeHKnjNdX-Sm8vp|<M% zM+M63_TMzo68GvgmYMcxeflw%gpQ-ZC$j!bR+#2~eR<P=hP=O_mrHK1wDJ~fo)~gu z?WV<jF;zYl=hlC4zb-Rj&y>*jH6G{7kAJQS*!!mEyM>(JSFN?pnd$K__i?6AV_W|= zz5O!Zs?GOb{MPn#OUW?!d+NH0-A^}$+V%d7zisZVxVAHB|K)G0Gm~d9=a+RSsU1A? zM9qD=ilah<v`~vvj^oCq+BQnZSRyjM+17T7ay>0R@!i@R8oYfLkEi~*9{0dnYeh)3 zH2d*St1futY;@kehUWp#+w57Fwxngx>UZ1w)?KOm&3E<x4B4mt*v1;O9ZgQ2m8|;D z%<9yK@NlP{g701(FzAzDStWi#rseCgw#CWJD$e02G`kK9-iz6qbg5`%NnlFamaC!R z{-1vuyn1soQ6zTWlk}D*ChPlmJFdn(%1_tYYBN#rG~=$XwPCNWRMxH7S>ky7ROXXw zn_Oo2PCJoaEq+;(<*7^cq4>zizq3|++!}Z`#MQ6<Pi}VH(ywyUw;i;axOTdji*(yM zo5@9PQFBaB3NYoQ8RRJ}J|@-uCpR;E*PfNHrA*i9t@2HsnO5t1{8nV|nH@9cG0I#h zv?*NT&Xn8JvDi6&?<3{#vx_F1?cLaC{zKtJn&rNCcW%IjgFxd#H4iTDd}ci9Lg>A> zbt{Zxs%wtlW$2vn(4crH3j^Pqmcm$fxdoFhsIC4owXcw6S(y69fYyw;lG$J8Pr18% zhO2azPRTlJyI=csk4C&dtEznEcac-bu1%HEy6Y-ui%fhoS9Ohe2UF^gbD2_szdpvF z-1p*!36q({th!|<ZtQjaGdcRt)<&PA6y-(J<timLWyCBmDc>|%)v=&&-*P_p*(pob z=0CY_$L8$sKW*98wS6^@C67J5Q9pC*<*aV4YpQ3@rfl+Znaa9!9rIC5w`0stY*aHt zat)QXoqrNulGznGV{hG&%RjFj?46P_@p+i<^66o}X5ISD?WjI$$<{visS{Zia`##4 zCN<96d45uR_KLoZo1`Azd$z%9&hgXieCG_`+!i~uYW32fTTdl!DhA6ciiMvF^*ADW z_}<5Ph8*F?CVbnvNVr)}E&Qo^iM05fsO-0*-?tXNdNcoXyN==VrZkJ}U{_{o+w(ay zCM8Z{-oN?6B{jFCZN{@!_%GTOoDrJ0*1aRQD(#3&&9Zr>lOG?Obu*`}e538fkhL!E zdsM%1{%5$ls$Y6y)KyoPT^}K1m&av_)PKy={<He$^^ddGKbar@)xPjU`{#Z9n{R*I z`*-iW`RU)k{;c>}pLh2^L(R0O!714?&N&y|k9`ifHH{^j<62X0>784fR93wI#?Td! cCMbT*B~z;FX_i28mHK3fCtJa`*#Ex?0C_}H#sB~S literal 0 HcmV?d00001 diff --git a/projects/tetrapod/tetrapod-arms.tex b/projects/tetrapod/tetrapod-arms.tex new file mode 100644 index 0000000..4ed9a46 --- /dev/null +++ b/projects/tetrapod/tetrapod-arms.tex @@ -0,0 +1,25 @@ +\documentclass{standalone} +\usepackage{tikzinput} +\begin{document} +\providecommand\myscale{4.5} +\begin{tikzpicture}[scale=\myscale] + \node (center) at (0,.15) {Organization}; + \node (left) at (.2,-.3) {Computation}; + \node (right) at (.4,0) {Inference}; + \node (back) at (-.5,0) {Narration}; + \node (up) at (0,.5) {Tabulation}; + + \draw[very thick] (center) -- (left); + \draw[very thick] (center) -- (right); + \draw[very thick] (center) -- (back); + \draw[very thick] (center) -- (up); + \draw[dotted] (left) -- (right) -- (back) -- (left); + \draw[dotted] (up) -- (left); + \draw[dotted] (up) -- (right); + \draw[dotted] (up) -- (back); +\end{tikzpicture} +\end{document} +%%% Local Variables: +%%% mode: latex +%%% TeX-master: t +%%% End: -- GitLab