symbolic-computation | Topic | Ecosyste.ms: Repos

Topic: "symbolic-computation"

iskportal/Dedukt

Dedukt is an open source project of software for mathemaical practice using computers. The main goal is to develop a user firendly, intelligent system for mathematics, proof, new mathematical developments, and also symbolic computation. It can be used by mathematicians and people in sciences.

Language: TeX - Size: 275 KB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

reduce-algebra/reduce.jl Fork of chakravala/Reduce.jl

reduce.jl: Symbolic parser generator for Julia language expressions using REDUCE algebra term re-writer, automatically mirrored from https://github.com/chakravala/Reduce.jl

Size: 1.77 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

jorenham/rxio

Declarative Reactivity in modern Python

Language: Python - Size: 231 KB - Last synced at: 15 days ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

darkeclipz/calcupy

Calculus powered graphical calculator.

Language: Python - Size: 1.61 MB - Last synced at: 11 months ago - Pushed at: over 6 years ago - Stars: 3 - Forks: 0

rdcj-research/rdcj-research.github.io

Exploring epistemology, symbolic systems, and computational emergence

Language: CSS - Size: 185 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 2 - Forks: 0

trabdlkarim/pycalco

A powerful command line interface for arithmetic and symbolic expressions evaluation.

Language: Python - Size: 222 KB - Last synced at: 23 days ago - Pushed at: 6 months ago - Stars: 2 - Forks: 0

Sneaker679/geodpy

Library that calculates geodesics (orbits) using any metric compatible with General Relativity.

Language: Python - Size: 386 KB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 2 - Forks: 0

nylvon/rezolve

ReZolve is a symbolic computer algebra system that acts as a mathematical compiler written in Zig.

Language: Zig - Size: 137 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

reduce-algebra/reducelinalg.jl Fork of JuliaReducePkg/ReduceLinAlg.jl

reducelinalg.jl: A selection of functions that are useful in the world of linear algebra, automatically mirrored from https://github.com/JuliaReducePkg/ReduceLinAlg.jl

Size: 32.2 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

PavlosTzitzos/integrals_calculator

A calculator for definite and indefinite integrals.

Language: Python - Size: 528 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 1

adammaj1/Mandelbrot-book-book

Mandelbrot set. Algorithms and images with short ( 60 lines) example c code. fork of mandelbrot-book how to write a book about the Mandelbrot set by Claude Heiland-Allen

Language: C - Size: 6.18 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0

iliailmer/sian-web-app

This app allows to assess (local and global) identifiability/observability for models defined by systems of parametric ODEs. In addition, the app includes capability for assessing single- and multi-experiment identifiability properties.

Language: JetBrains MPS - Size: 530 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 2 - Forks: 1

ShrohanMohapatra/WeakGravityConjecture

A repository of Mathematica notebooks useful in a report of mine: "A beginner's guide of weak gravity conjecture"

Language: Mathematica - Size: 4.65 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 2 - Forks: 0

slouchart/pyimath

Library for finite field arithmetics and polynomial manipulation

Language: Python - Size: 317 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

doppelgenkan/CayleyDicksonAlgebra

Language: Python - Size: 6.84 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

DelSquared/graph-misc-repo

A miscellaneous repository for anything having to do with computation in the context of Graph Theory

Language: Python - Size: 203 KB - Last synced at: 14 days ago - Pushed at: about 7 years ago - Stars: 2 - Forks: 1

neu-rah/algo

symbolic math / computer algebra experiments

Language: Haskell - Size: 7.25 MB - Last synced at: 3 months ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 0

horchler/polyfitsym

Fit symbolic polynomial to data in Matlab

Language: Matlab - Size: 3.91 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 2 - Forks: 1

reduce-algebra/reduce.jl

reduce.jl: Symbolic parser generator for Julia language expressions using REDUCE algebra term re-writer, automatically mirrored from https://github.com/chakravala/Reduce.jl

Last synced at: over 2 years ago - Stars: 2 - Forks: 0

arcticoder/su2-3nj-uniform-closed-form

Universal closed-form hypergeometric representation of SU(2) 3nj symbols, featuring a LaTeX derivation, master generating functional, and Python scripts for symbolic expansion and numerical verification.

Language: Python - Size: 170 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0

arcticoder/su2-3nj-closedform

Closed-form hypergeometric product formula for arbitrary SU(2) 3nj recoupling coefficients, unifying all coupling graph topologies under a single special-function representation.

Language: HTML - Size: 209 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0

arcticoder/su2-node-matrix-elements

Closed-form SU(2) operator matrix elements for arbitrary-valence nodes via a universal generating functional and hypergeometric expansion.

Language: HTML - Size: 210 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1 - Forks: 0

sergiorf/aleph3

aleph3 is a modern, extensible computer algebra system written in C++20. It provides fast symbolic computation and mathematical expression evaluation, with a focus on clarity, performance, and a familiar, Mathematica-inspired syntax.

Language: C++ - Size: 4.27 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 1 - Forks: 0

oldk1331/fricas Fork of fricas/fricas

Fork of https://github.com/fricas/fricas

Size: 24.4 MB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 1 - Forks: 2

dubprime/mythral

Mythral Neurosymbolic AI

Language: HTML - Size: 4.43 MB - Last synced at: 22 days ago - Pushed at: 23 days ago - Stars: 1 - Forks: 0

Repin-Daniil/symbolic-math

С++ library for symbolic mathematical calculations

Language: C++ - Size: 1.41 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 1 - Forks: 0

srmadrid/camel

Zig numerical and symbolic mathematics library.

Language: Zig - Size: 5.71 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 0

pyrddlgym-project/pyRDDLGym-symbolic

Symbolic compilation of RDDL domains, Dynamic Bayes net (DBN) visualization, symbolic dynamic programming (SDP).

Language: Python - Size: 1.28 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 1

jiandandaoxingfu/maple-latex

主要处理Maple 18(2014)生成的数学表达式的tex代码以及将tex公式转为maple表达式

Language: JavaScript - Size: 5.7 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

James-G-Hill/Sympy-Companion-to-Mathematics-Form-and-Function

A sympy companion to the book Maths: Form and Function

Language: Jupyter Notebook - Size: 38 MB - Last synced at: 7 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

lycantropos/symba

Symbolic computations

Language: Python - Size: 427 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 1

xrsrke/lexios

Symbolic framework for scientific calculation

Language: Python - Size: 148 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

bencwallace/Probly

A Python framework for working with random variables

Language: Python - Size: 355 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

nilqed/pure_jaxmate

Pure node server + JaxMaTe client

Language: Red - Size: 19.2 MB - Last synced at: 20 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

moratori/clover

A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.

Language: Common Lisp - Size: 443 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

brandonwillard/brandonwillard.github.io

A website!

Language: HTML - Size: 43.4 MB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

Hridoy-31/Hands-On-Mathematica

Tinkering with Mathematica :)

Language: Mathematica - Size: 9.14 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

ShrohanMohapatra/SpecialityFunctions

I am implementing some Mathematica functions using Sympy such as SeriesCoefficient, GeneratingFunction etc...

Language: Jupyter Notebook - Size: 7.73 MB - Last synced at: 11 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

ShrohanMohapatra/phaseDiagramsForIonicGases

This is a set of programs that I used to calculate the analytical tractability of phase diagrams of ionic gases in strong electric fields (Shrohan Mohapatra. (2021, May 31). Analytical tractability and computability of the Gibbs ensemble of ions in strong electric fields, 10.5281/zenodo.4884619). I am using canonical ensemble and Gibb's ensemble to compute the statistical-mechanical quantities and then constructing the phase diagrams.

Language: Mathematica - Size: 7.25 MB - Last synced at: almost 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

redrossa/matstep

An extensible step-by-step computation library

Language: Python - Size: 105 KB - Last synced at: 11 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

pedroguarderas/qft

Computations for QFT

Language: VBA - Size: 37.1 KB - Last synced at: 4 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1

RenanSGuedes/ms211

Algoritmo que interpola funções polinomiais pelo método de Lagrange.

Language: Python - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

nielstron/symplex

Symbolic computation of the simplex algorithm for educational purposes

Language: Python - Size: 66.4 KB - Last synced at: 3 months ago - Pushed at: almost 5 years ago - Stars: 1 - Forks: 0

Vykstorm/ginac

Special purpose C++ library for symbolic computations

Language: C++ - Size: 5.75 MB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

Manas-Shukla/Dr-Math

Symbolic Computation features implemented in Racket

Language: Racket - Size: 10.7 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

grzegorzmazur/ryacas Fork of r-cas/ryacas

R interface to the free yacas Computer Algebra System

Language: C++ - Size: 4.54 MB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

TUTElectromechanics/mm-codegen

Code generator for exporting material model to Elmer.

Language: Fortran - Size: 4.96 MB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

ga-explorer/gmac-guides

GMac, short for “Geometric Macro“, is a sophisticated .NET based code generation software system that allows implementing geometric models and algorithms based on Geometric Algebra (GA) in arbitrary target programming languages. You can download the full GMac source code at: https://github.com/ga-explorer/GMac and you can read the full GMac user guides at: https://gmac-guides.netlify.com

Language: HTML - Size: 616 MB - Last synced at: 11 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

dprodanov/colehopf

Cole Hopf transformations in Maxima

Size: 67.4 KB - Last synced at: 11 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

nilqed/fricas_cygwin

FriCAS for Cygwin64 (portable)

Size: 284 KB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

kodebro/powerresiduesymbol

Algorithm that computes the powerresidue symbol, the hilbert symbol and ibeta

Size: 33.2 KB - Last synced at: 8 months ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

reduce-algebra/reduce-algebra

reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, to report any bugs or request assistance.

Last synced at: about 2 years ago - Stars: 1 - Forks: 0

reduce-algebra/reduce-historical

reduce-historical: historical snapshots of the portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/code/historical/. Please visit the REDUCE Homepage, https://reduce-algebra.sourceforge.io/, for additional details.

Last synced at: over 2 years ago - Stars: 1 - Forks: 0

reduce-algebra/reducelinalg.jl

reducelinalg.jl: A selection of functions that are useful in the world of linear algebra, automatically mirrored from https://github.com/JuliaReducePkg/ReduceLinAlg.jl

Last synced at: over 2 years ago - Stars: 1 - Forks: 0

lpaggen/Mathematical-Optimization-Library

A custom programming language I am designing and writing in my free time

Language: Java - Size: 130 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 0 - Forks: 0

AlbertNewton137/GRDidactic

Códigos didácticos para cálculos de relatividad general/Didactic codes for general relativity calculations

Language: HTML - Size: 5.22 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0

SigniferNoctis/Meta-Architectural-AI-Prompts

Prompt based simulation frameworks

Size: 5.86 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 0 - Forks: 0

AJQuattropani/aurora-symcalc

Symbolic computation

Language: C - Size: 938 KB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 0

aygp-dr/els2026-lightning-talks

Lightning talk proposals and development for European Lisp Symposium 2026. Exploring bidirectional LLM-Lisp integration, REPL observability, incremental typing, web components, and protocol programming.

Language: Common Lisp - Size: 74.2 KB - Last synced at: 6 days ago - Pushed at: 25 days ago - Stars: 0 - Forks: 0

Fabricio031707/rdcj-research.github.io

Independent research in symbolic systems and harmonic epistemology.

Language: CSS - Size: 56.6 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Davide-sd/sympy-equation

Equations supporting mathematical operations for SymPy

Language: Python - Size: 2.43 MB - Last synced at: 3 days ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Klaudiusz321/itensor-backend

A scientific computing platform for symbolic and numerical tensor operations, focused on differential geometry and general relativity.

Language: Python - Size: 11.8 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

T3gu1a/D-algebraic-functions

A maple package (NLDE: NonLinear algebra and Differential Equations) for operations with D-algebraic functions

Language: Objective-C++ - Size: 2.15 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

SymDynamics/dymsum

A tool to declare and solve symbolic equations of dynamical systems and control theory

Size: 6.84 KB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0

ariunbolor/nsaf-mcp-server

The Neuro-Symbolic Autonomy Framework integrates neural, symbolic, and autonomous learning methods into a single, continuously evolving AI agent-building system. This prototype demonstrates the SCMA component, which enables AI agents to self-design new AI agents using Generative Architecture Models.

Language: Python - Size: 47.9 KB - Last synced at: 9 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 2