arXiv:2201.07767
.arXiv:2110.02211
, to appear in Pure Appl. Math. Q. (2022).arXiv:2106.13287
.arXiv:2106.06859
.arXiv:2101.04791
, to appear in Int. Math. Res. Not. IMRN (2022).PhD Thesis: Geometry of hyperkähler manifolds, Université Paris Cité, 2022, under the supervision of Olivier Debarre
I have implemented the following softwares for the study of algebraic geometry.
RationalPoints2
A Macaulay2
package for enumerating rational points on a given affine / projective variety defined by its ideal. It finds the points by using brute force plus some elimination, no advanced algorithm is involved. (As the name suggests, this is a considerable improvement over its predecessor, RationalPoints
.)
IntersectionTheory
A Julia package for doing computations in intersection theory, built using the components of the Oscar
system. It is still under active development, and is aimed at providing an alternative to the Macaulay2
package Schubert2
, with better performances and more interesting features. Check out the documentations for some nice examples.
bott
A Sage package for doing computations using Bott’s residue formula. It can be used to compute the Chern numbers of the known families of hyperkähler manifolds.