Search Results for "symbolic math toolbox."
Sort By:
Showing 39 open source projects for "symbolic math toolbox."
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.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
Euler Math Toolbox
Numerical and Symbolic Math Tool
Euler is a powerful all-in-one numerical software and includes Maxima for seamless symbolic computations. Euler supports Latex for math display, Povray for photo-realistic 3D scenes, Python, Matplotlib and C for scripting, and contains a full programming language. Features include libraries for numerical algorithms, optimization, plotting in 2D and 3D, graphics export, a complete help system, tutorials and examples. -
2
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. -
3
YALMIP
MATLAB toolbox for optimization modeling
MATLAB toolbox for optimization modeling. -
4
Quaternion toolbox for Matlab
Quaternion and octonion toolbox for Matlab
Quaternion toolbox for Matlab is a toolbox that extends Matlab to handle matrices of quaternions with real and complex components. Many Matlab operators and functions are overloaded to work for real quaternion and complexified quaternion matrices. Version 2 of the toolbox adds support for octonions. Version 3 adds symbolic computation with quaternions, provided that you have the Symbolic Math Toolbox (if you don't the numeric functionality will still work). -
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
5
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... -
6
SymPy
A computer algebra system written in pure Python
SymPy is an open source Python library for symbolic mathematics. Its goal is to become a full-featured computer algebra system (CAS) while maintaining the simplicity of its code. Written entirely in Python, SymPy is easy to use, comprehensible and easily extensible. It’s also very lightweight as it solely depends on mpmath, a pure Python library for arbitrary floating point arithmetic. SymPy has participated in every Google Summer of Code since 2007 and because of this has continuously... -
7
latexify
A library to generate LaTeX expression from Python code
latexify_py converts small, math-heavy pieces of Python code into human-readable LaTeX that mirrors the intent of the computation, not just its surface syntax. It parses Python functions and expressions into an abstract syntax tree (AST), applies symbolic rewrites for common mathematical constructs, and then emits LaTeX that compiles cleanly in standard environments. -
8
OmniTools
Self-hosted collection of powerful web-based tools for everyday tasks
OmniTools is a self-hosted web application that bundles a large collection of everyday utilities into a single clean interface you can run on your own infrastructure. It’s designed to replace the random assortment of “free online tools” people use for quick tasks, while avoiding ads, tracking, and the need to upload sensitive files to unknown servers. A key design choice is that file processing happens entirely on the client side, meaning your data stays in your browser instead of being sent... -
9
ToRA
Tool-integrated Reasoning LLM Agents
ToRA is an open-source framework developed by Microsoft for building tool-integrated reasoning agents powered by large language models. The project focuses on improving the ability of AI systems to solve complex mathematical and analytical problems by combining natural language reasoning with external computational tools. Instead of relying solely on text generation, the system dynamically invokes tools such as symbolic solvers or programming libraries when deeper computation is required.... -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
10
java symbolic computing library and math editor, with : polynomial system solving, vectors & matrices, factorization, derivatives, integrals (rational functions), boolean algebra, simplification, MathML output, java code generation, geometric algebra
-
11
Symja Java Computer Algebra
Symja - Java computer algebra language & symbolic math library
Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example -
12
JATE is an enhanced notepad(maybe wordpad also) replacement. It includes all the features in notepad plus Math equation editor, Symbolic calculator, graph plotter, syntax highlighting, and etc. It is an upgrade from QuillEdit at https://sourceforge.net/projects/quilledit/
-
13
Nerdamer
a symbolic math expression evaluator for javascript
Nerdamer is a small and light-weight symbolic math expression evaluator written in JavaScript. The parsing is done purely in JavaScript and uses no server-side program whatsoever. It can export to a pure javascript function, ideal for filtering user input. Nerdamer is modular so you only need to load the parts you need. Because of this and its small footprint, it can easily be embedded into your applications. -
14
PIP
Useful crossplatform library for distributed systems
Platform-Independent Primitives. Contain string, thread, timer, file, config file, serial port, ethernet (UDP, TCP, broadcast, multicast), protocol, multiprotocol, peer, console, variable, struct, evaluator, system monitor (Linux only), CLI (command-line interface) parser. Package include library that you can build with 'qmake' or 'CMake' and test program in 'main.cpp'. Online documentation: http://ppip.sourceforge.net/doc/ -
15
Analog Insydes is a Mathematica toolbox for symbolic analysis of analog electronic circuits. This project provides a set of free add-ons to Analog Insydes, including a Java front-end and a native netlister for Cadence's Analog Design Environment (ADE).
-
16
libcrn is document image processing library written in C++11 for Linux, Windows, Mac OsX and Google Android. It is a toolbox that allows to create easily software such as OCRs and layout analysis tools.
-
17
Repository moving to https://github.com/cmendl/fermifab ! A quantum physics toolbox for small fermionic systems. Keywords: quantum mechanics, reduced density matrices, Slater determinants, second quantization, creation and annihilation operators
-
18
This is a sophisticated & integrated simulation and analysis environment for dynamical systems models of physical systems (ODEs, DAEs, maps, and hybrid systems). It supports symbolic math, optimization, continuation, data analysis, biological apps...
-
19
JKMath
A Simple Math Library
A simple math library in c++ to evaluate symbolic functions efficiently and effectively. -
20
rfMaxima is an RF toolbox for the wxMaxima computer algebra system.
-
21
Walley Language is written in C language. The name comes from Wall-E because I like Wall-E and I like AI. I want to make a true AI language. While I only make it like python now. Full codes written in C language. I am using mathomatic as my math-parse which is written in C language too. While I also wrote a math parser on my own, it does not work very well now. just use gcc and compile main.c, it is done.. Tested on Mac and Ubuntu. "gcc -g -o walley main.c -lm" That's all.
-
22
SAC - Symbolic Analysis and Control
CAS routines for theoretical analysis of nonlinear time-delay systems
SAC (Symbolic Analysis and Control) is a toolbox for people working in control theory. It will help to the analysis and synthesis of nonlinear systems described by state equations (with or without delays). -
23
ViennaMath
A symbolic math kernel in C++
ViennaMath provides a symbolic math kernel which can be used either for compile-time processing, or for run-time evaluation. Unlike other symbolic math implementations, ViennaMath aims at providing a fast math layer for use with numerical methods such as the finite element method (cf. ViennaFEM) -
24
ViennaFEM
A finite element solver using state-of-the-art programming techniques.
ViennaFEM is a library-centric implementation of the finite element method in C++. It features a symbolic math kernel, which manipulates the strong or weak form of the problem and automatically derives the discrete form. ViennaFEM is built on top of the following libraries: ViennaMath provides the symbolic math kernel, ViennaGrid (with ViennaData) allows for a generic grid handling and quantity storage, while ViennaCL provides the linear solvers and GPU acceleration. -
25
AS3Libs
A collection of AS3 libraries and sketches
...It includes many small independent libraries for things like collision detection, color matrices/filters, particle effects, random number utilities, path-finding, etc., as well as smaller visual/interactive sketch examples. It is intended as a resource/toolbox for developers building in AS3 (Flash / AIR). Simple library for breaking intensive tasks up across frames to maintain UI responsiveness (simple green threads). Provides common color adjustment methods for use with ColorMatrixFilter. Uses the same math/values as the Flash Pro IDE's "Adjust Color" filter.
