jeffreyadams / atlasofliegroupsLinks
Automatically exported from code.google.com/p/atlasofliegroups
☆32Updated this week
Alternatives and similar repositories for atlasofliegroups
Users that are interested in atlasofliegroups are comparing it to the libraries listed below
Sorting:
- knot theory and computational algebra software☆37Updated 10 years ago
- A system for computational category theory and applications☆38Updated 8 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Latex source for geometric algebra and physics notes.☆38Updated last week
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- Python code for the post "Computing Homology"☆29Updated 2 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated last year
- Fungrim: the Mathematical Functions Grimoire☆122Updated 3 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- A fast generic C++ library for applied and computational topology☆60Updated 9 years ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆45Updated 10 years ago
- DeepAlgebra☆25Updated 7 years ago
- Jupyter kernels for GAP☆12Updated 7 years ago
- The eclib package includes mwrank (for 2-descent on elliptic curves over Q) and modular symbol code used to create the elliptic curve dat…☆23Updated last week
- A DSL for the internal language of a topos☆64Updated this week
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated this week
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated 8 months ago
- Many language implementations for the Julia Challenge: https://nextjournal.com/sdanisch/the-julia-language-challenge☆76Updated 5 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆47Updated this week
- LinBox - C++ library for exact, high-performance linear algebra☆88Updated 2 weeks ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆67Updated 3 months ago
- GLUT Kleinian group visualizer☆26Updated 11 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Updated 4 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆163Updated 5 years ago
- Metamath verifier in Python☆39Updated last year
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Working through Structure and Interpretation of Classical Mechanics.☆124Updated 10 months ago
- Source of metamath book☆48Updated last year