Mathematics in Computer Science
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
Table of contents
- 265
-
Foreword to the Special Focus on Constraints and CombinationsFontaine, Pascal / Sturm, Thomas / Waldmann, Uwe et al. | 2015
- 267
-
On QE Algorithms over an Algebraically Closed Field Based on Comprehensive Gröbner SystemsFukasaku, Ryoya / Inoue, Shutaro / Sato, Yosuke et al. | 2015
- 283
-
Efficient Geometric Operations on Convex Polyhedra, with an Application to Reachability Analysis of Hybrid SystemsHagemann, Willem et al. | 2015
- 327
-
Variable and Clause Elimination for LTL Satisfiability CheckingSuda, Martin et al. | 2015
- 345
-
On the Optimal Triangulation of Convex Hypersurfaces, Whose Vertices Lie in Ambient SpaceWintraecken, M. H. M. J. / Vegter, G. et al. | 2014
- 355
-
Partitioning the Meandering CurvesPanayotopoulos, A. / Vlamos, P. et al. | 2015
- 365
-
Algorithmic Approach for Formal Fourier SeriesKoepf, Wolfram / Chiadjeu, Etienne Nana et al. | 2014