MICS
2010
13 years 2 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
MICS
2010
13 years 2 months ago
2010
We study the preemptive scheduling problem of a set of n jobs with release times and equal processing times on a single machine. The objective is to minimize the sum of the weighte...
MICS
2010
13 years 2 months ago
2010
Abstract. A Range Minimum Query asks for the position of a minimal element between two specified array-indices. We consider a natural extension of this, where our further constrai...
MICS
2010
13 years 2 months ago
2010
MICS
2010
13 years 2 months ago
2010
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating wit...
MICS
2010
13 years 2 months ago
2010
In the early 1990s, Flynn gave an explicit description of the Jacobian of a genus 2 hyperelliptic curve to perform efficient arithmetic on these objects. In this paper, we give a ...
MICS
2010
13 years 2 months ago
2010
The conditional covering problem (CCP) aims to locate facilities on a graph, where the vertex set represents both the demand points and the potential facility locations. The proble...
MICS
2010
13 years 2 months ago
2010
We introduce a framework for the construction, maintenance, and manipulation of arrangements of curves embedded on certain two-dimensional orientable parametric surfaces in three-d...
MICS
2010
13 years 2 months ago
2010
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...