a mathematician's spellbook: language-agnostic math library specification with implementations in various languages
