real-number

There are 0 repository under real-number topic.

• coq-community / corn

  Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]

  coqcoq-cicoq-librarycoq-platformreal-number
  Language:Coq 108

• programmerjake / algebraics

  algebraic numbers implemented in rust; mirror of https://salsa.debian.org/Kazan-team/algebraics

  algebraic-numbersquadratic-numbersreal-numberquadratic-equationsrust
  Language:Rust 26

• discretegames / hypercomplex

  A Python library for working with arbitrary-dimension hypercomplex numbers following the Cayley-Dickson construction of algebras.

  pythonmathematicsmathcayley-dicksonhypercomplexhypercomplex-numbersconstructionalgebrareal-numbercomplex-numbersquaternionoctonionsedenionpathionchingonroutonvoudon
  Language:Python 19

• esapulkkinen / cifl-math-library

  Basic mathematics library

  haskell-librarymathematicsmatrixgraph-algorithmsgraphreal-numbergenerating-functionstreamscategory-theorymonoidsvector-mathunits-of-measurementhaskellcabal-package
  Language:Haskell 12

• chrissimpkins / vectora

  A Rust library for n-dimensional vector computation with real and complex scalar data

  2d3dcomplex-numberdatadata-analysisfloating-pointintegermathmathematicsreal-numberrustrust-craterust-langrust-libraryscalarvectorvector-computationsvector-math
  Language:Rust 7

• lcicala / Numbers

  Exact real numbers representation in C#

  mathmathematicsmathsrealreal-numberreal-number-modelingreal-number-modellingreal-numbers
  Language:C# 1

• AbdelrahmanWaelAtef / Complex-Real-System-of-Equations-Solver

  This is a Tkinter GUI python script that solves any complex/real system of equations using Cramer's rule.

  complex-numberspythonreal-numbersystem-of-equationstkinter-gui
  Language:Python 0

• Andrea-Vigano / rnenv

  A python library for operations with real numbers

  mathematicsscientific-computingalgebrapolynomialspolynomialpolynomial-arithmeticrealnumberreal-number
  Language:Python 0

• qiqvo / LongNums

  Long arithmetics. Real numbers. Multiplication. Prime tests.

  mathsmultiplicationprime-testreal-long-numbersreal-number
  Language:C++ 0

• bincrafters / conan-gmp

  [OBSOLETE] The recipe is now in https://github.com/conan-io/conan-center-index

  conangmparithmeticreal-numberfloating-point-arithmetic
  Language:Python

• ryuhojin / ExtendNumber.js

  Use it when you want to perform integer and real number

  numberreal-numberintegerjavascriptlibraryperform
  Language:JavaScript

• Samdney / notes-3sum

  Notes: "A 3SUM algorithm on the binary addition level of atomic generated real numbers" , id: notes_000X, Notes

  3sumalgorithmcomputer-scienceintegersirrational-numbersmathreal-number
  Language:TeX