mathy topic
List
mathy repositories
mathy
129
Stars
158
Forks
Watchers
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning
Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning