Classification of Maximal Exceptional Sequences on Smooth Fano Toric Varieties
Aolong Li
This project will enhance SageMath to systematically handle maximal exceptional sequences on smooth Fano toric varieties. We will add new Fano...
Poincaré normal form of Riemann matrices
Caleb Aryee
The project aims to compute the Poincaré normal form of Riemann matrices in SageMath. This computation enables the decomposition of theta functions...
On the Implementation of the O(|E|⋅√|V|) Micali-Vazirani Algorithm
Janmenjaya Panda
Matchings and perfect matchings have received considerable attention in graph theory as well as in other related domains (such as, but not limited...
The Boson-Fermion Correspondence and Vertex Operators
Joe McDonough
The boson-fermion correspondence is an isomorphism of two representations of the Heisenberg algebra. It can be stated as a way to construct a special...
Functionalities for Krylov methods over exact fields
Nicholas Bell
This project aims to add Krylov subspace methods for matrices over exact fields: representation of the kernel, co-kernel of a matrix of univariate...
Paths and cycles enumeration methods in graphs
Yuta
This project focuses on enumeartion of k shotest simple paths. This problem has practical applications in various networks, such as road and...
Self Paired Hopf Algebra on Double Posets
Yuxuan Sun
This project implements the combinatorial Hopf algebra of double posets. A double poset is a set with two partial orders, and their isomorphism...
