default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th MACIS 2017: Vienna, Austria
- Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos:
Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings. Lecture Notes in Computer Science 10693, Springer 2017, ISBN 978-3-319-72452-2
Foundation of Algorithms in Mathematics, Engineering and Scientific Computation
- Alexei Lisitsa, Alexei Vernitski:
Automated Reasoning for Knot Semigroups and \pi π -orbifold Groups of Knots. 3-18 - Martin Wilhelm:
Balancing Expression Dags for More Efficient Lazy Adaptive Evaluation. 19-33 - Jonathan D. Hauenstein:
Certification Using Newton-Invariant Subspaces. 34-50 - Jouhayna Harmouch, Bernard Mourrain, Houssam Khalil:
Decomposition of Low Rank Multi-symmetric Tensor. 51-66 - Alexander B. Levin:
Dimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations. 67-80 - Joris van der Hoeven
, Bernard Mourrain:
Efficient Certification of Numeric Solutions to Eigenproblems. 81-94 - Joris van der Hoeven:
Fast Chinese Remaindering in Practice. 95-106 - Daniel J. Bates, Daniel A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese, Charles W. Wampler:
Homotopies for Connected Components of Algebraic Sets with Application to Computing Critical Sets. 107-120 - Joris van der Hoeven, Robin Larrieu, Grégoire Lecerf:
Implementing Fast Carryless Multiplication. 121-136 - Tomasz Dobrowolski:
Improving Enclosure of Interval Scalar Projection Operation. 137-146 - Jan Horácek, Jan Burchard, Bernd Becker, Martin Kreuzer:
Integrating Algebraic and SAT Solvers. 147-162 - Cezary Kaliszyk, Karol Pak:
Isabelle Formalization of Set Theoretic Structures and Set Comprehensions. 163-178 - Robert M. Corless, Marc Moreno Maza, Steven E. Thornton:
Jordan Canonical Form with Parameters from Frobenius Form with Parameters. 179-194 - Michael Kohlhase, Luca De Feo, Dennis Müller, Markus Pfeiffer, Florian Rabe, Nicolas M. Thiéry, Victor Vasilyev, Tom Wiesing:
Knowledge-Based Interoperability for Mathematical Software Systems. 195-210 - Stefan Schirra, Martin Wilhelm:
On Interval Methods with Zero Rewriting and Exact Geometric Computation. 211-226 - Qiao-Long Huang, Xiao-Shan Gao:
Sparse Rational Function Interpolation with Finitely Many Values for the Coefficients. 227-242 - Tom Wiesing, Michael Kohlhase, Florian Rabe:
Virtual Theories - A Uniform Interface to Mathematical Knowledge Bases. 243-257 - Ryoya Fukasaku, Yosuke Sato:
On Real Roots Counting for Non-radical Parametric Ideals. 258-263 - Xavier Dahan:
On the Bit-Size of Non-radical Triangular Sets. 264-269 - Heba al Kafri, David J. Jeffrey, Robert M. Corless:
Rapidly Convergent Integrals and Function Evaluation. 270-274 - David J. Jeffrey, Nick Murdoch:
Stirling Numbers, Lambert W and the Gamma Function. 275-279 - James H. Davenport, Matthew England:
The Potential and Challenges of CAD with Equational Constraints for SC-Square. 280-285
Combinatorics and Codes in Computer Science
- Vedran Krcadinac, Mario-Osvin Pavcevic:
New Small 4-Designs with Nonabelian Automorphism Groups. 289-294 - Dieter Jungnickel, Spyros S. Magliveras, Vladimir D. Tonchev, Alfred Wassermann:
On Classifying Steiner Triple Systems by Their 3-Rank. 295-305 - Phan-Thuan Do, Thi Thu Huong Tran, Vincent Vajnovszki:
Right-Justified Characterization for Generating Regular Pattern Avoiding Permutations. 306-319 - Vissarion Fisikopoulos, Zafeirakis Zafeirakopoulos:
Experimental Study of the Ehrhart Interpolation Polytope. 320-324 - Takunari Miyazaki:
On Testing Isomorphism of Graphs of Bounded Eigenvalue Multiplicity. 325-329
Data Modeling and Analysis
- Václav Blazej, Ondrej Suchý, Tomás Valla:
A Simple Streaming Bit-Parallel Algorithm for Swap Pattern Matching. 333-348 - Christina Parpoula, Alex Karagrigoriou, Angeliki Lambrou:
Epidemic Intelligence Statistical Modelling for Biosurveillance. 349-363 - Ritu Kundu, Toktam Mahmoodi:
Mining Acute Stroke Patients' Data Using Supervised Machine Learning. 364-377 - Alexander Kogler, Patrick Traxler:
Parallel and Robust Empirical Risk Minimization via the Median Trick. 378-391
Mathematical Aspects of Information Security and Cryptography
- Pawel Lorek, Michal Kulis, Filip Zagórski:
Leakage-Resilient Riffle Shuffle. 395-408 - Georgios Fotiadis, Elisavet Konstantinou:
Ordinary Pairing-Friendly Genus 2 Hyperelliptic Curves with Absolutely Simple Jacobians. 409-424 - Pawel Lorek, Marcin Slowik, Filip Zagórski:
Statistical Testing of PRNG: Generalized Gambler's Ruin Problem. 425-437 - Johannes Blömer, Gennadij Liske:
Subtleties in Security Definitions for Predicate Encryption with Public Index. 438-453 - Edoardo Persichetti:
Code-Based Key Encapsulation from McEliece's Cryptosystem. 454-459
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-02-25 23:35 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:
