Showing 3 open source projects for "logical"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
    Try free now
  • All types of hosting services: Dedicated Servers, VPS, Colocation, Domains and SSL, VPN. Fast and quality support 24/7 Icon
    All types of hosting services: Dedicated Servers, VPS, Colocation, Domains and SSL, VPN. Fast and quality support 24/7

    For companies or individuals searching for dedicated servers or VPS for their business or projects.

    Our tailored hosting solutions are ideal both for ordinary users and businesses that are searching for reliability and high-quality standards. The main goal for us is fast network speed and uptime of our services. To reach this goal we are cooperating with the best data centers around the globe, specifically Tier 2 and Tier 3, so our users have access to dedicated servers in the United States, Canada, the Netherlands, Poland, and over 14 locations across the globe.
    Learn More
  • 1
    alphageometry

    alphageometry

    AI-driven neuro-symbolic solver for high-school geometry problems

    ...AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. The repository includes pre-trained weights, vocabulary files, and detailed configuration options for reproducing experiments.
    Downloads: 18 This Week
    Last Update:
    See Project
  • 2
    Advanced Trigonometry Calculator

    Advanced Trigonometry Calculator

    Precision Trigonometry: Advanced Calculator for Complex Math

    Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by...
    Leader badge
    Downloads: 34 This Week
    Last Update:
    See Project
  • 3
    ILNumerics.Net
    math lib for .NET. n-dim arrays, complex numbers, linear algebra, FFT, sorting, cells- and logical arrays as well as 3D plotting classes help developing algorithms on every platform supporting .NET. Sources from SVN, binaries: http://ilnumerics.net
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next