python package implementing a multivariate Horner scheme for efficiently evaluating multivariate polynomials

A bioinformatics-focused library for numerical modeling, optimisation, and simulation written in Rust

Evaluation of three parallel polynomial evaluation algorithms written for CUDA in C++ (Horner's method, Dorn's method, and Estrin's algorithm).

This project is a compiler for a polynomial-evaluation programming language.

Including work from undergrad and graduate numerical analysis I and II.

Evaluate polynomials.

Horner's method as universal fold: polynomial evaluation, tuple encoding, and fold/unfold duality across Lisp dialects (Guile, Chez, Racket, Clojure, Janet, Elisp) with formal verification in Alloy, TLA+, and Lean4