Skip to content
/ CASette Public

Mixtape of computer algebra system (CAS) algorithms

Notifications You must be signed in to change notification settings

bollu/CASette

Repository files navigation

CASette: Computer Algebra System algorithms

Algorithms

Aspirational algorithms

  • Cutting to the chase, a decision procedure for LIA that can show UNSATs of large, complex systems of integer linear problems.
  • Hormander's algorithm, a quantifier elimination procedure for real closed fields that is fast enough to be proof producing 'in practice' for HOL light.
  • Shostak's algorithm for combining theories in a way that is different from Nelson Oppen.
  • Schubert decomposition of the grassmanian to compute the cohomology of the grassmanian.
  • Algorithms on tableaux in particular, implement RSK to show the RSK correspondence, and also implement the fourier transform on the symmetric group.
  • Monster computing products of elements in the monster group.

Books

Notes

About

Mixtape of computer algebra system (CAS) algorithms

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published