Volume 9, Issue 3

October 2015

Special Focus on Constraints and Combinations (265-344)

Issue Editors:

7 articles in this issue

Foreword to the Special Focus on Constraints and Combinations
Pascal Fontaine
Thomas Sturm
Uwe Waldmann
EditorialNotes 04 September 2015 Pages: 265 - 265
On QE Algorithms over an Algebraically Closed Field Based on Comprehensive Gröbner Systems
Ryoya Fukasaku
Shutaro Inoue
Yosuke Sato
OriginalPaper 23 September 2015 Pages: 267 - 281
Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid Systems
Willem Hagemann
OriginalPaper 23 September 2015 Pages: 283 - 325
Variable and Clause Elimination for LTL Satisfiability Checking
Martin Suda
OriginalPaper 25 September 2015 Pages: 327 - 344
On the Optimal Triangulation of Convex Hypersurfaces, Whose Vertices Lie in Ambient Space
M. H. M. J. Wintraecken
G. Vegter
OriginalPaper 14 November 2014 Pages: 345 - 353
Partitioning the Meandering Curves
A. Panayotopoulos
P. Vlamos
OriginalPaper 24 May 2015 Pages: 355 - 364
Algorithmic Approach for Formal Fourier Series
Wolfram Koepf
Etienne Nana Chiadjeu
OriginalPaper 14 November 2014 Pages: 365 - 389

Search