Abstract is missing.
- With Extreme Scale Computing the Rules Have ChangedJack Dongarra. 3-6 [doi]
- Some Wellfounded Trees in UniMath - Extended AbstractBenedikt Ahrens, Anders Mörtberg. 9-17 [doi]
- Exercising Nuprl's Open-EndednessVincent Rahli. 18-27 [doi]
- Formalizing Double Groupoids and Cross Modules in the Lean Theorem ProverJakob von Raumer. 28-33 [doi]
- Towards the Automatic Discovery of Theorems in GeoGebraMiguel A. Abánades, Francisco Botana, Zoltán Kovács, Tomás Recio, Csilla Sólyom-Gecse. 37-42 [doi]
- Automating Free Logic in Isabelle/HOLChristoph Benzmüller, Dana Scott. 43-50 [doi]
- Efficient Knot Discrimination via Quandle Coloring with SAT and #-SATAndrew Fish, Alexei Lisitsa, David Stanovský, Sarah Swartwood. 51-58 [doi]
- Interactive Proving, Higher-Order Rewriting, and Theory Analysis in Theorema 2.0Alexander Maletzky. 59-66 [doi]
- Automated Deduction in Ring TheoryRanganathan Padmanabhan, Yang Zhang. 67-74 [doi]
- Agent-Based HOL ReasoningAlexander Steen, Max Wisniewski, Christoph Benzmüller. 75-81 [doi]
- An Automated Deduction and Its Implementation for Solving Problem of Sequence at University Entrance ExaminationYumi Wada, Takuya Matsuzaki, Akira Terui, Noriko H. Arai. 82-89 [doi]
- Bad Primes in Computational Algebraic GeometryJanko Böhm, Wolfram Decker, Claus Fieker, Santiago Laplagne, Gerhard Pfister. 93-101 [doi]
- The Subdivision of Large Simplicial Cones in NormalizWinfried Bruns, Richard Sieg, Christof Söger. 102-109 [doi]
- Extending Singular with New Types and AlgorithmsHans Schönemann. 110-113 [doi]
- 3D Printing Dimensional Calibration Shape: Clebsch CubicJanko Böhm, Magdaleen S. Marais, André F. van der Merwe. 117-126 [doi]
- Decomposing Solution Sets of Polynomial Systems Using DerivativesDaniel A. Brake, Jonathan D. Hauenstein, Alan C. Liddell Jr.. 127-135 [doi]
- Calibration of Accelerometers and the Geometry of QuadricsLaurent Evain. 136-141 [doi]
- On the Feasibility of Semi-algebraic Sets in Poisson RegressionThomas Kahle. 142-147 [doi]
- Combinatorial and Geometric View of the System Reliability TheoryFatemeh Mohammadi. 148-153 [doi]
- Need Polynomial Systems Be Doubly-Exponential?James H. Davenport, Matthew England. 157-164 [doi]
- On the Implementation of CGS Real QERyoya Fukasaku, Hidenao Iwane, Yosuke Sato. 165-172 [doi]
- Common Divisors of Solvable Polynomials in JASHeinz Kredel. 173-180 [doi]
- An Online Computing and Knowledge Platform for Differential EquationsYinping Liu, Ruoxia Yao, Zhibin Li, Le Yang, Zhian Zhang. 181-188 [doi]
- SIROCCO: A Library for Certified Polynomial Root ContinuationMiguel Ángel Marco Buzunáriz, Marcos Rodríguez. 191-197 [doi]
- An Implementation of Exact Mixed Volume ComputationAnders Nedergaard Jensen. 198-205 [doi]
- Primary Decomposition in SingularHans Schönemann. 206-211 [doi]
- Border Basis for Polynomial System Solving and OptimizationPhilippe Trébuchet, Bernard Mourrain, Marta Abril Bucero. 212-220 [doi]
- Recursive Double-Size Fixed Precision ArithmeticAlexis Breust, Christophe Chabot, Jean-Guillaume Dumas, Laurent Fousse, Pascal Giorgi. 223-231 [doi]
- CAMPARY: Cuda Multiple Precision Arithmetic Library and ApplicationsMioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker. 232-240 [doi]
- On the Computation of Confluent Hypergeometric Functions for Large Imaginary Part of Parameters b and zGuillermo Navas-Palencia, Argimiro Arratia. 241-248 [doi]
- Parallelization of the FICO Xpress-OptimizerTimo Berthold, James Farmer, Stefan Heinz, Michael Perregaard. 251-258 [doi]
- PolySCIPRalf Borndörfer, Sebastian Schenker, Martin Skutella, Timo Strunk. 259-264 [doi]
- Advanced Computing and Optimization Infrastructure for Extremely Large-Scale Graphs on Post Peta-Scale SupercomputersKatsuki Fujisawa, Toshio Endo, Yuichiro Yasui. 265-274 [doi]
- DSJM: A Software Toolkit for Direct Determination of Sparse Jacobian MatricesMahmudul Hasan, Shahadat Hossain, Ahamad Imtiaz Khan, Nasrin Hakim Mithila, Ashraful Huq Suny. 275-283 [doi]
- Software for Cut-Generating Functions in the Gomory-Johnson Model and BeyondChun Yu Hong, Matthias Köppe, Yuan Zhou. 284-291 [doi]
- Mixed Integer Nonlinear Program for Minimization of Akaike's Information CriterionKeiji Kimura, Hayato Waki. 292-300 [doi]
- PySCIPOpt: Mathematical Programming in Python with the SCIP Optimization SuiteStephen Maher, Matthias Miltenberger, João Pedro Pedroso, Daniel Rehfeldt, Robert Schwarz, Felipe Serrano. 301-307 [doi]
- A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on SupercomputersYuji Shinano, Timo Berthold, Stefan Heinz. 308-316 [doi]
- CindyJS - Mathematical Visualization on Modern DevicesMartin von Gagern, Ulrich Kortenkamp, Jürgen Richter-Gebert, Michael Strobel. 319-326 [doi]
- CindyJS Plugins - Extending the Mathematical Visualization FrameworkMartin von Gagern, Jürgen Richter-Gebert. 327-334 [doi]
- Generating Data for 3D ModelsNaoki Hamaguchi, Setsuo Takato. 335-341 [doi]
- The Actual Use of in EducationMasataka Kaneko. 342-350 [doi]
- Cooperation of KeTCindy and Computer Algebra SystemShigeki Kobayashi, Setsuo Takato. 351-358 [doi]
- CindyGL: Authoring GPU-Based Interactive Mathematical ContentAaron Montag, Jürgen Richter-Gebert. 359-365 [doi]
- Theoretical Physics, Applied Mathematics and VisualizationsHaiduke Sarafian. 366-370 [doi]
- What is and How to Use - Linkage Between Dynamic Geometry Software and Graphics Capabilities -Setsuo Takato. 371-379 [doi]
- How to Generate Figures at the Preferred Position of a TeX DocumentHisashi Usui. 380-385 [doi]
- The Programming Style for Drawings from toSatoshi Yamashita. 386-393 [doi]
- The Software Portal swMATH: A State of the Art Report and Next StepsHagen Chrapary, Yue Ren. 397-402 [doi]
- The polymake XML File FormatEwgenij Gawrilow, Simon Hampe, Michael Joswig. 403-410 [doi]
- Semantic-Aware Fingerprints of Symbolic Research DataHans-Gert Gräbe. 411-418 [doi]
- Linking Mathematical Software in Web ArchivesHelge Holzmann, Mila Runnwerth, Wolfram Sperber. 419-422 [doi]
- Mathematical Models: A Research Data Category?Thomas Koprucki, Karsten Tabelow. 423-428 [doi]
- Mathematical Research Data and Information ServicesWolfram Sperber. 429-433 [doi]
- Stam's Identities Collection: A Case Study for Math Knowledge BasesBruno Buchberger. 437-442 [doi]
- The GDML and EuKIM Projects: Short Report on the InitiativeBruno Buchberger. 443-446 [doi]
- Math-Net.Ru Video Library: Creating a Collection of Scientific TalksDmitry E. Chebukov, Alexander D. Izaak, Olga G. Misyurina, Yuri A. Pupyrev. 447-450 [doi]
- The SMGloM Project and System: Towards a Terminology and Ontology for MathematicsDeyan Ginev, Mihnea Iancu, Constantin Jucovschi, Andrea Kohlhase, Michael Kohlhase, Akbar Oripov, Jürgen Schefter, Wolfram Sperber, Olaf Teschke, Tom Wiesing. 451-457 [doi]
- The Effort to Realize a Global Digital Mathematics LibraryPatrick Ion. 458-466 [doi]
- Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer SequencesEnxhell Luzhnica, Michael Kohlhase. 467-475 [doi]
- Mathematical Videos and Affiliated Supplementaries in TIB's AV PortalMila Runnwerth. 476-481 [doi]
- Complexity of Integration, Special Values, and Recent DevelopmentsJames H. Davenport. 485-491 [doi]
- An Algorithm to Find the Link Constrained Steiner Tree in Undirected GraphsLuigi Di Puglia Pugliese, Manlio Gaudioso, Francesca Guerriero, Giovanna Miglionico. 492-497 [doi]
- The Pycao Software for 3D-ModellingLaurent Evain. 498-504 [doi]
- Normal Forms for Operators via Gröbner Bases in Tensor AlgebrasJamal Hossein Poor, Clemens G. Raab, Georg Regensburger. 505-513 [doi]
- Robust Construction of the Additively-Weighted Voronoi Diagram via Topology-Oriented Incremental AlgorithmMokwon Lee, Kokichi Sugihara, Deok-Soo Kim. 514-521 [doi]
- Mathematical Font ArtJoris van der Hoeven. 522-529 [doi]