matematiflo/CompAssistedMath2024

GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.

Language: Jupyter Notebook - Size: 174 KB - Last synced: 1 day ago - Pushed: 2 days ago - Stars: 4 - Forks: 11

Mathics3/mathics-core

An open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execute them.

Language: Python - Size: 26.6 MB - Last synced: 3 days ago - Pushed: about 1 month ago - Stars: 720 - Forks: 40

oldk1331/fricas Fork of fricas/fricas

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

Size: 22.3 MB - Last synced: about 11 hours ago - Pushed: about 13 hours ago - Stars: 1 - Forks: 2

nylvon/rezolve

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

Language: Zig - Size: 93.8 KB - Last synced: 4 days ago - Pushed: 5 days ago - Stars: 2 - Forks: 0

ZCG-coder/Steppable

A CAS that solves step-by-step. Still in development.

Language: C++ - Size: 28.2 MB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 6 - Forks: 1

grzegorzmazur/yacas

Computer calculations made easy

Language: JavaScript - Size: 60.1 MB - Last synced: 3 days ago - Pushed: about 2 months ago - Stars: 119 - Forks: 24

souffle17/cas-from-scratch

a computer algebra system made with no external libraries

Language: Rust - Size: 82 KB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 0 - Forks: 0

LordUbuntu/maths

Maths focused libraries and programs that may not neatly fit into DSA

Language: Python - Size: 91.8 KB - Last synced: 9 days ago - Pushed: 9 days ago - Stars: 0 - Forks: 0

gap-system/gap

Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra

Language: GAP - Size: 418 MB - Last synced: 9 days ago - Pushed: 10 days ago - Stars: 760 - Forks: 157

JuliaSymbolics/Symbolics.jl

Symbolic programming for the next generation of numerical software

Language: Julia - Size: 19.2 MB - Last synced: 15 days ago - Pushed: 18 days ago - Stars: 1,291 - Forks: 137

davidedc/Algebrite

Computer Algebra System in Javascript (Typescript)

Language: TypeScript - Size: 3.55 MB - Last synced: 12 days ago - Pushed: 11 months ago - Stars: 943 - Forks: 58

christianparpart/dim

C++ mathematics library for linear algebra, symbolic algebra

Language: C++ - Size: 78.1 KB - Last synced: 15 days ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

hemmecke/fricas Fork of fricas/fricas

Ralf's public branches of FriCAS

Size: 55.5 MB - Last synced: 18 days ago - Pushed: 18 days ago - Stars: 1 - Forks: 0

qed-project/project

The monorepo containing all code for the QED project

Language: Rust - Size: 165 KB - Last synced: 21 days ago - Pushed: 21 days ago - Stars: 1 - 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: 15 days ago - Pushed: 23 days ago - Stars: 3 - Forks: 0

haifengl/smile

Statistical Machine Intelligence & Learning Engine

Language: Java - Size: 240 MB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 5,923 - Forks: 1,118

kpeeters/cadabra2

A field-theory motivated approach to computer algebra.

Language: C++ - Size: 149 MB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 214 - Forks: 37

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.

Size: 1.17 GB - Last synced: 27 days ago - Pushed: 28 days ago - Stars: 31 - Forks: 0

isaacphysics/equality-checker

Lightweight server for testing equivalence of two symbolic expressions.

Language: Python - Size: 311 KB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 8 - Forks: 2

Ariana1729/CAS-C-

Experimental CAS in C

Language: C - Size: 65.4 KB - Last synced: 25 days ago - Pushed: over 5 years ago - Stars: 1 - Forks: 1

reduce-algebra/homebrew-reduce-algebra

A macOS Homebrew tap for REDUCE, the portable general-purpose computer algebra system.

Size: 322 KB - Last synced: 27 days ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

oscar-system/Oscar.jl

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.

Language: Julia - Size: 538 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 289 - Forks: 112

mkulesh/microMathematics

microMathematics Plus - Extended visual calculator

Language: Java - Size: 274 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 537 - Forks: 68

fricas/fricas

Official repository of the FriCAS computer algebra system

Size: 21.3 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 285 - Forks: 45

bluescarni/obake

A C++20 library for the symbolic manipulation of sparse polynomials & co.

Language: C++ - Size: 10.1 MB - Last synced: 15 days ago - Pushed: over 1 year ago - Stars: 22 - Forks: 8

zalo/Symplex

A Symbolic Code Algebra+Calculus system for VS Code

Language: TypeScript - Size: 753 KB - Last synced: 16 days ago - Pushed: about 2 years ago - Stars: 28 - Forks: 1

justindujardin/mathy

Tools for using computer algebra systems to solve math problems step-by-step with reinforcement learning

Language: Python - Size: 68.2 MB - Last synced: 11 days ago - Pushed: 4 months ago - Stars: 128 - Forks: 158

Canna71/obsidian-mathpad

Computer Algebra System (CAS) for Obsidian.md

Language: TypeScript - Size: 807 KB - Last synced: about 1 month ago - Pushed: 6 months ago - Stars: 79 - Forks: 3

QuantumSavory/QuantumSymbolics.jl

Computer algebra tools for symbolic manipulations in quantum mechanics and quantum information

Language: Julia - Size: 477 KB - Last synced: 7 days ago - Pushed: 10 days ago - Stars: 20 - Forks: 4

hiwane/ganrac

Go language version QE tool for Real Algebraic Constraints

Language: Go - Size: 751 KB - Last synced: 2 months ago - Pushed: 3 months ago - Stars: 0 - Forks: 0

leftaroundabout/dumb-cas

A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.

Language: Haskell - Size: 123 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 16 - Forks: 1

egison/egison

The Egison Programming Language

Language: Haskell - Size: 8.5 MB - Last synced: about 2 months ago - Pushed: over 1 year ago - Stars: 900 - Forks: 32

MasonProtter/Symbolics.jl

A symbolic math library written in Julia modelled off scmutils

Language: Julia - Size: 155 KB - Last synced: 2 months ago - Pushed: about 3 years ago - Stars: 106 - Forks: 14

BowenFu/mathiu.cpp

mathiu : a simple computer algebra system in C++.

Language: C++ - Size: 544 KB - Last synced: 15 days ago - Pushed: almost 3 years ago - Stars: 75 - Forks: 1

reduce-algebra/reducealgebra.jl Fork of JuliaReducePkg/ReduceAlgebra.jl

reducealgebra.jl: Meta-package for Reduce.jl and External Packages, automatically mirrored from https://github.com/JuliaReducePkg/ReduceAlgebra.jl

Size: 20.5 KB - Last synced: 15 days ago - Pushed: 3 months ago - Stars: 3 - Forks: 0

td0m/computer_algebra_system 📦

My A-Level computer science project, an computer algebra system built with Dart.

Language: Dart - Size: 907 KB - Last synced: 15 days ago - Pushed: almost 5 years ago - Stars: 8 - Forks: 2

danselmi/sycira

symbolic circuit analyzer for the Maxima computer algebra system

Language: C++ - Size: 634 KB - Last synced: about 2 months ago - Pushed: over 3 years ago - Stars: 14 - Forks: 0

callummarshall9/CASLib

Simple Computer Algebra System

Language: C++ - Size: 1.54 MB - Last synced: 3 months ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0

pqcfox/macaw

An experimental, companion implementation of the Macaulay2 computer algebra system in Rust.

Size: 1.95 KB - Last synced: 3 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

casper-math/casper-math

Computer Algebra System (CAS) for JavaScript

Language: TypeScript - Size: 189 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

stefnotch/quantum-sheet

QuantumSheet - A user friendly mathematics worksheet and solver

Language: TypeScript - Size: 23.4 MB - Last synced: 5 days ago - Pushed: almost 2 years ago - Stars: 54 - Forks: 5

Belissimo-T/belissisolver

A primitive CAS

Language: Python - Size: 32.2 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

bluescarni/piranha

The Piranha computer algebra system.

Language: C++ - Size: 119 MB - Last synced: 15 days ago - Pushed: almost 2 years ago - Stars: 100 - Forks: 27

homalg-project/homalg_project

Deposited packages of the homalg project

Language: GAP - Size: 23.9 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 10 - Forks: 18

mathy/mathy_core

Computer Algebra System for converting text inputs to trees, manipulating them with rules, and evaluating their values.

Language: Python - Size: 422 KB - Last synced: 10 days ago - Pushed: 3 months ago - Stars: 5 - Forks: 1

reduce-algebra/run-reduce Fork of fjwright/Run-REDUCE

run-reduce: A JavaFX GUI to run the REDUCE Computer Algebra System, automatically mirrored from https://github.com/fjwright/Run-REDUCE

Size: 2.2 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 2 - Forks: 0

egri-nagy/kigen

Computational Semigroup Theory Software System written in Clojure

Language: Clojure - Size: 711 KB - Last synced: 2 months ago - Pushed: 3 months ago - Stars: 9 - Forks: 0

hexawyz/SolidSharp

Tentative symbolic computation framework geared towards 2D/3D geometry & CAD - WIP

Language: C# - Size: 216 KB - Last synced: 6 months ago - Pushed: almost 6 years ago - Stars: 3 - Forks: 2

nicbarker/algebra-sandbox

Interactive algebra and symbolic manipulation

Language: TypeScript - Size: 1.31 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 2 - Forks: 0

mesut146/boolean

a java library for boolean algebra

Language: Java - Size: 774 KB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 2 - Forks: 1

quentinguidee/SwiftCAS 📦

Language: Swift - Size: 294 KB - Last synced: 7 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

quentinguidee/KotlinCAS 📦

Language: Kotlin - Size: 163 KB - Last synced: 7 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

nicbarker/simple-computer-algebra-system

A reference implementation for a simple computer algebra system.

Language: C# - Size: 55.7 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

nw-rs/citrus-cas

CAS (Computer Algebra System) written in Rust for no_std environments.

Language: Rust - Size: 161 KB - Last synced: 29 days ago - Pushed: over 1 year ago - Stars: 14 - Forks: 2

sudeepan/Symbolica-Colab

Learn more about the Symbolica project: https://symbolica.io/

Language: Jupyter Notebook - Size: 7.81 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 0 - Forks: 0

JiachenRen/Kelvin

A powerful language for symbolic computation written in Swift.

Language: Swift - Size: 17.2 MB - Last synced: 7 months ago - Pushed: about 4 years ago - Stars: 24 - Forks: 1

ShrohanMohapatra/ChaosInBH

A set of autonomous Mathematica programs which explore the chaos in Gauss-Bonnet black holes, Reissner-Nordstrom black holes, Schwarzschild black holes, Born-Infeld black holes and hyper scale violating manifolds in Anti de-Sitter space.

Language: Mathematica - Size: 1.96 MB - Last synced: 8 months ago - Pushed: almost 5 years ago - Stars: 5 - Forks: 2

stephen-zhao/CaSCAS

Canadian Students' Computer Algebra System

Language: Scala - Size: 479 KB - Last synced: 8 months ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0

CCain67/noetherpy

A python library for computational abstract algebra designed to make it easy to learn, test conjectures and ideas in a python notebook.

Language: Python - Size: 305 KB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 0 - Forks: 0

sid-code/boolalg

A boolean algebra system written in Nim http://www.public.asu.edu/~skulka20/boolalg/

Language: Nim - Size: 24.4 KB - Last synced: 9 months ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 1

tim-becker/pyalgebra

Toy computer algebra system in pure python

Language: Python - Size: 7.81 KB - Last synced: 10 months ago - Pushed: almost 6 years ago - Stars: 3 - Forks: 0

EasyKayzey/CASprzak

CASprzak is a Computer Algebra System by EasyKayzey (Erez Israeli Miller and Michael Kasprzak)

Language: Java - Size: 2.05 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 10 - Forks: 4

blankBuffer/BitLogic

simple java computer algebra system

Language: Java - Size: 37.3 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 5 - Forks: 1

rcst/rim Fork of shumelchyk/rmaxima

rim provides an interface to Maxima for R. Maxima is a powerful and fairly complete computer algebra system.

Language: R - Size: 5.46 MB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 7 - Forks: 1

mesut146/math

a simple math library written in java

Language: Java - Size: 4.68 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0

Red-Rapious/OCaml-CAS

A basic Computer Algebra System (CAS) made in OCaml

Language: OCaml - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

hampoelz/LaTeX-Science-Template

📃 Preconfigured LaTeX document for technical and scientific use with a fully integrated CAS

Language: Batchfile - Size: 1.37 MB - Last synced: 5 months ago - Pushed: 7 months ago - Stars: 0 - Forks: 0

JiachenRen/java-algebra-system

An extensible, intuitive and easy to use algebra system that is capable of algebraic manipulation, simplification, differentiation, and much more. Reverse engineered from TI-nspire CAS.

Language: Java - Size: 24.4 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 38 - Forks: 5

mjrodgers/MATH207-Example-Magma-Code

Code examples for Istinye University course MATH207 - Computer Algebra

Size: 10.7 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

nilqed/latex2sixel

LaTeX to SIXEL conversion

Language: Shell - Size: 393 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 16 - Forks: 2

nilqed/ReduceAlgebra

https://svn.code.sf.net/p/reduce-algebra/code/

Language: C - Size: 1010 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 5 - Forks: 2

wheelercj/Expresser 📦

A fast and expressive computer algebra system focused on ease of use.

Language: C++ - Size: 170 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 3 - Forks: 0

DroneBetter/DroneLambda

Unfinished computer algebra system

Language: Python - Size: 36.1 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 2 - Forks: 0

devvados/symbolic-calculations 📦

Символьные вычисления

Language: C# - Size: 91.8 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0

emprice/benzaiten-old

C++17 template library for computing arbitrary derivatives

Language: C++ - Size: 57.6 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

abacus42/CoCoA-Vim

Vim Plugin for the Computer Algebra System CoCoA

Language: Vim Script - Size: 43.9 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

ammedmar/comch

A specialized computer algebra system for the study of commutativity up to coherent homotopies

Language: Python - Size: 554 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 4 - Forks: 5

theilmbh/cassie

Experimental Computer Algebra System

Language: C - Size: 22.5 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 2 - Forks: 0

BenedictSt/GeoZebra

Funktionsplotter mit eigenem CAS

Language: Swift - Size: 4.01 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 2 - Forks: 0

ynx0/kCAS

kind of a CAS (computer algebra system)

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

hieyou1/TIMirror

Mirror your Texas Instruments Nspire calculator's screen to your computer.

Language: JavaScript - Size: 147 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 3 - Forks: 1

reduce-algebra/grg

grg: Computer Algebra System for Differential Geometry, Gravitation and Field Theory, automatically mirrored from https://reduce-algebra.sourceforge.io/grg32/grg32.php

Size: 961 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 0

nilqed/fricas0

A pure Common Lisp build of FriCAS

Language: Common Lisp - Size: 20 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 1 - Forks: 2

Peter-Juhasz/Science.Mathematics.Algebra

Algebra system using Roslyn as a model.

Language: C# - Size: 185 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 3 - Forks: 3

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.

Language: TeX - Size: 123 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 7 - Forks: 0

nilqed/pure_jaxmate

Pure node server + JaxMaTe client

Language: Red - Size: 19.2 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

reduce-algebra/redten

redten: A symbolic algebra package for REDUCE which provides tensor and tensor-like objects and manipulation functions for work in General Relativity, mirrored from https://www.utsc.utoronto.ca/~harper/redten.html

Size: 1.26 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 2 - Forks: 0

jtint24/Java-CAS

A Computer Algebra System with Exact Analytic Geometry Capabilites

Language: Java - Size: 14.6 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

Cactus-proj/MTCAS Fork of maTHmU/MTCAS

计算机代数系统的数学理论（Mathematica Theory of Computer Algebra System，MTCAS）

Language: TeX - Size: 12.2 MB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0

tfg1434/Calculator

RPN calculator with a computer algebra system. Lexes, parses, and evaluates basic or algebraic expressions.

Language: C# - Size: 1.01 MB - Last synced: 9 months ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0

nilqed/jsEmCAS

Javascript Computer Algebra System (standalone/emscripten based on eigenmath)

Language: JavaScript - Size: 1.36 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 2 - Forks: 1

reduce-algebra/icas-bundled

icas-bundled: REDUCE scripts that are bundled with iCAS, a port of REDUCE to iOS, automatically mirrored from http://alsoftiphone.com/iCAS/bundledFiles/

Size: 68.4 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 0

MatteoRagni/cas-rb

Very simple CAS in Ruby

Language: Ruby - Size: 897 KB - Last synced: 22 days ago - Pushed: almost 7 years ago - Stars: 3 - Forks: 2

reduce-algebra/olli-scripts

olli-scripts: Dieter (Olli) Egger's REDUCE/Symbolic scripts, used as demonstrations for Symbolic (as shown in the screenshots on Google Play), and relating to Dieter's research in curved space-time, with scientific background papers, automatically mirrored from https://reduce-algebra.sourceforge.io/tutorials/EggerScripts.en.php

Size: 1.09 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 3 - Forks: 0

emprice/benzaiten

Automatic differentiation of abstract functions in C++20

Language: C++ - Size: 105 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 1

nilqed/fricas_cygwin

FriCAS for Cygwin64 (portable)

Size: 284 KB - Last synced: about 1 year ago - Pushed: about 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: about 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0

MechDancer/symbolcalculator

Simple CAS in Kotlin

Language: Kotlin - Size: 366 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 3 - Forks: 2

pirocks/simple-algebra-lib

A simple algebra library. Currently a work in progress. Jars on Maven central should be useable.

Language: Kotlin - Size: 79.1 KB - Last synced: 11 months ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0

E-Neo/mathtools

A Computer Algebra System working in progress.

Language: Rust - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0