Search results
108 packages found
Euler's Method Differential Equations Solver
Semantic Math Processor Client is a plugin for SemanticMathEditor, which allows making math calculation using Math Processor - our REST wrapper around Sympy CAS
A small library for advanced math.
Lambda calculus evaluator and debugger.
Tools used to understand or work with numbers in Node.JS, Javascript and derivatives.
- number
- numbers
- math
- theory
- abundant
- adaptive simpson
- addition
- affine
- arithmetic
- basic
- bates
- binomial
- box muller
- box muller transform
- View more
Compute definite and improper integrals using Romberg Integration. Easily integrate JavaScript functions.
This package is created to bring closer the stochastic calculus in Typescript.
evaluate boolean-json expressions
Do calculations with Complex numbers
Core module for Lambdulus Project.
Lambda calculus interpreter library and CLI.
Visualize multivariable functions in the browser.
Gauss-Legendre quadrature rules
Feedforward Artificial Neural Network Library
identify variables in boolean-json objects
JavaScript implementation of the classic Runge-Kutta method (RK4)
Computes the Laplacian of a mesh.
JSON Schema for boolean expressions
JS calculator to solve the problem of decimal calculation accuracy loss
Condensed Detachment
- condensed detachment
- modus ponens
- ATP
- theorem proving
- automated reasoning
- automated deduction
- logic
- calculus