Search Results for "hilbert"

x
Sort By:

Showing 4 open source projects for "hilbert"

View related business solutions
Mathematics Clear Filters & Widen Search
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Save Up to 91% on Cloud Compute With Spot VMs Icon
    Save Up to 91% on Cloud Compute With Spot VMs

    Automatic sustained-use discounts. One free VM per month. No negotiation needed.

    Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
    Try Free
  • 1

    libdspl-2.0

    libdspl-2.0 is opensource cross-platform digital signal processing alg

    libdspl-2.0 — opensource cross-platform digital signal processing algorithm library, written in C language. Distributed under LGPL v3 license. This allows to use this library in all applications with dynamic linking.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Hilbert II - QEDEQ

    Hilbert II - QEDEQ

    proof verifier for mathematical proofs and documentation generator

    In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    Matrix2LaTeX is a program that produces LaTeX code required to typeset matrices/vectors. It supports a set of predifined matrices/vectors such as Hilbert, unitary and diagonal.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Curve Generation eXtreme aims to implement various types of mathematical curves such as Hilbert and Sierpinski curves, as well as random generated plants, using L Systems and OpenGL / Mesa3D for displaying.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Try it free
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories