[图书][B] Linear algebra done right

S Axler - 2015 - Springer
Undergraduate Texts in Mathematics are generally aimed at third-and fourthyear
undergraduate mathematics students at North American universities. These texts strive to …

[图书][B] Undergraduate Texts in Mathematics

S Axler, KA Ribet - 2015 - Springer
In Chapter 1, we have seen how the algebra of the polynomial rings k [x1,..., xn] and the
geometry of affine algebraic varieties are linked. In this chapter, we will study the method of …

[图书][B] Computing the continuous discretely: Integer-point enumeration in polyhedra

M Beck, S Robins - 2007 - Springer
The world is continuous, but the mind is discrete. David Mumford We seek to bridge some
critical gaps between various? elds of mathematics by studying the interplay between the …

[PDF][PDF] Enumerative Combinatorics Volume 1 second edition

RP Stanley - Cambridge studies in advanced mathematics, 2011 - ms.uky.edu
Enumerative combinatorics has undergone enormous development since the publication of
the first edition of this book in 1986. It has become more clear what are the essential topics …

[图书][B] Algebraic and geometric ideas in the theory of discrete optimization

It is undeniable that geometric ideas have been very important to the foundations of modern
discrete optimization. The influence that geometric algorithms have in optimization was …

The taming of the semi-linear set

D Chistikov, C Haase - International Colloquium on Automata …, 2016 - ora.ox.ac.uk
Semi-linear sets, which are rational subsets of the monoid (Z^ d,+), have numerous
applications in theoretical computer science. Although semi-linear sets are usually given …

Computing parametric rational generating functions with a primal Barvinok algorithm

M Köppe, S Verdoolaege - arXiv preprint arXiv:0705.3651, 2007 - arxiv.org
Computations with Barvinok's short rational generating functions are traditionally being
performed in the dual space, to avoid the combinatorial complexity of inclusion--exclusion …

Ehrhart series and lattice triangulations

S Payne - Discrete & Computational Geometry, 2008 - Springer
We express the generating function for lattice points in a rational polyhedral cone with a
simplicial subdivision in terms of multivariate analogues of the h-polynomials of the …

A primal Barvinok algorithm based on irrational decompositions

M Köppe - SIAM Journal on Discrete Mathematics, 2007 - SIAM
We introduce variants of Barvinok's algorithm for counting lattice points in polyhedra. The
new algorithms are based on irrational signed decomposition in the primal space and the …

Computing the Ehrhart quasi-polynomial of a rational simplex

A Barvinok - Mathematics of Computation, 2006 - ams.org
We present a polynomial time algorithm to compute any fixed number of the highest
coefficients of the Ehrhart quasi-polynomial of a rational simplex. Previously such algorithms …