MartinFelis/symbolicmath archive