| Sunday 19 | 17:00 – 20:00 | Registration | ||||||||||||||
| Monday 20 | Tuesday 21 | Wednesday 22 | Thursday 23 | |||||||||||||
| Track 1 | Track 2 | Track 3 | Track 4 | Track 1 | Track 2 | Track 3 | Track 4 | Track 1 | Track 2 | Track 3 | Track 4 | Track 1 | Track 2 | Track 3 | Track 4 | |
| 08:00 – 09:00 | Registration | |||||||||||||||
| 09:00 – 09:30 | Opening Remarks | 53 S7 | 54 S9 | 55 S10 | 56 S11 | 104 S4 | 105 S7 | 106 S13 | 107 S16 | 123 S11 | 124 S5 | 125 S4 | 126 S14 | |||
| 09:30 – 10:00 | 1 S1 | 2 S2 | 3 S3 | 4 S6 | 57 S7 | 58 S9 | 59 S10 | 60 S11 | 108 S4 | 109 S7 | 110 S13 | 111 S16 | 127 S11 | 128 S5 | 129 S4 | 130 S14 |
| 10:00 – 10:30 | 5 S1 | 6 S2 | 7 S3 | 8 S6 | 61 S7 | 62 S9 | 63 S10 | 64 S11 | 112 S4 | 113 S7 | 114 S13 | 115 S16 | 131 S11 | 132 S5 | 133 S4 | 134 S14 |
| 10:30 – 11:00 | 9 S1 | 10 S2 | 11 S3 | 12 S6 | 65 S7 | 66 S9 | 67 S10 | 68 S11 | 116 S4 | 117 S7 | 117 S13 | 118 S16 | 135 S11 | 136 S5 | 137 S12 | 138 S14 |
| 11:00 – 11:30 | Break | Break | Break | Break | ||||||||||||
| 11:30 – 12:00 | 13 S1 | 14 S2 | 15 S3 | 16 S6 | 69 S6 | 70 S9 | 71 S10 | 72 S11 | 119 S4 | 120 S7 | 121 S13 | 122 S16 | 139 S11 | 140 S5 | 141 S12 | 142 S14 |
| 12:00 – 12:30 | 17 S1 | 18 S2 | 19 S3 | 20 S6 | Plenary Talk | Maple Talk | 143 S11 | 144 S5 | 145 S12 | 146 S14 | ||||||
| 12:30 – 13:00 | 21 S1 | 22 S2 | 23 S3 | 24 S6 | 147 S11 | 148 S5 | 149 S12 | 150 S14 | ||||||||
| 13:00 – 15:00 | Lunch | Lunch | Lunch | Lunch | ||||||||||||
| 15:00 – 15:30 | 25 S1 | 26 S2 | 27 S3 | 28 S6 | 73 S6 | 74 S9 | 75 S3 | 76 S11 | EXCURSION Ancient Messini archaeological site |
151 S11 | 167 S10 | 152 S12 | 153 S14 | |||
| 15:30 – 16:00 | 29 S15 | 30 S2 | 31 S3 | 32 S6 | 77 S6 | 78 S9 | 79 S3 | 80 S11 | 154 S11 | 155 S4 | 156 S14 | |||||
| 16:00 – 16:30 | 33 S15 | 34 S5 | 35 S3 | 36 S6 | 81 S6 | 82 S9 | 83 S3 | 84 S11 | 157 S11 | 158 S4 | 159 S14 | |||||
| 16:30 – 17:00 | 37 S15 | 38 S5 | 39 S3 | 40 S6 | 85 S6 | 86 S12 | 87 S3 | 88 S11 | 160 S11 | 161 S4 | 162 S14 | |||||
| 17:00 – 17:30 | Break | Break | 163 S11 | 164 S4 | 165 S14 | |||||||||||
| 17:30 – 18:00 | 41 S15 | 42 S5 | 43 S3 | 44 S9 | 89 S6 | 90 S12 | 91 S3 | 92 S15 | Closing Remarks | |||||||
| 18:00 – 18:30 | 45 S15 | 46 S5 | 47 S3 | 48 S9 | 93 S6 | 94 S13 | 95 S3 | 96 S15 | ||||||||
| 18:30 – 19:00 | 49 S15 | 50 S5 | 51 S3 | 52 S9 | 97 S6 | 98 S13 | 99 S3 | 100 S15 | ||||||||
| 19:00 – 19:30 | 166 S15 | 101 S6 | 102 S3 | 103 Hands on | Banquet | |||||||||||
| Business meeting | ||||||||||||||||
| Monday 20 | ||||
| Track 1 | Track 2 | Track 3 | Track 4 | |
| 08:00 – 09:00 | Registration | |||
| 09:00 – 09:30 | Opening Remarks | |||
| 09:30 – 10:00 | 1 S1 A. Orlowski, From classical universal and reversible logical operations to quantum computation |
2 S2 Tetsuo Fukui, S. Shirai: Predictive Algorithm from Linear String to Mathematical Formulae for Math Input Method |
3 S3 Elena Varbanova About balanced application of CAS in undergraduate mathematics |
4 S6 F. Winkler Birational Transformations of Algebraic Ordinary Differential Equations |
| 10:00 – 10:30 | 5 S1 V. Gerdt, A. Khvedelidze, Y. Palii, On the orbit space of unitary actions for mixed quantum states |
6 S2 Hans-Gert Gräbe, Albert Heinle, Simon Johannig: Symbolic Data, Computer Algebra and the Web 2.0 |
7 S3 F. Botana Some reflections about open vs. proprietary Computer Algebra Systems in mathematics teaching |
8 S6 Christian Schilli, Eva Zerz, and Viktor Levandovskyy: Controlled and conditioned invariance for polynomial and rational feedback systems |
| 10:30 – 11:00 | 9 S1 J.A. Miszczak, States and channels in quantum mechanics without complex numbers |
10 S2 Joris van der Hoeven, Grégoire Lecerf, Denis Raux: Preserving Syntactic Correctness While Editing Mathematical Formulas |
11 S3 Razvan A. Mezei Create SageMath Interacts for All Your Math Courses |
12 S6 P. Olver Invariant histograms and signatures for object recognition, symmetry detection, and jigsaw puzzle assembly |
| 11:00 – 11:30 | Break | |||
| 11:30 – 12:00 | 13 S1 O.G. Karamitrou, C. Tsimpouris, P. Mavridi, K.N. Sgarbas, Web based Quantum Computer Simulator and symbolic extensions |
14 S2 Manfred Minimair: Collaborative Computer Algebra: Review of Foundations |
15 S3 Gregory V. Bard Using SageMathCell and Sage Interacts to Reach Mathematically Weak Business Students |
16 S6 L. Poinsot Jacobi algebras, in-between Poisson, differential, and Lie algebras |
| 12:00 – 12:30 | 17 S1 A. SaiToh, Practical Difficulty and Techniques in Matrix-Product-State Simulation of Quantum Computing in Hilbert Space and Liouville Space |
18 S2 Manfred Minimair: Modelling Inductive Reasoning in Collaborative Computer Algebra |
19 S3 Josef Böhm GINI-Coefficient, GOZINTO-Graph and Option Prices |
20 S6 A. Kitchin Quantized Weyl algebras and Automorphisms |
| 12:30 – 13:00 | 21 S1 A. Prokopenya, Approximate Quantum Fourier Transform and Applications: Simulation with Wolfram Mathematica |
22 S2 Elena Smirnova: CAS wonderland: A journey from user interfaces to user-friendly interfaces |
23 S3 M. Beaudin and F. Henri When Mathematics Meet Computer Software |
24 S6 C. Raab On a generalization of integro-differential operators |
| 13:00 – 15:00 | Lunch | |||
| 15:00 – 15:30 | 25 S1 A. Kissinger, The ZX-calculus and quantum computation |
26 S2 Laurence Ruiz Ugalde: Cooperative development and human interface of a computer algebra system with the Fōrmulæ framework |
27 S3 Th. Dana-Picard and N. Zehavi Revival of a Classical Topic in Differential Geometry: Envelopes of Parametrized Families of Curves and Surfaces |
28 S6 C. Shakiban Application of Signature Curves to Characterize Melanomas and Moles |
| 15:30 – 16:00 | 29 S15 Zhuo-Heng He and Qing-Wen Wang, Properties and applications of a simultaneous decomposition of seven matrices over real quaternion algebra |
30 S2 Stephen M. Watt: Browser-based Collaboration with InkChat |
31 S3 G. Labelle Generating animations of JPEG images of closed surfaces in space using Maple and Quicktime |
32 S6 M. Kauers Walks in the quarter plane with multiple steps |
| 16:00 – 16:30 | 33 S15 P. Psarrakos, Travelling from matrices to matrix polynomials |
34 S5 Matthias Seiss: Root parameterized differential equations for the classical groups |
35 S3 David Zeitoun and Thierry Dana-Picard Plotting technologies for the study of functions of two real variables |
36 S6 W. Seiler Computing Resolutions for Linear Differential Systems |
| 16:30 – 17:00 | 37 S15 Tongsong Jiang and Zhaozhong Zhang, Algebraic techniques for eigenvalues of a split quaternion matrix in split quaternionic mechanics |
38 S5 Alin Bostan: Quasi-optimal computation of the p-curvature |
39 S3 Wlodzimierz Wojas and Jan Krupa Some remarks on Taylor's polynomials visualization using Mathematica in context of function approximation |
40 S6 M. Jaroschek Computing Formal Solutions of Completely Integrable Pfaffian Systems With Normal Crossings |
| 17:00 – 17:30 | Break | |||
| 17:30 – 18:00 | 41 S15 Zhaozhong Zhang and Tongsong Jiang, Algebraic methods for Least Squares problem in split quaternionic mechanics |
42 S5 Manuel Kauers: The positive part of multivariate series |
43 S3 Jeanett 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 |
44 S9 Aldo Gonzalez-Lorenzo, Fast computation of Betti numbers on three-dimensional cubical complexes |
| 18:00 – 18:30 | 45 S15 Jianlong Chen, Moore-Penrose inverse and Drazin inverse of some elements in a ring |
46 S5 Florian Heiderich: Prolongation spaces and generalized differentials |
47 S3 R. Hasek Contemporary interpretation of a historical locus problem with an unexpected discovery |
48 S9 Eduardo Sáenz de Cabezón. Computing the homology of the lcm-filtration of a monomial ideal |
| 18:30 – 19:00 | 49 S15 R. Padmanabhan and Y. Zhang, Using Prover9 for proving some matrix equations |
50 S5 Mohamed Barakat: Unitary groups of group algebras in characteristic 2 |
51 S3 Michael Xue A Constructive Proof of Feuerbach’s Theorem Using a Computer Algebra System |
52 S9 Darian Onchis. Estimating the position of the mandibular canal in dental radiographs using the generalized Hough transform |
| 19:00 – 19:30 | 166 S15 Guang-Jing Song, Some results concerning condensed Cramers rule for the general solution to some restricted quaternion matrix equations |
|||
| Tuesday 21 | ||||
| Track 1 | Track 2 | Track 3 | Track 4 | |
| 08:00 – 09:00 | ||||
| 09:00 – 09:30 | 53 S7 Frederic Chyzak Explicit generating series for small-step walks in the quarter plane |
54 S9 Marian Mrozek. Algebraic-topological invariants for combinatorial multivector fields |
55 S10 Juan García Escudero The root lattice A2 in the construction of tilings and algebraic hypersurfaces with many singularities |
56 S11 Christian Eder Improved Parallel Gaussian Elimination for Gröbner Bases Computations in Finite Fields |
| 09:30 – 10:00 | 57 S7 Jürgen Gerhard Definite Integration of Rational Functions |
58 S9 Joao Pita Costa, Mikael Vejdemo-Johansson and Primoz Skraba. Persistence over a topos of variable sets |
59 S10 E. Roanes-Lozano, J.L. Galán-Garciía, G. Aguilera-Venegas Computer Algebra-based RBES personalized menu generator |
60 S11 Ioannis Emiris Sparse multihomogeneous systems, root counts and discriminants |
| 10:00 – 10:30 | 61 S7 Manuel Kauers Creative Telescoping via Hermite Reduction |
62 S9 Vitaliy Kurlin. Fast and Stable Topological Profiles of Noisy 2D Images |
63 S10 Robert H. Lewis Symbolic-Numeric Computing: A Polynomial System Arising in Image Analysis of Point Cloud Data |
64 S11 Anders Jensen Tropical homotopy continuation |
| 10:30 – 11:00 | 65 S7 Ngo Quoc Hoan Harmonic sums and polylogarithms at negative multiple-indices |
66 S9 Gard Spreemann, Benjamin Dunn, Magnus Botnan, Yasser Roudi and Nils Baas. Using persistent homology to reveal hidden information in place cells |
67 S10 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 |
68 S11 Matthew Niemerg Bounds on the Number of Real Solutions For a Family of Fewnomial Systems of Equations via Gale Duality |
| 11:00 – 11:30 | Break | |||
| 11:30 – 12:00 | 69 S6 T. Goncalves Conservation Laws and the Chazy Equation |
70 S9 Grzegorz Jablonski. Persistence of generalized eigenspaces of self-maps |
71 S10 P. Pech Properties of the Simson–Wallace locus applied on a skew quadrilateral |
72 S11 Jean-Charles Faugere Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences |
| 12:00 – 12:30 | Plenary Talk Peter Olver - Algebras of Differential Invariants |
|||
| 12:30 – 13:00 | ||||
| 13:00 – 15:00 | Lunch | |||
| 15:00 – 15:30 | 73 S6 A. Korporal Generalized Green's Operators and the Method of Characteristics |
74 S9 Mateusz Juda. Algebraic Topology For Unitary Reflection Groups - Scalable Homology Computing |
75 S3 Gennadi and Nastasha Malaschonok Math Partner and Math Tutor |
76 S11 Victor Pan Real Polynomial Root-finding by Means of Matrix and Polynomial Iterations |
| 15:30 – 16:00 | 77 S6 I. Dimovski, M. Spiridonova Use of a Two-Dimensional Operational Calculus for Nonlocal Vibration Boundary Value Problems |
78 S9 Marc Ethier, Grzegorz Jabłoński and Marian Mrozek. Computing the persistence of a self-map with the Kronecker canonical form |
79 S3 Michel Beaudin Ideas for Teaching Using CAS |
80 S11 Elias Tsigaridas Nearly optimal algorithms for real and complex root refinement |
| 16:00 – 16:30 | 81 S6 S. Maddah Formal Solutions of Singularly-Perturbed Linear Differential Systems |
82 S9 Pedro Real. Exploring relationships between homology generators using algebraic-topological models of regular CW-complexes. |
83 S3 Josef Böhm Solving Brain Teasers/Twisters - CAS Assisted |
84 S11 SiraniPerera A Fast Euclid-type Algorithm for Quasiseparable Polynomials |
| 16:30 – 17:00 | 85 S6 V. Bavula Localizable and Weakly Left Localizable Rings |
86 S12 K. Chatouh, K. Guenda, T. A. Gulliver and L. Noui Simplex and MacDonald Codes over R_q |
87 S3 Alkiviadis G. Akritas Various New Methods for Computing Subresultant Polynomial Remainder Sequences (PRS’s) |
88 S11 John Perry Midway upon the journey |
| 17:00 – 17:30 | Break | |||
| 17:30 – 18:00 | 89 S6 M. Barakat Generalized morphisms – turning homological algorithms into closed formulas |
90 S12 Pierre-Louis Cayrel Mohammed Meziani and Ousmane Ndiaye. SBS: A Fast and Provably Secure Code-Based Stream Cipher |
91 S3 G. Aguilera, J.L. Galán, M.Á. Galán, Y. Padilla, P. Rodríguez, R. Rodríguez Teaching improper integrals with CAS |
92 S15 Guihai Yu, Inertia of weighted graphs |
| 18:00 – 18:30 | 93 S6 T. Combot Computing Liouvillian solutions of linear difference equations |
94 S13 Eleni Tzanaki - A geometric approach for the upper bound theorem for Minkowski sums of convex polytopes. |
95 S3 Wlodzimierz Wojas and Jan Krupa Application of wxMaxima System in LP problem of compound feed mass minimization |
96 S15 Hui Qu, More on minmum skew-rank of graphs |
| 18:30 – 19:00 | 97 S6 A. Prokopenya Symbolic Computation in Studying the Restricted Three-Body Problem with Variable Masses |
98 S13 Christos Konaxis - A sparse implicitisation framework |
99 S3 T. Takahashi, T. Sakai, F. Iwama The Use of CAS for Logical Analysis in Mathematics Education |
100 S15 XiaominTang, Post-Lie algebra structures on solvable Lie algebra t(2, C) |
| 19:00 – 19:30 | 101 S6 N. Malashonok One symbolical method for solving differential equations with delayed argument |
102 S3 David Jeffrey Indexed elementary functions in Maple |
103 SymbolicData aspects hands on session Hans-Gert Graebe, Albert Heinle, Viktor Levandovsky |
|
| Business meeting | ||||
| Wednesday 22 | ||||
| Track 1 | Track 2 | Track 3 | Track 4 | |
| 08:00 – 09:00 | ||||
| 09:00 – 09:30 | 104 S4 M. Borges-Quintana, M.A. Borges-Trenard, E. Martínez-Moro Trial set and Gröbner bases for binary codes |
105 S7 Erik Panzer Symbolic integration of multiple polylogarithms |
106 S13 Winfried Bruns - Normal lattice polytopes |
107 S16 D. J. Bates , D. Brake , M. Niemerg Implementation of Coefficient-Parameter Homotopies in Parallel |
| 09:30 – 10:00 | 108 S4 Ryutaroh Matsumoto and Diego Ruano Geometric and Computational Approach to Classical and Quantum Secret Sharing |
109 S7 Clemens Raab Algorithms in symbolic integration |
110 S13 Vissarion Fisikopoulos - Enumeration of 2-level polytopes |
111 S16 S. Al-Ashhab The Four Corner Magic and semi pandiagonal Squares |
| 10:00 – 10:30 | 112 S4 C. Galindo, F. Hernándo, D. Ruano Quantum codes with bounded minimum distance |
113 S7 Mark Round Refined Holonomic Summation Meets Particle Physics |
114 S13 Christof Soeger - Recent developments in Normaliz |
115 S16 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 |
| 10:30 – 11:00 | 116 S4 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 |
117 S7 Carsten Schneider Refined Parameterized Telescoping Algorithms |
117 S13 Anders Jensen - Starting cones for tropical traversals |
118 S16 Adrian Ionescu, Rea Ulaj Use of Linux Open-Source Software and Maple in Analyzing the New Goeken-Johnson Runge-Kutta Type Methods |
| 11:00 – 11:30 | Break | |||
| 11:30 – 12:00 | 119 S4 M. Bras-Amorós, M.E. O'Sullivan and M. Pujol A new approach to the key equation and to the Berlekamp-Massey algorithm |
120 S7 Eugene Zima Dispersion and complexity of indefinite summation |
121 S13 Martin Helmer - Computing the Chern-Scwrartz-MacPherson Class and Euler Characteristic of Complete Simplical Toric Varieties |
122 S16 D. Burkholder Using CAS to Uncover Unexpected Hidden Beauty in Radin-Conway's Pinwheel Tiling |
| 12:00 – 12:30 | Maple Talk Juergen Gerhard – New features in Maple 2015 |
|||
| 12:30 – 13:00 | ||||
| 13:00 – 15:00 | Lunch | |||
| 15:00 – 15:30 | EXCURSION Ancient Messini archaeological site |
|||
| 15:30 – 16:00 | ||||
| 16:00 – 16:30 | ||||
| 16:30 – 17:00 | ||||
| 17:00 – 17:30 | ||||
| 17:30 – 18:00 | ||||
| 18:00 – 18:30 | ||||
| 18:30 – 19:00 | ||||
| 19:00 – 19:30 | Banquet | |||
| Thursday 23 | ||||
| Track 1 | Track 2 | Track 3 | Track 4 | |
| 08:00 – 09:00 | ||||
| 09:00 – 09:30 | 123 S11 Guenael Renault Application of Computer Algebra in Number Theory Based Cryptology |
124 S5 Carlos Arreche: On the computation of the difference-differential Galois group for a second-order linear difference equation |
125 S4 J. Borges, C. Fernández-Córdoba and R. Ten-Valls On Z_{p^r}Z_{p^s}-additive cyclic codes |
126 S14 Gregory Bard - A Brief Introduction to the Extended Linearization Method (or XL Algorithm) for Solving Polynomial Systems of Equations. |
| 09:30 – 10:00 | 127 S11 Ludo Tolhuizen The HIMMO Scheme |
128 S5 Andreas Maurischat: Differential Galois theory over differentially simple rings |
129 S4 R.D. Barrolleta and M. Villanueva PD-sets for (nonlinear) Hadamard Z4-Linear codes |
130 S14 Jean-Charles Faugère - Gröbner Bases and Structured Systems: an Overview. |
| 10:00 – 10:30 | 131 S11 Ludovic Perret Algebraic Attack against Wild McEliece & Incognito |
132 S5 Thomas Dreyfus: Malher equations, differential Galois theory, and transcendence |
133 S4 J. Rifà, E. Suárez-Canedo Kronecker sums to construct Hadamard full propelinear codes of type CnQ8 |
134 S14 Joris van der Hoeven - On the Complexity of Polynomial Reduction. |
| 10:30 – 11:00 | 135 S11 Nadia El Mrabet Use of Groebner basis in order to perform a fault attack in pairing-based cryptography |
136 S5 Ivan Tomasic: Primitive recursive quantifier elimination for existentially closed difference fields |
137 S12 Irene Márquez-Corbella, Ruud Pellikaan A characterization of MDS codes that have an error correcting pair |
138 S14 Jie Zhou - The Generalized Rabinowitsch’s Trick. |
| 11:00 – 11:30 | Break | |||
| 11:30 – 12:00 | 139 S11 Tristan Vaccon Computation of Groebner bases and tropical Gröbner bases over $p$-adic fields |
140 S5 Daniel Robertz: Lagrangian constraints and differential Thomas decomposition |
141 S12 Bernhard Garn and Dimitris E. Simos Algebraic Modelling of Covering Arrays |
142 S14 Anna Karasoulou - Resultant of an Equivariant Polynomial System with Respect to the Symmetric Group. |
| 12:00 – 12:30 | 143 S11 Sharwan Kumar Tiwar Modular Techniques to Compute Grooebner Bases over Non-Commutative Algebras with PBW Bases |
144 S5 Werner Seiler: Geometric singularities of algebraic differential equations |
145 S12 Bernhard Garn and Dimitris E. Simos Algebraic Modelling of Covering Arrays |
146 S14 Robert Lewis - Symbolic Solution of Parametric Polynomial Systems with the Dixon Resultant. |
| 12:30 – 13:00 | 147 S11 Chun-Ming Yuan Efficient Groebner bases computation for Z[x] lattice |
148 S5 148 Franz Winkler: Symbolic solution of first-order autonomous algebraic partial differential equations |
149 S12 Relinde Jurrius and Ruud Pellikaan On defining generalized rank weights |
150 S14 Manfred Minimair - Design of a Maple Package for Dixon Resultant Computation. |
| 13:00 – 15:00 | Lunch | |||
| 15:00 – 15:30 | 151 S11 Robert H. Lewis Solving Polynomial Systems Using the Dixon-EDF Resultant with Emphasis on Image Analysis Problems |
167 S10 FatmaZohra Belkredim Truth Value formalization and Groups Theory |
152 S12 Abdelkader Hamttat and Djilali Behloul On the diophantine equation 1 + 5x^2 = 3y^n |
153 S14 Manuel Kauers - Integral Bases for D-Finite Functions. |
| 15:30 – 16:00 | 154 S11 Anissa Ali An algebraic method to compute the mobility of closed-loop overconstrained mechanisms |
155 S4 M. Durcheva A Message Encryption Scheme Using Idempotent semirings |
156 S14 Suzy Maddah - LINDALG: Mathemagix Package for Symbolic Resolution of Linear Differential Systems with Singularities. |
|
| 16:00 – 16:30 | 157 S11 Jinsan Cheng Solving polynomial system with linear univariate representation |
158 S4 V. Berec Simplicial topological coding and homology of spin networks |
159 S14 Dimitrios Poulakis - Bezout Matrices and Roots of Quaternion Polynomials. |
|
| 16:30 – 17:00 | 160 S11 Gennadi Malaschonok About Triangular Matrix Decomposition in Domain |
161 S4 Karim Ishak, Sven Muelich, Sven Puchinger, Martin Bossert Code-based Cryptosystems using generalized concatenated codes |
162 S14 Elias Tsigaridas - Nearly optimal bit complexity bounds for computations with structured matrices |
|
| 17:00 – 17:30 | 163 S11 Jérémy Berthomieu Polynomial-Time Algorithms for Quadratic Isomorphism of Polynomials:The Regular Case |
164 S4 A. Jeux and C. Pierrot Nearly Sparse Linear Algebra and application to the Discrete Logarithm Problem |
165 S14 Erol Yilmaz - Linear Algebraic Approach to H-Basis Computation. |
|
| 17:30 – 18:00 | Closing Remarks | |||
| 18:00 – 18:30 | ||||
| 18:30 – 19:00 | ||||
| 19:00 – 19:30 | ||||