Search Results for "automatic"

...Compilation happens under the hood by default, with library calls getting just-in-time compiled and executed. But JAX also lets you just-in-time compile your own Python functions into XLA-optimized kernels using a one-function API, jit. Compilation and automatic differentiation can be composed arbitrarily, so you can express sophisticated algorithms and get maximal performance without leaving Python.

MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. It supports an agentic proving workflow where the system behaves more like an interactive...

Miramath is an open source project inspired by the MathCad mathematical application. The main user interface consists of a page into which mathematical expressions can be entered or edited and then evaluated.

Source code is available on https://github.com/MarkoLeskovar/FractalRenderingApp

A symbolic framework for C++, Python and Octave implementing automatic differentiation by source code transformation in forward and reverse modes on sparse matrix-valued computational graphs.

Python automatic differentiation class for forward mode automatic differentiation using operator overloading and reimplemented math functions. Single and partial derivatives are supported. Supported operators: +, -, *, /, **, +=, -=, *=, /=, **= Available functions: sin, cos, tan, asin, acos, atan, sqrt, exp, log, log10, sinh, cosh, tanh, asinh, acosh, atanh See README file for usage examples.

QtoNum is a calculator for qualitative values (-, +), intervals and crisp numbers with arbitrary precision. QtoNum also handles infinitesimals and infinites. All these types can be mixed in expressions and conversions are performed automatically. QtoNum can be used as an interactive calculator (command line) and as a calculus library.