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 |