default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICMS 2018: South Bend, IN, USA
- James H. Davenport, Manuel Kauers, George Labahn, Josef Urban:
Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. Lecture Notes in Computer Science 10931, Springer 2018, ISBN 978-3-319-96417-1 - María Alpuente
, Demis Ballis, Julia Sapiña:
Inferring Safe Maude Programs with ÁTAME. 1-10 - Evan Austin, Scott C. Batson, Peter Curry, Bryan Williams:
Finding a Middle Ground for Computer-Aided Cryptography. 11-18 - Lucas Barthelemy, Delaram Kahrobaei, Guénaël Renault, Zoran Sunic:
Quadratic Time Algorithm for Inversion of Binary Permutation Polynomials. 19-27 - Daniel J. Bates, Danielle A. Brake, Matt Niemerg:
Paramotopy: Parameter Homotopies in Parallel. 28-35 - Katja Bercic, Janos Vidali:
DiscreteZOO: Towards a Fingerprint Database of Discrete Objects. 36-44 - Mariya Bessonov, Dima Grigoriev, Vladimir Shpilrain:
A Framework for Unconditionally Secure Public-Key Encryption (with Possible Decryption Errors). 45-54 - Anton Betten:
Classifying Cubic Surfaces over Finite Fields Using Orbiter. 55-61 - Anton Betten:
How Fast Can We Compute Orbits of Groups? 62-70 - Abdullah Al-Azemi, Anton Betten, Sajeeb Roy Chowdhury:
A Rainbow Clique Search Algorithm for BLT-Sets. 71-79 - Taylor Brysiewicz:
Numerical Software to Compute Newton Polytopes. 80-88 - Jorge Caravantes, Laureano González-Vega:
On the Interference Problem for Ellipsoids: Experiments and Applications. 89-97 - Michela Ceria, Teo Mora, Andrea Visconti:
Efficient Computation of Squarefree Separator Polynomials. 98-104 - Tianran Chen:
libtropicon: A Scalable Library for Computing Intersection Points of Generic Tropical Hyper-surfaces. 105-112 - Jin-San Cheng, Junyi Wen, Wenjian Zhang:
Plotting Planar Implicit Curves and Its Applications. 113-122 - Hagen Chrapary, Wolfgang Dalitz:
Software Products, Software Versions, Archiving of Software, and swMATH. 123-127 - Emmanouil Christoforou, Angelos Mantzaflaris, Bernard Mourrain, Julien Wintz:
Axl, a Geometric Modeler for Semi-algebraic Shapes. 128-136 - Giovanni Di Crescenzo, Delaram Kahrobaei, Matluba Khodjaeva, Vladimir Shpilrain:
Efficient and Secure Delegation to a Single Malicious Server: Exponentiation over Non-abelian Groups. 137-146 - Yihe Dong:
NLP-Based Detection of Mathematics Subject Classification. 147-155 - Yihe Dong:
NLP and Large-Scale Information Retrieval on Mathematical Texts. 156-164 - Matthew England:
Machine Learning for Mathematical Software. 165-174 - William M. Farmer:
A New Style of Mathematical Proof. 175-181 - Ethan Petersen, Nora Youngs, Ryan Kruse, Dane Miyata, Rebecca Garcia, Luis David García-Puente:
Neural Ideals in SageMath. 182-190 - Amir Hashemi, Mahdi Dehghani Darmian, Marzieh Barkhordar:
Universal Gröbner Basis for Parametric Polynomial Ideals. 191-199 - Jonathan D. Hauenstein, Avinash Kulkarni, Emre Can Sertöz, Samantha N. Sherman:
Certifying Reality of Projections. 200-208 - Jan Horácek, Martin Kreuzer:
3BA: A Border Bases Solver with a SAT Extension. 209-217 - Kelsey Horan, Delaram Kahrobaei:
The Hidden Subgroup Problem and Post-quantum Group-Based Cryptography. 218-226 - Paula Hähndel, Rebecca Waldecker:
Questions on Orbital Graphs. 227-234 - Rémi Imbach, Victor Y. Pan, Chee Yap:
Implementation of a Near-Optimal Complex Root Clustering Algorithm. 235-244 - Jan Jakubuv, Cezary Kaliszyk:
Towards a Unified Ordering for Superposition-Based Automated Reasoning. 245-254 - Fredrik Johansson:
Numerical Integration in Arbitrary-Precision Ball Arithmetic. 255-263 - Michael Joswig, Lars Kastner:
New Counts for the Number of Triangulations of Cyclic Polytopes. 264-271 - Qiwen Kang, Ruriko Yoshida:
Estimating Tropical Principal Components Using Metropolis Hasting Algorithm. 272-279 - Sohee Kang, Marco Pollanen, Sotirios Damouras, Bruce Cater:
Mathematics Classroom Collaborator (MC2): Technology for Democratizing the Classroom. 280-288 - Daniel S. Katz, Neil P. Chue Hong:
Software Citation in Theory and Practice. 289-296 - Seyeon Kim, Marco Pollanen, Michael G. Reynolds, Wesley S. Burr:
Identification of Errors in Mathematical Symbolism and Notation: Implications for Software Design. 297-304 - Robert H. Lewis:
Image Analysis: Identification of Objects via Polynomial Systems. 305-309 - Robert H. Lewis:
Resultants, Implicit Parameterizations, and Intersections of Surfaces. 310-318 - Robert H. Lewis, Béla Paláncz, Joseph L. Awange:
Fitting a Sphere via Gröbner Basis. 319-327 - Anton Leykin:
Homotopy Continuation in Macaulay2. 328-334 - Daniel Lichtblau:
Solving Polynomial Systems Using Numeric Gröbner Bases. 335-342 - Alexei Lisitsa:
The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs. 343-351 - Manuel Machado Martins, Markus Pfeiffer:
Francy - An Interactive Discrete Mathematics Framework for GAP. 352-358 - Michael B. Monagan, Baris Tuncer:
Sparse Multivariate Hensel Lifting: A High-Performance Design and Implementation. 359-368 - Casey B. Mulligan, James H. Davenport, Matthew England:
TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics. 369-378 - Takeo Noda, Masataka Kaneko:
Collaborative Use of Mathematical Content Generated by CindyJS on Tablets. 379-388 - Yongsheng Rao, Hao Guan, Ruxian Chen, Yu Zuo, Ying Wang:
A Novel Dynamic Mathematics System Based on the Internet. 389-396 - Danielle A. Brake, Jonathan D. Hauenstein, Margaret H. Regan:
polyTop: Software for Computing Topology of Smooth Real Surfaces. 397-404 - Jose Israel Rodriguez:
Solving the Likelihood Equations to Compute Euler Obstruction Functions. 405-413 - Eric Rowland:
IntegerSequences: A Package for Computing with k-Regular Sequences. 414-421 - Conrad Sanderson, Ryan R. Curtin:
A User-Friendly Hybrid Sparse Matrix Class in C++. 422-430 - Shizuka Shirai, Tetsuo Fukui, Kentaro Yoshitomi, Mitsuru Kawazoe, Takahiro Nakahara, Yasuyuki Nakamura, Katsuya Kato, Tetsuya Taniguchi:
Intelligent Editor for Authoring Educational Materials in Mathematics e-Learning Systems. 431-437 - Bianca Sosnovski:
Recent Developments in Cayley Hash Functions. 438-447 - Wolfram Sperber:
Mathematical Research Data, Software, Models, and the Publication-Based Approach. 448-457 - Paul Breiding, Sascha Timme:
HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia. 458-465 - Fernando Vale-Enriquez, Christopher W. Brown:
Polynomial Constraints and Unsat Cores in Tarski. 466-474 - Alexander Wood, Vladimir Shpilrain, Kayvan Najarian, Ali Mostashari, Delaram Kahrobaei:
Private-Key Fully Homomorphic Encryption for Private Classification. 475-481 - Jing Yang, Chee K. Yap:
On \mu μ -Symmetric Polynomials and D-Plus. 482-491 - Kentaro Yoshitomi:
Generation of Abundant Multi-choice or STACK Type Questions Using CAS for Random Assignments. 492-497 - Zhonggang Zeng:
Intuitive Interface for Solving Linear and Nonlinear System of Equations. 498-506
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 2026-03-04 23:43 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:
