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

Overview of AxLam model : Nouns, Types, Morphisms

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

AxioMagic under Spark on cloud (AWS, Azure, ...)