default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6. MACIS 2015: Berlin, Germany
- Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap:
Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9582, Springer 2016, ISBN 978-3-319-32858-4
Invited Papers
- Janko Böhm
, Wolfram Decker, Simon Keicher, Yue Ren:
Current Challenges in Developing Open Source Computer Algebra Systems. 3-24 - Claude-Pierre Jeannerod:
Exploiting Structure in Floating-Point Arithmetic. 25-34 - Hongbo Li:
Symbolic Geometric Reasoning with Advanced Invariant Algebras. 35-49 - Günter Rote:
Congruence Testing of Point Sets in Three and Four Dimensions - Results and Techniques. 50-59
Curves and Surfaces
- Andreas Beyer, Yu Liu, Hubert Mara, Susanne Krömker:
Mesh Reduction to Exterior Surface Parts via Random Convex-Edge Affine Features. 63-77 - Rémi Imbach, Guillaume Moroz, Marc Pouget:
Numeric and Certified Isolation of the Singularities of the Projection of a Smooth Space Curve. 78-92 - Sergei P. Sidorov:
Linear k-Monotonicity Preserving Algorithms and Their Approximation Properties. 93-106
Applied Algebraic Geometry
- Daniel A. Brake, Daniel J. Bates, Vakhtang Putkaradze, Anthony A. Maciejewski:
Workspace Multiplicity and Fault Tolerance of Cooperating Robots. 109-123 - Daniel A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese:
Numerical Local Irreducible Decomposition. 124-129 - Peter Bürgisser, Kathlén Kohn, Pierre Lairez, Bernd Sturmfels:
Computing the Chow Variety of Quadratic Space Curves. 130-136 - Noah S. Daleo, Jonathan D. Hauenstein:
Numerically Testing Generically Reduced Projective Schemes for the Arithmetic Gorenstein Property. 137-142 - Péter Kutas:
Some Results Concerning the Explicit Isomorphism Problem over Number Fields. 143-148
Cryptography
- Peter Günther, Volker Krummel:
Implementing Cryptographic Pairings on Accumulator Based Smart Card Architectures. 151-165 - Johannes Blömer, Jakob Juhnke, Nils Löken:
Short Group Signatures with Distributed Traceability. 166-180 - Ágnes Kiss, Juliane Krämer, Anke Stüber:
On the Optimality of Differential Fault Analyses on CLEFIA. 181-196
Verified Numerical Computation
- Takehiko Kinoshita, Yoshitaka Watanabe, Mitsuhiro T. Nakao:
H3 and H4 Regularities of the Poisson Equation on Polygonal Domains. 199-201 - Tomoaki Okayama:
Explicit Error Bound for Modified Numerical Iterated Integration by Means of Sinc Methods. 202-217 - Akitoshi Takayasu, Makoto Mizuguchi, Takayuki Kubo, Shin'ichi Oishi:
Verified Computations for Solutions to Semilinear Parabolic Equations Using the Evolution Operator. 218-223 - Naoya Yamanaka, Tomoaki Okayama, Shin'ichi Oishi:
Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval. 224-228
Polynomial System Solving
- Ryoya Fukasaku, Hidenao Iwane, Yosuke Sato:
Improving a CGS-QE Algorithm. 231-235 - Munehiro Kobayashi, Hidenao Iwane, Takuya Matsuzaki, Hirokazu Anai:
Efficient Subformula Orders for Real Quantifier Elimination of Non-prenex Formulas. 236-251 - Katsusuke Nabeshima, Shinichi Tajima:
Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner Bases. 252-267 - Frank-M. Quedenfeld, Christopher Wolf:
Advanced Algebraic Attack on Trivium. 268-282
Managing Massive Data
- Salvatore Aronica, Alessio Langiu, Francesca Marzi, Salvatore Mazzola, Filippo Mignosi, Giulio Nazzicone:
Compressing Big Data: When the Rate of Convergence to the Entropy Matters. 285-289 - Jacqueline W. Daykin, Mirka Miller, Joe Ryan:
Trends in Temporal Reasoning: Constraints, Graphs and Posets. 290-304 - Joachim Giesen, Sören Laue, Jens K. Müller:
Reconstructing a Sparse Solution from a Compressed Support Vector Machine. 305-319 - Tomasz Kociumaka, Jakub Radoszewski, Bartlomiej Wisniewski:
Subquadratic-Time Algorithms for Abelian Stringology Problems. 320-334 - Velislava Stoykova:
Using Statistical Search to Discover Semantic Relations of Political Lexica - Evidences from Bulgarian-Slovak EUROPARL 7 Corpus. 335-339
Computational Theory of Differential and Difference Equations
- James Freitag, Wei Li:
Simple Differential Field Extensions and Effective Bounds. 343-357 - Richard Gustavson, Omar León Sánchez:
A New Bound for the Existence of Differential Field Extensions. 358-361 - Alexander B. Levin:
Dimension Polynomials of Intermediate Fields of Inversive Difference Field Extensions. 362-376 - Gleb Pogudin:
A "Polynomial Shifting" Trick in Differential Algebra. 377-379
Data and Knowledge Exploration
- Wenya An, Xiaoyu Chen, Dongming Wang:
Searching for Geometric Theorems Using Features Retrieved from Diagrams. 383-397 - Waad Bouaguel, Emna Mouelhi, Ghazi Bel Mufti:
New Method for Instance Feature Selection Using Redundant Features for Biological Data. 398-405 - Radu Hambasan, Michael Kohlhase:
Faceted Search for Mathematics. 406-420 - Shizuka Shirai, Tetsuo Fukui:
Evaluation of a Predictive Algorithm for Converting Linear Strings to Mathematical Formulae for an Input Method. 421-425
Algorithm Engineering in Geometric Computing
- Michael Joswig, Georg Loho, Benjamin Lorenz, Benjamin Schröter:
Linear Programs and Convex Hulls Over Fields of Puiseux Fractions. 429-445 - Marc Mörig:
Another Classroom Example of Robustness Problems in Planar Convex Hull Computation. 446-450 - Marc Mörig, Stefan Schirra:
Precision-Driven Computation in the Evaluation of Expression-Dags with Common Subexpressions: Problems and Solutions. 451-465
Real Complexity: Theory and Practice
- Olivier Bournez, Daniel Silva Graça, Amaury Pouly:
Rigorous Numerical Computation of Polynomial Differential Equations Over Unbounded Domains. 469-473 - Franz Brauße, Margarita Vladimirovna Korovina, Norbert Th. Müller:
Using Taylor Models in Exact Real Arithmetic. 474-488 - Hugo Férée, Martin Ziegler:
On the Computational Complexity of Positive Linear Functionals on C[0;1]. 489-504 - Matthias Schröder, Florian Steinberg, Martin Ziegler:
Average-Case Bit-Complexity Theory of Real Functions. 505-519 - Joris van der Hoeven:
Certifying Trajectories of Dynamical Systems. 520-532
Global Optimization
- Marko Lange:
A New Matrix Splitting Based Relaxation for the Quadratic Assignment Problem. 535-549 - Dominique Monnet, Jordan Ninin, Benoit Clement:
Global Optimization of H∞ Problems: Application to Robust Control Synthesis Under Structural Constraints. 550-554 - Jordan Ninin:
Global Optimization Based on Contractor Programming: An Overview of the IBEX Library. 555-559 - Bhagyesh V. Patil:
The Bernstein Branch-and-Prune Algorithm for Constrained Global Optimization of Multivariate Polynomial MINLPs. 560-575
General Session
- Carlos Améndola, Mathias Drton, Bernd Sturmfels:
Maximum Likelihood Estimates for Gaussian Mixtures Are Transcendental. 579-590 - Prashant Batra:
On the Quality of Some Root-Bounds. 591-595 - Jean-Guillaume Dumas, Dominique Duval, Burak Ekici, Damien Pous, Jean-Claude Reynaud:
Relative Hilbert-Post Completeness for Exceptions. 596-610 - Rouven Walter, Thore Kübart, Wolfgang Küchlin:
Optimal Coverage in Automotive Configuration. 611-626
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-08 00:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
