formal-power-series

There are 0 repository under formal-power-series topic.

• hivert / FormalPowerSeries

  Formal power series in mathomp

  combinatoricscoqformal-power-seriesmathcompssreflect
  Language:Coq 3

• massimo-nocentini / srfi-41st

  A Smalltalk port of https://srfi.schemers.org/srfi-41/srfi-41.html

  formal-power-serieslazy-evaluationinfinite-data-structuremcilroysrfi
  Language:Smalltalk 2

• Quentin18 / modular-arithmetic

  Implementation of modular arithmetic in C

  modulararithmeticpolynomial-arithmeticfinite-field-arithmeticsextended-euclidean-algorithmformal-power-serieslagrange-polynomial-interpolationhorner-schemeresultantsylvester
  Language:C 1