[FRIAM] TheoremDep

[Barry MacKichan]

It sounds like somebody back then found a pretty sweet gig.

--Barry 

> On Mar 29, 2019, at 6:01 PM, Steven A Smith <sasmyth at swcp.com> wrote:
> 
> One interesting
> point was the clay-tablet records from Mesopotamia where algebraic
> solutions of (all?) quadratics and many cubics were enumerated, but
> redundantly across different contexts, expressed as "story problems".