Mathematics prototyping system