Search Results for "mathematics geometry"
Sort By:
Showing 16 open source projects for "mathematics geometry"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
AlphaGeometry, developed by Google DeepMind, is a theorem-proving system that combines symbolic reasoning with deep learning to solve challenging geometry problems, such as those found in mathematical Olympiads. The repository provides the full implementation of DDAR (Deductive Difference and Abductive Reasoning) and AlphaGeometry, two automated geometry solvers described in the 2024 Nature paper “Solving Olympiad Geometry without Human Demonstrations.” AlphaGeometry integrates a symbolic... -
2
SymPy
A computer algebra system written in pure Python
SymPy is an open source Python library for symbolic mathematics. Its goal is to become a full-featured computer algebra system (CAS) while maintaining the simplicity of its code. Written entirely in Python, SymPy is easy to use, comprehensible and easily extensible. It’s also very lightweight as it solely depends on mpmath, a pure Python library for arbitrary floating point arithmetic. SymPy has participated in every Google Summer of Code since 2007 and because of this has continuously... -
3
Napkin
An Infinitely Large Napkin
Napkin (also titled “An Infinitely Large Napkin”) is a lightweight, semi-formal introduction to higher mathematics, aimed at giving readers a bird’s-eye view over various mathematical fields. It is not a polished textbook full of full proofs; rather it offers clean definitions, theorem statements, intuitive motivations, and informal sketches of why things work, with the goal of building conceptual understanding. The coverage spans undergraduate and early graduate topics, designed to show how... -
4
Book4_Power-of-Matrix
Book_4_Matrix Power | The Iris Book: From Addition, Subtraction
Book4_Power-of-Matrix is an open educational repository that forms part of the Visualize-ML book series, focusing on explaining matrix mathematics and linear algebra concepts through visual and intuitive methods. The project is designed to help readers progress from basic arithmetic toward machine learning fundamentals by building a strong conceptual understanding of vectors, matrices, and their operations. It combines explanatory text, diagrams, and Python examples to bridge theory and... -
Our Free Plans just got better! | Auth0You 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.
-
5
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... -
6
VisualRiSC
Toolbox visualizing computations of Realizable Sign Conditions.
This toolbox contains a set of Python procedures in order to compute examples associated with the computation of Realizable Sign Conditions (RiSC) due to the approach by Basu, Pollack and Roy. The RiSC approach is a way to solve and analyze systems of polynomial equations and inequalities over the real numbers in the field of real-algebraic geometry. The involved computations often consist of highly sophisticated notions, not easy to illustrate by hand. VisualRiSC provides implementations of... -
7
This software aims help students of analytic geometry courses by visualizating several key concepts.
-
8
-
9
This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
10
This project contains applications which allow the user the draw the common geometry graphics (both 2D and 3D) which is available from the library.
-
11
-
12
A library for number theory, symbolic algebra, geometry, special functions, etc, written entirely in Python.
-
13
-
14
-
15
A Python and ANSI C implementation of the Edelsbrunner hyperplane arrangement algorithm described in his book Algorithms in Combinatorial Geometry, supporting arbitrary dimensions, exact rational arithmetic using gmp, and using David Avis lrs solver.
-
16
C++ template class library and Python modules for Computational Analytic Geometry, which define classes of geometry objects in 2D and 3D Cartesian coordinate system, such as line, circle, curve ... as well as relations and transform operations of them.
- Previous
- You're on page 1
- Next