Search Results for "mathematical"
Sort By:
Showing 892 open source projects for "mathematical"
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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
1
Math
Mathematical manuscripts and supporting proof artifacts
Math is a public research repository containing mathematical manuscripts and supporting proof artifacts produced by internal OpenAI models. It is used to publish work generated while evaluating models on open mathematical research problems. Papers are grouped into families that may contain principal results, companion arguments, consequences, or alternative proofs. The collection spans multiple mathematical disciplines rather than focusing on one subject. -
2
MathModelAgent
An Agent Designed for Mathematical Modeling
MathModelAgent is an AI agent system designed specifically for assisting with mathematical modeling tasks and academic problem solving. The platform automates the process of analyzing mathematical problems, constructing models, generating code for simulations or computations, and producing a complete research-style report. The project uses a multi-agent architecture where different specialized agents handle tasks such as problem interpretation, modeling design, programming implementation, and paper writing. ... -
3
SpecialFunctions.jl
Special mathematical functions in Julia
Special mathematical functions in Julia, include Bessel, Hankel, Airy, error, Dawson, exponential (or sine and cosine) integrals, eta, zeta, digamma, inverse digamma, trigamma, and polygamma functions. Most of these functions were formerly part of Base in early versions of Julia. -
4
Nemo.jl
Julia bindings for various mathematical libraries (including flint2)
Nemo is a computer algebra package for the Julia programming language. It aims to cover commutative algebra, number theory and group theory. Julia bindings for various mathematical libraries (including flint2) -
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
5
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. -
6
MathModel
Mathematical Modeling for Graduate Students, Mathematical Modeling
...The repository is structured by topic and resource type so that users can more easily find templates, solved problems, and methodological notes. It also includes auxiliary educational materials like references, recommended textbooks, and guidebooks on mathematical modeling theory. -
7
JuMP
Modeling language for Mathematical Optimization
JuMP is a modeling language and collection of supporting packages for mathematical optimization in Julia. JuMP makes it easy to formulate and solve a range of problem classes, including linear programs, integer programs, conic programs, semidefinite programs, and constrained nonlinear programs. JuMP is used to solve large-scale inventory routing problems at Renault, schedule trains at Thales Inc., plan power grid expansion at PSR, and route school buses. -
8
BasicBSpline.jl
Basic (mathematical) operations for B-spline functions
Basic (mathematical) operations for B-spline functions and related things with Julia. -
9
mathjs
An extensive math library for JavaScript and Node.js
mathjs is a comprehensive mathematics library for JavaScript and Node.js that provides advanced numerical, symbolic, and matrix computation capabilities through a flexible expression-based interface. The library supports a wide range of mathematical operations including algebra, statistics, complex numbers, fractions, units, matrices, and symbolic manipulation while maintaining compatibility across browsers and server environments. One of its defining features is its expression parser, which allows users to evaluate and manipulate mathematical expressions written in a natural math-like syntax. mathjs is highly modular, enabling developers to include only the functionality they need for optimized application size and performance. ... -
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
SciMLBase.jl
The Base interface of the SciML ecosystem
SciMLBase.jl is the core interface definition of the SciML ecosystem. It is a low-dependency library made to be depended on by the downstream libraries to supply the common interface and allow for the interexchange of mathematical problems. The SciML common interface ties together the numerical solvers of the Julia package ecosystem into a single unified interface. It is designed for maximal efficiency and parallelism, while incorporating essential features for large-scale scientific machine learning such as differentiability, composability, and sparsity. -
11
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. ... -
12
NumPy
The fundamental package for scientific computing with Python
Fast and versatile, the NumPy vectorization, indexing, and broadcasting concepts are the de-facto standards of array computing today. NumPy offers comprehensive mathematical functions, random number generators, linear algebra routines, Fourier transforms, and more. NumPy supports a wide range of hardware and computing platforms, and plays well with distributed, GPU, and sparse array libraries. The core of NumPy is well-optimized C code. Enjoy the flexibility of Python with the speed of compiled code. ... -
13
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. -
14
Measurements.jl
Error propagation calculator and library for physical measurements
...It supports real and complex numbers with uncertainty, arbitrary precision calculations, operations with arrays, and numerical integration. Physical measures are typically reported with an error, a quantification of the uncertainty of the accuracy of the measurement. Whenever you perform mathematical operations involving these quantities you have also to propagate the uncertainty, so that the resulting number will also have an attached error to quantify the confidence about its accuracy. Measurements.jl relieves you from the hassle of propagating uncertainties coming from physical measurements, when performing mathematical operations involving them. ... -
15
Book3_Elements-of-Mathematics
From Addition, Subtraction, Multiplication, and Division to ML
Book3_Elements-of-Mathematics is an open learning resource in the Visualize-ML collection that introduces core mathematical foundations required for modern data science and AI. The repository presents topics such as algebra, calculus fundamentals, and mathematical reasoning using a highly visual and beginner-friendly approach. Its goal is to reduce the intimidation barrier often associated with formal mathematics by combining diagrams, structured explanations, and applied examples. ... -
16
Andrew NG Notes Collection
This is Andrew NG Coursera Handwritten Notes
...The project summarizes the key topics covered in the course, including supervised learning, neural networks, optimization algorithms, and model evaluation techniques. The notes aim to simplify complex mathematical explanations by organizing concepts into clear sections with diagrams, formulas, and concise descriptions. Each chapter mirrors the structure of the course curriculum, allowing students to review the material in a systematic way while following along with the lectures. The repository emphasizes conceptual clarity and practical understanding, helping learners connect mathematical foundations with real machine learning applications. -
17
MathPHP
Powerful modern math library for PHP
Math PHP is a library that brings advanced mathematical functions and data analysis capabilities to PHP applications. It covers a wide range of topics, including linear algebra, calculus, statistics, probability, and numerical analysis. Math PHP is designed for developers and data scientists who require precise and efficient mathematical computations in PHP, making it suitable for scientific computing and data processing. -
18
Machine Learning Octave
MatLab/Octave examples of popular machine learning algorithms
This repository contains MATLAB / Octave implementations of popular machine learning algorithms, along with explanatory code and mathematical derivations, intended as educational material rather than production code. Implementations of supervised learning algorithms (linear regression, logistic regression, neural nets). The author’s goal is to help users understand how each algorithm works “from scratch,” avoiding black-box library calls. Code written so as to expose and comment on mathematical steps. ... -
19
Manim
A community-maintained Python framework for creating animations
A community-maintained Python library for creating mathematical animations. Manim is a free and open-source project originally written by Grant Sanderson. It is now maintained by the Manim Community and permissively released under the MIT license. Manim was originally created by Grant Sanderson as a personal project and for use in his YouTube channel, 3Blue1Brown. As his channel gained popularity, many grew to like the style of his animations and wanted to use manim for their own projects. ... -
20
Pix2Text
Open-Source Python3 tool for recognizing layouts, tables, and math
...Pix2Text (P2T) aims to be a free and open-source Python alternative to Mathpix, and it can already accomplish Mathpix's core functionality. Pix2Text (P2T) can recognize layouts, tables, images, text, and mathematical formulas, and integrate all of these contents into Markdown format. P2T can also convert an entire PDF file (which can contain scanned images or any other format) into Markdown format. -
21
mXparser
Math Parser: Java, C#, C++, Kotlin, Android, and all .NET platforms
...Flexible in user-defined arguments, and functions. Expressions are provided as plain text. Easy to use. Well documented. MathParser.org-mXparser is an open-source mathematical expression parser and evaluator for Java and .NET, supporting complex calculations and custom functions. -
22
Coursera-ML-AndrewNg-Notes
Personal notes from Wu Enda's machine learning course
Coursera-ML-AndrewNg-Notes is an open-source repository that provides detailed study notes and explanations for Andrew Ng’s well-known machine learning course. The project aims to help students understand the mathematical concepts, algorithms, and intuition behind fundamental machine learning techniques taught in the course. It organizes the material into clear written summaries that accompany each lecture topic, including supervised learning, regression methods, neural networks, and optimization algorithms. The repository often expands on the original lecture material by adding additional explanations, diagrams, and formulas that clarify the theoretical foundations of the algorithms. ... -
23
Jupyter Notebook
Jupyter Interactive Notebook
The notebook extends the console-based approach to interactive computing in a qualitatively new direction, providing a web-based application suitable for capturing the whole computation process: developing, documenting, and executing code, as well as communicating the results. The Jupyter notebook combines two components. A web application, which is a browser-based tool for interactive authoring of documents which combine explanatory text, mathematics, computations and their rich media... -
24
rofi-calc
Do live calculations in rofi
rofi-calc is a calculator plugin that brings live mathematical evaluation into the Rofi application launcher. It sends natural-language expressions to Qalculate’s qalc engine and displays the result while the user types. Queries can include arithmetic, percentages, unit and currency conversions, number-base conversions, and linear equations. Results or history entries can be selected, printed, copied, typed into another application, or passed to a custom shell command. -
25
stdlib
Standard library for JavaScript and Node.js
A standard library for javascript and node.js. High performance, rigorous, and robust mathematical and statistical functions. Build advanced statistical models and machine learning libraries. Plotting and graphics functionality for data visualization and exploratory data analysis. Analyze and understand your data. Comprehensively tested utilities for application and library development. Functions to assert, group, filter, map, pluck, and transform your data both in browsers and on the server. ...
