enow.com Web Search

Search results

  1. Results from the WOW.Com Content Network
  2. Spyder (software) - Wikipedia

    en.wikipedia.org/wiki/Spyder_(software)

    Spyder is an open-source cross-platform integrated development environment (IDE) for scientific programming in the Python language. Spyder integrates with a number of prominent packages in the scientific Python stack, including NumPy, SciPy, Matplotlib, pandas, IPython, SymPy and Cython, as well as other open-source software. [ 4][ 5] It is ...

  3. SageMath - Wikipedia

    en.wikipedia.org/wiki/SageMath

    SageMath. SageMath (previously Sage or SAGE, "System for Algebra and Geometry Experimentation" [ 3]) is a computer algebra system (CAS) with features covering many aspects of mathematics, including algebra, combinatorics, graph theory, group theory, differentiable manifolds, numerical analysis, number theory, calculus and statistics .

  4. Tensor software - Wikipedia

    en.wikipedia.org/wiki/Tensor_software

    Software for use with Mathematica. Tensor [4] is a tensor package written for the Mathematica system. It provides many functions relevant for General Relativity calculations in general Riemann–Cartan geometries. Ricci [5] is a system for Mathematica 2.x and later for doing basic tensor analysis, available for free.

  5. SciPy - Wikipedia

    en.wikipedia.org/wiki/SciPy

    SciPy (pronounced / ˈsaɪpaɪ / "sigh pie" [ 2]) is a free and open-source Python library used for scientific computing and technical computing. [ 3] SciPy contains modules for optimization, linear algebra, integration, interpolation, special functions, FFT, signal and image processing, ODE solvers and other tasks common in science and ...

  6. Lean (proof assistant) - Wikipedia

    en.wikipedia.org/wiki/Lean_(proof_assistant)

    Lean is a proof assistant and a functional programming language. [ 1] It is based on the calculus of constructions with inductive types. It is an open-source project hosted on GitHub. It was developed primarily by Leonardo de Moura while employed by Microsoft Research and now Amazon Web Services, and has had significant contributions from other ...

  7. Scientific calculator - Wikipedia

    en.wikipedia.org/wiki/Scientific_calculator

    A scientific calculator is an electronic calculator, either desktop or handheld, designed to perform calculations using basic ( addition, subtraction, multiplication, division) and complex ( trigonometric, hyperbolic, etc.) mathematical operations and functions. They have completely replaced slide rules as well as books of mathematical tables ...

  8. List of finite element software packages - Wikipedia

    en.wikipedia.org/wiki/List_of_finite_element...

    GOMA is an open-source, parallel, and scalable multiphysics software package for modeling and simulation of real-life physical processes, with a basis in computational fluid dynamics for problems with evolving geometry. A generic finite element library written in C++ with interfaces for Python, Matlab and Scilab.

  9. List of computer algebra systems - Wikipedia

    en.wikipedia.org/wiki/List_of_computer_algebra...

    The following tables provide a comparison of computer algebra systems (CAS). [1] [2] [3] A CAS is a package comprising a set of algorithms for performing symbolic manipulations on algebraic objects, a language to implement them, and an environment in which to use the language.