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

S1

2

A. Orlowski

From classical universal and reversible logical operations to quantum computation

S1

3

V. Gerdt, A. Khvedelidze, Y. Palii

On the orbit space of unitary actions for mixed quantum states

S1

4

A. SaiToh

Practical Difficulty and Techniques in Matrix-Product-State Simulation of Quantum Computing in Hilbert Space and Liouville Space

S1

5

J.A. Miszczak

States and channels in quantum mechanics without complex numbers

S1

6

O.G. Karamitrou, C. Tsimpouris, P. Mavridi, K.N. Sgarbas

Web based Quantum Computer Simulator and symbolic extensions

S1

7

Stephen M. Watt

Browser-based Collaboration with InkChat

S2

8

Elena Smirnova

CAS wonderland: A journey from user interfaces to user-friendly interfaces

S2

9

Manfred Minimair

Collaborative Computer Algebra: Review of Foundations

S2

10

Laurence Ruiz Ugalde

Cooperative development and human interface of a computer algebra system with the Fōrmulæ framework

S2

11

Manfred Minimair

Modelling Inductive Reasoning in Collaborative Computer Algebra

S2

12

Tetsuo Fukui, S. Shirai

Predictive Algorithm from Linear String to Mathematical Formulae for Math Input Method

S2

13

Joris van der Hoeven, Grégoire Lecerf, Denis Raux

Preserving Syntactic Correctness While Editing Mathematical Formulas

S2

14

Hans-Gert Gräbe, Albert Heinle, Andreas Nareike

SymbolicData, Computer Algebra and the Web 3.0

S2

15

Michael Xue

A Constructive Proof of Feuerbach’s Theorem Using a Computer Algebra System

S3

16

Elena Varbanova

About balanced application of CAS in undergraduate mathematics

S3

17

Wlodzimierz Wojas and Jan Krupa

Application of wxMaxima System in LP problem of compound feed mass minimization

S3

18

R. Hasek

Contemporary interpretation of a historical locus problem with an unexpected discovery

S3

19

Razvan A. Mezei, Lenoir-Rhyne

Create SageMath Interacts for All Your Math Courses

S3

20

G. Labelle

Generating animations of JPEG images of closed surfaces in space using Maple and Quicktime

S3

21

Josef Böhm

GINI-Coefficient, GOZINTO-Graph and Option Prices

S3

22

Michel Beaudin

Ideas for Teaching Using CAS

S3

23

David Zeitoun and Thierry Dana-Picard

Plotting technologies for the study of functions of two real variables

S3

24

Th. Dana-Picard, N. Zehavi

Revival of a Classical Topic in Differential Geometry: Envelopes of Parametrized Families of Curves and Surfaces

S3

25

Josef Böhm

Solving Brain Teasers/Twisters - CAS Assisted

S3

26

F. Botana

Some reflections about open vs. proprietary Computer Algebra Systems in mathematics teaching

S3

27

Wlodzimierz Wojas and Jan Krupa

Some remarks on Taylor's polynomials visualization using Mathematica in context of function approximation

S3

28

G. Aguilera, J.L. Galán, M.Á. Galán, Y. Padilla, P. Rodríguez, R. Rodríguez

Teaching improper integrals with CAS

S3

29

T. Takahashi, T. Sakai, F. Iwama

The Use of CAS for Logical Analysis in Mathematics Education

S3

30

Gregory V. Bard

Using SageMathCell and Sage Interacts to Reach Mathematically Weak Business Students

S3

31

Alkiviadis G. Akritas

Various New Methods for Computing Subresultant Polynomial Remainder Sequences (PRS’s)

S3

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

S3

33

M. Beaudin, F. Henri

When Mathematics Meet Computer Software

S3

34

Thomas Westermann

WWW: What/Where/When using CAS in Class

S3

35

M. Durcheva

A Message Encryption Scheme Using Idempotent semirings

S4

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

S4

37

Karim Ishak, Sven Muelich, Sven Puchinger, Martin Bossert

Code-based Cryptosystems using generalized concatenated codes

S4

38

Ryutaroh Matsumoto and Diego Ruano

Geometric and Computational Approach to Classical and Quantum Secret Sharing

S4

39

J. Rifà, E. Suárez-Canedo

Kronecker sums to construct Hadamard full propelinear codes of type CnQ8

S4

40

A. Jeux and C. Pierrot

Nearly Sparse Linear Algebra and application to the Discrete Logarithm Problem

S4

41

J. Borges, C. Fernández-Córdoba and R. Ten-Valls

On Z_{p^r}Z_{p^s}-additive cyclic codes

S4

42

R.D. Barrolleta and M. Villanueva

PD-sets for (nonlinear) Hadamard Z4-Linear codes

S4

43

C. Galindo, F. Hernándo, D. Ruano

Quantum codes with bounded minimum distance

S4

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

S4

45

V. Berec

Simplicial topological coding and homology of spin networks

S4

46

M. Borges-Quintana, M.A. Borges-Trenard, E. Martínez-Moro

Trial set and Gröbner bases for binary codes

S4

47

Andreas Maurischat

Differential Galois theory over differentially simple rings

S5

48

Werner Seiler

Geometric singularities of algebraic differential equations

S5

49

Daniel Robertz

Lagrangian constraints and differential Thomas decomposition

S5

50

Thomas Dreyfus

Malher equations, differential Galois theory, and transcendence

S5

51

Carlos Arreche

On the computation of the difference-differential Galois group for a second-order linear difference equation

S5

52

Ivan Tomasic

Primitive recursive quantifier elimination for existentially closed difference fields

S5

53

Florian Heiderich

Prolongation spaces and generalized differentials

S5

54

Alin Bostan

Quasi-optimal computation of the p-curvature

S5

55

Matthias Seiss

Root parameterized differential equations for the classical groups

S5

56

Franz Winkler

Symbolic solution of first-order autonomous algebraic partial differential equations

S5

57

Manuel Kauers

The positive part of multivariate series

S5

58

Mohamed Barakat

Unitary groups of group algebras in characteristic 2

S5

59

C. El Bacha

A New Approach for Computing Regular Solutions of Linear Difference Systems

S6

60

C. Shakiban

Application of Signature Curves to Characterize Melanomas and Moles

S6

61

Franz Winkler

Birational Transformations of Algebraic Ordinary Differential Equations

S6

62

M. Jaroschek

Computing Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings

S6

63

T. Combot

Computing Liouvillian solutions of linear difference equations

S6

64

W. Seiler

Computing Resolutions for Linear Differential Systems

S6

65

T. Goncalves

Conservation Laws and the Chazy Equation

S6

66

S. Maddah

Formal Solutions of Singularly-Perturbed Linear Differential Systems

S6

67

A. Korporal

Generalized Green's Operators and the Method of Characteristics

S6

68

M. Barakat

Generalized morphisms – turning homological algorithms into closed formulas

S6

69

P. Olver

Invariant histograms and signatures for object recognition, symmetry detection, and jigsaw puzzle assembly

S6

70

L. Poinsot

Jacobi algebras, in-between Poisson, differential, and Lie algebras

S6

71

V. Bavula

Localizable and Weakly Left Localizable Rings

S6

72

C. Raab

On a generalization of integro-differential operators

S6

73

A. Kitchin

Quantized Weyl algebras and Automorphisms

S6

74

E. Previato

Symbolic Computation for Rankin-Cohen Differential Algebras

S6

75

A. Prokopenya

Symbolic Computation in Studying the Restricted Three-Body Problem with Variable Masses

S6

76

I. Dimovski and M. Spiridonova

Use of a Two-Dimensional Operational Calculus for Nonlocal Vibration Boundary Value Problems

S6

77

M. Kauers

Walks in the quarter plane with multiple steps

S6

78

Clemens Raab

Algorithms in symbolic integration

S7

79

Manuel Kauers

Creative Telescoping via Hermite Reduction

S7

80

Jürgen Gerhard

Definite Integration of Rational Functions

S7

81

Eugene Zima

Dispersion and complexity of indefinite summation

S7

82

Frederic Chyzak

Explicit generating series for small-step walks in the quarter plane

S7

83

Ngo Quoc Hoan

Harmonic sums and polylogarithms at negative multiple-indices

S7

84

Carsten Schneider

Refined Parameterized Telescoping Algorithms

S7

85

Mark Round

Rened Holonomic Summation Meets Particle Physics

S7

86

Erik Panzer

Symbolic integration of multiple polylogarithms

S7

87

Mateusz Juda

Algebraic Topology For Unitary Reflection Groups - Scalable Homology Computing

S9

88

Marian Mrozek

Algebraic-topological invariants for combinatorial multivector fields

S9

89

Abhishek Rathore

Approximation Algorithms for Max-Morse Matching Problem

S9

90

Eduardo Sáenz de Cabezón

Computing the homology of the LCM-filtration of a monomial ideal

S9

91

Marc Ethier

Computing the persistence of a self-map with the Kronecker canonical form

S9

92

D. M. Onchis

Estimating the position of the mandibular canal in dental radiographs using the generalized Hough transform

S9

93

Pedro Real

Exploring relationships between homology generators using algebraic-topological models of regular CW-complexes

S9

94

Vitalyi Kurlin

Fast and Stable Topological Profiles of Noisy 2D Images

S9

95

Aldo Gonzalez-Lorenzo

Fast computation of Betti numbers on three-dimensional cubical complexes

S9

96

Aldo Gonzalez-Lorenzo

Homological Discrete Vector Fields and homotopy equivalences

S9

97

Grzegorz Jablonski

Persistence of generalized eigenspaces of self-maps

S9

98

Joao Pita Costa

Persistence over a topos of variable sets

S9

99

Gard Spreemann

Using persistent homology to reveal hidden information in place cells

S9

100

E. Roanes-Lozano, J.L. Galan-Garcia, G. Aguilera-Venegas

Computer Algebra-based RBES personalized menu generator

S10

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

S10

102

P. Pech

Properties of the Simson–Wallace locus applied on a skew quadrilateral

S10

103

Robert H. Lewis

Symbolic-Numeric Computing: A Polynomial System Arising in Image Analysis of Point Cloud Data

S10

104

Juan Garcia Escudero

The root lattice A_2  in the construction of tilings and algebraic hypersurfaces with many singularities

S10

105

Sirani Perera

A Fast Euclid-type Algorithm for Quasiseparable Polynomials

S11

106

Gennadi Malaschonok

About Triangular Matrix Decomposition in Domain

S11

107

Ludovic Perret

Algebraic Attack against Wild McEliece & Incognito

S11

108

Anissa  Ali

An algebraic method to compute the mobility of closed-loop overconstrained mechanisms

S11

109

Guenael Renault

Application of Computer Algebra in Number Theory Based Cryptology

S11

110

Matthew Niemerg

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

S11

111

Tristan Vaccon

Computation of Groebner bases and tropical Gröbner bases over p-adic fields

S11

112

Chun-Ming Yuan

Efficient Groebner bases computation for Z[x] lattice

S11

113

Christian Eder

Improved Parallel Gaussian Elimination for Gröbner Bases Computations in Finite Fields

S11

114

Jean-Charles Faugere

Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences

S11

115

John Perry

Midway upon the journey

S11

116

Sharwan Kumar Tiwari

Modular Techniques to Compute Grooebner Bases over Non-Commutative Algebras with PBW Bases

S11

117

Elias Tsigaridas  

Nearly optimal algorithms for real and complex root refinement

S11

118

Jérémy  Berthomieu

Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials:The Regular Case

S11

119

Victor Pan

Real Polynomial Root-finding by Means of Matrix and Polynomial Iterations

S11

120

Jinsan Cheng

Solving polynomial system with linear univariate representation

S11

121

Robert H. Lewis

Solving Polynomial Systems Using the Dixon-EDF Resultant with Emphasis on Image Analysis Problems

S11

122

Ioannis Emiris

Sparse multihomogeneous systems, root counts and discriminants

S11

123

Ludo Tolhuizen

The HIMMO Scheme

S11

124

Anders Jensen

Tropical homotopy continuation

S11

125

Nadia El Mrabet

Use of Groebner basis in order to perform a fault attack in pairing-based cryptography

S11

126

Irene Márquez-Corbella, Ruud Pellikaan

A characterization of MDS codes that have an error correcting pair

S12

127

Bernhard Garn and Dimitris E. Simos

Algebraic Modelling of Covering Arrays

S12

128

Relinde Jurrius and  Ruud Pellikaan

On defining generalized rank weights

S12

129

Abdelkader Hamttat and Djilali Behloul

On the diophantine equation 1 + 5x^2 = 3y^n

S12

130

K. Chatouh, K. Guenda, T. A. Gulliver and L. Noui

Simplex and MacDonald Codes over R_q

S12

131

Eleni Tzanaki

A geometric approach for the upper bound theorem for Minkowski sums of convex polytopes

S13

132

Christos Konaxis

A sparse implicitisation framework

S13

133

Martin Helmer

Computing the Chern-Scwrartz-MacPherson Class and Euler Characteristic of Complete Simplical Toric Varieties

S13

134

Vissarion Fisikopoulos

Enumeration of 2-level polytopes

S13

135

Winfried Bruns

Normal lattice polytopes

S13

136

Christof Soeger

Recent developments in Normaliz

S13

137

Anders Jensen

Starting cones for tropical traversals

S13

138

Gregory Bard

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

S14

139

Manfred Minimair

Design of a Maple Package for Dixon Resultant Computation

S14

140

Manuel Kauers

Integral Bases for D-Finite Functions

S14

141

Suzy Maddah

LINDALG: Mathemagix Package for Symbolic Resolution of Linear Differential Systems with Singularities

S14

142

Erol Yilmaz

Linear Algebraic Approach to H-Basis Computation

S14

143

Joris van der Hoeven

On the Complexity of Polynomial Reduction

S14

144

Anna Karasoulou

Resultant of an Equivariant Polynomial System With Respect to the Symmetric Group

S14

145

Robert Lewis

Symbolic Solution of Parametric Polynomial Systems with the Dixon Resultant

S14

146

Jie Zhou

The Generalized Rabinowitsch’s Trick

S14

147

Zhaozhong Zhang and Tongsong Jiang

Algebraic methods for Least Squares problem in split quaternionic mechanics

S15

148

Tongsong Jiang, Zhaozhong Zhang

Algebraic techniques for eigenvalues of a split quaternion matrix in split quaternionic mechanics

S15

149

Guihai Yu

Inertia of weighted graphs

S15

150

Jianlong Chen

Moore-Penrose inverse and Drazin inverse of some elements in a ring

S15

151

Hui Qu

More on minmum skew-rank of graphs

S15

152

XiaominTang

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

S15

153

Zhuo-Heng He, Qing-Wen Wang

Properties and applications of a simultaneous decomposition of seven matrices over real quaternion algebra

S15

154

Guang-Jing Song

Some results concerning condensed Cramer’s rule for the general solution to some restricted quaternion matrix equations

S15

155

P. Psarrakos

Travelling from matrices to matrix polynomials

S15

156

R. Padmanabhan and Y. Zhang

Using Prover9 for proving some matrix equations

S15

157

D. J. Bates , D. Brake  , M. Niemerg

Implementation of Coefficient-Parameter Homotopies in Parallel

S16

158

S. Al-Ashhab

The Four Corner Magic and semi pandiagonal Squares

S16

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

S16

160

Adrian Ionescu, Rea Ulaj

Use of Linux Open-Source Software and Maple in Analyzing the New Goeken-Johnson Runge-Kutta Type Methods

S16

161

D. Burkholder

Using CAS to Uncover Unexpected Hidden Beauty in Radin-Conway's Pinwheel Tiling

S16

162

Hans-Gert Graebe, Albert Heinle, Viktor Levandovsky

SDEval – A Benchmarking Toolkit for Computer Algebra

S17

    
    
Theme by grilldan.