another paper mentions FriCAS: Exhaustive Symbolic Integration

[Qian Yun]

https://arxiv.org/abs/2605.04978

Exhaustive Symbolic Integration: Integration by Differentiation
and the Landscape of Symbolic Integrability


Freshly published, at 2026 May 6.

Most interesting quote:

````
while 232 (integrals, out of 49538) resist both SymPy and Mathematica
even at 600s. Those 232 were then passed to FriCAS, which solves 218.
This shows that most failures of SymPy, Mathematica and RUBI are
implementation-coverage gaps rather than evidence that no elementary
antiderivative exists. FriCAS solves all x^x type and f(x)^g(x)
integrals that defeat the other three engines. By contrast, RUBI
solves none of the 232 integrals that SymPy and Mathematica leave
unsolved; as a pattern library designed for textbook integral forms,
it does not aim to cover these deeply nested exp-log towers.

......

Both of these (RUBI failures in RUBI test suite) involve deeply
nested log/exp compositions of the kind that fall through the
gaps of rule-based systems but lie squarely within ESI’s
catalogued space. FriCAS also solves them.
````

- Qian

[Ralf Hemmecke]

Thanks for this link.
All of such mention should go to our
https://fricas.github.io/citation.html
page.

Ralf

[Grégory Vanuxem]

Hello,

Speaking in another thread, "about ")credits"", makes me remember that
this was not added (nor the two github links referred to in this
article) to https://fricas.github.io/citation.html.

Just in case.

Greg

Le mer. 13 mai 2026 à 13:28, 'Ralf Hemmecke' via FriCAS - computer
algebra system <fricas...@googlegroups.com> a écrit :

> --
> You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel...@googlegroups.com.
> To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/bafbb2b0-8f30-457f-9f46-6a1d178a205e%40hemmecke.org.

[Qian Yun]

This paper is added to git master branch.

But the website will only be updated at next release.

- Qian

[Grégory Vanuxem]

Ah, OK, thanks for the info. 

To view this discussion visit https://groups.google.com/d/msgid/fricas-devel/8e55e272-41b9-42c5-84d7-0d37d1e2cff2%40gmail.com.