Presburger arithmetic is the first-order theory of the natural numbers with addition (but no multiplication). We characterize sets that can be defined by a Presburger formula as exactly the sets whose ...
Description: The course covers mathematics useful in analyzing computer algorithms. Topics include recurrence relations, evaluation of sums, integer functions, elementary number theory, binomial ...
This is a preview. Log in through your library . Abstract Let G be a connected, semisimple Lie group with finite center and let K be a maximal compact subgroup. We investigate a method to compute ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback