Mathematical Software – ICMS 2018

A Framework for Unconditionally Secure Public-Key Encryption (with Possible Decryption Errors)

Bessonov, Mariya (et al.)

Seiten 45-54

Classifying Cubic Surfaces over Finite Fields Using Orbiter

Betten, Anton

Seiten 55-61

How Fast Can We Compute Orbits of Groups?

Betten, Anton

Seiten 62-70

A Rainbow Clique Search Algorithm for BLT-Sets

Al-Azemi, Abdullah (et al.)

Seiten 71-79

Numerical Software to Compute Newton Polytopes

Brysiewicz, Taylor

Seiten 80-88

On the Interference Problem for Ellipsoids: Experiments and Applications

Caravantes, Jorge (et al.)

Seiten 89-97

Efficient Computation of Squarefree Separator Polynomials

Ceria, Michela (et al.)

Seiten 98-104

libtropicon: A Scalable Library for Computing Intersection Points of Generic Tropical Hyper-surfaces

Chen, Tianran

Seiten 105-112

Plotting Planar Implicit Curves and Its Applications

Cheng, Jin-San (et al.)

Seiten 113-122

Software Products, Software Versions, Archiving of Software, and swMATH

Chrapary, Hagen (et al.)

Seiten 123-127

Axl, a Geometric Modeler for Semi-algebraic Shapes

Christoforou, Emmanouil (et al.)

Seiten 128-136

Efficient and Secure Delegation to a Single Malicious Server: Exponentiation over Non-abelian Groups

Crescenzo, Giovanni (et al.)

Seiten 137-146

NLP-Based Detection of Mathematics Subject Classification

Dong, Yihe

Seiten 147-155

NLP and Large-Scale Information Retrieval on Mathematical Texts

Dong, Yihe

Seiten 156-164

Machine Learning for Mathematical Software

England, Matthew

Seiten 165-174

A New Style of Mathematical Proof

Farmer, William M.

Seiten 175-181

Neural Ideals in SageMath

Petersen, Ethan (et al.)

Seiten 182-190

Universal Gröbner Basis for Parametric Polynomial Ideals

Hashemi, Amir (et al.)

Seiten 191-199

Certifying Reality of Projections

Hauenstein, Jonathan D. (et al.)

Seiten 200-208

3BA: A Border Bases Solver with a SAT Extension

Horáček, Jan (et al.)

Seiten 209-217

The Hidden Subgroup Problem and Post-quantum Group-Based Cryptography

Horan, Kelsey (et al.)

Seiten 218-226

Questions on Orbital Graphs

Hähndel, Paula (et al.)

Seiten 227-234

Implementation of a Near-Optimal Complex Root Clustering Algorithm

Imbach, Rémi (et al.)

Seiten 235-244

Towards a Unified Ordering for Superposition-Based Automated Reasoning

Jakubův, Jan (et al.)

Seiten 245-254

Numerical Integration in Arbitrary-Precision Ball Arithmetic

Johansson, Fredrik

Seiten 255-263

New Counts for the Number of Triangulations of Cyclic Polytopes

Joswig, Michael (et al.)

Seiten 264-271

Estimating Tropical Principal Components Using Metropolis Hasting Algorithm

Kang, Qiwen (et al.)

Seiten 272-279

Mathematics Classroom Collaborator (MC2): Technology for Democratizing the Classroom

Kang, Sohee (et al.)

Seiten 280-288

Software Citation in Theory and Practice

Katz, Daniel S. (et al.)

Seiten 289-296

Identification of Errors in Mathematical Symbolism and Notation: Implications for Software Design

Kim, Seyeon (et al.)

Seiten 297-304

Image Analysis: Identification of Objects via Polynomial Systems

Lewis, Robert H.

Seiten 305-309

Resultants, Implicit Parameterizations, and Intersections of Surfaces

Lewis, Robert H.

Seiten 310-318

Fitting a Sphere via Gröbner Basis

Lewis, Robert (et al.)

Seiten 319-327

Homotopy Continuation in Macaulay2

Leykin, Anton

Seiten 328-334

Solving Polynomial Systems Using Numeric Gröbner Bases

Lichtblau, Daniel

Seiten 335-342

The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs

Lisitsa, A.

Seiten 343-351

Francy - An Interactive Discrete Mathematics Framework for GAP

Machado Martins, Manuel (et al.)

Seiten 352-358

Sparse Multivariate Hensel Lifting: A High-Performance Design and Implementation

Monagan, Michael (et al.)

Seiten 359-368

TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics

Mulligan, Casey B. (et al.)

Seiten 369-378

Collaborative Use of Mathematical Content Generated by CindyJS on Tablets

Noda, Takeo (et al.)

Seiten 379-388

A Novel Dynamic Mathematics System Based on the Internet

Rao, Yongsheng (et al.)

Seiten 389-396

polyTop: Software for Computing Topology of Smooth Real Surfaces

Brake, Danielle A. (et al.)

Seiten 397-404

Solving the Likelihood Equations to Compute Euler Obstruction Functions

Rodriguez, Jose Israel

Seiten 405-413

IntegerSequences: A Package for Computing with k-Regular Sequences

Rowland, Eric

Seiten 414-421

A User-Friendly Hybrid Sparse Matrix Class in C++

Sanderson, Conrad (et al.)

Seiten 422-430

Intelligent Editor for Authoring Educational Materials in Mathematics e-Learning Systems

Shirai, Shizuka (et al.)

Seiten 431-437

Recent Developments in Cayley Hash Functions

Sosnovski, Bianca

Seiten 438-447

Mathematical Research Data, Software, Models, and the Publication-Based Approach

Sperber, Wolfram

Seiten 448-457

HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia

Breiding, Paul (et al.)

Seiten 458-465

Polynomial Constraints and Unsat Cores in Tarski

Vale-Enriquez, Fernando (et al.)

Seiten 466-474

Private-Key Fully Homomorphic Encryption for Private Classification

Wood, Alexander (et al.)

Seiten 475-481

On $$\mu $$-Symmetric Polynomials and D-Plus

Yang, Jing (et al.)

Seiten 482-491

Generation of Abundant Multi-choice or STACK Type Questions Using CAS for Random Assignments

Yoshitomi, Kentaro

Seiten 492-497

Intuitive Interface for Solving Linear and Nonlinear System of Equations

Zeng, Zhonggang

Seiten 498-506