Search Results for "mathematical" - Page 5
Sort By:
Showing 112 open source projects for "mathematical"
View related business solutions-
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.
-
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.
-
1
-
2
A library for number theory, symbolic algebra, geometry, special functions, etc, written entirely in Python.
-
3
Easy-to-learn interactive 2d plot program. Can overlay images, xy-data, and mathematical functions. Function parameters can be tuned with sliders; functions can also be automatically fitted to data. Written in Python, cross-platform, but currently broken
-
4
The Wolfram Machine project is an effort to create a set of documentation and useful modules (both hardware and software) for a computing architecture based on the mathematical theories presented in Steven Wolfram's book _A_New_Kind_of_Science_.
-
Stop Cyber Threats with VM-Series Next-Gen Firewall on AzureGain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
-
5
A GUI built using Python 2.3+, wxPython and PyOpenGL for the mathematical modeling and visualization of landscape and streamflow systems. This visualization tool uses the Channel-Hillslope Integrated Landscape Development (CHILD) model as its backend.
-
6
Port of Numerical Python to Jython (Java Python) to support all mathematical operations (linear algebra, matrices, DSP, wavelets, FFT, arrays...) and thus compete with commercial packages such as Matlab. It can be easily embedded in Java programs.
-
7
A gnome mathematical GUI designed to be a central tool where you can launch various other existing mathematical tools. It now supports Numerical Python Session, and more soon.
-
8
Leanstral
Open-source code agent designed for Lean 4
...The model can assist in writing proofs, exploring mathematical structures, and validating logical properties in code. -
9
this is a small project which provides several mathematical function useful for a chemist or somebody working with mass specs. The goal is to provide several cuda and c based functions which can be easily accessed using java, groovy and python.
-
$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.
-
10
VectTens
A library for handling vectors, tensors, and more.
VectTens is an object-oriented numerical library designed to manipulate vectors, tensors, and other mathematical quantities in a simple and efficient manner. -
11
DeepSeek-V3.2-Speciale
High-compute ultra-reasoning model surpassing model surpassing GPT-5
DeepSeek-V3.2-Speciale is the high-compute, ultra-reasoning variant of DeepSeek-V3.2, designed specifically to push the boundaries of mathematical, logical, and algorithmic intelligence. It builds on the DeepSeek Sparse Attention (DSA) framework, delivering dramatically improved long-context efficiency while preserving full model quality. Unlike the standard version, Speciale is tuned exclusively for deep reasoning and therefore does not support tool-calling, focusing its full capacity on pure cognitive performance. ... -
12
DeepSeek-V3.2
High-efficiency reasoning and agentic intelligence model
...Built with a scalable reinforcement learning framework, it reaches near-GPT-5 levels of reasoning and outperforms comparable models like DeepSeek-V3.1 and Gemini-3.0-Pro in advanced benchmarks. The model was notably used in competitive AI challenges such as the 2025 International Mathematical Olympiad (IMO) and IOI, achieving top-tier results. DeepSeek-V3.2 also features a large-scale agentic task synthesis pipeline, which generates training data to enhance tool-use intelligence and multi-step reasoning. It introduces a new “thinking with tools” chat template, allowing it to reason and decide when to invoke specific tools during problem solving.
