Related papers: Point-Separable Classes of Simple Computable Plana…
A consistent path system in a graph $G$ is an intersection-closed collection of paths, with exactly one path between any two vertices in $G$. We call $G$ metrizable if every consistent path system in it is the system of geodesic paths…
The class of ordinary linear constant coefficient differential equations is naturally embedded into a wider class by associating differential equations to algebraic curves.
In this paper we obtain an explicit formula for the number of curves in two dimensional complex projective space, of degree d, passing through d(d+3)/2-(k+1) generic points and having one node and one codimension k singularity, where k is…
This paper concerns the number of lattice points in the plane which are visible along certain curves to all elements in some set S of lattice points simultaneously. By proposing the concept of level of visibility, we are able to analyze…
We present a generalization of standard Turing machines based on allowing unusual tapes. We present a set of reasonable constraints on tape geometry and classify all tapes conforming to these constraints. Surprisingly, this generalization…
We propose a definition of quantum computable functions as mappings between superpositions of natural numbers to probability distributions of natural numbers. Each function is obtained as a limit of an infinite computation of a quantum…
We present an algorithm for computing curves and families of curves of prescribed degree and geometric genus on real rational surfaces.
Tropical geometry is a relatively recent field in mathematics created as a simplified model for certain problems in algebraic geometry. We introduce the definition of abstract and planar tropical curves as well as their properties,…
We report on the problem of the existence of complex and real algebraic curves in the plane with prescribed singularities up to analytic and topological equivalence. The question is whether, for a given positive integer $d$ and a finite…
Let $\mathcal C$ be a real plane algebraic curve defined by the resultant of two polynomials (resp. by the discriminant of a polynomial). Geometrically such a curve is the projection of the intersection of the surfaces $P(x,y,z)=Q(x,y,z)=0$…
We give examples of sequences of smooth non-isotrivial curves for every genus at least two, defined over a rational function field of positive characteristic, such that the (finite) number of rational points of the curves in the sequence…
For any class of operators which transform unary total functions in the set of natural numbers into functions of the same kind, we define what it means for a real function to be uniformly computable or conditionally computable with respect…
We construct two connected plane sets which can be embedded into rational curves. The first is a biconnected set with a dispersion point. It answers a question of Joachim Grispolakis. The second is indecomposable. Both examples are…
We classify the three-dimensional representations of the modular group that are reducible but indecomposable, and their associated spaces of holomorphic vector-valued modular forms. We then demonstrate how such representations may be…
Extended Chebyshev spaces that also comprise the constants represent large families of functions that can be used in real-life modeling or engineering applications that also involve important (e.g. transcendental) integral or rational…
While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of…
Let X be a projective variety which is covered by rational curves, for instance a Fano manifold over the complex numbers. In this setup, characterization and classification problems lead to the natural question: "Given two points on X, how…
In this paper, we analyze the planar cubic Alternative curve to determine the conditions for convex, loops, cusps and inflection points. Thus cubic curve is represented by linear combination of three control points and basis function that…
Quantum computation with quantum data that can traverse closed timelike curves represents a new physical model of computation. We argue that a model of quantum computation in the presence of closed timelike curves can be formulated which…
We study the classification of plane curve singularities in arbitrary characteristic. We first give a bound for the determinacy of a plane curve singularity with respect to pararametrization equivalence in terms of its conductor. Then we…