Related papers: Tropical computations for toric intersection theor…
Tropical mathematics is used to establish a correspondence between certain microscopic and macroscopic objects in statistical models. Tropical algebra gives a common framework for macrosystems (subsets) and their elementary constituents…
In this article, we study the tropical counterpart of the enumeration of rational curves in $\mathbb{CP}^2$ with first order tangency. We use the tropical analogue of the WDVV technique to compute rational tropical plane curves of degree…
Tropical Geometry and Mathematical Morphology share the same max-plus and min-plus semiring arithmetic and matrix algebra. In this chapter we summarize some of their main ideas and common (geometric and algebraic) structure, generalize and…
We introduce the \verb|Macaulay2| package \verb|RepHomology| for the computations of representation homology of certain spaces. The main methods implement computing the representation homology of surfaces (with group coefficients, and…
The purpose of this survey is to summarize known results about tropical hypersurfaces and the Cayley Trick from polyhedral geometry. This allows for a systematic study of arrangements of tropical hypersurfaces and, in particular,…
We describe the package "IncidenceCorrespondenceCohomology" for the computer algebra system Macaulay2. The main feature concerns the computation of characters and dimensions for the cohomology groups of line bundles on the incidence…
The paper consists of lecture notes for a mini-course given by the authors at the G\"okova Geometry \& Topology conference in May 2014. We start the exposition with tropical curves in the plane and their applications to problems in…
The tropical convex hull of a finite set of points in tropical projective space has a natural structure of a cellular free resolution. Therefore, methods from computational commutative algebra can be used to compute tropical convex hulls.…
In these notes we survey the tropical intersection theory on R^n by deriving the properties for tropical cycles from the corresponding properties in Chow cohomology. For this we review the stable intersection product introduced by Mikhalkin…
We explore the positive geometry of statistical models in the setting of toric varieties. Our focus lies on models for discrete data that are parameterized in terms of Cox coordinates. We develop a geometric theory for computations in…
We establish faithful tropicalisation for point configurations on algebraic tori. Building on ideas from enumerative geometry, we introduce tropical scaffolds and use them to construct a system of modular fan structures on the tropical…
We introduce the CpMackeyFunctors package for Macaulay2, which allows for computations with Mackey functors over a cyclic group of prime order.
There exist several homology theories for singular spaces that satisfy generalized Poincar\'e duality, including Goresky-MacPherson's intersection homology, Cheeger's $L^2$ cohomology and the homology of intersection spaces. The…
Counts of curves in $\mathbb{P}^1\times\mathbb{P}^1$ with fixed contact order with the toric boundary and satisfying point conditions can be determined with tropical methods by Mikhalkin. If we require that our curves intersect the zero-…
We introduce the DeterminantalRepresentations package for Macaulay2, which computes definite symmetric determinantal representations of real polynomials. We focus on quadrics and plane curves of low degree (i.e. cubics and quartics). Our…
In a previous paper, we announced a formula to compute Gromov-Witten and Welschinger invariants of some toric varieties, in terms of combinatorial objects called floor diagrams. We give here detailed proofs in the tropical geometry…
In this paper we use the connections between tropical algebraic geometry and rigid analytic geometry in order to prove two main results. We use tropical methods to prove a theorem about the Newton polygon for convergent power series in…
Building on our earlier work on toric residues and reduction, we give a proof for the mixed toric residue conejecture of Batyrev and Materov. We simplify and streamline our technique of tropical degenerations, which allows one to…
The main aim of this paper is to show the interconnections between {\L}ukasiewicz logic and algebraic geometry using algebraic, geometric and logical instruments. We continue our investigation into a new algebraic geometry based on…
The article mainly presents some results in using MAPLE platform for computer algebra and GrTensorII package in doing calculations for theoretical and numerical cosmology