<div>I don't know about an engine for searching for maths theorems. Google has a code specific search:</div>
<div> </div>
<div><a href="http://www.google.com/codesearch">http://www.google.com/codesearch</a></div>
<div> </div>
<div>Emlyn<br><br> </div>
<div><span class="gmail_quote">On 15/11/06, <b class="gmail_sendername">Anders Sandberg</b> <<a href="mailto:asa@nada.kth.se">asa@nada.kth.se</a>> wrote:</span>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid"><br>Perhaps a bit too math-nerdy, but does anybody know this minimal surface?<br><a href="http://www.flickr.com/photos/87547772@N00/296867895/">
http://www.flickr.com/photos/87547772@N00/296867895/</a><br>I came up with it recently and it is so simple that it ought to be in the<br>literature but I have not seen anything close. All minimal surface sites I<br>have seen have lists of interesting surfaces, but no real attempt to list
<br>them all (sure, they are uncountably many).<br><br>Overall, I wonder how to best search for theorems and mathematical<br>concepts you know ought to exist but you lack the name of, or even the<br>related terminology. We are getting search engines that can search image
<br>databases using drawn pictures (<a href="http://shape.cs.princeton.edu/search.html">http://shape.cs.princeton.edu/search.html</a>)<br>or examples in photos (<a href="http://www.like.com/">http://www.like.com/</a>). It ought to be possible to
<br>create a math search engine (a truth mine) allowing you to look for<br>theorems based on structure or the use of special functions.<br><br>--<br>Anders Sandberg,<br>Oxford Uehiro Centre for Practical Ethics<br>Philosophy Faculty of Oxford University
<br><br><br>_______________________________________________<br>extropy-chat mailing list<br><a href="mailto:extropy-chat@lists.extropy.org">extropy-chat@lists.extropy.org</a><br><a href="http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat">
http://lists.extropy.org/mailman/listinfo.cgi/extropy-chat</a><br></blockquote></div><br>