From b90fe391ecd2b098a48292da53087408e84c5b55 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Mon, 29 Jun 2020 09:14:57 +0200
Subject: [PATCH] write down applications
---
.../tetrapodal-applications/applications.txt | 35 +++++++++++++++++++
1 file changed, 35 insertions(+)
create mode 100644 experimental/tetrapodal-applications/applications.txt
diff --git a/experimental/tetrapodal-applications/applications.txt b/experimental/tetrapodal-applications/applications.txt
new file mode 100644
index 0000000..0cd2931
--- /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.
--
GitLab