Mathematical Software – ICMS 2018

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

Seiten 45-54

Bessonov, Mariya (et al.)

Classifying Cubic Surfaces over Finite Fields Using Orbiter

Seiten 55-61

Betten, Anton

How Fast Can We Compute Orbits of Groups?

Seiten 62-70

Betten, Anton

A Rainbow Clique Search Algorithm for BLT-Sets

Seiten 71-79

Al-Azemi, Abdullah (et al.)

Numerical Software to Compute Newton Polytopes

Seiten 80-88

Brysiewicz, Taylor

On the Interference Problem for Ellipsoids: Experiments and Applications

Seiten 89-97

Caravantes, Jorge (et al.)

Efficient Computation of Squarefree Separator Polynomials

Seiten 98-104

Ceria, Michela (et al.)

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

Seiten 105-112

Chen, Tianran

Plotting Planar Implicit Curves and Its Applications

Seiten 113-122

Cheng, Jin-San (et al.)

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

Seiten 123-127

Chrapary, Hagen (et al.)

Axl, a Geometric Modeler for Semi-algebraic Shapes

Seiten 128-136

Christoforou, Emmanouil (et al.)

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

Seiten 137-146

Crescenzo, Giovanni (et al.)

NLP-Based Detection of Mathematics Subject Classification

Seiten 147-155

Dong, Yihe

NLP and Large-Scale Information Retrieval on Mathematical Texts

Seiten 156-164

Dong, Yihe

Machine Learning for Mathematical Software

Seiten 165-174

England, Matthew

A New Style of Mathematical Proof

Seiten 175-181

Farmer, William M.

Neural Ideals in SageMath

Seiten 182-190

Petersen, Ethan (et al.)

Universal Gröbner Basis for Parametric Polynomial Ideals

Seiten 191-199

Hashemi, Amir (et al.)

Certifying Reality of Projections

Seiten 200-208

Hauenstein, Jonathan D. (et al.)

3BA: A Border Bases Solver with a SAT Extension

Seiten 209-217

Horáček, Jan (et al.)

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

Seiten 218-226

Horan, Kelsey (et al.)

Questions on Orbital Graphs

Seiten 227-234

Hähndel, Paula (et al.)

Implementation of a Near-Optimal Complex Root Clustering Algorithm

Seiten 235-244

Imbach, Rémi (et al.)

Towards a Unified Ordering for Superposition-Based Automated Reasoning

Seiten 245-254

Jakubův, Jan (et al.)

Numerical Integration in Arbitrary-Precision Ball Arithmetic

Seiten 255-263

Johansson, Fredrik

New Counts for the Number of Triangulations of Cyclic Polytopes

Seiten 264-271

Joswig, Michael (et al.)

Estimating Tropical Principal Components Using Metropolis Hasting Algorithm

Seiten 272-279

Kang, Qiwen (et al.)

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

Seiten 280-288

Kang, Sohee (et al.)

Software Citation in Theory and Practice

Seiten 289-296

Katz, Daniel S. (et al.)

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

Seiten 297-304

Kim, Seyeon (et al.)

Image Analysis: Identification of Objects via Polynomial Systems

Seiten 305-309

Lewis, Robert H.

Resultants, Implicit Parameterizations, and Intersections of Surfaces

Seiten 310-318

Lewis, Robert H.

Fitting a Sphere via Gröbner Basis

Seiten 319-327

Lewis, Robert (et al.)

Homotopy Continuation in Macaulay2

Seiten 328-334

Leykin, Anton

Solving Polynomial Systems Using Numeric Gröbner Bases

Seiten 335-342

Lichtblau, Daniel

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

Seiten 343-351

Lisitsa, A.

Francy - An Interactive Discrete Mathematics Framework for GAP

Seiten 352-358

Machado Martins, Manuel (et al.)

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

Seiten 359-368

Monagan, Michael (et al.)

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

Seiten 369-378

Mulligan, Casey B. (et al.)

Collaborative Use of Mathematical Content Generated by CindyJS on Tablets

Seiten 379-388

Noda, Takeo (et al.)

A Novel Dynamic Mathematics System Based on the Internet

Seiten 389-396

Rao, Yongsheng (et al.)

polyTop: Software for Computing Topology of Smooth Real Surfaces

Seiten 397-404

Brake, Danielle A. (et al.)

Solving the Likelihood Equations to Compute Euler Obstruction Functions

Seiten 405-413

Rodriguez, Jose Israel

IntegerSequences: A Package for Computing with k-Regular Sequences

Seiten 414-421

Rowland, Eric

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

Seiten 422-430

Sanderson, Conrad (et al.)

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

Seiten 431-437

Shirai, Shizuka (et al.)

Recent Developments in Cayley Hash Functions

Seiten 438-447

Sosnovski, Bianca

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

Seiten 448-457

Sperber, Wolfram

HomotopyContinuation.jl: A Package for Homotopy Continuation in Julia

Seiten 458-465

Breiding, Paul (et al.)

Polynomial Constraints and Unsat Cores in Tarski

Seiten 466-474

Vale-Enriquez, Fernando (et al.)

Private-Key Fully Homomorphic Encryption for Private Classification

Seiten 475-481

Wood, Alexander (et al.)

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

Seiten 482-491

Yang, Jing (et al.)

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

Seiten 492-497

Yoshitomi, Kentaro

Intuitive Interface for Solving Linear and Nonlinear System of Equations

Seiten 498-506

Zeng, Zhonggang