Is Haskell a good language for CAS/numerical analysis?

• polynomial-algebra

  2 1 0.0 Haskell

  polynomial-algebra Haskell library

I have been thinking about this (computer algebra in a Haskell-ish language) on-and-off for quite a long time, and also spent time writing some small components (and even using them sometimes!) in Haskell (for example 1 2 3 4 5 )

• symmetric-polynomials

  2 0 3.2 Haskell

  Symmetric polynomials in Haskell

I have been thinking about this (computer algebra in a Haskell-ish language) on-and-off for quite a long time, and also spent time writing some small components (and even using them sometimes!) in Haskell (for example 1 2 3 4 5 )

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• fricas

  8 285 9.2 Clojure

  Official repository of the FriCAS computer algebra system

  

I used to use Maxima back in the day, which is embedded in Lisp. With a quick googling I found FriCAS https://github.com/fricas/fricas , which aims to be "world class" AND its libraries are built in a strongly-typed DSL called Spad.

• mathlib

  36 1,619 9.3 Lean

  Lean 3's obsolete mathematical components library: please use mathlib4

  

This is normal math, however this is not CAS territory but formal proof territory. Things like the intermediate value theorem are already formalized in Mathlib in using Lean v3.

Suggest a related project