Search Results for "mathematical" - Page 2
Sort By:
Showing 663 open source projects for "mathematical"
View related business solutions-
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
One Monitoring Tool for IT, OT and Cloud | Free TrialModern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
-
1
Machine Learning Foundations
Machine Learning Foundations: Linear Algebra, Calculus, Statistics
Machine Learning Foundations repository contains the code, notebooks, and teaching materials used in Jon Krohn’s Machine Learning Foundations curriculum. The project focuses on explaining the fundamental mathematical and computational concepts that underpin modern machine learning and artificial intelligence systems. The materials cover essential topics such as linear algebra, calculus, statistics, and probability, which form the theoretical basis of many machine learning algorithms. The repository includes Jupyter notebooks with explanations and examples that demonstrate how these mathematical principles relate to real machine learning applications. ... -
2
Deeplearning.ai
Study notes, summaries, and auxiliary materials for deep learning
...It distills core ideas such as optimization, regularization, convolutional networks, sequence models, and practical training tricks. The explanations aim to bridge theory and practice, often connecting mathematical intuition to code-level implications. By organizing the content as “books” or structured notes, it gives students a consistent reference to revisit as models and tooling evolve. Many learners use it to supplement course videos, reinforcing concepts before implementing assignments or projects. As a consolidated guide, it reduces context-switching and helps build a durable mental model of deep learning fundamentals. -
3
Qwen2.5-Math
A series of math-specific large language models of our Qwen2 series
...Unlike its predecessor Qwen2-Math, Qwen2.5-Math supports both Chain-of-Thought (CoT) reasoning and Tool-Integrated Reasoning (TIR) for solving math problems, and works in both Chinese and English. It is optimized for solving mathematical benchmarks and exams; the 72B-Instruct model achieves state-of-the-art results among open source models on many English and Chinese math tasks. -
4
MCM-ICM
Mathematical Contest resources
MCM-ICM is a curated archive of Outstanding Winner (“O-奖/特等奖”) solution papers from the Mathematical Contest in Modeling and the Interdisciplinary Contest in Modeling, spanning the early 2000s through recent years. The repository is organized by year, with per-year folders that collect the top-ranked reports and, in later years, additional materials such as problem statements or problem notes when available. It has evolved from a single-maintainer project into a collaborative effort, with different contributors stewarding successive year ranges so the collection stays current. ... -
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.
-
5
Transformers & LLMs cheatsheet
VIP cheatsheet for Stanford's CME 295 Transformers and Large Language
Transformers & LLMs cheatsheet is an educational repository focused on transformers, large language models, and modern generative AI architectures based on Stanford CME 295 coursework. The project compiles structured notes, mathematical explanations, diagrams, and implementation references covering transformer internals, attention mechanisms, tokenization, training pipelines, and inference strategies. It is designed to help students and practitioners understand the technical foundations behind contemporary AI systems such as GPT-style models and multimodal architectures. ... -
6
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. ... -
7
NVIDIA cuOpt
GPU accelerated decision optimization
NVIDIA cuOpt is a GPU-accelerated optimization engine designed to solve complex mathematical optimization problems at large scale. It supports a range of optimization models including linear programming (LP), mixed integer linear programming (MILP), quadratic programming (QP), and vehicle routing problems (VRP). Built primarily in C++, cuOpt leverages NVIDIA GPUs to deliver near real-time solutions for optimization tasks involving millions of variables and constraints. -
8
Turing.jl
Bayesian inference with probabilistic programming
Bayesian inference with probabilistic programming. -
9
IronCalc
Main engine of the IronCalc ecosystem
IronCalc is a new, modern, work-in-progress spreadsheet engine and set of tools to work with spreadsheets in diverse settings. IronCalc is a lightweight, open-source computational engine designed for performing mathematical operations, formula calculations, and data-driven tasks. -
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.
-
10
Surrogates.jl
Surrogate modeling and optimization for scientific machine learning
A surrogate model is an approximation method that mimics the behavior of a computationally expensive simulation. In more mathematical terms: suppose we are attempting to optimize a function f(p), but each calculation of f is very expensive. It may be the case we need to solve a PDE for each point or use advanced numerical linear algebra machinery, which is usually costly. The idea is then to develop a surrogate model g which approximates f by training on previous data collected from evaluations of f. -
11
Cryptol
Cryptol: The Language of Cryptography
Cryptol is a domain-specific language (DSL) for specifying and verifying cryptographic algorithms. Developed by Galois, Cryptol provides a high-level mathematical syntax for describing cryptographic primitives and enables formal verification of algorithm properties. It is used in academic, research, and defense sectors to validate correctness and security through symbolic execution and model checking, ensuring critical cryptographic code is free of design flaws. -
12
JOML
A Java math library for OpenGL rendering calculations
...Unlike other math libraries, JOML avoids object allocation during calculations, making it highly optimized for garbage-free performance. With precise control over mathematical operations and compatibility with low-level APIs, JOML is a go-to library for Java developers working on real-time 3D engines and simulations. -
13
SJTUThesis
Shanghai Jiao Tong University LaTeX Thesis Template
A full example template demonstrating the use of the SJTUThesis LaTeX document class for Shanghai Jiao Tong University degree theses and coursework. It showcases formatting for formulas, tables, algorithms, references and supports UTF‑8 encoding. -
14
Deep Learning Interviews book
Hundreds of fully solved job interview questions
...The project was created to help students, researchers, and engineers prepare for machine learning and deep learning interviews by providing structured explanations of key concepts. The repository organizes problems across topics such as neural networks, optimization, probabilistic models, and mathematical foundations of machine learning. Each question is accompanied by detailed solutions that explain the reasoning behind the answers and the theoretical concepts involved. In addition to interview preparation, the material also serves as a condensed overview of many core topics taught in graduate-level machine learning programs. -
15
InfiniteOpt.jl
An intuitive modeling interface for infinite-dimensional optimization
A JuMP extension for expressing and solving infinite-dimensional optimization problems. InfiniteOpt.jl provides a general mathematical abstraction to express and solve infinite-dimensional optimization problems (i.e., problems with decision functions). Such problems stem from areas such as space-time programming and stochastic programming. InfiniteOpt is meant to facilitate intuitive model definition, automatic transcription into solvable models, permit a wide range of user-defined extensions/behavior, and more. -
16
Manifolds.jl
Manifolds.jl provides a library of manifolds
Package Manifolds.jl aims to provide both a unified interface to define and use manifolds as well as a library of manifolds to use for your projects. This package is mostly stable, see #438 for planned upcoming changes. The implemented manifolds are accompanied by their mathematical formulae. The manifolds are implemented using the interface for manifolds given in ManifoldsBase.jl. You can use that interface to implement your own software on manifolds, such that all manifolds based on that interface can be used within your code. -
17
DeepSeekMath-V2
Towards self-verifiable mathematical reasoning
DeepSeekMath-V2 is a large-scale open-source AI model designed specifically for advanced mathematical reasoning, theorem proving, and rigorous proof verification. It’s built by DeepSeek as a successor to their earlier math-specialist models. Unlike general-purpose LLMs that might generate plausible-looking math but sometimes hallucinate or mishandle rigorous logic, Math-V2 is engineered to not only generate solutions but also self-verify them, meaning it examines the derivations, checks logical consistency, and flags or corrects mistakes, producing proofs + verification rather than just a final answer. ... -
18
AppleAccelerate.jl
Julia interface to the macOS Accelerate framework
...At the moment, this package provides access to Accelerate BLAS and LAPACK using the libblastrampoline framework, an interface to the array-oriented functions, which provide a vectorized form for many common mathematical functions. The performance is significantly better than using standard libm functions in some cases, though there does appear to be some reduced accuracy. -
19
SIMD
C++ wrappers for SIMD intrinsics
...The library supports a wide range of instruction sets, including SSE, AVX, NEON, and WebAssembly SIMD, ensuring portability across platforms. It provides vectorized implementations of common mathematical operations, allowing developers to operate on batches of values using familiar syntax. xsimd is widely adopted in performance-critical applications. -
20
Chandra
OCR model for complex documents with layout-aware structured outputs
Chandra is an advanced OCR model designed to extract and structure information from complex documents such as tables, forms, handwritten notes, and mathematical content. It focuses on preserving full document layout, meaning that extracted text is accompanied by positional metadata like bounding boxes for each element. Chandra supports multiple output formats including Markdown, HTML, and JSON, making it suitable for downstream processing and integration into data pipelines. It is capable of handling over 40 languages and is optimized to read difficult inputs such as messy handwriting and multi-column layouts. ... -
21
Unitful.jl
Physical quantities with arbitrary units
...We also want to minimize or in some cases eliminate the run-time penalty of units. There should be facilities for dimensional analysis. All of this should integrate easily with the usual mathematical operations and collections that are found in Julia base. -
22
Key-book
Proofs, cases, concept supplements, and reference explanations
..."Guide" mainly covers seven parts, corresponding to seven important concepts or theoretical tools in machine learning theory, namely: learnability, (hypothesis space) complexity, generalization bound, stability, consistency, convergence rate, regret circle. Daoyin is a highly theoretical book, involving a large number of mathematical theorems and various proofs. Although the writing team has reduced the difficulty as much as possible, due to the nature of machine learning theory, the book still places high demands on the reader's mathematical background. -
23
FEATool Multiphysics
Physics Simulation Made Easy" (Fully Integrated FEA, FEniCS
...By providing a truly easy to use and integrated all-in-one simulation platform for multi-physics analysis, makes FEATool an ideal simulation and modeling tool for everyone from students learning mathematical modeling, to researchers and engineers wishing to explore new ideas in a no fuss, simple, and convenient way. -
24
Symbolics.jl
Symbolic programming for the next generation of numerical software
Symbolics.jl is a high-performance symbolic computation library for the Julia programming language. It enables users to define, manipulate, and analyze mathematical expressions symbolically, with strong support for symbolic differentiation, simplification, equation solving, and code generation. Designed for use in scientific computing, machine learning, and engineering, Symbolics.jl integrates smoothly with Julia’s numerical ecosystem, allowing symbolic expressions to be compiled and optimized for high-speed evaluation. -
25
machine learning tutorials
machine learning tutorials (mainly in Python3)
machine-learning is a continuously updated repository documenting the author’s learning journey through data science and machine learning topics using practical tutorials and experiments. The project presents educational notebooks that combine mathematical explanations with code implementations using Python’s scientific computing ecosystem. Topics covered include classical machine learning algorithms, deep learning models, reinforcement learning, model deployment, and time-series analysis. The repository integrates numerous popular machine learning frameworks and libraries such as scikit-learn, PyTorch, TensorFlow, XGBoost, and Hugging Face. ...
