Mathematical Software – ICMS 2016

Automating Free Logic in Isabelle/HOL

Benzmüller, Christoph (et al.)

Seiten 43-50

Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT

Fish, Andrew (et al.)

Seiten 51-58

Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0

Maletzky, Alexander

Seiten 59-66

Automated Deduction in Ring Theory

Padmanabhan, Ranganathan (et al.)

Seiten 67-74

Agent-Based HOL Reasoning

Steen, Alexander (et al.)

Seiten 75-81

An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance Examination

Wada, Yumi (et al.)

Seiten 82-89

Bad Primes in Computational Algebraic Geometry

Böhm, Janko (et al.)

Seiten 93-101

The Subdivision of Large Simplicial Cones in Normaliz

Bruns, Winfried (et al.)

Seiten 102-109

Extending Singular with New Types and Algorithms

Schönemann, Hans

Seiten 110-113

3D Printing Dimensional Calibration Shape: Clebsch Cubic

Böhm, Janko (et al.)

Seiten 117-126

Decomposing Solution Sets of Polynomial Systems Using Derivatives

Brake, Daniel A. (et al.)

Seiten 127-135

Calibration of Accelerometers and the Geometry of Quadrics

Evain, Laurent

Seiten 136-141

On the Feasibility of Semi-algebraic Sets in Poisson Regression

Kahle, Thomas

Seiten 142-147

Combinatorial and Geometric View of the System Reliability Theory

Mohammadi, Fatemeh

Seiten 148-153

Need Polynomial Systems Be Doubly-Exponential?

Davenport, James H. (et al.)

Seiten 157-164

On the Implementation of CGS Real QE

Fukasaku, Ryoya (et al.)

Seiten 165-172

Common Divisors of Solvable Polynomials in JAS

Kredel, Heinz

Seiten 173-180

An Online Computing and Knowledge Platform for Differential Equations

Liu, Yinping (et al.)

Seiten 181-188

SIROCCO: A Library for Certified Polynomial Root Continuation

Marco-Buzunariz, Miguel Ángel (et al.)

Seiten 191-197

An Implementation of Exact Mixed Volume Computation

Jensen, Anders Nedergaard

Seiten 198-205

Primary Decomposition in Singular

Schönemann, Hans

Seiten 206-211

Border Basis for Polynomial System Solving and Optimization

Trébuchet, Philippe (et al.)

Seiten 212-220

Recursive Double-Size Fixed Precision Arithmetic

Breust, Alexis (et al.)

Seiten 223-231

CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications

Joldes, Mioara (et al.)

Seiten 232-240

On the Computation of Confluent Hypergeometric Functions for Large Imaginary Part of Parameters b and z

Navas-Palencia, Guillermo (et al.)

Seiten 241-248

Parallelization of the FICO Xpress-Optimizer

Berthold, Timo (et al.)

Seiten 251-258

PolySCIP

Borndörfer, Ralf (et al.)

Seiten 259-264

Advanced Computing and Optimization Infrastructure for Extremely Large-Scale Graphs on Post Peta-Scale Supercomputers

Fujisawa, Katsuki (et al.)

Seiten 265-274

DSJM: A Software Toolkit for Direct Determination of Sparse Jacobian Matrices

Hasan, Mahmudul (et al.)

Seiten 275-283

Software for Cut-Generating Functions in the Gomory–Johnson Model and Beyond

Hong, Chun Yu (et al.)

Seiten 284-291

Mixed Integer Nonlinear Program for Minimization of Akaike’s Information Criterion

Kimura, Keiji (et al.)

Seiten 292-300

PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite

Maher, Stephen (et al.)

Seiten 301-307

A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on Supercomputers

Shinano, Yuji (et al.)

Seiten 308-316

CindyJS

Gagern, Martin (et al.)

Seiten 319-326