write down applications

experimental/tetrapodal-applications/applications.txt

+01. Find theorems with non-elementary proofs.
+
+02. Find algorithms that solve NP-complete graph problems.
+
+03. Find integer sequences whose generating function is a rational
+    polynomial in sin(x) that has a Maple implementation not affected by
+    the bug in module x.
+
+04. CAS implementation of Groebner bases that conform to a
+    definition in AFP.
+
+05. Find all group representations that are good for X (say a
+    software engineer working on something and doesn't know group
+    theory), maybe ``computing with in/finite groups''.
+
+06. Math software systems that implement algorithms from MSC48CXX (or
+    that compute a particular thing).
+
+07. All areas of math that {Nicolas G.\ de Bruijn} has worked in and
+    his main contributions.
+
+08. All the researchers that have worked on problem X (where X does not
+    have a good name, maybe connected to ``Go'').
+
+09. Areas of mathematics that immediate descendants of X worked on.
+
+10. All graphs whose order is larger than the publication record of
+    its ``inventor'' (name patron).
+
+11. Integer sequences that grow sub-exponentially.
+
+12. Published integer sequences not listed in the OEIS.
+
+13. Find all polynomials whose list of coefficients occurs as a
+    subsequence of a specific OEIS sequence.