Search Results for "symbolic"
Sort By:
Showing 308 open source projects for "symbolic"
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.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
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. -
2
PySR
High-Performance Symbolic Regression in Python and Julia
...The details of these algorithms are described in the PySR paper. Symbolic regression works best on low-dimensional datasets, but one can also extend these approaches to higher-dimensional spaces by using "Symbolic Distillation" of Neural Networks, as explained in 2006.11287, where we apply it to N-body problems. Here, one essentially uses symbolic regression to convert a neural net to an analytic equation. -
3
ModelingToolkit.jl
Modeling framework for automatically parallelized scientific ML
ModelingToolkit.jl is a modeling language for high-performance symbolic-numeric computation in scientific computing and scientific machine learning. It then mixes ideas from symbolic computational algebra systems with causal and acausal equation-based modeling frameworks to give an extendable and parallel modeling system. It allows for users to give a high-level description of a model for symbolic preprocessing to analyze and enhance the model. -
4
Physical Symbolic Optimization (Φ-SO)
Physical Symbolic Optimization
Physical Symbolic Optimization (Φ-SO) - A symbolic optimization package built for physics. Symbolic regression module uses deep reinforcement learning to infer analytical physical laws that fit data points, searching in the space of functional forms. -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
SymbolicNumericIntegration.jl
SymbolicNumericIntegration.jl: Symbolic-Numerics for Solving Integrals
SymbolicNumericIntegration.jl is a hybrid symbolic/numerical integration package that works on the Julia Symbolics expressions. -
6
alphageometry
AI-driven neuro-symbolic solver for high-school geometry problems
...AlphaGeometry integrates a symbolic deduction engine with a transformer-based language model to propose and validate geometric constructions in a stepwise proof process. The DDAR solver focuses purely on rule-based reasoning, while AlphaGeometry enhances this by using a learned model to suggest auxiliary constructions when logical reasoning alone is insufficient. -
7
SymbolicUtils.jl
Symbolic expressions, rewriting and simplification
SymbolicUtils is a practical symbolic programming utility in Julia. It lets you create, rewrite and simplify symbolic expressions, and generate Julia code from them. SymbolicUtils.jl provides various utilities for symbolic computing. SymbolicUtils.jl is what one would use to build a Computer Algebra System (CAS). If you're looking for a complete CAS, similar to SymPy or Mathematica, see Symbolics.jl. -
8
Catalyst.jl
Chemical reaction network and systems biology interface
Catalyst.jl is a symbolic modeling package for analysis and high-performance simulation of chemical reaction networks. Catalyst defines symbolic ReactionSystems, which can be created programmatically or easily specified using Catalyst's domain-specific language (DSL). Leveraging ModelingToolkit and Symbolics.jl, Catalyst enables large-scale simulations through auto-vectorization and parallelism. -
9
YALMIP
MATLAB toolbox for optimization modeling
MATLAB toolbox for optimization modeling. -
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
10
SymbolicRegression.jl
Distributed High-Performance Symbolic Regression in Julia
SymbolicRegression.jl searches for symbolic expressions which optimize a particular objective. -
11
Mathematics Dataset
This dataset code generates mathematical question and answer pairs
...The dataset enables models to learn mathematical problem-solving through examples that involve both numeric and symbolic reasoning. Version 1.0 includes over 2 million examples per category, with training splits labeled as “easy,” “medium,” and “hard,” supporting curriculum-based learning strategies. The data can be accessed via PyPI or generated locally using provided Python scripts, with outputs formatted for direct use in training or evaluation pipelines. -
12
CasADi
CasADi is a symbolic framework for numeric optimization
CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT, etc. It can be used in C++, Python, or Matlab/Octave. CasADi's backbone is a symbolic framework implementing forward and reverse modes of AD on expression graphs to construct gradients, large-and-sparse Jacobians, and Hessians. ... -
13
Cryptol
Cryptol: The Language of Cryptography
...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. -
14
Handcalcs
Python library for converting Python calculations into rendered latex
Handcalcs is a Python library that auto-renders calculation code in Jupyter notebooks or LaTeX documents with step-by-step symbolic substitution, giving output a “handwritten” feel. It supports cell magics and auto-LaTeX generation via configurable output options. -
15
MethodOfLines.jl
Automatic Finite Difference PDE solving with Julia SciML
MethodOfLines.jl is a Julia package for automated finite difference discretization of symbolically defined PDEs in N dimensions. It uses symbolic expressions for systems of partial differential equations as defined with ModelingToolkit.jl, and Interval from DomainSets.jl to define the space(time) over which the simulation runs. This project is under active development, therefore the interface is subject to change. The docs will be updated to reflect any changes, please check back for current usage information. -
16
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. ... -
17
gplearn
Genetic Programming in Python, with a scikit-learn inspired API
gplearn implements Genetic Programming in Python, with a scikit-learn-inspired and compatible API. While Genetic Programming (GP) can be used to perform a very wide variety of tasks, gplearn is purposefully constrained to solving symbolic regression problems. This is motivated by the scikit-learn ethos, of having powerful estimators that are straightforward to implement. Symbolic regression is a machine learning technique that aims to identify an underlying mathematical expression that best describes a relationship. It begins by building a population of naive random formulas to represent a relationship between known independent variables and their dependent variable targets in order to predict new data. ... -
18
LazySets.jl
Scalable Symbolic-Numeric Set Computations
LazySets.jl is a Julia package for calculus with convex sets. The aim is to provide a scalable library for solving complex set-based problems, such as those encountered in differential inclusions or reachability analysis techniques in the domain of formal verification. Typically, one is confronted with a set-based recurrence with a given initial set and/or input sets, and for visualization purposes, the final result has to be obtained through an adequate projection onto low dimensions. This... -
19
PyTensor
Python library for defining and optimizing mathematical expressions
...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. Based on one of the most widely-used Python tensor libraries: Theano. -
20
MuseGAN
An AI for Music Generation
MuseGAN is a deep learning research project designed to generate symbolic music using generative adversarial networks. The system focuses specifically on generating multi-track polyphonic music, meaning that it can simultaneously produce multiple instrument parts such as drums, bass, piano, guitar, and strings. Instead of generating raw audio, the model operates on piano-roll representations of music, which encode notes as time-pitch matrices for each instrument track. -
21
NonlinearSolve.jl
High-performance and differentiation-enabled nonlinear solvers
...NonlinearSolve.jl interfaces with other packages of the Julia ecosystem to make it easy to test alternative solver packages and pass small types to control algorithm swapping. It also interfaces with the ModelingToolkit.jl world of symbolic modeling to allow for automatically generating high-performance code. -
22
Jimfs
An in-memory file system for Java 8+
...Developed by Google, it allows developers to create and manipulate file systems entirely in memory, making it ideal for testing, simulation, and temporary file operations without touching the actual disk. Jimfs supports most standard file operations, including file and directory creation, deletion, copying, symbolic and hard links, as well as stream-based file reading and writing. It also provides robust support for features like SecureDirectoryStream, WatchService for directory change notifications, and multiple attribute views (basic, posix, unix, dos, and acl). Users can configure Jimfs to mimic UNIX or Windows-style paths and behaviors, depending on the environment they need to simulate. -
23
Agno
Lightweight framework for building Agents with memory, knowledge, etc.
...It provides a flexible framework for modeling reasoning, memory, decision-making, and planning, aimed at long-term AI research beyond narrow learning. Agno embraces multi-agent environments and symbolic reasoning as part of its core design, enabling experiments with structured knowledge, goal-oriented behaviors, and meta-learning. It’s designed for researchers seeking an extensible platform to explore AGI components without being tied to black-box models. -
24
SymEngine.jl
Julia wrappers of SymEngine
Julia Wrappers for SymEngine, a fast symbolic manipulation library, written in C++. -
25
Agents 2.0
An Open-source Framework for Data-centric Language Agents
Agents is an open-source framework designed to build and train autonomous language agents through a data-centric and learning-oriented architecture. The project introduces a concept known as agent symbolic learning, which treats an agent pipeline similarly to a neural network computational graph. In this framework, each node in the pipeline represents a step in the reasoning or action process, while prompts and tools act as adjustable parameters analogous to neural network weights. During training, the system performs a forward execution where the agent completes a task and records the trajectory of prompts, outputs, and tool usage. ...
