Course work in discipline "Computer Algebra"(2 course, 2016 year)
-
Updated
Jun 2, 2016 - C++
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.
Course work in discipline "Computer Algebra"(2 course, 2016 year)
A Python script to compute cohomology of irreducible homogeneous vector bundles on rational homogeneous varieties.
Computational Smooth Infinitesimal Analysis. Companion paper of [smooth](https://github.com/konn/smooth).
Library for symbolic computation in C++11
Generic orbit and graph search algorithms in Clojure.
A computer analysis system (cf. computer algebra)
Utility for computing boolean Groebner bases with involutive Janet algorithm
Field algebra constant parametric type
A simple algebra program written while learning Haskell
Vim Plugin for the Computer Algebra System CoCoA
Implementations of various GI algorithms.
Algebraic Computing with Macaulay2
Learn more about the Symbolica project: https://symbolica.io/