Computational Smooth Infinitesimal Analysis. Companion paper of [smooth](https://github.com/konn/smooth).
-
Updated
Jul 3, 2021 - TeX
#
Computer algebra
Computer (symbolic) algebra systems and libraries are used for manipulations with symbolic mathematical expressions.
Usually, those libraries are capable of some calculus operations (differentiation, integration, finding the limit, etc.) and numeric manipulations.
The idea is to avoid floating number operations by computing the exact result instead.
Here are 167 public repositories matching this topic...
Course work in discipline "Computer Algebra"(2 course, 2016 year)
-
Updated
Jun 2, 2016 - C++
A Python script to compute cohomology of irreducible homogeneous vector bundles on rational homogeneous varieties.
-
Updated
Oct 22, 2023
SageMath implementation of an algorithm to calculate exactly Kronecker's canonical form.
computer-algebra
linear-algebra
bachelor-project
sage
bachelor-thesis
sagemath
unipi
matrix-polynomials
-
Updated
Oct 7, 2022 - PostScript
Classical logic truth table magma algebra
algebra
math
computer-algebra
julia
proof
logic
mathematics
proof-assistant
boolean-expression
propositional-logic
boolean-algebra
truth-table
reasoning
logical-operators
boolean-logic
truth-table-generator
-
Updated
Nov 22, 2023 - Julia
Python binding to Donuts: 🍩 × 🐍
-
Updated
Feb 10, 2024 - Python
A small standard library for luajit
-
Updated
Feb 28, 2023 - Lua
A Python package for communicating with FORM.
-
Updated
Jan 8, 2021 - Python
Library for symbolic computation in C++11
-
Updated
Dec 14, 2018 - Roff
symengine_example is a Python application to show the ability (and the limitation) of symengine.py for realistic problem.
-
Updated
Sep 15, 2023 - Python
Finite-dimensional Lie algebra package for SymPy
-
Updated
Dec 9, 2023 - Python
Example repository for the Symja Eclipse plugin:
-
Updated
Jul 6, 2020
Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
-
Updated
Nov 11, 2023 - Haskell
Generic orbit and graph search algorithms in Clojure.
-
Updated
Apr 18, 2022 - Clojure
-
Updated
Jun 28, 2019 - C#
A SageMath interface for M4GB.
-
Updated
Jul 13, 2022 - Python
GAP package that computes the cohomology rings of finite p-groups, induced maps, and Massey products
-
Updated
Mar 24, 2024 - GAP
A computer analysis system (cf. computer algebra)
-
Updated
May 5, 2024
A simple computer algebra system, implemented in groovy
-
Updated
Jun 13, 2015 - Groovy
- Followers
- 68 followers
- Wikipedia
- Wikipedia