  We solve several open problems concerning integer points of polytopes arising
in symplectic and algebraic geometry. Ewald's Conjecture from 1988 states that
if $P$ is a monotone $n$-polytope in $\mathbb{R}^n$ then the set
$\mathbb{Z}^n\cap P\cap -P$ contains a unimodular basis of the lattice
$\mathbb{Z}^n$. We prove this conjecture for $n$-polytopes which do not
recursively contain unimodular triangles. Then we study the combinatorial and
asymptotic properties of the function $P \mapsto \mathbb{Z}^n\cap P\cap -P$.
Ewald's Conjecture is closely related to problems in toric geometry, and we
state the implications of our results in this context. In 2009 Nill proposed a
generalization of Ewald's Conjecture which says that if $P$ is an
$n$-dimensional lattice smooth polytope in $\mathbb{R}^n$ then
$\mathbb{Z}^n\cap P\cap -P$ contains a unimodular basis of $\mathbb{Z}^n$. We
prove this conjecture for $n=2$. In the last part of the paper we provide
algorithms for the proofs we gave earlier of these conjectures, hence
strengthening the interplay between theory and computation in convex
geometry/combinatorics, and by extension, in symplectic and algebraic geometry.
