Table of Contents

• Experimental Computation and Visual TheoremsJonathan M. Borwein. 1-8 [doi]
• Soft Math Math SoftBruno Buchberger. 9-15 [doi]
• Flyspecking FlyspeckMark Adams. 16-20 [doi]
• Symbolic Computing Package for Mathematica for Versatile Manipulation of Mathematical ExpressionsYoungjoo Chung. 21-25 [doi]
• Representing, Archiving, and Searching the Space of Mathematical KnowledgeMihnea Iancu, Michael Kohlhase, Corneliu-Claudiu Prodescu. 26-30 [doi]
• Early Examples of Software in Mathematical Knowledge ManagementPatrick Ion. 31-35 [doi]
• Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory GraphsMichael Kohlhase, Mihnea Iancu. 36-40 [doi]
• Complexity Analysis of the Bivariate Buchberger Algorithm in TheoremaAlexander Maletzky, Bruno Buchberger. 41-48 [doi]
• Theorema 2.0: A System for Mathematical Theory ExplorationWolfgang Windsteiger. 49-52 [doi]
• New Approaches in Black Box Group TheoryAlexandre V. Borovik, Sükrü Yalçinkaya. 53-58 [doi]
• A GAP Package for Computing with Real Semisimple Lie AlgebrasHeiko Dietrich, Paolo Faccin, Willem A. de Graaf. 59-66 [doi]
• Bacterial Genomics and Computational Group Theory: The BioGAP Package for GAPAttila Egri-Nagy, Andrew R. Francis, Volker Gebhardt. 67-74 [doi]
• SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation GroupsAttila Egri-Nagy, James D. Mitchell, Chrystopher L. Nehaniv. 75-82 [doi]
• Approximating Generators for Integral Arithmetic GroupsBettina Eick. 83-86 [doi]
• Software for Groups: Theory and PracticeAlexander Hulpke. 87-91 [doi]
• Computation of Genus 0 Belyi FunctionsMark van Hoeij, Raimundas Vidunas. 92-98 [doi]
• On Computation of the First Baues-Wirsching Cohomology of a Freely-Generated Small CategoryYasuhiro Momose, Yasuhide Numata. 99-105 [doi]
• Codes over a Non Chain Ring with Some ApplicationsAysegul Bayram, Elif Segah Oztas, Irfan Siap. 106-110 [doi]
• eSunghyu Han. 111-114 [doi]
• Computer Based Reconstruction of Binary Extremal Self-dual Codes of Length 32Jon-Lark Kim. 115-118 [doi]
• Magma Implementation of Decoding Algorithms for General Algebraic Geometry CodesKwankyu Lee. 119-123 [doi]
• Reversible Codes and Applications to DNAElif Segah Oztas, Irfan Siap, Bahattin Yildiz. 124-128 [doi]
• javaPlex: A Research Software Package for Persistent (Co)HomologyHenry Adams, Andrew Tausz, Mikael Vejdemo-Johansson. 129-136 [doi]
• PHAT - Persistent Homology Algorithms ToolboxUlrich Bauer, Michael Kerber, Jan Reininghaus, Hubert Wagner. 137-143 [doi]
• Computing Persistence Modules on Commutative Ladders of Finite TypeEmerson G. Escolar, Yasuaki Hiraoka. 144-151 [doi]
• Heuristics for Sphere RecognitionMichael Joswig, Frank H. Lutz, Mimi Tsuruga. 152-159 [doi]
• CAPD: : RedHom v2 - Homology Software Based on Reduction AlgorithmsMateusz Juda, Marian Mrozek. 160-166 [doi]
• The Gudhi Library: Simplicial Complexes and Persistent HomologyClément Maria, Jean-Daniel Boissonnat, Marc Glisse, Mariette Yvinec. 167-174 [doi]
• Bertini_real: Software for One- and Two-Dimensional Real Algebraic SetsDaniel A. Brake, Daniel J. Bates, Wenrui Hao, Jonathan D. Hauenstein, Andrew J. Sommese, Charles W. Wampler. 175-182 [doi]
• Hom4PS-3: A Parallel Numerical Solver for Systems of Polynomial Equations Based on Polyhedral Homotopy Continuation MethodsTianran Chen, Tsung-Lin Lee, Tien-Yien Li. 183-190 [doi]
• CGAL - Reliable Geometric Computing for Academia and IndustryEric Berberich. 191-197 [doi]
• Implementing the L ∞ Segment Voronoi Diagram in CGAL and Applying in VLSI Pattern AnalysisPanagiotis Cheilaris, Sandeep Kumar Dey, Maria Gabrani, Evanthia Papadopoulou. 198-205 [doi]
• BULL! - The Molecular Geometry Engine Based on Voronoi Diagram, Quasi-Triangulation, and Beta-ComplexDeok-Soo Kim, Youngsong Cho, Jae Kwan Kim, Joonghyun Ryu, Mokwon Lee, Jehyun Cha, Chanyoung Song. 206-213 [doi]
• Integrating Circumradius and Area Formulae for Cyclic PentagonsShuichi Moritsugu. 214-221 [doi]
• Computer Aided GeometryDouglas Navarro Guevara, Adrian Navarro Alvarez. 222-229 [doi]
• The Sustainability of Digital Educational ResourcesYongsheng Rao, Ying Wang, Yu Zou, Jingzhong Zhang. 230-234 [doi]
• A Touch-Operation-Based Dynamic Geometry System: Design and ImplementationWei Su, Paul S. Wang, Chuan Cai, Lian Li. 235-239 [doi]
• OpenGeo: An Open Geometric Knowledge BaseDongming Wang, Xiaoyu Chen, Wenya An, Lei Jiang, Dan Song. 240-245 [doi]
• On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many SingularitiesDaniel J. Bates, Daniel A. Brake, Jonathan D. Hauenstein, Andrew J. Sommese, Charles W. Wampler. 246-252 [doi]
• Robustly and Efficiently Computing Algebraic Curves and SurfacesEric Berberich. 253-260 [doi]
• Computing the Orthogonal Projection of Rational Curves onto Rational Parameterized Surface by Symbolic MethodsZhiwang Gan, Meng Zhou. 261-268 [doi]
• Isotopic ε-Approximation of Algebraic Curves - (Extended Abstract)Kai Jin. 269-276 [doi]
• Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on SubdivisionJyh-Ming Lien, Vikram Sharma 0001, Gert Vegter, Chee Yap. 277-282 [doi]
• Real Quantifier Elimination in the RegularChains LibraryChangbo Chen, Marc Moreno Maza. 283-290 [doi]
• Software for Quantifier Elimination in Propositional LogicEugene Goldberg, Panagiotis Manolios. 291-294 [doi]
• Quantifier Elimination for Linear Modular ConstraintsAjith K. John, Supratik Chakraborty. 295-302 [doi]
• Skolemization Modulo TheoriesKonstantin Korovin, Margus Veanes. 303-306 [doi]
• Incremental QBF Solving by DepQBFFlorian Lonsing, Uwe Egly. 307-314 [doi]
• NLCertify: A Tool for Formal Nonlinear OptimizationVictor Magron. 315-320 [doi]
• Developing Linear Algebra Packages on Risa/Asir for EigenproblemsKatsuyoshi Ohara, Shinichi Tajima, Akira Terui. 321-324 [doi]
• Mathematical Software for Modified Bessel FunctionsJuri Rappoport. 325-332 [doi]
• BetaSCP2: A Program for the Optimal Prediction of Side-Chains in ProteinsJoonghyun Ryu, Mokwon Lee, Jehyun Cha, Chanyoung Song, Deok-Soo Kim. 333-340 [doi]
• Computation of an Improved Lower Bound to Giuga's Primality ConjectureMatthew Skerritt. 341-345 [doi]
• An Extension and Efficient Calculation of the Horner's Rule for MatricesShinichi Tajima, Katsuyoshi Ohara, Akira Terui. 346-351 [doi]
• What Is New in CoCoA?John Abbott, Anna Maria Bigatti. 352-358 [doi]
• Maximizing Likelihood Function for Parameter Estimation in Point Clouds via Groebner BasisJoseph L. Awange, Béla Paláncz, Robert Lewis. 359-366 [doi]
• Groebner Basis in Geodesy and GeoinformaticsJoseph L. Awange, Béla Paláncz, Robert Lewis. 367-373 [doi]
• Groebner Bases in TheoremaBruno Buchberger, Alexander Maletzky. 374-381 [doi]
• Effective Computation of Radical of Ideals and Its Application to Invariant TheoryAmir Hashemi. 382-389 [doi]
• Generic and Parallel Groebner Bases in JAS - (Extended Abstract)Heinz Kredel. 390-397 [doi]
• Application of Groebner Basis Methodology to Nonlinear Mechanics ProblemsY. Jane Liu, John Peddieson. 398-405 [doi]
• Software for Discussing Parametric Polynomial Systems: The Gröbner CoverAntonio Montes, Michael Wibmer. 406-413 [doi]
• An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local CohomologyKatsusuke Nabeshima, Shinichi Tajima. 414-418 [doi]
• Verification of Gröbner Basis CandidatesMasayuki Noro, Kazuhiro Yokoyama. 419-424 [doi]
• Cylindrical Algebraic Decomposition in the RegularChains LibraryChangbo Chen, Marc Moreno Maza. 425-433 [doi]
• Hierarchical Comprehensive Triangular DecompositionZhenghong Chen, Xiaoxian Tang, Bican Xia. 434-441 [doi]
• A Package for Parametric Matrix ComputationsRobert M. Corless, Steven E. Thornton. 442-449 [doi]
• Choosing a Variable Ordering for Truth-Table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular DecompositionMatthew England, Russell J. Bradford, James H. Davenport, David J. Wilson. 450-457 [doi]
• Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and LiftingMatthew England, David J. Wilson, Russell J. Bradford, James H. Davenport. 458-465 [doi]
• An Improvement of Rosenfeld-Gröbner AlgorithmAmir Hashemi, Zahra Touraji. 466-471 [doi]
• Doing Algebraic Geometry with the RegularChains LibraryParisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Éric Schost, Paul Vrbik. 472-479 [doi]
• On Multivariate Birkhoff Rational InterpolationPeng Xia, Bao-Xin Shang, Na Lei. 480-483 [doi]
• Computing Moore-Penrose Inverses of Ore Polynomial MatricesYang Zhang. 484-491 [doi]
• Software Using the Gröbner Cover for Geometrical Loci Computation and ClassificationMiguel A. Abánades, Francisco Botana, Antonio Montes, Tomás Recio. 492-499 [doi]
• Using Maple's RegularChains Library to Automatically Classify Plane Geometric LociFrancisco Botana, Tomás Recio. 500-503 [doi]
• Solving Parametric Polynomial Systems by RealComprehensiveTriangularizeChangbo Chen, Marc Moreno Maza. 504-511 [doi]
• QE Software Based on Comprehensive Gröbner SystemsRyoya Fukasaku. 512-517 [doi]
• SyNRAC: A Toolbox for Solving Real Algebraic ConstraintsHidenao Iwane, Hitoshi Yanami, Hirokazu Anai. 518-522 [doi]
• An Algorithm for Computing Tjurina Stratifications of μ-Constant Deformations by Using Local Cohomology Classes with ParametersKatsusuke Nabeshima, Shinichi Tajima. 523-530 [doi]
• An Implementation Method of Boolean Gröbner Bases and Comprehensive Boolean Gröbner Bases on General Computer Algebra SystemsAkira Nagai, Shutaro Inoue. 531-536 [doi]
• A Method to Determine if Two Parametric Polynomial Systems Are EqualJie Zhou, DingKang Wang. 537-544 [doi]
• An Implementation Method of a CAS with a Handwriting Interface on Tablet DevicesMitsushi Fujimoto. 545-548 [doi]
• New Way of Explanation of the Stochastic Interpretation of Wave Functions and Its Teaching Materials Using KETpicKenji Fukazawa. 549-553 [doi]
• IFSGen4 : Interactive Graphical User Interface for Generation and Visualization of Iterated Function Systems inAkemi Gálvez, Kiyoshi Kitahara, Masataka Kaneko. 554-561 [doi]
• GNU $_{\scriptsize{\rm MACS}}$ towards a Scientific Office SuiteMassimiliano Gubinelli, Joris van der Hoeven, François Poulain, Denis Raux. 562-569 [doi]
• Computer Software Program for Representation and Visualization of Free-Form Curves through Bio-inspired Optimization TechniquesAndrés Iglesias, Akemi Gálvez. 570-577 [doi]
• On Some Attempts to Verify the Effect of Using High-Quality Graphics in Mathematics EducationKiyoshi Kitahara, Tadashi Takahashi, Masataka Kaneko. 578-585 [doi]
• Math Web Search Interfaces and the Generation Gap of MathematiciansAndrea Kohlhase. 586-593 [doi]
• Practice with Computer Algebra Systems in Mathematics Education and Teacher Training CoursesHideyo Makishita. 594-600 [doi]
• Development of Visual Aid Materials in Teaching the Bivariate Normal DistributionsToshifumi Nomachi, Toshihiko Koshiba, Shunji Ouchi. 601-606 [doi]
• Creating Interactive Graphics for Mathematics Education Utilizing KETpicShunji Ouchi, Yoshifumi Maeda, Kiyoshi Kitahara, Naoki Hamaguchi. 607-613 [doi]
• A Tablet-Compatible Web-Interface for Mathematical CollaborationMarco Pollanen, Jeff Hooper, Bruce Cater, Sohee Kang. 614-620 [doi]
• Development and Evaluation of a Web-Based Drill System to Master Basic Math Formulae Using a New Interactive Math Input MethodShizuka Shirai, Tetsuo Fukui. 621-628 [doi]
• Generating Data of Mathematical Figures for 3D Printers with KETpic and Educational Impact of the Printed ModelsSetsuo Takato, Naoki Hamaguchi, Haiduke Sarafian. 629-634 [doi]
• A Touch-Based Mathematical Expression EditorWei Su, Paul S. Wang, Lian Li. 635-640 [doi]
• Establishment of KETpic Programming Styles for DrawingSatoshi Yamashita, Yoshifumi Maeda, Hisashi Usui, Kiyoshi Kitahara, Hideyo Makishita, Kazushi Ahara. 641-646 [doi]
• Integration of Libnormaliz in CoCoALib and CoCoA 5John Abbott, Anna Maria Bigatti, Christof Söger. 647-653 [doi]
• Elements of Design for Containers and Solutions in the LinBox Library - Extended AbstractBrice Boyer, Jean-Guillaume Dumas, Pascal Giorgi, Clément Pernet, B. David Saunders. 654-662 [doi]
• Recent Developments in NormalizWinfried Bruns, Christof Söger. 663-668 [doi]
• The Basic Polynomial Algebra SubprogramsChangbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza, Ning Xie, Yuzhen Xie. 669-676 [doi]
• Function Interval ArithmeticJan Duracz, Amin Farjudian, Michal Konecný, Walid Taha. 677-684 [doi]
• Generating Optimized Sparse Matrix Vector Product over Finite FieldsPascal Giorgi, Bastien Vialla. 685-690 [doi]
• swMATH - An Information Service for Mathematical SoftwareGert-Martin Greuel, Wolfram Sperber. 691-701 [doi]
• MathLibre: Modifiable Desktop Environment for MathematicsTatsuyoshi Hamada. 702-705 [doi]
• Software Packages for Holonomic Gradient MethodTamio Koyama, Hiromasa Nakayama, Katsuyoshi Ohara, Tomonari Sei, Nobuki Takayama. 706-712 [doi]
• Metalibm: A Mathematical Functions Code GeneratorOlga Kupriianova, Christoph Quirin Lauter. 713-717 [doi]
• From Calculus to Algorithms without ErrorsNorbert Th. Müller, Martin Ziegler. 718-724 [doi]
• Dense Arithmetic over Finite Fields with the CUMODP LibrarySardar Anisul Haque, Xin Li, Farnam Mansouri, Marc Moreno Maza, Wei Pan, Ning Xie. 725-732 [doi]