Jonathan Borwein
LaTeX complexity e-learning formal logic formal mathematics interactive algebra knowledge management knowledge representation mathematical encoding mathematical knowledge management mathematical knowledge representation mathematical libraries mathematical retrieval mathematics semantics