2 ms·

tho tbh i'd love to see an NLP project for turning high school geometry problems into grobner basis problems, and solving them there.