<?xml version="1.0" encoding="UTF-8"?>
 <rdf:RDF xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:cc="http://web.resource.org/cc/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:admin="http://webns.net/mvcb/">
  <channel rdf:about="http://pinboard.in">
    <title>Pinboard (salustri)</title>
    <link>https://pinboard.in/u:salustri/public/</link>
    <description>recent bookmarks from salustri</description>
    <items>
      <rdf:Seq>	<rdf:li rdf:resource="http://www.mathjax.org/"/>
	<rdf:li rdf:resource="http://coq.inria.fr/"/>
	<rdf:li rdf:resource="http://arxiv.org/abs/0704.0646"/>
	<rdf:li rdf:resource="http://www.topix.com/forum/city/new-lenox-il/TNISVHK37R981F0HG#c1"/>
	<rdf:li rdf:resource="http://fora.tv/2011/07/25/Why_Cities_Grow_Corporations_Die_and_Life_Gets_Faster#fullprogram"/>
	<rdf:li rdf:resource="http://freemat.sourceforge.net/"/>
	<rdf:li rdf:resource="http://www.thereasoner.org/"/>
      </rdf:Seq>
    </items>
  </channel><item rdf:about="http://www.mathjax.org/">
    <title>http://www.mathjax.org/</title>
    <dc:date>2012-06-20T23:48:22+00:00</dc:date>
    <link>http://www.mathjax.org/</link>
    <dc:creator>salustri</dc:creator><dc:subject>FOSS javascript mathematics web software render</dc:subject>
<dc:identifier>https://pinboard.in/u:salustri/b:d98eeda7b1e5/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:FOSS"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:javascript"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:web"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:render"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://coq.inria.fr/">
    <title>Welcome ! | The Coq Proof Assistant</title>
    <dc:date>2012-04-23T23:18:25+00:00</dc:date>
    <link>http://coq.inria.fr/</link>
    <dc:creator>salustri</dc:creator><description><![CDATA[Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Typical applications include the formalization of programming languages semantics (e.g. the CompCert compiler certification project or Java Card EAL7 certification in industrial context), the formalization of mathematics (e.g. the full formalization of the 4 color theorem or constructive mathematics at Nijmegen) and teaching.]]></description>
<dc:subject>logic coq proof programming mathematics software FOSS</dc:subject>
<dc:identifier>https://pinboard.in/u:salustri/b:15876a7d9f63/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:coq"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:proof"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:programming"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:FOSS"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://arxiv.org/abs/0704.0646">
    <title>[0704.0646] The Mathematical Universe</title>
    <dc:date>2012-02-23T15:32:08+00:00</dc:date>
    <link>http://arxiv.org/abs/0704.0646</link>
    <dc:creator>salustri</dc:creator><description><![CDATA[M. Tegmark. 2007.]]></description>
<dc:subject>science mathematics universe cosmology 2do</dc:subject>
<dc:identifier>https://pinboard.in/u:salustri/b:373cd8261b4f/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:science"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:universe"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:cosmology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:2do"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.topix.com/forum/city/new-lenox-il/TNISVHK37R981F0HG#c1">
    <title>New Math - Topix</title>
    <dc:date>2012-02-06T16:35:34+00:00</dc:date>
    <link>http://www.topix.com/forum/city/new-lenox-il/TNISVHK37R981F0HG#c1</link>
    <dc:creator>salustri</dc:creator><dc:subject>humour education mathematics USA</dc:subject>
<dc:identifier>https://pinboard.in/u:salustri/b:378d104b7e6d/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:humour"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:education"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:USA"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://fora.tv/2011/07/25/Why_Cities_Grow_Corporations_Die_and_Life_Gets_Faster#fullprogram">
    <title>FORA.tv - Why Cities Grow, Corporations Die, and Life Gets Faster</title>
    <dc:date>2012-01-30T00:55:18+00:00</dc:date>
    <link>http://fora.tv/2011/07/25/Why_Cities_Grow_Corporations_Die_and_Life_Gets_Faster#fullprogram</link>
    <dc:creator>salustri</dc:creator><dc:subject>science mathematics modelling growth decline death life video *</dc:subject>
<dc:identifier>https://pinboard.in/u:salustri/b:234ae860b7a5/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:science"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:modelling"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:growth"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:decline"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:death"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:life"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:video"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:*"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://freemat.sourceforge.net/">
    <title>FreeMat</title>
    <dc:date>2012-01-10T03:03:55+00:00</dc:date>
    <link>http://freemat.sourceforge.net/</link>
    <dc:creator>salustri</dc:creator><description><![CDATA[Free alternative to matlab.]]></description>
<dc:subject>mathematics software FOSS data processing science computation matlab statistics engineering 2do</dc:subject>
<dc:identifier>https://pinboard.in/u:salustri/b:5ece8fff3877/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:software"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:FOSS"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:data"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:processing"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:science"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:computation"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:matlab"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:statistics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:engineering"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:2do"/>
</rdf:Bag></taxo:topics>
</item>
<item rdf:about="http://www.thereasoner.org/">
    <title>The Reasoner</title>
    <dc:date>2011-08-27T15:18:16+00:00</dc:date>
    <link>http://www.thereasoner.org/</link>
    <dc:creator>salustri</dc:creator><description><![CDATA[The Reasoner is a monthly digest highlighting exciting new research on reasoning, inference and method broadly construed. It is interdisciplinary, covering research in, e.g., philosophy, logic, AI, statistics, cognitive science, law, psychology, mathematics and the sciences.]]></description>
<dc:subject>rationalism critical thinking Reasoner reasoning philosophy logic cognitive science psychology mathematics research reference publication</dc:subject>
<dc:identifier>https://pinboard.in/u:salustri/b:580d1c6a0708/</dc:identifier>
<taxo:topics><rdf:Bag>	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:rationalism"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:critical"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:thinking"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:Reasoner"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:reasoning"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:philosophy"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:logic"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:cognitive"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:science"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:psychology"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:mathematics"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:research"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:reference"/>
	<rdf:li rdf:resource="https://pinboard.in/u:salustri/t:publication"/>
</rdf:Bag></taxo:topics>
</item>
</rdf:RDF>