elementary-functions 开源项目推荐（13 个）

shibatch /sleef

用于计算初等函数、向量化 libm 和 DFT 的 SIMD 库

PawelTroka /Computator.NET

Computator.NET is a special kind of numerical software that is fast and easy to use but not worse than others feature-wise. It's features include: - Real and complex functions charts - Real and complex calculator - Real functions numerical calculations including different methods - Over 107 Elementary functions - Over 141 Special functions - Ove…

metalibm /metalibm

Code generation tool to generate mathematical libraries

shibatch /tlfloat

C++ template library for floating point operations

gonum /mathext

mathext implements basic elementary functions not included in the Go standard library [DEPRECATED]

emilstahl97 /Envariabelanalys-SF1625

Function, function graph, domain, range. Increasing and decreasing functions, odd and even functions. Inverse functions. The class of elementary functions. Trigonometric functions, exponential and logarithmic functions. Power laws, logarithms. Limits, rules for calculating limits, standard limits. Continuity, theorems on continuous functions. De…

alejandrozu /Single_Operator_Formalization

Lean 4/Mathlib formalization of identities from Andrzej Odrzywolek’s “All elementary functions from a single operator” (arXiv:2603.21852).

adarium-labs /spark_math

Formally verified mathematical library in SPARK

ElMatiOfficial /EML-Mathematical-Translator-for-AI

Translate mathematical expressions to and from EML (Exp-Minus-Log) trees, the single-operator primitive for elementary mathematics from Odrzywolek (arXiv:2603.21852). Built for AI/ML researchers.

Inknyto /eml

The Exp-Minus-Log (eml) operator implemented in python

dx111ge /emlMath

Pre-registered experiment on differentiable EML-tree symbolic regression (Odrzywolek 2026, arXiv:2603.21852). Streamlit UI + headless reproducer + full results.

abghim /mivuner

Simple REPL derivative engine for elementary functions.

igor-240340 /FunctionApproximation

Custom sin, cos, sqrt