Step-by-step algorithms using SymPy

[Paul Royik]

I'm developing a step-by-step math solver for students, like Symbolab or MathWay.

I use SymPy.

And I need a person to help me write algorithms for certain problems: limits, equation solving, integration, series etc.

I wonder whether here are people that could be hired for this job.

This is a remote job, it could be full-time or part-time.

[S.Y. Lee]

Hello, I am verified sympy contributor and currently working as a math engine developer for Mathpresso, inc.
I have 2 years of experience of working with computer algebra systems and educational technology  .
I'm interested developing the knowledge and tricks of using computer algebraic tools like
polynomial factorization, Groebner basis, term rewriting, and mechanical geometric theorem proving
to understand and synthesize the steps that are practiced by students and teachers.

If you can give a talk, please let me know.

[Paul Royik]

Hello, I'm interesting in integration, limit, series algorithms.

[S.Y. Lee]

How much maturity of implementing integration, limit, or series do you request for?
Usually, the working professional level of implementing difficult algorithms for integration or limit, goes as par as people who can understand and implement Risch algorithm or holonomic functions.
But I believe that the term rewriting approach is still commonly practiced, because at least it is still more stronger than it can solve somewhat harder problems than using integration tables with the generalization of coefficients.