Search Results for "mathematical"
Sort By:
Showing 34 open source projects for "mathematical"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
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.
-
1
Mathematics Dataset
This dataset code generates mathematical question and answer pairs
The Mathematics Dataset, developed by Google DeepMind, is a synthetic dataset designed to evaluate and train machine learning models on mathematical reasoning and symbolic manipulation. It generates question-and-answer pairs across a wide range of mathematical topics typically found in school-level curricula, testing a model’s ability to reason about algebra, arithmetic, calculus, probability, and more. Each question is programmatically generated with structured templates to ensure clear logic and reproducibility. ... -
2
MathCode
A Frontier Mathematical Coding Agent
MathCode is a terminal-based AI coding assistant focused on mathematical formalization and theorem proving. It is designed to transform plain-language mathematical reasoning into verified Lean 4 code and formal proofs. The project combines AI agents with Lean Language Server Protocol integration, allowing it to inspect compiler feedback, search for lemmas, and iteratively repair failed proof attempts. -
3
Manim Python
Animation engine for explanatory math videos
Manim is a Python library and animation engine designed for creating precise, programmatic mathematical visuals—famously used by 3Blue1Brown. It enables developers and educators to script animations using code and produce high-quality explanatory math videos. -
4
PyTensor
Python library for defining and optimizing mathematical expressions
PyTensor is a fork of Aesara, a Python library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays. PyTensor is based on Theano, which has been powering large-scale computationally intensive scientific investigations since 2007. A hackable, pure-Python codebase. Extensible graph framework is suitable for rapid development of custom operators and symbolic optimizations. Implements an extensible graph transpilation framework that currently provides compilation via C, JAX, and Numba. ... -
Secure File Transfer for Windows with Cerberus by RedwoodCerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
-
5
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 deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. ... -
6
Swift Numerics
Advanced mathematical types and functions for Swift
Swift Numerics is a foundational library that extends the Swift standard library with essential numerical protocols, types, and functions needed for scientific and systems programming. It defines generic abstractions over real and complex numbers so algorithms can be written once and work across concrete floating-point types. The package includes RealModule utilities and a full Complex type with the expected arithmetic and transcendental functions, bridging a long-standing gap for numerics... -
7
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 different areas of math fit together—linear algebra, analysis, topology, number theory, and more—without going deeply into every subtopic. ... -
8
Miramath is an open source project inspired by the MathCad mathematical application. The main user interface consists of a page into which mathematical expressions can be entered or edited and then evaluated.
-
9
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... -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
10
Infix-To-Postfix-Converter
Enhance your understanding of mathematical expressions conversions
A simple desktop application to convert infix expression to postfix expression, also displaying the conversion steps fully. -
11
-
12
book
A textbook on informal homotopy type theory
The canonical Homotopy Type Theory informal textbook, initiated at the Institute for Advanced Study (2012–13) under the Univalent Foundations project. It presents the theory pedagogically without requiring technical proof assistant use. -
13
Lenia
Lenia - Mathematical Life Forms
Lenia is a 2D cellular automaton with continuous space, time, and states. It produces a huge variety of interesting life forms. There are various versions available. Python, Matlab, and web (JavaScript) versions are real-time, interactive, and equipped with statistics tools. Jupyter and R versions are non-interactive and just for demonstration purposes. -
14
Regina
Software for 3-manifold topology and normal surface theory
A suite of mathematical software for 3-manifold topologists, focusing on the study of 3-manifold triangulations, normal surfaces and angle structures. -
15
Easy Equations
Hand Written Equation Creator
Easy Equations is a utility using which one can write the mathematical equations. The focus of this utility is to provide user friendly access to write mathematical equations which is helpful for students, lecturers, mathematicians and Research persons who prefer using mathematical equations in a document, PowerPoint or web sites. Works on Windows as well as Linux platforms. Software Requirements: JDK 7 or higher. -
16
pymathematics
Mathematics in Python
The intention of this project is to write classes in Python that covers a number of mathematical areas. -
17
Fulguro is an optimized 2D library for image processing with Mathematical Morphology and Linear processing
-
18
-
19
Educative desktop application that it's main goal is develop any kind of mathematical operation in an easy and quick way. It's focus to users that don't have programming knowledge.
-
20
-
21
Model Builder is a graphical tool for designing, simulating and analyzing Mathematical models consisting of a system of ordinary differential equations(ODEs).
-
22
clac (Command Line Advanced Calculator) evaluates mathematical expressions from the argument list or from stdin and writes the answer(s) to stdout.
-
23
1. Create an object-oriented python script that can represent mathematical concepts and their properties. 2. Represent all numeric values exactly. 3. Provide a variety of formats to export or embed representations of the mathematical concepts.
-
24
Python program for fitting rate constants to primarily kinetic data as 1st or 2nd order kinetics or autocatalysis. It also allows specific noise cancelling, data smoothing by fourrier transform, box averaging and flowing mean. For Python 2.6 or earlier.
-
25
An experimental language designed to be very simple, but expressive enough to represent mathematical constructions and have strong introspective capabilities.
