Rubi: Solving Integrals, One Rule at a Time

  Рет қаралды 165

Wolfram

Wolfram

2 ай бұрын

Symbolic integration, a cornerstone of computational mathematics, traditionally relies on intricate algorithms to find antiderivatives. Rubi, a rule-based integrator, takes a different and unique approach. Instead of algorithms, Rubi uses thousands of human-readable mathematical rules, systematically applied, to determine integrals. This method provides more transparent integration steps and often yields simpler and more accurate results than traditional means. In this talk, we'll delve into the world of Rubi, exploring its potential and comparing it to conventional integrators.

Пікірлер: 1
@salmiakki5638
@salmiakki5638 Ай бұрын
Sad to hear about the passing of the creator of the project. Hopefully the project can keep flourishing and find a community to further develop it. Certainly the foundation are there. Ports in other languages would also be nice, hopefully the Julia one will not be abandoned, and I hope someone takes up porting and verifying the project in Lean or other theorem provers. Unfortunately I lack the technical skills and knowledge to do any of the above
Exploring Species in Wolfram Language
29:02
Wolfram
Рет қаралды 102
Stephen Wolfram Readings: Why Does Biological Evolution Work?
2:27:29
НЕОБЫЧНЫЙ ЛЕДЕНЕЦ
00:49
Sveta Sollar
Рет қаралды 7 МЛН
Кәріс тіріма өзі ?  | Synyptas 3 | 8 серия
24:47
kak budto
Рет қаралды 1,6 МЛН
What's new in Mathematica 14 Version (Webinar recording)
36:40
uni software plus GmbH
Рет қаралды 284
The Last Algorithms Course You'll Need by ThePrimeagen | Preview
16:44
Frontend Masters
Рет қаралды 299 М.
How I’d learn ML in 2024 (if I could start over)
7:05
Boris Meinardus
Рет қаралды 821 М.
Learn To Code Like a GENIUS and Not Waste Time
9:41
The Coding Sloth
Рет қаралды 1 МЛН
Long Short-Term Memory (LSTM), Clearly Explained
20:45
StatQuest with Josh Starmer
Рет қаралды 460 М.
Funny videos billiards millions views p638
0:26
NamPlay
Рет қаралды 30 МЛН
Saito09 funny video 😂😂😂 #shorts
0:16
Saito
Рет қаралды 16 МЛН
NO NO NO YES! (50 MLN SUBSCRIBERS CHALLENGE!) #shorts
0:26
PANDA BOI
Рет қаралды 49 МЛН