Computing invariants via slicing groupoids: Gel'fand MacPherson, Gale and positive characteristic stable maps

Computing isogenies between abelian varieties

Computing limit linear series with infinitesimal methods

Computing Linear Matrix Representations of Helton-Vinnikov Curves

Computing localizations iteratively

Computing multi-point Seshadri constants on P2

Computing Multidimensional Residues

Computing noncommutative deformations of presheaves and sheaves of modules

Computing noncommutative global deformations of D-modules

Computing obstructions for existence of connections on modules

Computing p-adic integrals using motivic integration

Computing preimages of points and curves under polynomial maps

Computing symmetric rank for symmetric tensors

Computing the Cohomological Brauer Group of a Toric Variety

Computing the equivariant Euler characteristic of Zariski and etale sheaves on curves

Computing the First Betti Numberand Describing the Connected Components of Semi-algebraic Sets

Computing the First Few Betti Numbers of Semi-algebraic Sets in Single Exponential Time

Computing the Newton polygon of the implicit equation

Computing the rational torsion of an elliptic curve using Tate normal form

Computing the Singularities of Rational Surfaces