In the present experiments, the noncompetitive NMDA antagonist 5-methyl-10,11-dihydroxy-5H-dibenzo(a,d)cyclo-hepten-5,10-imine (MK-801) and its (+) and (-) enantiomers were tested in classical screening models used to detect potential antidepressants. The drug and its enantiomers were active in the tail suspension test (TST). The racemate was also active in… (More)
We describe an XML file format for storing data from computations in algebra and geometry. We also present a formal specification based on a RELAX-NG schema.
We study properties of the tropical double Hurwitz loci defined by Bertram, Cavalieri and Markwig. We show that all such loci are connected in codimension one. If we mark preimages of simple ramification points, then for a generic choice of such points the resulting cycles are weakly irreducible, i.e. an integer multiple of an irreducible cycle. We study… (More)
In classical geometry, a linear space is a space that is closed under linear combinations. In tropical geometry, it has long been a consensus that tropical varieties defined by valuated matroids are the tropical analogue of linear spaces. It is not difficult to see that each such space is tropically convex, i.e. closed under tropical linear combinations.… (More)
In this paper we study algorithmic aspects of tropical intersection theory. We analyse how divisors and intersection products on tropical cycles can actually be computed using polyhedral geometry. The main focus of this paper is the study of moduli spaces, where the underlying combinatorics of the varieties involved allow a much more efficient way of… (More)
We introduce the notion of families of n-marked smooth rational tropical curves over smooth tropical varieties and establish a one-to-one correspondence between (equivalence classes of) these families and morphisms from smooth tropical varieties into the moduli space of n-marked abstract rational tropical curves Mn.