-
Notifications
You must be signed in to change notification settings - Fork 79
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.
Optimized Stringize/Latexize/ToSympy
ProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.A Guided Journey Into the World of Abstract Mathematics and the Writing of Proofs
Agentic goalGoals for LLMs to work towardsGoals for LLMs to work towardsStatus: Open.- Status: Open.
Statistical distribution arithmetic
ProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.Will we have a powerful and quick enough simplifier to avoid equating small numbers to 0?
ProposalContribute to the project by proposing some improvementsContribute to the project by proposing some improvementsStatus: Open.sqrt(a + b sech(x)) tanh(x)^5 is integrated wrongly: the root of 1 - u^2 is written through the imaginary unit
BugA serious math/runtime errorA serious math/runtime errorStatus: Open.A cubed symbolic quadratic beside a quadratic with real roots is integrated wrongly: 1/((a + b x^2)^3 (x^2 - 1))
BugA serious math/runtime errorA serious math/runtime errorStatus: Open.