Mathematical Software – ICMS 2016

Automating Free Logic in Isabelle/HOL

Seiten 43-50

Benzmüller, Christoph (et al.)

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

Seiten 51-58

Fish, Andrew (et al.)

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

Seiten 59-66

Maletzky, Alexander

Automated Deduction in Ring Theory

Seiten 67-74

Padmanabhan, Ranganathan (et al.)

Agent-Based HOL Reasoning

Seiten 75-81

Steen, Alexander (et al.)

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

Seiten 82-89

Wada, Yumi (et al.)

Bad Primes in Computational Algebraic Geometry

Seiten 93-101

Böhm, Janko (et al.)

The Subdivision of Large Simplicial Cones in Normaliz

Seiten 102-109

Bruns, Winfried (et al.)

Extending Singular with New Types and Algorithms

Seiten 110-113

Schönemann, Hans

3D Printing Dimensional Calibration Shape: Clebsch Cubic

Seiten 117-126

Böhm, Janko (et al.)

Decomposing Solution Sets of Polynomial Systems Using Derivatives

Seiten 127-135

Brake, Daniel A. (et al.)

Calibration of Accelerometers and the Geometry of Quadrics

Seiten 136-141

Evain, Laurent

On the Feasibility of Semi-algebraic Sets in Poisson Regression

Seiten 142-147

Kahle, Thomas

Combinatorial and Geometric View of the System Reliability Theory

Seiten 148-153

Mohammadi, Fatemeh

Need Polynomial Systems Be Doubly-Exponential?

Seiten 157-164

Davenport, James H. (et al.)

On the Implementation of CGS Real QE

Seiten 165-172

Fukasaku, Ryoya (et al.)

Common Divisors of Solvable Polynomials in JAS

Seiten 173-180

Kredel, Heinz

An Online Computing and Knowledge Platform for Differential Equations

Seiten 181-188

Liu, Yinping (et al.)

SIROCCO: A Library for Certified Polynomial Root Continuation

Seiten 191-197

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

An Implementation of Exact Mixed Volume Computation

Seiten 198-205

Jensen, Anders Nedergaard

Primary Decomposition in Singular

Seiten 206-211

Schönemann, Hans

Border Basis for Polynomial System Solving and Optimization

Seiten 212-220

Trébuchet, Philippe (et al.)

Recursive Double-Size Fixed Precision Arithmetic

Seiten 223-231

Breust, Alexis (et al.)

CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications

Seiten 232-240

Joldes, Mioara (et al.)

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

Seiten 241-248

Navas-Palencia, Guillermo (et al.)

Parallelization of the FICO Xpress-Optimizer

Seiten 251-258

Berthold, Timo (et al.)

PolySCIP

Seiten 259-264

Borndörfer, Ralf (et al.)

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

Seiten 265-274

Fujisawa, Katsuki (et al.)

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

Seiten 275-283

Hasan, Mahmudul (et al.)

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

Seiten 284-291

Hong, Chun Yu (et al.)

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

Seiten 292-300

Kimura, Keiji (et al.)

PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization Suite

Seiten 301-307

Maher, Stephen (et al.)

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

Seiten 308-316

Shinano, Yuji (et al.)

CindyJS

Seiten 319-326

Gagern, Martin (et al.)

CindyJS Plugins

Seiten 327-334

Gagern, Martin (et al.)

Generating Data for 3D Models

Seiten 335-341

Hamaguchi, Naoki (et al.)

The Actual Use of in Education

Seiten 342-350

Kaneko, Masataka

Cooperation of KeTCindy and Computer Algebra System

Seiten 351-358

Kobayashi, Shigeki (et al.)

CindyGL: Authoring GPU-Based Interactive Mathematical Content

Seiten 359-365

Montag, Aaron (et al.)

Theoretical Physics, Applied Mathematics and Visualizations

Seiten 366-370

Sarafian, Haiduke

What is and How to Use – Linkage Between Dynamic Geometry Software and Graphics Capabilities –

Seiten 371-379

Takato, Setsuo

How to Generate Figures at the Preferred Position of a TeX Document

Seiten 380-385

Usui, Hisashi

The Programming Style for Drawings from to

Seiten 386-393

Yamashita, Satoshi

The Software Portal swMATH: A State of the Art Report and Next Steps

Seiten 397-402

Chrapary, Hagen (et al.)

The polymake XML File Format

Seiten 403-410

Gawrilow, Ewgenij (et al.)

Semantic-Aware Fingerprints of Symbolic Research Data

Seiten 411-418

Gräbe, Hans-Gert

Linking Mathematical Software in Web Archives

Seiten 419-422

Holzmann, Helge (et al.)

Mathematical Models: A Research Data Category?

Seiten 423-428

Koprucki, Thomas (et al.)

Mathematical Research Data and Information Services

Seiten 429-433

Sperber, Wolfram

Stam’s Identities Collection: A Case Study for Math Knowledge Bases

Seiten 437-442

Buchberger, Bruno

The GDML and EuKIM Projects: Short Report on the Initiative

Seiten 443-446

Buchberger, Bruno

Math-Net.Ru Video Library: Creating a Collection of Scientific Talks

Seiten 447-450

Chebukov, Dmitry (et al.)

The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics

Seiten 451-457

Ginev, Deyan (et al.)

The Effort to Realize a Global Digital Mathematics Library

Seiten 458-466

Ion, Patrick

Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences

Seiten 467-475

Luzhnica, Enxhell (et al.)

Mathematical Videos and Affiliated Supplementaries in TIB’s AV Portal

Seiten 476-481

Runnwerth, Mila

Complexity of Integration, Special Values, and Recent Developments

Seiten 485-491

Davenport, James H.

An Algorithm to Find the Link Constrained Steiner Tree in Undirected Graphs

Seiten 492-497

Di Puglia Pugliese, Luigi (et al.)

The Pycao Software for 3D-Modelling

Seiten 498-504

Evain, Laurent

Normal Forms for Operators via Gröbner Bases in Tensor Algebras

Seiten 505-513

Hossein Poor, Jamal (et al.)

Robust Construction of the Additively-Weighted Voronoi Diagram via Topology-Oriented Incremental Algorithm

Seiten 514-521

Lee, Mokwon (et al.)

Mathematical Font Art

Seiten 522-529

Hoeven, Joris