recent work in math knowledge rep 2021Q3

 

2021-Q3 survey of recent work in math knowledge rep

Background definitions and motives

Some surveys 

Some proceedings

Some libraries and datasets

Some nascent languages

Some online tools

Popular posts from this blog

Streaming analytics in Scala using ZIO and Apache DataSketches (part 1)

Explainable models : Asset Allocation example (part 01)

Composed stochastic proof : joint distribution monad as dependent type (part 3 of 4)