Search Results for "mathematical" - Page 7
Sort By:
Showing 663 open source projects for "mathematical"
View related business solutions-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
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.
-
1
DeepSeek Math
Pushing the Limits of Mathematical Reasoning in Open Language Models
DeepSeek-Math is DeepSeek’s specialized model (or dataset + evaluation) focusing on mathematical reasoning, symbolic manipulation, proof steps, and advanced quantitative problem solving. The repository is likely to include fine-tuning routines or task datasets (e.g. MATH, GSM8K, ARB), demonstration notebooks, prompt templates, and evaluation results on math benchmarks. The goal is to push DeepSeek’s performance in domains that require rigorous symbolic steps, calculus, linear algebra, number theory, or multi-step derivations. ... -
2
Hasktorch
Tensors and neural networks in Haskell
Hasktorch is a powerful Haskell library for tensor computation and neural network modeling, built on top of libtorch (the backend of PyTorch). It brings differentiable programming, automatic differentiation, and efficient tensor operations into Haskell’s strongly typed functional paradigm. This project is in active development, so expect changes to the library API as it evolves. We would like to invite new users to join our Hasktorch discord space for questions and discussions.... -
3
NoteCalc
NoteCalc is a handy calculator
...Designed as a web-based alternative to tools like Soulver, it emphasizes clarity and context by keeping formulas and results visually aligned. The system supports advanced mathematical operations, including matrices, units, percentages, and custom functions, making it suitable for both everyday calculations and more technical use cases. It also features intelligent parsing, autocompletion, and variable referencing, allowing users to build complex calculations incrementally across multiple lines. -
4
minfx
Minfx optimisation library
The minfx project is a Python package for numerical optimisation, being a large collection of standard minimisation algorithms. The name minfx is simply a shortening of the mathematical expression min f(x). -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
MaTeX
LaTeX labels in Mathematica
...MaTeX will always load the latest installed MaTeX that is compatible with your version of Mathematica. Mathematica is an excellent and flexible visualization tool, and even supports displaying complex mathematical formulae. However, its typesetting quality is not on par with Latex. -
6
slambook
Code for new book about visual SLAM
slambook is the companion code repository for the first edition of 14 Lectures on Visual SLAM: From Theory to Practice. It organizes practical C++ examples by book chapter so readers can compile, run, and modify each concept. The material progresses from Linux, CMake, rigid-body motion, Eigen, Lie groups, and camera models to complete SLAM components. It demonstrates nonlinear optimization with Ceres and g2o, feature-based visual odometry, and direct visual odometry. Later sections cover... -
7
cyrillic-modern
Yet another Cyrillic version of Computer Modern fonts
...So, these fonts break metric compatibility with the Computer Modern fonts. For consistency, the modified mathematical italic fonts are provided. The font sources are located at http://code.google.com/p/cyrillic-modern/ -
8
Audiographs
Math Accessibility Tool for Visually Impaired
Audiographs is an application that allows visually impaired students to study a mathematical function. This is achieved by using sound or musical notes. The user enters the function formula and can very easily hear its audio representation. The application is interactive and this gives the user the possibility to study the function in multiple ways. The best way to learn using the application is to use the documentation which offers a step by step guide. -
9
ToRA
Tool-integrated Reasoning LLM Agents
...The framework was designed to address known weaknesses of large language models in mathematical problem solving and formal reasoning tasks. Training data includes tool-use trajectories that teach the model when to reason verbally and when to delegate tasks to specialized tools. -
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
10
snorkel
A system for quickly generating training data with weak supervision
...The Snorkel project started at Stanford in 2016 with a simple technical bet: that it would increasingly be the training data, not the models, algorithms, or infrastructure, that decided whether a machine learning project succeeded or failed. Given this premise, we set out to explore the radical idea that you could bring mathematical and systems structure to the messy and often entirely manual process of training data creation and management, starting by empowering users to programmatically label, build, and manage training data. Snorkel Flow, an end-to-end machine learning platform for developing and deploying AI applications. Snorkel Flow incorporates many of the concepts of the Snorkel project with a range of newer techniques around weak supervision modeling, data augmentation, multi-task learning, data slicing and structuring. -
11
LaTeXML
A TeX and LaTeX to XML/HTML/ePub/MathML translator
...Unlike traditional TeX-to-PDF processors, LaTeXML preserves semantic content, making it suitable for web publishing, accessibility, and content reuse. It supports a wide range of LaTeX packages and is designed to enable high-quality rendering of mathematical and scientific documents. -
12
TOQMI
Mathematical Al-Quran Interpretative Theorem (TOQMI)" is an approach t
Welcome to our thought-provoking delve into the captivating world of the Theory of Quranic Mathematical Integration. Prepare to be amazed as we unravel the intriguing connections between mathematics and the Quran. Join us as we explore the scientific and spiritual aspects that converge in this fascinating intersection. Discover how mathematical patterns within the sacred text leave us in awe of its divine wisdom. Get ready for mind-bending revelations that showcase the .... -
13
Math Model
Code, resources, and templates for mathematical modeling
Math_Model is a repository collecting resources, code, and algorithm templates for mathematical modeling and competition (e.g. Chinese modeling contests, US undergraduate modeling competitions). It includes LaTeX templates for writing solutions, records of past contest problems and winning solutions, algorithm implementations in MATLAB / M scripts for optimization, intelligent algorithms, numerical methods, and model frameworks. -
14
Entity-To-Code
Mathematical Functions in an NPM library made with JS and C++
NPM URL: https://www.npmjs.com/package/entitytocode Source Forge: https://entity-to-code.sourceforge.io WIKI Git: https://github.com/BSW-G-D-iph6/Entity-To-Code/wiki -
15
A implementation of the mathematical model of the human ear described in the Benedetto and Teolis paper.
-
16
Alpaca-CoT
We unified the interfaces of instruction-tuning data
Alpaca-CoT is an open research project focused on improving reasoning capabilities in language models through chain-of-thought training data. The project builds upon the Alpaca instruction-tuning approach by introducing datasets and methods that encourage models to produce intermediate reasoning steps when solving problems. Instead of generating answers directly, the model learns to produce logical reasoning sequences that lead to the final solution. This chain-of-thought supervision helps... -
17
Gorgonia
Gorgonia is a library that helps facilitate machine learning in Go
Write and evaluate mathematical equations involving multidimensional arrays easily. Gorgonia is a library that helps facilitate machine learning in Go. Write and evaluate mathematical equations involving multidimensional arrays easily. If this sounds like Theano or TensorFlow, it's because the idea is quite similar. Specifically, the library is pretty low-level, like Theano, but has higher goals like Tensorflow. -
18
MathLabTool
math,simulation,graphics
Provide convenient tools for mathematical related experiment, simulation, graphics and other requirements. -
19
XAML-Math
A collection of .NET libraries for rendering mathematical formulae
A collection of .NET libraries for rendering mathematical formulae using the LaTeX typesetting style, for the WPF and Avalonia XAML-based frameworks. -
20
wxMEdit
wxMEdit, Cross-platform Text/Hex Editor, Improved Version of MadEdit
•Added automatically checking for updates •Added bookmark support •Added right-click context menu for each tab •Added purging histories support •Added selecting a line by triple click •Added FreeBASIC syntax file •Added an option to place configuration files into %APPDATA% directory under Windows •Improved support for Find/Replace •Improved Mac OS X support •Improved system integration under Windows •Improved encoding detection result •Improved Hex editing support •Added more... -
21
wxMathPlot is an add-on library for wxWidgets which provides a framework for easy plotting of mathematical functions, sampled data and generic 2D plots.
-
22
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. -
23
picoGPT
An unnecessarily tiny implementation of GPT-2 in NumPy
...It allows users to understand how tokenization, transformer layers, attention mechanisms, and autoregressive text generation operate in modern large language models. The project uses a small amount of code to illustrate the essential mathematical operations involved in training and running a transformer-based neural network. Because the code is intentionally lightweight, it is often used as a teaching resource for students learning about natural language processing and deep learning architectures. Developers can explore the repository to understand how language models generate text and how transformer components interact within the architecture. -
24
QScript
Expression and algorithm evaluator (built with Java)
V2.1.1 compatible with Processing 2 & 3. A powerful yet simple to use scripting language that can be used to evaluate expressions and simple algorithms. In fact it is the only evaluator I know that supports complex numbers and vectors without the need for additional configuration. The emphasis is on simplicity and extensibility and the website provides detailed guides to help you get the most of QScript. It supports variables, selection (IF-THEN-ELSE) and repetition (WHILE-WEND and... -
25
whiteboxgui
An interactive GUI for WhiteboxTools in a Jupyter-based environment
The whiteboxgui Python package is a Jupyter frontend for WhiteboxTools, an advanced geospatial data analysis platform developed by Prof. John Lindsay (webpage; jblindsay) at the University of Guelph's Geomorphometry and Hydrogeomatics Research Group. WhiteboxTools can be used to perform common geographical information systems (GIS) analysis operations, such as cost-distance analysis, distance buffering, and raster reclassification. Remote sensing and image processing tasks include image...
