Search Results for "hilbert"

x
Sort By:

Showing 4 open source projects for "hilbert"

View related business solutions
Mathematics Windows 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
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    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
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories