On 8/18/2023 10:02 AM, Richard Fateman wrote:
>
https://math.unm.edu/~aca/ACA/Memoriam/Albert_Rich/
>
This is very sad news. Condolences to his family and friends.
I never met Albert in person, but we talked by email over the years.
Last email I got from him was just 2 months ago, on June 21, 2023,
replying to a question I had on Rubi.
We will never know how much progress he made on Rubi, and if the
changes he made are saved somewhere, because he told in an email
that he was working on it 40-50 hrs per week for the last 3 years.
Also we will never know what he meant by exactly by this message he posted on
https://app.gitter.im/#/room/#Rule-Based-Integration_Lobby:gitter.im
about one year ago saying:
"I'm working fulltime on what has turned out to be a massive project.
It's driven by my figuring out the math required to integrate expressions
symbolically. I will release a new version of Rubi 4 as-soon-as
it's perfected to my satisfaction. But it's impossible to
predict when that will be, given the creative nature of this open-ended work."
It is the part where he said
"figuring out the math required to integrate expressions symbolically"
It appears he found new methods for integration.
His github code is at
https://github.com/RuleBasedIntegration/Rubi
His main rubi web site is
https://rulebasedintegration.org/
May he rest in peace.
--Nasser