Table of Contents

• Current Challenges in Developing Open Source Computer Algebra SystemsJanko Böhm, Wolfram Decker, Simon Keicher, Yue Ren. 3-24 [doi]
• Exploiting Structure in Floating-Point ArithmeticClaude-Pierre Jeannerod. 25-34 [doi]
• Symbolic Geometric Reasoning with Advanced Invariant AlgebrasHongbo Li. 35-49 [doi]
• Congruence Testing of Point Sets in Three and Four Dimensions - Results and TechniquesGünter Rote. 50-59 [doi]
• Mesh Reduction to Exterior Surface Parts via Random Convex-Edge Affine FeaturesAndreas Beyer, Yu Liu, Hubert Mara, Susanne Krömker. 63-77 [doi]
• Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space CurveRémi Imbach, Guillaume Moroz, Marc Pouget. 78-92 [doi]
• Linear k-Monotonicity Preserving Algorithms and Their Approximation PropertiesS. P. Sidorov. 93-106 [doi]
• Workspace Multiplicity and Fault Tolerance of Cooperating RobotsDaniel A. Brake, Daniel J. Bates, Vakhtang Putkaradze, Anthony A. Maciejewski. 109-123 [doi]
• Numerical Local Irreducible DecompositionDaniel A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese. 124-129 [doi]
• Computing the Chow Variety of Quadratic Space CurvesPeter Bürgisser, Kathlén Kohn, Pierre Lairez, Bernd Sturmfels. 130-136 [doi]
• Numerically Testing Generically Reduced Projective Schemes for the Arithmetic Gorenstein PropertyNoah S. Daleo, Jonathan D. Hauenstein. 137-142 [doi]
• Some Results Concerning the Explicit Isomorphism Problem over Number FieldsPéter Kutas. 143-148 [doi]
• Implementing Cryptographic Pairings on Accumulator Based Smart Card ArchitecturesPeter Günther, Volker Krummel. 151-165 [doi]
• Short Group Signatures with Distributed TraceabilityJohannes Blömer, Jakob Juhnke, Nils Löken. 166-180 [doi]
• On the Optimality of Differential Fault Analyses on CLEFIAÁgnes Kiss, Juliane Krämer, Anke Stüber. 181-196 [doi]
• 4 Regularities of the Poisson Equation on Polygonal DomainsTakehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao. 199-201 [doi]
• Explicit Error Bound for Modified Numerical Iterated Integration by Means of Sinc MethodsTomoaki Okayama. 202-217 [doi]
• Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution OperatorAkitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi. 218-223 [doi]
• Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite IntervalNaoya Yamanaka, Tomoaki Okayama, Shin'ichi Oishi. 224-228 [doi]
• Improving a CGS-QE AlgorithmRyoya Fukasaku, Hidenao Iwane, Yosuke Sato. 231-235 [doi]
• Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex FormulasMunehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai. 236-251 [doi]
• Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner BasesKatsusuke Nabeshima, Shinichi Tajima. 252-267 [doi]
• Advanced Algebraic Attack on TriviumFrank-M. Quedenfeld, Christopher Wolf. 268-282 [doi]
• Compressing Big Data: When the Rate of Convergence to the Entropy MattersSalvatore Aronica, Alessio Langiu, Francesca Marzi, Salvatore Mazzola, Filippo Mignosi, Giulio Nazzicone. 285-289 [doi]
• Trends in Temporal Reasoning: Constraints, Graphs and PosetsJacqueline W. Daykin, Mirka Miller, Joe Ryan. 290-304 [doi]
• Reconstructing a Sparse Solution from a Compressed Support Vector MachineJoachim Giesen, Sören Laue, Jens K. Mueller. 305-319 [doi]
• Subquadratic-Time Algorithms for Abelian Stringology ProblemsTomasz Kociumaka, Jakub Radoszewski, Bartlomiej Wisniewski. 320-334 [doi]
• Using Statistical Search to Discover Semantic Relations of Political Lexica - Evidences from Bulgarian-Slovak EUROPARL 7 CorpusVelislava Stoykova. 335-339 [doi]
• Simple Differential Field Extensions and Effective BoundsJames Freitag, Wei Li. 343-357 [doi]
• A New Bound for the Existence of Differential Field ExtensionsRichard Gustavson, Omar León Sánchez. 358-361 [doi]
• Dimension Polynomials of Intermediate Fields of Inversive Difference Field ExtensionsAlexander Levin. 362-376 [doi]
• A "Polynomial Shifting" Trick in Differential AlgebraGleb Pogudin. 377-379 [doi]
• Searching for Geometric Theorems Using Features Retrieved from DiagramsWenya An, Xiaoyu Chen, Dongming Wang. 383-397 [doi]
• New Method for Instance Feature Selection Using Redundant Features for Biological DataWaad Bouaguel, Emna Mouelhi, Ghazi Bel Mufti. 398-405 [doi]
• Faceted Search for MathematicsRadu Hambasan, Michael Kohlhase. 406-420 [doi]
• Evaluation of a Predictive Algorithm for Converting Linear Strings to Mathematical Formulae for an Input MethodShizuka Shirai, Tetsuo Fukui. 421-425 [doi]
• Linear Programs and Convex Hulls Over Fields of Puiseux FractionsMichael Joswig, Georg Loho, Benjamin Lorenz, Benjamin Schröter. 429-445 [doi]
• Another Classroom Example of Robustness Problems in Planar Convex Hull ComputationMarc Mörig. 446-450 [doi]
• Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and SolutionsMarc Mörig, Stefan Schirra. 451-465 [doi]
• Rigorous Numerical Computation of Polynomial Differential Equations Over Unbounded DomainsOlivier Bournez, Daniel S. Graça, Amaury Pouly. 469-473 [doi]
• Using Taylor Models in Exact Real ArithmeticFranz Brauße, Margarita Vladimirovna Korovina, Norbert Th. Müller. 474-488 [doi]
• C[0;1]Hugo Férée, Martin Ziegler. 489-504 [doi]
• Average-Case Bit-Complexity Theory of Real FunctionsMatthias Schröder, Florian Steinberg, Martin Ziegler 0001. 505-519 [doi]
• Certifying Trajectories of Dynamical SystemsJoris van der Hoeven. 520-532 [doi]
• A New Matrix Splitting Based Relaxation for the Quadratic Assignment ProblemMarko Lange. 535-549 [doi]
• ∞ Problems: Application to Robust Control Synthesis Under Structural ConstraintsDominique Monnet, Jordan Ninin, Benoit Clement. 550-554 [doi]
• Global Optimization Based on Contractor Programming: An Overview of the IBEX LibraryJordan Ninin. 555-559 [doi]
• The Bernstein Branch-and-Prune Algorithm for Constrained Global Optimization of Multivariate Polynomial MINLPsBhagyesh V. Patil. 560-575 [doi]
• Maximum Likelihood Estimates for Gaussian Mixtures Are TranscendentalCarlos Améndola, Mathias Drton, Bernd Sturmfels. 579-590 [doi]
• On the Quality of Some Root-BoundsPrashant Batra. 591-595 [doi]
• Relative Hilbert-Post Completeness for ExceptionsJean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud. 596-610 [doi]
• Optimal Coverage in Automotive ConfigurationRouven Walter, Thore Kübart, Wolfgang Küchlin. 611-626 [doi]