# List of accepted papers

### Last update 6/10/2015

Author | Title | Session | |

1 | A. Prokopenya | Approximate Quantum Fourier Transform and Applications: Simulation with Wolfram Mathematica | |

2 | A. Orlowski | From classical universal and reversible logical operations to quantum computation | |

3 | V. Gerdt, A. Khvedelidze, Y. Palii | On the orbit space of unitary actions for mixed quantum states | |

4 | A. SaiToh | Practical Difficulty and Techniques in Matrix-Product-State Simulation of Quantum Computing in Hilbert Space and Liouville Space | |

5 | J.A. Miszczak | States and channels in quantum mechanics without complex numbers | |

6 | O.G. Karamitrou, C. Tsimpouris, P. Mavridi, K.N. Sgarbas | Web based Quantum Computer Simulator and symbolic extensions | |

7 | Stephen M. Watt | Browser-based Collaboration with InkChat | |

8 | Elena Smirnova | CAS wonderland: A journey from user interfaces to user-friendly interfaces | |

9 | Manfred Minimair | Collaborative Computer Algebra: Review of Foundations | |

10 | Laurence Ruiz Ugalde | Cooperative development and human interface of a computer algebra system with the Fōrmulæ framework | |

11 | Manfred Minimair | Modelling Inductive Reasoning in Collaborative Computer Algebra | |

12 | Tetsuo Fukui, S. Shirai | Predictive Algorithm from Linear String to Mathematical Formulae for Math Input Method | |

13 | Joris van der Hoeven, Grégoire Lecerf, Denis Raux | Preserving Syntactic Correctness While Editing Mathematical Formulas | |

14 | Hans-Gert Gräbe, Albert Heinle, Andreas Nareike | SymbolicData, Computer Algebra and the Web 3.0 | |

15 | Michael Xue | A Constructive Proof of Feuerbach’s Theorem Using a Computer Algebra System | |

16 | Elena Varbanova | About balanced application of CAS in undergraduate mathematics | |

17 | Wlodzimierz Wojas and Jan Krupa | Application of wxMaxima System in LP problem of compound feed mass minimization | |

18 | R. Hasek | Contemporary interpretation of a historical locus problem with an unexpected discovery | |

19 | Razvan A. Mezei, Lenoir-Rhyne | Create SageMath Interacts for All Your Math Courses | |

20 | G. Labelle | Generating animations of JPEG images of closed surfaces in space using Maple and Quicktime | |

21 | Josef Böhm | GINI-Coefficient, GOZINTO-Graph and Option Prices | |

22 | Michel Beaudin | Ideas for Teaching Using CAS | |

23 | David Zeitoun and Thierry Dana-Picard | Plotting technologies for the study of functions of two real variables | |

24 | Th. Dana-Picard, N. Zehavi | Revival of a Classical Topic in Differential Geometry: Envelopes of Parametrized Families of Curves and Surfaces | |

25 | Josef Böhm | Solving Brain Teasers/Twisters - CAS Assisted | |

26 | F. Botana | Some reflections about open vs. proprietary Computer Algebra Systems in mathematics teaching | |

27 | Wlodzimierz Wojas and Jan Krupa | Some remarks on Taylor's polynomials visualization using Mathematica in context of function approximation | |

28 | G. Aguilera, J.L. Galán, M.Á. Galán, Y. Padilla, P. Rodríguez, R. Rodríguez | Teaching improper integrals with CAS | |

29 | T. Takahashi, T. Sakai, F. Iwama | The Use of CAS for Logical Analysis in Mathematics Education | |

30 | Gregory V. Bard | Using SageMathCell and Sage Interacts to Reach Mathematically Weak Business Students | |

31 | Alkiviadis G. Akritas | Various New Methods for Computing Subresultant Polynomial Remainder Sequences (PRS’s) | |

32 | eanett López García, Jorge J. Jiménez Zamudio and Ma. Eugenia Canut Díaz Velarde | Visualization of Orthonormal Triads in Cylindrical and Spherical Coordinates | |

33 | M. Beaudin, F. Henri | When Mathematics Meet Computer Software | |

34 | Thomas Westermann | WWW: What/Where/When using CAS in Class | |

35 | M. Durcheva | A Message Encryption Scheme Using Idempotent semirings | |

36 | M. Bras-Amorós, M.E. O'Sullivan and M. Pujol | A new approach to the key equation and to the Berlekamp-Massey algorithm | |

37 | Karim Ishak, Sven Muelich, Sven Puchinger, Martin Bossert | Code-based Cryptosystems using generalized concatenated codes | |

38 | Ryutaroh Matsumoto and Diego Ruano | Geometric and Computational Approach to Classical and Quantum Secret Sharing | |

39 | J. Rifà, E. Suárez-Canedo | Kronecker sums to construct Hadamard full propelinear codes of type CnQ8 | |

40 | A. Jeux and C. Pierrot | Nearly Sparse Linear Algebra and application to the Discrete Logarithm Problem | |

41 | J. Borges, C. Fernández-Córdoba and R. Ten-Valls | On Z_{p^r}Z_{p^s}-additive cyclic codes | |

42 | R.D. Barrolleta and M. Villanueva | PD-sets for (nonlinear) Hadamard Z4-Linear codes | |

43 | C. Galindo, F. Hernándo, D. Ruano | Quantum codes with bounded minimum distance | |

44 | O. Geil, S. Martin, U. Martínez-Peñas and D. Ruano | Refined analysis of RGHWs of code pairs coming from Gracia-Stichtenoth's second tower | |

45 | V. Berec | Simplicial topological coding and homology of spin networks | |

46 | M. Borges-Quintana, M.A. Borges-Trenard, E. Martínez-Moro | Trial set and Gröbner bases for binary codes | |

47 | Andreas Maurischat | Differential Galois theory over differentially simple rings | |

48 | Werner Seiler | Geometric singularities of algebraic differential equations | |

49 | Daniel Robertz | Lagrangian constraints and differential Thomas decomposition | |

50 | Thomas Dreyfus | Malher equations, differential Galois theory, and transcendence | |

51 | Carlos Arreche | On the computation of the difference-differential Galois group for a second-order linear difference equation | |

52 | Ivan Tomasic | Primitive recursive quantifier elimination for existentially closed difference fields | |

53 | Florian Heiderich | Prolongation spaces and generalized differentials | |

54 | Alin Bostan | Quasi-optimal computation of the p-curvature | |

55 | Matthias Seiss | Root parameterized differential equations for the classical groups | |

56 | Franz Winkler | Symbolic solution of first-order autonomous algebraic partial differential equations | |

57 | Manuel Kauers | The positive part of multivariate series | |

58 | Mohamed Barakat | Unitary groups of group algebras in characteristic 2 | |

59 | C. El Bacha | A New Approach for Computing Regular Solutions of Linear Difference Systems | |

60 | C. Shakiban | Application of Signature Curves to Characterize Melanomas and Moles | |

61 | Franz Winkler | Birational Transformations of Algebraic Ordinary Differential Equations | |

62 | M. Jaroschek | Computing Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings | |

63 | T. Combot | Computing Liouvillian solutions of linear difference equations | |

64 | W. Seiler | Computing Resolutions for Linear Differential Systems | |

65 | T. Goncalves | Conservation Laws and the Chazy Equation | |

66 | S. Maddah | Formal Solutions of Singularly-Perturbed Linear Differential Systems | |

67 | A. Korporal | Generalized Green's Operators and the Method of Characteristics | |

68 | M. Barakat | Generalized morphisms – turning homological algorithms into closed formulas | |

69 | P. Olver | Invariant histograms and signatures for object recognition, symmetry detection, and jigsaw puzzle assembly | |

70 | L. Poinsot | Jacobi algebras, in-between Poisson, differential, and Lie algebras | |

71 | V. Bavula | Localizable and Weakly Left Localizable Rings | |

72 | C. Raab | On a generalization of integro-differential operators | |

73 | A. Kitchin | Quantized Weyl algebras and Automorphisms | |

74 | E. Previato | Symbolic Computation for Rankin-Cohen Differential Algebras | |

75 | A. Prokopenya | Symbolic Computation in Studying the Restricted Three-Body Problem with Variable Masses | |

76 | I. Dimovski and M. Spiridonova | Use of a Two-Dimensional Operational Calculus for Nonlocal Vibration Boundary Value Problems | |

77 | M. Kauers | Walks in the quarter plane with multiple steps | |

78 | Clemens Raab | Algorithms in symbolic integration | |

79 | Manuel Kauers | Creative Telescoping via Hermite Reduction | |

80 | Jürgen Gerhard | Definite Integration of Rational Functions | |

81 | Eugene Zima | Dispersion and complexity of indefinite summation | |

82 | Frederic Chyzak | Explicit generating series for small-step walks in the quarter plane | |

83 | Ngo Quoc Hoan | Harmonic sums and polylogarithms at negative multiple-indices | |

84 | Carsten Schneider | Refined Parameterized Telescoping Algorithms | |

85 | Mark Round | Rened Holonomic Summation Meets Particle Physics | |

86 | Erik Panzer | Symbolic integration of multiple polylogarithms | |

87 | Mateusz Juda | Algebraic Topology For Unitary Reflection Groups - Scalable Homology Computing | |

88 | Marian Mrozek | Algebraic-topological invariants for combinatorial multivector fields | |

89 | Abhishek Rathore | Approximation Algorithms for Max-Morse Matching Problem | |

90 | Eduardo Sáenz de Cabezón | Computing the homology of the LCM-filtration of a monomial ideal | |

91 | Marc Ethier | Computing the persistence of a self-map with the Kronecker canonical form | |

92 | D. M. Onchis | Estimating the position of the mandibular canal in dental radiographs using the generalized Hough transform | |

93 | Pedro Real | Exploring relationships between homology generators using algebraic-topological models of regular CW-complexes | |

94 | Vitalyi Kurlin | Fast and Stable Topological Profiles of Noisy 2D Images | |

95 | Aldo Gonzalez-Lorenzo | Fast computation of Betti numbers on three-dimensional cubical complexes | |

96 | Aldo Gonzalez-Lorenzo | Homological Discrete Vector Fields and homotopy equivalences | |

97 | Grzegorz Jablonski | Persistence of generalized eigenspaces of self-maps | |

98 | Joao Pita Costa | Persistence over a topos of variable sets | |

99 | Gard Spreemann | Using persistent homology to reveal hidden information in place cells | |

100 | E. Roanes-Lozano, J.L. Galan-Garcia, G. Aguilera-Venegas | Computer Algebra-based RBES personalized menu generator | |

101 | M. Ramírez, J.M. Gavilán, G. Aguilera, J.L. Galán, M.Á. Galán, P. Rodríguez | Making more flexible ATISMART+ model for traffic simulations using a CAS | |

102 | P. Pech | Properties of the Simson–Wallace locus applied on a skew quadrilateral | |

103 | Robert H. Lewis | Symbolic-Numeric Computing: A Polynomial System Arising in Image Analysis of Point Cloud Data | |

104 | Juan Garcia Escudero | The root lattice A_2 in the construction of tilings and algebraic hypersurfaces with many singularities | |

105 | Sirani Perera | A Fast Euclid-type Algorithm for Quasiseparable Polynomials | |

106 | Gennadi Malaschonok | About Triangular Matrix Decomposition in Domain | |

107 | Ludovic Perret | Algebraic Attack against Wild McEliece & Incognito | |

108 | Anissa Ali | An algebraic method to compute the mobility of closed-loop overconstrained mechanisms | |

109 | Guenael Renault | Application of Computer Algebra in Number Theory Based Cryptology | |

110 | Matthew Niemerg | Bounds on the Number of Real Solutions For a Family of Fewnomial Systems of Equations via Gale Duality | |

111 | Tristan Vaccon | Computation of Groebner bases and tropical Gröbner bases over p-adic fields | |

112 | Chun-Ming Yuan | Efficient Groebner bases computation for Z[x] lattice | |

113 | Christian Eder | Improved Parallel Gaussian Elimination for Gröbner Bases Computations in Finite Fields | |

114 | Jean-Charles Faugere | Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences | |

115 | John Perry | Midway upon the journey | |

116 | Sharwan Kumar Tiwari | Modular Techniques to Compute Grooebner Bases over Non-Commutative Algebras with PBW Bases | |

117 | Elias Tsigaridas | Nearly optimal algorithms for real and complex root refinement | |

118 | Jérémy Berthomieu | Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials:The Regular Case | |

119 | Victor Pan | Real Polynomial Root-finding by Means of Matrix and Polynomial Iterations | |

120 | Jinsan Cheng | Solving polynomial system with linear univariate representation | |

121 | Robert H. Lewis | Solving Polynomial Systems Using the Dixon-EDF Resultant with Emphasis on Image Analysis Problems | |

122 | Ioannis Emiris | Sparse multihomogeneous systems, root counts and discriminants | |

123 | Ludo Tolhuizen | The HIMMO Scheme | |

124 | Anders Jensen | Tropical homotopy continuation | |

125 | Nadia El Mrabet | Use of Groebner basis in order to perform a fault attack in pairing-based cryptography | |

126 | Irene Márquez-Corbella, Ruud Pellikaan | A characterization of MDS codes that have an error correcting pair | |

127 | Bernhard Garn and Dimitris E. Simos | Algebraic Modelling of Covering Arrays | |

128 | Relinde Jurrius and Ruud Pellikaan | On defining generalized rank weights | |

129 | Abdelkader Hamttat and Djilali Behloul | On the diophantine equation 1 + 5x^2 = 3y^n | |

130 | K. Chatouh, K. Guenda, T. A. Gulliver and L. Noui | Simplex and MacDonald Codes over R_q | |

131 | Eleni Tzanaki | A geometric approach for the upper bound theorem for Minkowski sums of convex polytopes | |

132 | Christos Konaxis | A sparse implicitisation framework | |

133 | Martin Helmer | Computing the Chern-Scwrartz-MacPherson Class and Euler Characteristic of Complete Simplical Toric Varieties | |

134 | Vissarion Fisikopoulos | Enumeration of 2-level polytopes | |

135 | Winfried Bruns | Normal lattice polytopes | |

136 | Christof Soeger | Recent developments in Normaliz | |

137 | Anders Jensen | Starting cones for tropical traversals | |

138 | Gregory Bard | A Brief Introduction to the Extended Linearization Method (or XL Algorithm) for Solving Polynomial Systems of Equations | |

139 | Manfred Minimair | Design of a Maple Package for Dixon Resultant Computation | |

140 | Manuel Kauers | Integral Bases for D-Finite Functions | |

141 | Suzy Maddah | LINDALG: Mathemagix Package for Symbolic Resolution of Linear Differential Systems with Singularities | |

142 | Erol Yilmaz | Linear Algebraic Approach to H-Basis Computation | |

143 | Joris van der Hoeven | On the Complexity of Polynomial Reduction | |

144 | Anna Karasoulou | Resultant of an Equivariant Polynomial System With Respect to the Symmetric Group | |

145 | Robert Lewis | Symbolic Solution of Parametric Polynomial Systems with the Dixon Resultant | |

146 | Jie Zhou | The Generalized Rabinowitsch’s Trick | |

147 | Zhaozhong Zhang and Tongsong Jiang | Algebraic methods for Least Squares problem in split quaternionic mechanics | |

148 | Tongsong Jiang, Zhaozhong Zhang | Algebraic techniques for eigenvalues of a split quaternion matrix in split quaternionic mechanics | |

149 | Guihai Yu | Inertia of weighted graphs | |

150 | Jianlong Chen | Moore-Penrose inverse and Drazin inverse of some elements in a ring | |

151 | Hui Qu | More on minmum skew-rank of graphs | |

152 | XiaominTang | Post-Lie algebra structures on solvable Lie algebrat t(2, C) | |

153 | Zhuo-Heng He, Qing-Wen Wang | Properties and applications of a simultaneous decomposition of seven matrices over real quaternion algebra | |

154 | Guang-Jing Song | Some results concerning condensed Cramer’s rule for the general solution to some restricted quaternion matrix equations | |

155 | P. Psarrakos | Travelling from matrices to matrix polynomials | |

156 | R. Padmanabhan and Y. Zhang | Using Prover9 for proving some matrix equations | |

157 | D. J. Bates , D. Brake , M. Niemerg | Implementation of Coefficient-Parameter Homotopies in Parallel | |

158 | S. Al-Ashhab | The Four Corner Magic and semi pandiagonal Squares | |

159 | A. S. Perminov, E. D. Kuznetsov | Use computer algebra system Piranha for expansion of the Hamiltonian and construction averaging motion equations of the planetary system problem | |

160 | Adrian Ionescu, Rea Ulaj | Use of Linux Open-Source Software and Maple in Analyzing the New Goeken-Johnson Runge-Kutta Type Methods | |

161 | D. Burkholder | Using CAS to Uncover Unexpected Hidden Beauty in Radin-Conway's Pinwheel Tiling | |

162 | Hans-Gert Graebe, Albert Heinle, Viktor Levandovsky | SDEval – A Benchmarking Toolkit for Computer Algebra | S17 |