SAT@home

   <project>
       <name>SAT@home</name>
       <url>http://sat.isa.ru/pdsat/</url>
       <general_area>Mathematics, computing, and games</general_area>
       <specific_area>Computer Science</specific_area>
       <description><![CDATA[Solve hard and practically important problems (discrete functions inversion problems, discrete optimization, bioinformatics, etc.) that can be effectively reduced to Boolean satisfiability problem.]]></description>
       <home>Institute for System Dynamics and Control Theory and Institute for Information Transmission Problems, Russian Academy of Science</home>
   <platforms>
       <name>i686-pc-linux-gnu</name>
       <name>windows_intelx86</name>
       <name>windows_x86_64</name>
       <name>x86_64-pc-linux-gnu</name>
   </platforms>
     <image>https://boinc.berkeley.edu/images/sat_logo.png</image>
     <summary>Study computational complexity</summary>
   </project>
   <project>
       <name>NumberFields@home</name>
       <url>http://numberfields.asu.edu/NumberFields/</url>
       <general_area>Mathematics, computing, and games</general_area>
       <specific_area>Mathematics</specific_area>
       <description><![CDATA[NumberFields@home searches for fields with special properties. The primary application of this research is in the realm of algebraic number theory. Number theorists can mine the data for interesting patterns to help them formulate conjectures about number fields. Ultimately, this research will lead to a deeper understanding of the profound properties of numbers, the basic building blocks of all mathematics.]]></description>
       <home>Arizona State University, school of Mathematics</home>
   <platforms>
       <name>i686-pc-linux-gnu</name>
       <name>windows_intelx86</name>
       <name>windows_x86_64</name>
       <name>x86_64-apple-darwin</name>
       <name>x86_64-pc-linux-gnu</name>
   </platforms>
     <image>https://boinc.berkeley.edu/images/nf_banner_10.jpg</image>
     <summary>Do research in algebraic number theory</summary>
   </project>