diff --git a/experimental/tetrapodal-applications/applications.txt b/experimental/tetrapodal-applications/applications.txt new file mode 100644 index 0000000000000000000000000000000000000000..0cd293176231070f04e22bf9c6120a357a310002 --- /dev/null +++ b/experimental/tetrapodal-applications/applications.txt @@ -0,0 +1,35 @@ +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.