If you know an area that might fit well into Son of BirdBrain's
repertoire,
- Send a list of first-order clauses or formulas.
- For each clause or formula, say whether it should be a hypothesis only,
a conclusion only, or both (most should be both).
- Give a short tag (comment or ID) for each clause or formula.
- If you have any special Otter options that work well for the area,
send those as well.
- Send a short abstract for the area.
It's quite all right if new areas overlap with Son of BirdBrain's
current areas. The more, the better.
These activities are projects of the
Mathematics and Computer Science Division
of
Argonne National Laboratory.