Symbolica 2.2: symbolic integration in Rust with 7,000+ pattern-matching rules

For Symbolica 2.2, we ported 7,000+ integration rules from the Rubi project to Rust and tested the implementation against the complete 72,944-problem corpus. The integration engine is available as the MIT-licensed symbolica-integrate crate.

The post covers symbolic integration, how the AI-assisted port was organized and kept in check, and other new Symbolica features.

Even though AI was used for such a vast but ultimately mechanical port, there was a lot of manual labor, craft and domain knowledge involved. I've been thinking about implementing Rubi in Symbolica for more than a year. The result is, in my opinion, a very useful addition to the Rust scientific computing ecosystem.

I also want to stress that it is the wish of the Rubi project to be ported and widely used.

I'm happy to answer any questions!