Remove Algebra Remove Calculus Remove Equality Remove Transportation
article thumbnail

LLM Tech and a Lot More: Version 13.3 of Wolfram Language and Mathematica

Stephen Wolfram

Line, Surface and Contour Integration “Find the integral of the function ” is a typical core thing one wants to do in calculus. But particularly in applications of calculus, it’s common to want to ask slightly more elaborate questions, like “What’s the integral of over the region ?”, or “What’s the integral of along the line ?”

Computer 118
article thumbnail

The Concept of the Ruliad

Stephen Wolfram

For integers, the obvious notion of equivalence is numerical equality. For example, we know (as I discovered in 2000) that (( b · c ) · a ) · ( b · (( b · a ) · b )) = a is the minimal axiom system for Boolean algebra , because FindEquationalProof finds a path that proves it.

Physics 122
article thumbnail

Launching Version 13.0 of Wolfram Language + Mathematica

Stephen Wolfram

Any integral of an algebraic function can in principle be done in terms of our general DifferentialRoot objects. When you do operations on Around numbers the “errors” are combined using a certain calculus of errors that’s effectively based on Gaussian distributions—and the results you get are always in some sense statistical.