Last update:
Mon Jan 6 15:15:19 MST 2025
Dongming Wang and
Zhiming Zheng Editorial . . . . . . . . . . . . . . . 1--2
Chee K. Yap and
Hoon Hong Foreword . . . . . . . . . . . . . . . . 3--7
Lloyd N. Trefethen Computing Numerically with Functions
Instead of Numbers . . . . . . . . . . . 9--19
Daniel Richardson Zero Tests for Constants in Simple
Scientific Computation . . . . . . . . . 21--37
Sunayana Ghosh and
Sylvain Petitjean and
Gert Vegter Approximation by Conic Splines . . . . . 39--69
Vikram Sharma Robust Approximate Zeros in Banach Space 71--109
Joris van der Hoeven On Effective Analytic Continuation . . . 111--175
Mohab Safey El Din Testing Sign Conditions on a
Multivariate Polynomial and Applications 177--207
Dongming Wang and
Lihong Zhi Foreword . . . . . . . . . . . . . . . . 209--210
Meng Zhou and
Franz Winkler On Computing Gröbner Bases in Rings of
Differential Operators with Coefficients
in a Ring . . . . . . . . . . . . . . . 211--223
Ekaterina Shemyakova Parametric Factorizations of Second-,
Third- and Fourth--Order Linear Partial
Differential Operators with a Completely
Factorable Symbol on the Plane . . . . . 225--237
Philip Feinsilver and
René Schott Inversion of Analytic Functions via
Canonical Polynomials: a Matrix Approach 239--251
Valery G. Romanovski Bifurcations of Periodic Points of Some
Algebraic Maps . . . . . . . . . . . . . 253--265
Jane M. Pearson and
Noel G. Lloyd Space Saving Calculation of Symbolic
Resultants . . . . . . . . . . . . . . . 267--290
Nong Gu and
Daniel Lazard and
Fabrice Rouillier and
Yong Xiang Using Computer Algebra to Certify the
Global Convergence of a Numerical
Optimization Process . . . . . . . . . . 291--304
Ting Zhang and
Bican Xia A New Method for Real Root Isolation of
Univariate Polynomials . . . . . . . . . 305--320
Hiroshi Sekigawa and
Kiyoshi Shirayanagi On the Location of Pseudozeros of a
Complex Interval Polynomial . . . . . . 321--335
Stef Graillat Pseudozero Set of Real Multivariate
Polynomials . . . . . . . . . . . . . . 337--352
Robert M. Corless and
Nargol Rezvani Pseudospectra of Matrix Polynomials that
Are Expressed in Alternative Bases . . . 353--374
John Abbott and
Claudia Fassino and
Maria-Laura Torrente Thinning Out Redundant Empirical Data 375--392
Itnuit Janovitz-Freireich and
Lajos Rónyai and
Ágnes Szántó Approximate Radical for Clusters: A
Global Approach Using Gaussian
Elimination or SVD . . . . . . . . . . . 393--425
Dongxia Sun and
Lihong Zhi Structured Low Rank Approximation of a
Bezout Matrix . . . . . . . . . . . . . 427--437
Ilias S. Kotsireas Foreword . . . . . . . . . . . . . . . . 439--439
William Y. C. Chen and
Andreas W. M. Dress and
Winking Q. Yu Community Structures of Networks . . . . 441--457
Elena I. Ganzha and
Valery M. Loginov and
Sergey P. Tsarev Exact Solutions of Hyperbolic Systems of
Kinetic Equations. Application to
Verhulst Model with Random Perturbation 459--472
Hiroshi Yoshida and
Katsuhisa Horimoto and
Hirokazu Anai Inference of Probabilities over a
Stochastic IL-System by Quantifier
Elimination . . . . . . . . . . . . . . 473--485
Sven Kosub Dichotomy Results for Fixed-Point
Existence Problems for Boolean Dynamical
Systems . . . . . . . . . . . . . . . . 487--505
Wei Niu and
Dongming Wang Algebraic Approaches to Stability
Analysis of Biological Systems . . . . . 507--539
Joseph Wun-Tat Chan and
Maxime Crochemore Foreword . . . . . . . . . . . . . . . . 541--542
H. L. Chan and
T. W. Lam and
W. K. Sung and
P. W. H. Wong and
S. M. Yiu Non-overlapping Common Substrings
Allowing Mutations . . . . . . . . . . . 543--555
Costas S. Iliopoulos and
Laurent Mouchard and
M. Sohel Rahman A New Approach to Pattern Matching in
Degenerate DNA/RNA Sequences and
Distributed Pattern Matching . . . . . . 557--569
Alexander Tiskin Semi-local String Comparison:
Algorithmic Techniques and Applications 571--603
Gang Chen and
Simon J. Puglisi and
W. F. Smyth Lempel--Ziv Factorization Using Less
Time & Space . . . . . . . . . . . . . . 605--623
Marie-Pierre Béal and
Eugen Czeizler and
Jarkko Kari and
Dominique Perrin Unambiguous Automata . . . . . . . . . . 625--638
Alberto Apostolico and
Cinzia Pizzi Scoring Unusual Words with Varying
Mismatch Errors . . . . . . . . . . . . 639--653
Raffaele Giancarlo and
Davide Scaturro and
Filippo Utro A Tutorial on Computational Cluster
Analysis with Applications to Pattern
Discovery in Microarray Data . . . . . . 655--672
Satyajit Banerjee and
Atish Datta Chowdhury and
Subhas Kumar Ghosh Efficient Algorithms for Variants of
Weighted Matching and Assignment
Problems . . . . . . . . . . . . . . . . 673--688
András Faragó A General Tractable Density Concept for
Graphs . . . . . . . . . . . . . . . . . 689--699
John Plaice and
Mehmet A. Orgun In Honour of Bill Wadge . . . . . . . . 1--3
Victor Selivanov Wadge Reducibility and Infinite
Computations . . . . . . . . . . . . . . 5--36
John Plaice and
Blanca Mancilla and
Gabriel Ditu From Lucid to TransLucid: Iteration,
Dataflow, Intensional and Cartesian
Programming . . . . . . . . . . . . . . 37--61
Blanca Mancilla and
John Plaice Possible Worlds Versioning . . . . . . . 63--83
Olivier Finkel Wadge Degrees of Infinitary Rational
Relations . . . . . . . . . . . . . . . 85--102
Dominic A. Orchard and
Steve Matthews Integrating Lucid's Declarative Dataflow
Paradigm into Object-Orientation . . . . 103--122
Angelos Charalambidis and
Athanasios Grivas and
Nikolaos S. Papaspyrou and
Panos Rondogiannis Efficient Intensional Implementation for
Lazy Functional Languages . . . . . . . 123--141
Mehmet A. Orgun and
Chuchang Liu and
Abhaya C. Nayak Knowledge Representation, Reasoning and
Integration Using Temporal Logic with
Clocks . . . . . . . . . . . . . . . . . 143--163
Mehmet A. Orgun Querying Historical Data Over Multiple
Time-Lines . . . . . . . . . . . . . . . 165--191
Manfred Kerber Foreword . . . . . . . . . . . . . . . . 193--194
Walaa Aly and
Seiichi Uchida and
Masakazu Suzuki Identifying Subscripts and Superscripts
in Mathematical Documents . . . . . . . 195--209
Arjeh M. Cohen and
Jan Willem Knopper and
Scott H. Murray Automatic Proof of Graph Nonisomorphism 211--229
Josef Urban and
Geoff Sutcliffe ATP-based Cross--Verification of Mizar
Proofs: Method, Systems, and First
Experiments . . . . . . . . . . . . . . 231--251
Serge Autexier and
Christoph Benzmüller and
Dominik Dietrich and
Marc Wagner Organization, Transformation, and
Propagation of Mathematical Knowledge in
$ \Omega $ mega . . . . . . . . . . . . 253--277
Michael Kohlhase Using \LaTeX as a Semantic Markup Format 279--304
Moody Ebrahem Altamimi and
Abdou Youssef A Math Query Language with an Expanded
Set of Wildcards . . . . . . . . . . . . 305--331
Abdou S. Youssef Relevance Ranking and Hit Description in
Math Search . . . . . . . . . . . . . . 333--353
Claudio Sacerdoti Coen and
Stefano Zacchiroli Spurious Disambiguation Errors and How
to Get Rid of Them . . . . . . . . . . . 355--378
James H. Davenport and
Paul Libbrecht The Freedom to Extend OpenMath and its
Utility . . . . . . . . . . . . . . . . 379--398
Hirokazu Anai and
Katsuhisa Horimoto Foreword . . . . . . . . . . . . . . . . 399--400
Takeyuki Tamura and
Tatsuya Akutsu Algorithms for Singleton Attractor
Detection in Planar and Nonplanar AND/OR
Boolean Networks . . . . . . . . . . . . 401--420
Heike Siebert Deriving Behavior of Boolean
Bioregulatory Networks from Subnetwork
Dynamics . . . . . . . . . . . . . . . . 421--442
François Boulier and
François Lemaire and
Alexandre Sedoglavic and
Asli Ürgüplü Towards an Automated Reduction Method
for Polynomial ODE Models of Biochemical
Reaction Systems . . . . . . . . . . . . 443--464
Luca Bortolussi and
Alberto Policriti Hybrid Dynamics of Stochastic $ \pi
$-Calculus . . . . . . . . . . . . . . . 465--491
Thomas Sturm and
Andreas Weber and
Essam O. Abdel-Rahman and
M'hammed El Kahoui Investigating Algebraic and Logical
Algorithms to Solve Hopf Bifurcation
Problems in Algebraic Biology . . . . . 493--515
M\'hammed El Kahoui and
Adamou Otto Stability of Disease Free Equilibria in
Epidemiological Models . . . . . . . . . 517--533
Chris McCaig and
Rachel Norman and
Carron Shankland From Individuals to Populations: a
Symbolic Process Algebra Approach to
Epidemiology . . . . . . . . . . . . . . 535--556
Silvana Ilie and
Robert M. Corless and
Chris Essex The Computational Complexity of
Extrapolation Methods . . . . . . . . . 557--566
Hanna K. Pikkarainen and
Josef Schicho A Bayesian Model for Root Computation 567--586
Katsusuke Nabeshima Reduced Gröbner Bases in Polynomial Rings
over a Polynomial Ring . . . . . . . . . 587--599
Deepak Kapur and
Yongyang Cai An Algorithm for Computing a Gröbner
Basis of a Polynomial Ideal over a Ring
with Zero Divisors . . . . . . . . . . . 601--634
Juan Gerardo Alcázar Good Local Behavior of Offsets to
Implicit Algebraic Curves . . . . . . . 635--652
Marc Hellmuth and
Wilfried Imrich and
Werner Klöckl and
Peter F. Stadler Local Algorithms for the Prime
Factorization of Strong Product Graphs 653--682
Mirka Miller and
Koichi Wada Foreword . . . . . . . . . . . . . . . . 1--2
Matthias Baumgart Partitioning Bispanning Graphs into
Spanning Trees . . . . . . . . . . . . . 3--15
Johannes Fischer and
Volker Heun Finding Range Minima in the Middle:
Approximations and Applications . . . . 17--30
Satoshi Fujita Loose Cover of Graphs . . . . . . . . . 31--38
Rikio Ichishima and
Akito Oshima On Partitional Labelings of Graphs . . . 39--45
Reinhard Kutzelnigg An Improved Version of Cuckoo Hashing:
Average Case Analysis of Construction
Cost and Search Operations . . . . . . . 47--60
Sof Anthony Lee $k$-Phase Oscillator Synchronization for
Graph Coloring . . . . . . . . . . . . . 61--72
George B. Mertzios and
Walter Unger Preemptive Scheduling of Equal-Length
Jobs in Polynomial Time . . . . . . . . 73--84
George B. Mertzios and
Walter Unger An Optimal Algorithm for the
$k$-Fixed-Endpoint Path Cover on Proper
Interval Graphs . . . . . . . . . . . . 85--96
Balasubramanian Sivan and
S. Harini and
C. Pandu Rangan On Conditional Covering Problem . . . . 97--107
Yuuki Tanaka and
Yukio Shibata On the Pagenumber of the Cube-Connected
Cycles . . . . . . . . . . . . . . . . . 109--117
Jianmin Tang and
Yuqing Lin and
Mirka Miller New Results on EX Graphs . . . . . . . . 119--126
Jean-Charles Faug\`ere and
Ludovic Perret Foreword . . . . . . . . . . . . . . . . 127--128
Ayoub Otmani and
Jean-Pierre Tillich and
Léonard Dallot Cryptanalysis of Two McEliece
Cryptosystems Based on Quasi-Cyclic
Codes . . . . . . . . . . . . . . . . . 129--140
Clemens Heuberger Redundant $ \tau $-Adic Expansions II:
Non-Optimality and Chaotic Behaviour . . 141--157
Tobias Eibach and
Gunnar Völkel and
Enrico Pilz Optimising Gröbner Bases on Bivium . . . 159--172
Sylvain Duquesne Traces of the Group Law on the Kummer
Surface of a Curve of Genus $2$ in
Characteristic $2$ . . . . . . . . . . . 173--183
Stanislav Bulygin and
Michael Brickenstein Obtaining and Solving Systems of
Equations in Key Variables Only for the
Small Variants of AES . . . . . . . . . 185--200
Moon Sung Lee and
Sang Geun Hahn Cryptanalysis of the GGH Cryptosystem 201--208
Moritz Minzlaff Computing Zeta Functions of
Superelliptic Curves in Larger
Characteristic . . . . . . . . . . . . . 209--224
Serge Autexier and
Petr Sojka and
Masakazu Suzuki Foreword to the Special Issue on
Authoring, Digitalization and Management
of Mathematical Knowledge . . . . . . . 225--226
Thierry Bouche Digital Mathematics Libraries: The Good,
the Bad, the Ugly . . . . . . . . . . . 227--241
E. Macías-Virgós and
R. de la Viesca Digitization Projects in Spain . . . . . 243--250
Zarko Mijajlovi\vc and
Zoran Ognjanovi\vc and
Aleksandar Pejovi\vc Digitization of Mathematical Editions in
Serbia . . . . . . . . . . . . . . . . . 251--263
Katarzyna Zamly\'nska and
Alek Tarkowski and
Tomasz Rosiek Evolution of the Mathematical Collection
of the Polish Virtual Library of Science 265--278
Akio Fujiyoshi and
Masakazu Suzuki and
Seiichi Uchida Grammatical Verification for
Mathematical Formula Recognition Based
on Context-Free Tree Grammar . . . . . . 279--298
Heinrich Stamerjohanns and
Michael Kohlhase and
Deyan Ginev and
Catalin David and
Bruce Miller Transforming Large Collections of
Scientific Publications to XML . . . . . 299--307
David Aspinall and
Ewen Denney and
Christoph Lüth Tactics for Hierarchical Proof . . . . . 309--330
A. M. Cohen and
H. Cuypers and
R. Verrijzer Mathematical Context in Interactive
Documents . . . . . . . . . . . . . . . 331--347
Bastiaan Heeren and
Johan Jeuring and
Alex Gerdes Specifying Rewrite Strategies for
Interactive Exercises . . . . . . . . . 349--370
Manolis Christodoulakis and
Costas S. Iliopoulos Foreword . . . . . . . . . . . . . . . . 371--371
Simon J. Puglisi and
W. F. Smyth and
Munina Yusufu Fast, Practical Algorithms for Computing
All the Repeats in a String . . . . . . 373--389
Luigi Cinque and
Sergio De Agostino and
Luca Lombardi Scalability and Communication in
Parallel Low-Complexity Lossless
Compression . . . . . . . . . . . . . . 391--406
M. Oguzhan Külekci BLIM: a New Bit-Parallel Pattern
Matching Algorithm Overcoming Computer
Word Size Limitation . . . . . . . . . . 407--420
Subhas Kumar Ghosh and
Janardan Misra A Randomized Algorithm for $3$-SAT . . . 421--431
Masud Hasan and
Tanaeem M. Moosa and
M. Sohel Rahman Cache Oblivious Algorithms for the RMQ
and the RMSQ Problems . . . . . . . . . 433--442
Ida M. Pu and
Yuji Shen Analytical Studies of Energy-Time
Efficiency of Blocking Expanding Ring
Search . . . . . . . . . . . . . . . . . 443--456
Elena S. Dimitrova Estimating the Volumes of the Cones in a
Gröbner Fan . . . . . . . . . . . . . . . 457--463
A. A. Albrecht and
P. C. R. Lane and
K. Steinhöfel Analysis of Local Search Landscapes for
$k$-SAT Instances . . . . . . . . . . . 465--488
Colin Cooper and
Ryuhei Uehara Scale Free Properties of Random
$k$-Trees . . . . . . . . . . . . . . . 489--496
Laureano Gonzalez-Vega and
Sylvain Lazard Foreword . . . . . . . . . . . . . . . . 1--2
Carlos D'Andrea and
Martín Sombra The Newton Polygon of a Rational Plane
Curve . . . . . . . . . . . . . . . . . 3--24
Ioannis Z. Emiris and
Christos Konaxis and
Leonidas Palios Computing the Newton Polygon of the
Implicit Equation . . . . . . . . . . . 25--44
Eric Berberich and
Efi Fogel and
Dan Halperin and
Kurt Mehlhorn and
Ron Wein Arrangements on Parametric Surfaces I:
General Framework and Infrastructure . . 45--66
Eric Berberich and
Efi Fogel and
Dan Halperin and
Michael Kerber and
Ophir Setter Arrangements on Parametric Surfaces II:
Concretizations and Applications . . . . 67--91
Daniel Lazard CAD and Topology of Semi-Algebraic Sets 93--112
Jinsan Cheng and
Sylvain Lazard and
Luis Peñaranda and
Marc Pouget and
Fabrice Rouillier and
others On the Topology of Real Algebraic Plane
Curves . . . . . . . . . . . . . . . . . 113--137
Georg Regensburger and
Markus Rosenkranz and
William Y. Sit Foreword . . . . . . . . . . . . . . . . 139--141
Alexander Levin Dimension Polynomials of Intermediate
Fields and Krull-type Dimension of
Finitely Generated Differential Field
Extensions . . . . . . . . . . . . . . . 143--150
Shuji Morikawa and
Katsunori Saito and
Taihei Takeuchi and
Hiroshi Umemura Discrete Burgers' Equation, Binomial
Coefficients and Mandala . . . . . . . . 151--167
Alex Kasman and
Emma Previato Factorization and Resultants of Partial
Differential Operators . . . . . . . . . 169--184
François Boulier and
François Lemaire A Normal Form Algorithm for Regular
Differential Chains . . . . . . . . . . 185--201
Alexei F. Cheviakov Symbolic Computation of Local Symmetries
of Nonlinear and Linear Partial and
Ordinary Differential Equations . . . . 203--222
Ekaterina Shemyakova Refinement of Two-Factor Factorizations
of a Linear Partial Differential
Operator of Arbitrary Order and
Dimension . . . . . . . . . . . . . . . 223--230
Wilhelm Plesken and
Daniel Robertz Linear Differential Elimination for
Analytic Functions . . . . . . . . . . . 231--242
Ivan Dimovski and
Margarita Spiridonova Operational Calculus Approach to
Nonlocal Cauchy Problems . . . . . . . . 243--258
Christoph Koutschan A Fast Approach to Creative Telescoping 259--266
Moulay A. Barkatou and
Gary Broughton and
Eckhard Pflügel A Monomial-by-Monomial Method for
Computing Regular Solutions of Systems
of Pseudo-Linear Equations . . . . . . . 267--288
M. S. Boudellioua and
A. Quadrat Serre's Reduction of Linear Functional
Systems . . . . . . . . . . . . . . . . 289--312
Li Guo and
William Y. Sit Enumeration and Generating Functions of
Rota--Baxter Words . . . . . . . . . . . 313--337
Li Guo and
William Y. Sit Enumeration and Generating Functions of
Differential Rota--Baxter Words . . . . 339--358
Daniel Andres and
Michael Brickenstein and
Viktor Levandovskyy and
Jorge Martín-Morales and
Hans Schönemann Constructive $D$-Module Theory with
Singular . . . . . . . . . . . . . . . . 359--383
Gert Vegter and
Chee K. Yap Foreword . . . . . . . . . . . . . . . . 385--387
David Xianfeng Gu and
Feng Luo and
Shing-Tung Yau Fundamentals of Computational Conformal
Geometry . . . . . . . . . . . . . . . . 389--429
Jean-Daniel Boissonnat and
Arijit Ghosh Triangulating Smooth Submanifolds with
Light Scaffolding . . . . . . . . . . . 431--461
Huaiping Yang and
Bert Jüttler and
Laureano Gonzalez-Vega An Evolution-Based Approach for
Approximate Parameterization of
Implicitly Defined Curves by Polynomial
Parametric Spline Curves . . . . . . . . 463--479
Michael Sagraloff A General Approach to Isolating Roots of
a Bitstream Polynomial . . . . . . . . . 481--506
Prashant Batra Globally Convergent, Iterative
Path-Following for Algebraic Equations 507--537
Marc Mörig and
Ivo Rössling and
Stefan Schirra On Design and Implementation of a
Generic Number Type for Real Algebraic
Number Computations Based on Expression
Dags . . . . . . . . . . . . . . . . . . 539--556
Mirka Miller and
Bharati Rajan and
Joe Ryan Foreword . . . . . . . . . . . . . . . . 1--2
B. D. Acharya Supra-Hereditary Properties of
Hypergraphs . . . . . . . . . . . . . . 3--6
Basavanagoud Bommanahal and
Keerthi G. Mirajkar On Plick Graphs with Coarseness Number
One . . . . . . . . . . . . . . . . . . 7--10
Ljiljana Brankovic and
Ian M. Wanless Graceful Labelling: State of the Art,
Applications and Future Directions . . . 11--20
Roman Cada and
Evelyne Flandrin and
Haiyan Kang A Note on Degree Conditions for
Traceability in Locally Claw-Free Graphs 21--25
Pranay Chaudhuri and
Hussein Thompson Improved Self-Stabilizing Algorithms for
$ L(2, 1) $-Labeling Tree Networks . . . 27--39
Rikio Ichishima and
Akito Oshima On Partitional and Other Related Graphs 41--50
J. Jeba Jesintha and
G. Sethuraman All Arbitrarily Fixed Generalized Banana
Trees Are Graceful . . . . . . . . . . . 51--62
S. C. López and
F. A. Muntaner-Batle and
M. Rius-Font Super Edge-Magic Models . . . . . . . . 63--68
Allen O'Neal and
Peter J. Slater An Introduction to Closed/Open
Neighborhood Sums: Minimax, Maximin, and
Spread . . . . . . . . . . . . . . . . . 69--80
Oudone Phanalasy and
Mirka Miller and
Costas S. Iliopoulos and
Solon P. Pissis and
Elaheh Vaezpour Construction of Antimagic Labeling for
the Cartesian Product of Regular Graphs 81--87
B. Rajan and
K. T. Sonia and
M. Chris Monica Conditional Resolvability of Honeycomb
and Hexagonal Networks . . . . . . . . . 89--99
Indra Rajasingh and
Micheal Arockiaraj Linear Wirelength of Folded Hypercubes 101--111
K. A. Sugeng and
J. Ryan Clique Vertex Magic Cover of a Graph . . 113--118
Rahnuma Islam Nishat and
Debajyoti Mondal and
Md. Saidur Rahman Visibility Drawings of Plane $3$-Trees
with Minimum Area . . . . . . . . . . . 119--132
Yuri I. Manin and
Matilde Marcolli Error-Correcting Codes and Phase
Transitions . . . . . . . . . . . . . . 133--170
Shmuel T. Klein and
Dana Shapira Huffman Coding with Non-Sorted
Frequencies . . . . . . . . . . . . . . 171--178
Jean-Charles Faug\`ere and
Ye Liang Pivoting in Extended Rings for Computing
Approximate Gröbner Bases . . . . . . . . 179--194
Mingfu Zhu and
Guangran Jiang and
Shuhong Gao Solving the 100 Swiss Francs Problem . . 195--207
Silvia Gandy and
Masaaki Kanno and
Hirokazu Anai and
Kazuhiro Yokoyama Optimizing a Particular Real Root of a
Polynomial by a Special Cylindrical
Algebraic Decomposition . . . . . . . . 209--221
Bert Jüttler and
Brian Moore A Quadratic Clipping Step with
Superquadratic Convergence for Bivariate
Polynomial Systems . . . . . . . . . . . 223--235
Sanjay Kumar Khattri Optimal Eighth Order Iterative Methods 237--243
Hirokazu Anai Foreword . . . . . . . . . . . . . . . . 245--246
Xiaoliang Li and
Chenqi Mou and
Wei Niu and
Dongming Wang Stability Analysis for Discrete
Biological Models Using Algebraic
Methods . . . . . . . . . . . . . . . . 247--262
Mbarka Mabrouki and
Marc Aiguier and
Jean-Paul Comet and
Pascale Le Gall and
Adrien Richard Embedding of Biological Regulatory
Networks and Property Preservation . . . 263--288
François Boulier and
Marc Lefranc and
François Lemaire and
Pierre-Emmanuel Morant Model Reduction of Chemical Reaction
Systems using Elimination . . . . . . . 289--301
Hiroyuki Ichihara and
Hirokazu Anai An SOS-QE Approach to Nonlinear Gain
Analysis for Polynomial Dynamical
Systems . . . . . . . . . . . . . . . . 303--314
Hidenao Iwane and
Hitoshi Yanami and
Hirokazu Anai A Symbolic-Numeric Approach to
Multi-Objective Optimization in
Manufacturing Design . . . . . . . . . . 315--334
Gabriel Dos Reis and
Bjarne Stroustrup A Principled, Complete, and Efficient
Representation of C++ . . . . . . . . . 335--356
Georgios Fainekos and
Eric Goubault and
Sylvie Putot and
Stefan Ratschan Foreword . . . . . . . . . . . . . . . . 357--358
Stef Graillat and
Fabienne Jézéquel and
Shiyue Wang and
Yuxiang Zhu Stochastic Arithmetic in Multiprecision 359--375
Sylvie Boldo and
Claude Marché Formal Verification of Numerical
Programs: From C Annotated Programs to
Mechanical Proofs . . . . . . . . . . . 377--393
Stephen F. Siegel and
Timothy K. Zirkel TASS: The Toolkit for Accurate
Scientific Software . . . . . . . . . . 395--426
Stephen F. Siegel and
Timothy K. Zirkel FEVS: a Functional Equivalence
Verification Suite for High-Performance
Scientific Computing . . . . . . . . . . 427--435
Pieter Collins and
Milad Niqui and
Nathalie Revol A Validated Real Function Calculus . . . 437--467
Werner Damm and
Carsten Ihlemann and
Viorica Sofronie-Stokkermans PTIME Parametric Verification of Safety
Properties for Reasonable Linear Hybrid
Automata . . . . . . . . . . . . . . . . 469--497
Marc Hellmuth and
Lydia Ostermeier and
Peter F. Stadler A Survey on Hypergraph Products . . . . 1--32
Akul Rana and
Anita Pal and
Madhumangal Pal The Conditional Covering Problem on
Unweighted Interval Graphs with
Nonuniform Coverage Radius . . . . . . . 33--41
Samuel Lundqvist Multiplication Matrices and Ideals of
Projective Dimension Zero . . . . . . . 43--59
Peter Horn and
Wolfram Koepf and
Torsten Sprenger $m$-Fold Hypergeometric Solutions of
Linear Recurrence Equations Revisited 61--77
John Michael Nahay The $n$ th Order Implicit
Differentiation Formula for Two
Variables with an Application to
Computing All Roots of a Transcendental
Function . . . . . . . . . . . . . . . . 79--105
Ilias S. Kotsireas and
Irene Márquez-Corbella and
Edgar Martínez-Moro Foreword . . . . . . . . . . . . . . . . 107--108
Relinde Jurrius Relations Between Möbius and Coboundary
Polynomials . . . . . . . . . . . . . . 109--120
Relinde Jurrius and
Ruud Pellikaan Truncation Formulas for Invariant
Polynomials of Matroids and Geometric
Lattices . . . . . . . . . . . . . . . . 121--133
Gary Gordon On Brylawski's Generalized Duality . . . 135--146
Irene Márquez-Corbella and
Edgar Martínez-Moro Decomposition of Modular Codes for
Computing Test Sets and Graver Basis . . 147--165
Urszula Roma\'nczuk and
Vasyl Ustimenko On Families of Graphs of Large Cycle
Indicator, Matrices of Large Order and
Key Exchange Protocols With Nonlinear
Polynomial Maps of Small Degree . . . . 167--180
Michal Klisowski and
Vasyl Ustimenko On the Comparison of Cryptographical
Properties of Two Different Families of
Graphs with Large Cycle Indicator . . . 181--198
Matilde Marcolli and
Christopher Perez Codes as Fractals and Noncommutative
Spaces . . . . . . . . . . . . . . . . . 199--215
Sébastien Orange and
Guénaël Renault and
Kazuhiro Yokoyama Efficient Arithmetic in Successive
Algebraic Extension Fields Using
Symmetries . . . . . . . . . . . . . . . 217--233
Michael Kohlhase and
Florian Rabe Semantics of OpenMath and MathML 3 . . . 235--260
Franz Aurenhammer and
Bert Jüttler On Computing the Convex Hull of
(Piecewise) Curved Objects . . . . . . . 261--266
Hongbo Li and
Rida T. Farouki and
Dingkang Wang Foreword to the Special Focus on
Mathematics and Algorithms for CAM and
CNC . . . . . . . . . . . . . . . . . . 267--268
Alessandro Gasparetto and
Paolo Boscariol and
Albano Lanzutti and
Renato Vidoni Trajectory Planning in Robotics . . . . 269--279
Hongbo Li and
Shoubin Yao and
Ge Li and
Yuanjie Liu and
Lixian Zhang Power Series Solution for Isoscallop
Tool Path Generation on Free-form
Surface with Ball-end Cutter . . . . . . 281--296
Stephen P. Radzevich The DG/K-Based Approach for Synthesizing
of CAM System for Sculptured Surface
Machining on Multi-Axis NC Machine . . . 297--313
Yongqing Wang and
Haibo Liu and
Sennan Yu Curvature-Based Real-Time NURBS Surface
Interpolator with Look-Ahead ACC/DEC
Control . . . . . . . . . . . . . . . . 315--326
Hongbo Li and
Xiaoshan Gao and
Lixian Zhang and
Ruiyong Sun Discrete Interpolation of G01 Codes in
$2$D Machining under Bounded
Accelerations . . . . . . . . . . . . . 327--344
Stefan Ratschan and
Thomas Sturm Foreword . . . . . . . . . . . . . . . . 345--345
Luc Jaulin Combining Interval Analysis with
Flatness Theory for State Estimation of
Sailboat Robots . . . . . . . . . . . . 347--359
Yanli Huang and
L. X. Châu Ngô and
Franz Winkler Rational General Solutions of Trivariate
Rational Differential Systems . . . . . 361--374
Vladimir Anashin The Non-Archimedean Theory of Discrete
Systems . . . . . . . . . . . . . . . . 375--393
Jiang Liu and
Naijun Zhan and
Hengjun Zhao Automatically Discovering Relaxed
Lyapunov Functions for Polynomial
Dynamical Systems . . . . . . . . . . . 395--408
Arnaud Fietzke and
Christoph Weidenbach Superposition as a Decision Procedure
for Timed Automata . . . . . . . . . . . 409--425
Evgeny Kruglov and
Christoph Weidenbach Superposition Decides the First-Order
Logic Fragment Over Ground Theories . . 427--456
Marc Moreno Maza and
Bican Xia and
Rong Xiao On Solving Parametric Polynomial Systems 457--473
L. S. Barbosa and
Sun Meng A Calculus for Generic, QoS-Aware
Component Composition . . . . . . . . . 475--497
Som Naimpally and
Jim Peters and
Marcin Wolski Foreword . . . . . . . . . . . . . . . . 1--2
James F. Peters Near Sets: An Introduction . . . . . . . 3--9
Sheela Ramanna and
Doungrat Chitcharoen Flow Graphs: Analysis with Near Sets . . 11--29
A. Di Concilio Point-Free Geometries: Proximities and
Quasi-Metrics . . . . . . . . . . . . . 31--42
Homa Fashandi Nearness of Covering Uniformities:
Theory and Application in Image Analysis 43--50
Christopher J. Henry Metric Free Nearness Measure using
Description-based Neighbourhoods . . . . 51--69
Christopher J. Henry and
Sheela Ramanna Signature-based Perceptual Nearness:
Application of Near Sets to Image
Retrieval . . . . . . . . . . . . . . . 71--85
James F. Peters Local Near Sets: Pattern Discovery in
Proximity Spaces . . . . . . . . . . . . 87--106
Surabhi Tiwari Ultrafilter Completeness in $
\varepsilon $-approach Nearness Spaces 107--111
Lidong Wang and
Xiaodong Liu and
Yashuang Mu The Global $k$-Means Clustering Analysis
Based on Multi-Granulations Nearness
Neighborhood . . . . . . . . . . . . . . 113--124
Marcin Wolski Toward Foundations of Near Sets:
(Pre-)Sheaf Theoretic Approach . . . . . 125--136
Ehud S. Conley and
Shmuel T. Klein Improved Alignment-Based Algorithm for
Multilingual Text Compression . . . . . 137--153
Luigi Cinque and
Sergio De Agostino and
Luca Lombardi Binary Image Compression via
Monochromatic Pattern Substitution:
Sequential and Parallel Implementations 155--166
Sonia Pérez-Díaz and
J. Rafael Sendra Behavior of the Fiber and the Base
Points of Parametrizations Under
Projections . . . . . . . . . . . . . . 167--184
Jun Zhao and
Elizabeth Mansfield Discrete Variational Calculus for
B-Spline Curves . . . . . . . . . . . . 185--199
M. Rosenkranz and
A. Korporal A Noncommutative Algebraic Operational
Calculus for Boundary Problems . . . . . 201--227
Hongbo Li and
Lixian Zhang Two Proofs on Max--Min--Max Principle of
Jerk Control in Time-Optimal Rectilinear
Motion . . . . . . . . . . . . . . . . . 229--236
Muhammad Kamran Siddiqui and
Muhammad Numan and
Muhammad Awais Umar Face Antimagic Labeling of Jahangir
Graph . . . . . . . . . . . . . . . . . 237--243
Martin Baca and
Muhammad Numan and
Muhammad Kamran Siddiqui Super Face Antimagic Labelings of Union
of Antiprisms . . . . . . . . . . . . . 245--253
Marc Hellmuth and
Wilfried Imrich and
Tomas Kupka Partial Star Products: A Local Covering
Approach for the Recognition of
Approximate Cartesian Product Graphs . . 255--273
Rolf Fagerberg and
Christoph Flamm and
Daniel Merkle and
Philipp Peters and
Peter F. Stadler On the Complexity of Reconstructing
Chemical Reaction Networks . . . . . . . 275--292
Lars Eldén and
Magnus Merkel and
Lars Ahrenberg and
Martin Fagerlund Computing Semantic Clusters by Semantic
Mirroring and Spectral Graph
Partitioning . . . . . . . . . . . . . . 293--313
Kashif Ali and
Muhammad Hussain and
Ali Ahmad and
Mirka Miller Magic Labelings of Type $ (a, b, c) $ of
Families of Wheels . . . . . . . . . . . 315--319
Igor Semaev Improved Agreeing--Gluing Algorithm . . 321--339
Arsham Borumand Saeid and
Akbar Rezaei and
Rajab Ali Borzooei Some Types of Filters in BE-algebras . . 341--352
Muhammad Akram and
Bijan Davvaz and
Feng Feng Intuitionistic Fuzzy Soft $K$-Algebras 353--365
Muhammad Akram and
Saadia Shahzad and
Arif Butt and
Abdul Khaliq Intuitionistic Fuzzy Logic Control for
Heater Fans . . . . . . . . . . . . . . 367--378
Xiaoyu Chen and
Dongming Wang and
Xiangliang Zhang Foreword to the Special Focus on
Mathematics, Data and Knowledge . . . . 379--386
Mostafa M. Abbass and
Hazem M. Bahig An Efficient Algorithm to Identify DNA
Motifs . . . . . . . . . . . . . . . . . 387--399
Cristian Cruz and
William Lima Leão and
David Rohde The Sensitivity of the Number of
Clusters in a Gaussian Mixture Model to
Prior Distributions . . . . . . . . . . 401--420
Elena Aladova and
Eugene Plotkin and
Tatjana Plotkin Isotypeness of Models and Knowledge
Bases Equivalence . . . . . . . . . . . 421--438
Xiaoyu Chen and
Dongming Wang Formalization and Specification of
Geometric Knowledge Objects . . . . . . 439--454
Eugene V. Zima Accelerating Indefinite Summation:
Simple Classes of Summands . . . . . . . 455--472
Eugenio Roanes-Lozano The Geometry of Railway Geometric
Overthrow Revisited Using Computer
Algebra Methods . . . . . . . . . . . . 473--485
Martin Baca and
Marcela Lascsáková and
Muhammad Kamran Siddiqui Total Edge Irregularity Strength of
Toroidal Fullerene . . . . . . . . . . . 487--492
Manfred Kerber and
Christoph Lange and
Colin Rowat Foreword . . . . . . . . . . . . . . . . 1--4
Siddharth Chatterjee and
Arunava Sen Automated Reasoning in Social Choice
Theory: Some Remarks . . . . . . . . . . 5--10
Phillip James and
Markus Roggenbach Encapsulating Formal Methods within
Domain Specific Languages: A Solution
for Verifying Railway Scheme Plans . . . 11--38
Sanaz Khan-Afshar and
Umair Siddique and
Mohamed Yousri Mahmoud and
Vincent Aravantinos and
Ons Seddiki and
Osman Hasan and
Sofi\`ene Tahar Formal Analysis of Optical Systems . . . 39--70
Stefan Mitsch and
Grant Olney Passmore and
André Platzer Collaborative Verification-Driven
Engineering of Hybrid Systems . . . . . 71--97
Jónathan Heras and
Ekaterina Komendantskaya Recycling Proof Patterns in Coq: Case
Studies . . . . . . . . . . . . . . . . 99--116
Sandra Di Rocco and
Josef Schicho Foreword . . . . . . . . . . . . . . . . 117--118
Qingchun Ren and
Steven V. Sam and
Bernd Sturmfels Tropicalization of Classical Moduli
Spaces . . . . . . . . . . . . . . . . . 119--145
Murray Bremner and
Jiaxiong Hu and
Luke Oeding The $ 3 \times 3 \times 3 $
Hyperdeterminant as a Polynomial in the
Fundamental Invariants for $ {{\rm
SL}_3(\mathbb {C})} \times {{\rm
SL}_3(\mathbb {C})} \times {\rm SL}_3
(\mathbb {C}) $ . . . . . . . . . . . . 147--156
Bernard Mourrain and
Nelly Villamizar Bounds on the Dimension of Trivariate
Spline Spaces: A Homological Approach 157--174
Laurent Busé and
Jean-Pierre Jouanolou On the Discriminant Scheme of
Homogeneous Polynomials . . . . . . . . 175--234
Jonathan D. Hauenstein and
Frank Sottile Newton Polytopes and Witness Sets . . . 235--251
Daniel J. Bates and
Matthew Niemerg Using Monodromy to Avoid High Precision
in Homotopy Continuation . . . . . . . . 253--262
D. J. Wilson and
R. J. Bradford and
J. H. Davenport and
M. England Cylindrical Algebraic Sub-Decompositions 263--288
M'hammed El Kahoui and
Zakari Yaou Moussa An Algorithm to Compute the Adjoint
Ideal of an Affine Plane Algebraic Curve 289--298
Bohumír Bastl and
Bert Jüttler and
Miroslav Lávicka and
Tino Schulz and
Zbynek Sír On the Parameterization of Rational
Ringed Surfaces and Rational Canal
Surfaces . . . . . . . . . . . . . . . . 299--319
Nacim Ramdani and
Luc Jaulin Foreword . . . . . . . . . . . . . . . . 321--321
Jiri Rohn Verification of Linear (In)Dependence in
Finite Precision Arithmetic . . . . . . 323--328
Milan Hladík and
Stefan Ratschan Efficient Solution of a Class of
Quantified Constraints with Quantifier
Prefix Exists--Forall . . . . . . . . . 329--340
Elke Just Subdivision Strategies for Boxes in
Branch-and-Bound Nonlinear Solvers and
Verification . . . . . . . . . . . . . . 341--355
Bhagyesh V. Patil and
P. S. V. Nataraj An Improved Bernstein Global
Optimization Algorithm for MINLP
Problems with Application in Process
Industry . . . . . . . . . . . . . . . . 357--377
Clément Aubry and
Rozenn Desmare and
Luc Jaulin Kernel Characterization of an Interval
Function . . . . . . . . . . . . . . . . 379--390
Laleh Ravanbod and
Nathalie Verdi\`ere and
Carine Jauberthie Determination of Set--Membership
Identifiability Sets . . . . . . . . . . 391--406
Moussa Ma\"\iga and
Nacim Ramdani and
Louise Travé-Massuy\`es and
Christophe Combastel A CSP Versus a Zonotope-Based Method for
Solving Guard Set Intersection in
Nonlinear Hybrid Reachability . . . . . 407--423
Francisco Rego and
Elwin de Weerdt and
Eddy van Oort and
Erik-Jan van Kampen and
Qiping Chu and
António M. Pascoal Determination of Inner and Outer Bounds
of Reachable Sets Through Subpavings . . 425--442
Sergey S. Kumkov and
Stéphane Le Ménec and
Valerii S. Patsko Level Sets of the Value Function in
Differential Games with Two Pursuers and
One Evader. Interval Analysis
Interpretation . . . . . . . . . . . . . 443--454
Hiba Haj Chhadé and
Amadou Gning and
Fahed Abdallah and
Imad Mougharbel and
Simon Julier Non Parametric Distributed Inference in
Sensor Networks Using Box Particles
Messages . . . . . . . . . . . . . . . . 455--478
Julien Alexandre Dit Sandretto and
Gilles Trombettoni and
David Daney Interval Methods for Model
Qualification: Methodology and Advanced
Application . . . . . . . . . . . . . . 479--493
Mohamed Saad Ibn Seddik and
Luc Jaulin and
Jonathan Grimsdale Phase Based Localization for Underwater
Vehicles Using Interval Analysis . . . . 495--502
Aymeric Bethencourt and
Luc Jaulin Solving Non-Linear Constraint
Satisfaction Problems Involving
Time-Dependent Functions . . . . . . . . 503--523
Andreas Rauh and
Luise Senkel and
Ekaterina Auer and
Harald Aschemann Interval Methods for Real-Time Capable
Robust Control of Solid Oxide Fuel Cell
Systems . . . . . . . . . . . . . . . . 525--542
Luise Senkel and
Andreas Rauh and
Harald Aschemann Sliding Mode Techniques for Robust
Trajectory Tracking as well as State and
Parameter Estimation . . . . . . . . . . 543--561
Vincent Drevelle and
Jeremy Nicola VIBes: A Visualizer for Intervals and
Boxes . . . . . . . . . . . . . . . . . 563--572
Laurent Théry and
Freek Wiedijk Foreword to the Special Focus on Formal
Proofs for Mathematics and Computer
Science . . . . . . . . . . . . . . . . 1--3
Cezary Kaliszyk and
Josef Urban HOL(y)Hammer: Online ATP Service for HOL
Light . . . . . . . . . . . . . . . . . 5--22
Lars Noschinski A Graph Library for Isabelle . . . . . . 23--39
Sylvie Boldo and
Catherine Lelay and
Guillaume Melquiond Coquelicot: A User-Friendly Library of
Real Analysis for Coq . . . . . . . . . 41--62
Matilde Marcolli and
John Napp Quantum Computation and Real
Multiplication . . . . . . . . . . . . . 63--84
Jyoti Talwar and
Ranjan Kumar Mohanty A Single Sweep AGE Algorithm based on
Off-Step Discretization for the Solution
of Viscous Burgers' Equation on a
Variable Mesh . . . . . . . . . . . . . 85--103
Jacqueline W. Daykin and
Costas S. Iliopoulos and
Mirka Miller and
Oudone Phanalasy Antimagicness of Generalized Corona and
Snowflake Graphs . . . . . . . . . . . . 105--111
Satyabrata Paul and
Madhumangal Pal and
Anita Pal $ L(2, 1) $-Labeling of Permutation and
Bipartite Permutation Graphs . . . . . . 113--123
Mirka Miller and
Bharati Rajan and
Indra Rajasingh Foreword . . . . . . . . . . . . . . . . 125--126
J. Abawajy and
A. V. Kelarev and
M. Miller and
J. Ryan Distances of Centroid Sets in a
Graph-Based Construction for Information
Security Applications . . . . . . . . . 127--137
Martin Baca and
Oudone Phanalasy and
Joe Ryan Antimagic Labelings of Join Graphs . . . 139--143
Josep Conde and
Mirka Miller and
Josep M. Miret and
Kumar Saurav On the Nonexistence of Almost Moore
Digraphs of Degree Four and Five . . . . 145--149
Indra Rajasingh and
V. Annamma Total Vertex Irregularity Strength of
$1$-Fault Tolerant Hamiltonian Graphs 151--160
Diari Indriati and
Widodo and
Indah E. Wijayanti On Total Edge Irregularity Strength of
Generalized Web Graphs and Related
Graphs . . . . . . . . . . . . . . . . . 161--167
Jasintha Quadras and
Sajiya Merlin Mahizl Albert Domination Parameters in Coronene Torus
Network . . . . . . . . . . . . . . . . 169--175
Jasintha Quadras and
Sarah Surya Solomon Embedding of the Folded Hypercubes into
Tori . . . . . . . . . . . . . . . . . . 177--183
J. Jeba Jesintha and
K. Ezhilarasi Hilda All Uniform Bow Graphs are Graceful . . 185--191
M. Joice Punitha Strong Kernel Number in Certain Oriented
Cycle Extension of Graphs . . . . . . . 193--199
Paul Manuel and
Bharati Rajan and
Cyriac Grigorious On the Strong Metric Dimension of
Tetrahedral Diamond Lattice . . . . . . 201--208
Paul Manuel and
A. S. Shanthi Berge--Fulkerson Conjecture on Certain
Snarks . . . . . . . . . . . . . . . . . 209--220
Indra Rajasingh and
Micheal Arockiaraj and
Jasintha Quadras Linear Layout of Directed Grid Graph . . 221--227
Rismawati Ramdani and
A. N. M. Salman and
Hilda Assiyatun Total Irregularity Strength of Three
Families of Graphs . . . . . . . . . . . 229--237
P. Roushini Leely Pushpam and
Chitra Suseendran Secure Restrained Domination in Graphs 239--247
G. Sethuraman and
A. Velankanni and
S. Anbarasu Cycle Partition of Two-Connected and
Two-Edge Connected Graphs . . . . . . . 249--252
R. Sundara Rajan and
N. Parthiban and
T. M. Rajalaxmi Embedding of Recursive Circulants into
Certain Necklace Graphs . . . . . . . . 253--263
Pascal Fontaine and
Thomas Sturm and
Uwe Waldmann Foreword to the Special Focus on
Constraints and Combinations . . . . . . 265--265
Ryoya Fukasaku and
Shutaro Inoue and
Yosuke Sato On QE Algorithms over an Algebraically
Closed Field Based on Comprehensive
Gröbner Systems . . . . . . . . . . . . . 267--281
Willem Hagemann Efficient Geometric Operations on Convex
Polyhedra, with an Application to
Reachability Analysis of Hybrid Systems 283--325
Martin Suda Variable and Clause Elimination for LTL
Satisfiability Checking . . . . . . . . 327--344
M. H. M. J. Wintraecken and
G. Vegter On the Optimal Triangulation of Convex
Hypersurfaces, Whose Vertices Lie in
Ambient Space . . . . . . . . . . . . . 345--353
A. Panayotopoulos and
P. Vlamos Partitioning the Meandering Curves . . . 355--364
Wolfram Koepf and
Etienne Nana Chiadjeu Algorithmic Approach for Formal Fourier
Series . . . . . . . . . . . . . . . . . 365--389
Matilde Marcolli and
Alexander Port Graph Grammars, Insertion Lie Algebras,
and Quantum Field Theory . . . . . . . . 391--408
Bärbel M. R. Stadler and
Peter F. Stadler Connectivity Spaces . . . . . . . . . . 409--436
Sarah J. Berkemer and
Ricardo R. C. Chaves and
Adrian Fritz Spiders can be Recognized by Counting
Their Legs . . . . . . . . . . . . . . . 437--441
Hadi Muhshi and
Edy Tri Baskoro Matching-Star Ramsey Minimal Graphs . . 443--452
Yiu-Kwong Man On Computing the Measurable Amounts of
the Two Jugs Problem . . . . . . . . . . 453--459
Sandeep Ameet Kumar and
Jito Vanualailai and
Bibhya Sharma Lyapunov-Based Control for a Swarm of
Planar Nonholonomic Vehicles . . . . . . 461--475
J. Rafael Sendra and
Dongming Wang and
Jing Yang Foreword . . . . . . . . . . . . . . . . 1--3
Francisco Botana and
Tomas Recio On the Unavoidable Uncertainty of Truth
in Dynamic Geometry Proving . . . . . . 5--25
Pascal Schreck and
Vesna Marinkovi\'c and
Predrag Janici\'c Constructibility Classes for Triangle
Location Problems . . . . . . . . . . . 27--39
Pascal Schreck and
Pascal Mathis Automatic Constructibility Checking of a
Corpus of Geometric Construction
Problems . . . . . . . . . . . . . . . . 41--56
Julien Narboux and
David Braun Towards a Certified Version of the
Encyclopedia of Triangle Centers . . . . 57--73
Changpeng Shao and
Hongbo Li and
Lei Huang Challenging Theorem Provers with
Mathematical Olympiad Problems in Solid
Geometry . . . . . . . . . . . . . . . . 75--96
Leo Dorst The Construction of $3$D Conformal
Motions . . . . . . . . . . . . . . . . 97--113
John C. Bowers and
Ileana Streinu Geodesic Universal Molecules . . . . . . 115--141
Daniel Lichtblau First Order Perturbation and Local
Stability of Parametrized Systems . . . 143--163
Josep M. Brunat and
Antonio Montes Computing the Canonical Representation
of Constructible Sets . . . . . . . . . 165--178
Giorgio Ricca and
Mauro C. Beltrametti and
Anna Maria Massone Detecting Curves of Symmetry in Images
Via Hough Transform . . . . . . . . . . 179--205
Bharati Rajan and
Ibrahim Venkat and
K. G. Subramanian Foreword to the Special Focus on Graph
Theory and Applications . . . . . . . . 207--208
Somnath Bera and
Kalpana Mahalingam Structural Properties of Word
Representable Graphs . . . . . . . . . . 209--222
Denis C. K. Wong Constructions of Binary Codes Based on
Bipartite Graphs . . . . . . . . . . . . 223--227
Atulya K. Nagar and
S. Sriram On Eccentric Connectivity Index of
Eccentric Graph of Regular Dendrimer . . 229--237
P. Sivagami and
Indra Rajasingh $T$-Coloring of Certain Networks . . . . 239--248
Ali Abdulkareem Mahmood and
Ali Maroosi and
Ravie Chandren Muniyandi Membrane Computing to Enhance Time
Efficiency of Minimum Dominating Set . . 249--261
K. Sivaselvan and
C. Vijayalakshmi Implementation of Markovian Queueing
Network Model with Multiple Closed
Chains . . . . . . . . . . . . . . . . . 263--272
Irakli Dochviri and
James F. Peters Topological Sorting of Finitely Near
Sets . . . . . . . . . . . . . . . . . . 273--277
Alexandra Gavina and
José Matos and
Paulo Vasconcelos Improving the Accuracy of Chebyshev Tau
Method for Nonlinear Differential
Problems . . . . . . . . . . . . . . . . 279--289
Ana C. Conceição and
José C. Pereira Exploring the Spectra of Some Classes of
Singular Integral Operators with
Symbolic Computation . . . . . . . . . . 291--309
Amélia Loja and
José Alberto Rodrigues and
Ana C. Conceição Foreword to the Special Focus on
Advances in Symbolic and Numeric
Computation . . . . . . . . . . . . . . 311--312
M. Trindade and
J. Matos and
P. B. Vasconcelos Towards a Lanczos' $ \tau $-Method
Toolkit for Differential Problems . . . 313--329
Amira Rachah and
Delfim F. M. Torres Dynamics and Optimal Control of Ebola
Transmission . . . . . . . . . . . . . . 331--342
Rúben Maia and
Ricardo Branco and
F. V. Antunes and
M. C. Oliveira and
Andrei Kotousov Three-Dimensional Computational Analysis
of Stress State Transition in
Through-Cracked Plates . . . . . . . . . 343--352
J. M. Escobar and
J. Núñez and
P. Pérez-Fernández On Contractions of Lie Algebras . . . . 353--364
Ana C. Conceição and
Rui C. Marreiros and
José C. Pereira Symbolic Computation Applied to the
Study of the Kernel of a Singular
Integral Operator with Non--Carleman
Shift and Conjugation . . . . . . . . . 365--386
Muhammad Akram and
Arooj Adeel $ \vec{m} $-Polar Fuzzy Labeling Graphs
with Application . . . . . . . . . . . . 387--402
Richard H. Hammack and
Marc Hellmuth and
Lydia Ostermeier and
Peter F. Stadler Associativity and Non-Associativity of
Some Hypergraph Products . . . . . . . . 403--408
Ferruccio Guidi and
Claudio Sacerdoti Coen A Survey on Retrieval of Mathematical
Knowledge . . . . . . . . . . . . . . . 409--427
Daniel Raggi and
Alan Bundy and
Gudmund Grov and
Alison Pease Automating Change of Representation for
Proofs in Discrete Mathematics (Extended
Version) . . . . . . . . . . . . . . . . 429--457
Yuri I. Manin and
Matilde Marcolli Semantic Spaces . . . . . . . . . . . . 459--477
Dongming Wang On the Connection Between Ritt
Characteristic Sets and
Buchberger--Gröbner Bases . . . . . . . . 479--492
Ilias S. Kotsireas Mathematics in Computer Science: After
10 Years . . . . . . . . . . . . . . . . 1--6
Yuqun Chen and
Haibin Wu and
Honglian Xie Automaticity of One--Relator Semigroups
with Length Less Than or Equal to Three 7--33
Ioannis Z. Emiris and
Anna Karasoulou and
Charilaos Tzovas Approximating Multidimensional Subset
Sum and Minkowski Decomposition of
Polygons . . . . . . . . . . . . . . . . 35--48
José Luis Galán-García and
Salvador Merino and
Javier Martínez and
Miguel De Aguilera Genetic and Algebraic Algorithms for
Classifying the Items of a Likert
Questionnaire . . . . . . . . . . . . . 49--59
Amir Hashemi and
Mahdi Dehghani Darmian and
Marzieh Barkhordar Gröbner Systems Conversion . . . . . . . 61--77
Kevin Shu and
Matilde Marcolli Syntactic Structures and Code Parameters 79--90
Fan Yang and
Xiao-Xiao Li and
Dun-Gang Li and
Lan Wang The Simplified Tikhonov Regularization
Method for Solving a Riesz--Feller
Space--Fractional Backward Diffusion
Problem . . . . . . . . . . . . . . . . 91--110
Costas S. Iliopoulos and
Alessio Langiu Foreword . . . . . . . . . . . . . . . . 111--112
Nadia Ben Nsira and
Mourad Elloumi and
Thierry Lecroq On-line String Matching in Highly
Similar DNA Sequences . . . . . . . . . 113--126
Jinil Kim and
Amihood Amir and
Joong Chae Na and
Kunsoo Park and
Jeong Seop Sim On Representations of Ternary Order
Relations in Numeric Strings . . . . . . 127--136
Juha Kärkkäinen and
Dominik Kempa Engineering a Lightweight External
Memory Suffix Array Construction
Algorithm . . . . . . . . . . . . . . . 137--149
Travis Gagie and
Giovanni Manzini and
Daniel Valenzuela Compressed Spaced Suffix Arrays . . . . 151--157
German Tischler Faster Average Case Low Memory
Semi-external Construction of the
Burrows--Wheeler Transform . . . . . . . 159--176
Pooya Davoodi and
Rajeev Raman and
Srinivasa Rao Satti On Succinct Representations of Binary
Trees . . . . . . . . . . . . . . . . . 177--189
Travis Gagie and
Christopher Hoobin and
Simon J. Puglisi Block Graphs in Practice . . . . . . . . 191--196
Dimitrios Vlachakis and
Alexandros Armaos and
Sophia Kossida Advanced Protein Alignments Based on
Sequence, Structure and Hydropathy
Profiles; The Paradigm of the Viral
Polymerase Enzyme . . . . . . . . . . . 197--208
Jacqueline W. Daykin and
Bruce Watson Indeterminate String Factorizations and
Degenerate Text Transformations . . . . 209--218
Md. Mahbubul Hasan and
A. S. M. Sohidull Islam and
M. Sohel Rahman and
Ayon Sen Palindromic Subsequence Automata and
Longest Common Palindromic Subsequence 219--232
S. M. Ferdous and
M. Sohel Rahman Solving the Minimum Common String
Partition Problem with the Help of Ants 233--249
Thierry Dana-Picard and
Wolfram Koepf and
Ilias Kotsireas and
Zoltán Kovács and
Alexander Prokopenya and
Werner Seiler Foreword . . . . . . . . . . . . . . . . 251--252
V. V. Bavula Quiver Generalized Weyl Algebras, Skew
Category Algebras and Diskew Polynomial
Rings . . . . . . . . . . . . . . . . . 253--268
Wuria Muhammad Ameen Hussein and
Colin Christopher A Geometric Investigation of the
Invariant Algebraic Curves in Two
Dimensional Lotka--Volterra Systems . . 269--283
Thierry Dana-Picard and
David G. Zeitoun A Framework for an ICT--Based Study of
Parametric Integrals . . . . . . . . . . 285--296
James H. Davenport What Does ``Without Loss of Generality''
Mean, and How Do We Detect It . . . . . 297--303
Mariana Durcheva and
Elena Varbanova Applications of CAS in the Teaching and
Learning of Discrete Mathematics . . . . 305--314
Vasilii Duzhin and
Nikolay Vasilyev Modeling of an Asymptotically Central
Markov Process on $3$D Young Graph . . . 315--328
Christoph Fürst and
Alexander Levin Relative Reduction and Buchberger's
Algorithm in Filtered Free Modules . . . 329--339
David J. Jeffrey Branch Structure and Implementation of
Lambert $W$ . . . . . . . . . . . . . . 341--350
Zoltán Kovács Real-time Animated Dynamic Geometry in
the Classrooms by Using Fast Gröbner
Basis Computations . . . . . . . . . . . 351--361
Wlodzimierz Wojas and
Jan Krupa Familiarizing Students with Definition
of Lebesgue Integral: Examples of
Calculation Directly from Its Definition
Using Mathematica . . . . . . . . . . . 363--381
M. Zh. Minglibayev and
A. N. Prokopenya and
G. M. Mayemerova and
Zh. U. Imanova Three-Body Problem with Variable Masses
that Change Anisotropically at Different
Rates . . . . . . . . . . . . . . . . . 383--391
Reinhard Oldenburg Transparent Rule Based CAS to Support
Formalization of Knowledge . . . . . . . 393--399
Eleanor Farrington and
Emma Previato Symbolic Computation for Rankin--Cohen
Differential Algebras: A Case Study . . 401--415
Alexander N. Prokopenya Motion of a Swinging Atwood's Machine:
Simulation and Analysis with Mathematica 417--425
Pedro Quaresma Towards an Intelligent and Dynamic
Geometry Book . . . . . . . . . . . . . 427--437
Eugenio Roanes-Lozano A Brief Note on the Approach to the
Conic Sections of a Right Circular Cone
from Dynamic Geometry . . . . . . . . . 439--448
Haiduke Sarafian Application of Computer Algebra System
and the Mean-Value Theory for Evaluating
Electrostatic Potential and Its
Associated Field for Nontrivial
Configurations . . . . . . . . . . . . . 449--455
Agnieszka Siluszyk On a Class of Central Configurations in
the Planar $ {\vec{3n}}$-Body Problem 457--467
Hagen Chrapary and
Wolfgang Dalitz and
Winfried Neun and
Wolfram Sperber Design, Concepts, and State of the Art
of the swMATH Service . . . . . . . . . 469--481
Masayuki Noro and
Kazuhiro Yokoyama Usage of Modular Techniques for
Efficient Computation of Ideal
Operations . . . . . . . . . . . . . . . 1--32
Alexander Port and
Iulia Gheorghita and
Daniel Guth and
John M. Clark and
Crystal Liang and
Shival Dasu and
Matilde Marcolli Persistent Topology of Syntax . . . . . 33--50
Kristoffer Kleine and
Dimitris E. Simos An Efficient Design and Implementation
of the In--Parameter-Order Algorithm . . 51--67
Haohao Wang and
Ron Goldman Using Dual Quaternion to Study
Translational Surfaces . . . . . . . . . 69--75
Yingyu Lu and
Guanghua Dong and
Wenhui Ma and
Ning Wang Antimagic Labeling of the Lexicographic
Product Graph $ K_{m, n}[P_k] $ . . . . 77--90
A. Di Concilio and
C. Guadagni and
J. F. Peters and
S. Ramanna Descriptive Proximities. Properties and
Interplay Between Classical Proximities
and Overlap . . . . . . . . . . . . . . 91--106
Amélia Loja and
Stéphane Louis Clain and
Joaquim Infante Barbosa and
José Alberto Rodrigues Foreword to the Special Focus on
Advances in Symbolic and Numeric
Computation II . . . . . . . . . . . . . 107--109
Karam Allali and
Sanaa Harroudi and
Delfim F. M. Torres Analysis and Optimal Control of an
Intracellular Delayed HIV Model with CTL
Immune Response . . . . . . . . . . . . 111--127
I. R. Mendes and
P. B. Vasconcelos PageRank Computation with MAAOR and
Lumping Methods . . . . . . . . . . . . 129--141
J. M. Escobar and
J. Núñez and
P. Pérez-Fernández A New One-Parameter Invariant Function
for Algebras . . . . . . . . . . . . . . 143--150
Ângela Macedo and
Teresa A. Mesquita and
Zélia da Rocha Symbolic Approach to the General
Quadratic Polynomial Decomposition . . . 151--172
Rui Ralha Mixed Precision Bisection . . . . . . . 173--181
M. Trindade and
J. Matos and
P. B. Vasconcelos Dealing with Functional Coefficients
Within Tau Method . . . . . . . . . . . 183--195
J. C. Matos and
J. M. A. Matos and
M. J. Rodrigues Solving Differential and Integral
Equations with Tau Method . . . . . . . 197--205
Nancy Retzlaff and
Peter F. Stadler Partially Local Multi-way Alignments . . 207--234
Irina Maria Artinescu and
Liviu Octavian Mafteiu-Scai A Scratch Covering Algorithm Using
Affine Projection Method . . . . . . . . 235--246
Edgar Martínez-Moro and
Josep M. Miret and
Luis Ramiro Piñeiro Foreword . . . . . . . . . . . . . . . . 247--250
Valentina Badia and
Hebert Pérez-Rosés and
Joe Ryan Eulogy for Professor Mirka Miller
(1949--2016) . . . . . . . . . . . . . . 251--254
Joe Ryan A Brief Survey on the Contribution of
Mirka Miller to the Security of
Statistical Databases . . . . . . . . . 255--262
Julián Salas and
Josep Domingo-Ferrer Some Basics on Privacy Techniques,
Anonymization and their Big Data
Challenges . . . . . . . . . . . . . . . 263--274
Hebert Pérez-Rosés Sixty Years of Network Reliability . . . 275--293
Rodrigo Abarzúa and
Santi Martínez and
Valeria Mendoza and
Javier Valera Avoiding Side-Channel Attacks by
Computing Isogenous and Isomorphic
Elliptic Curves . . . . . . . . . . . . 295--307
Josep M. Miret and
Daniel Sadornil and
Juan G. Tena Pairing-Based Cryptography on Elliptic
Curves . . . . . . . . . . . . . . . . . 309--318
Gora Adj and
Isaac Canales-Martínez and
Luis Rivera-Zamarripa and
Francisco Rodríguez-Henríquez Smoothness Test for Polynomials Defined
Over Small Characteristic Finite Fields 319--337
Mijail Borges-Quintana and
Miguel Ángel Borges-Trenard and
Edgar Martínez-Moro On the Weak Order Ideal Associated to
Linear Codes . . . . . . . . . . . . . . 339--347
Joan-Josep Climent and
Francisco J. García and
Verónica Requena Boolean Functions: Degree and Support 349--369
Dardo Goyeneche and
Ilias Kotsireas and
Padraig Ó Catháin Foreword . . . . . . . . . . . . . . . . 371--372
Dragomir Z. \Dbarokovi\'c and
Ilias S. Kotsireas Goethals--Seidel Difference Families
with Symmetric or Skew Base Blocks . . . 373--388
Dean Crnkovi\'c and
Ronan Egan A Note on Siamese Twin Designs
Intersecting in a BIBD and a PBD . . . . 389--395
Santiago Barrera Acevedo and
Heiko Dietrich Relative Difference Sets and Hadamard
Matrices from Perfect Quaternionic
Arrays . . . . . . . . . . . . . . . . . 397--406
V. Alvarez and
J. A. Armario and
R. M. Falcón and
M. D. Frau and
F. Gudiel and
M. B. Güemes and
A. Osuna A Mixed Heuristic for Generating
Cocyclic Hadamard Matrices . . . . . . . 407--417
José Andrés Armario and
Iván Bailera and
Joaquim Borges and
Josep Rif\`a Quasi-Hadamard Full Propelinear Codes 419--428
Charles J. Colbourn and
Violet R. Syrotiuk On a Combinatorial Framework for Fault
Characterization . . . . . . . . . . . . 429--451
Neil I. Gillespie and
Padraig Ó Catháin and
Cheryl E. Praeger Construction of the Outer Automorphism
of $ \mathcal {S}_6 $ via a Complex
Hadamard Matrix . . . . . . . . . . . . 453--458
Wojciech T. Bruzda Extension of the Set of Complex Hadamard
Matrices of Size 8 . . . . . . . . . . . 459--464
Arne Winterhof and
Oguz Yayla and
Volker Ziegler Non-existence of Some Nearly Perfect
Sequences, Near Butson--Hadamard
Matrices, and Near Conference Matrices 465--471
Grzegorz Rajchel and
Adam Gasiorowski and
Karol Zyczkowski Robust Hadamard Matrices, Unistochastic
Rays in Birkhoff Polytope and
Equi-Entangled Bases in Composite Spaces 473--490
Michel Beaudin and
Thierry Dana-Picard and
Alexander Levin and
Christoph Koutschan and
Ilias Kotsireas and
Daniel Robertz Foreword . . . . . . . . . . . . . . . . 1--3
Jurell Benjamin and
Donna Walker and
Aleksandr Mylläri and
Tatiana Mylläri On the Applicability of Pairwise
Separations Method in Astronomy:
Influence of the Noise in Data . . . . . 5--10
S. Blanco-Trejo and
C. Alemán-Morillo and
F. D\'ìaz-del-R\'ìo and
P. Real Fractal Topological Analysis for 2D
Binary Digital Images . . . . . . . . . 11--20
Nello Blaser and
Morten Brun Divisive Cover . . . . . . . . . . . . . 21--29
Jirí Blazek and
Pavel Pech Locus Computation in Dynamic Geometry
Environment . . . . . . . . . . . . . . 31--40
E. Y. S. Chan and
R. M. Corless Minimal Height Companion Matrices for
Euclid Polynomials . . . . . . . . . . . 41--56
Thierry Dana-Picard Automated Study of a Regular Trifolium 57--67
Mariana Durcheva How to Use CAS (Maple) to Help Students
Learn Number Theory . . . . . . . . . . 69--78
Ryoya Fukasaku and
Hidenao Iwane and
Yosuke Sato On Multivariate Hermitian Quadratic
Forms . . . . . . . . . . . . . . . . . 79--93
R. Hasek Dynamic Geometry Software Supplemented
with a Computer Algebra System as a
Proving Tool . . . . . . . . . . . . . . 95--104
Mikhail Kagan and
Brian Mata A Physics Perspective on the Resistance
Distance for Graphs . . . . . . . . . . 105--115
Avi Karsenty and
Yaakov Mandelbaum Computer Algebra Challenges in
Nanotechnology: Accurate Modeling of
Nanoscale Electro-optic Devices Using
Finite Elements Method . . . . . . . . . 117--130
Zoltán Kovács Achievements and Challenges in Automatic
Locus and Envelope Animations in Dynamic
Geometry . . . . . . . . . . . . . . . . 131--141
R. Kozera and
M. Wilko\lazka A Modified Hermite Interpolation with
Exponential Parameterization . . . . . . 143--155
Alexander Levin Bivariate Dimension Quasi-polynomials of
Difference--Differential Field
Extensions with Weighted Basic Operators 157--168
Toufik Mansour and
Matthias Schork Permutation Patterns and Cell
Decompositions . . . . . . . . . . . . . 169--183
Katsusuke Nabeshima and
Shinichi Tajima Solving Parametric Ideal Membership
Problems and Computing Integral Numbers
in a Ring of Convergent Power Series Via
Comprehensive Gröbner Systems . . . . . . 185--194
Aaron E. Naiman Automated Function Analysis for Calculus 195--204
Katsuyoshi Ohara and
Shinichi Tajima An Algorithm for Computing Grothendieck
Local Residues I: Shape Basis Case . . . 205--216
Regina Ovodenko and
Anatoli Kouropatov The Use of Digital Tools to Confront
Errors During Advanced Calculus
Learning: The Case of the Inflection
Point . . . . . . . . . . . . . . . . . 217--236
José L. Galán-Garc\'ìa and
Gabriel Aguilera-Venegas and
Mar\'ìa Á. Galán-Garc\'ìa Foreword . . . . . . . . . . . . . . . . 329--331
Eugene Lebedev and
Hanna Livinska Multi-channel Queueing Networks with
Input Flow Controlled by Semi--Markov
Process . . . . . . . . . . . . . . . . 333--340
Elena Kohlwey and
Melven Röhrig-Zöllner Half-Explicit Exponential Runge--Kutta
Methods for Index-1 DAEs in Helicopter
Simulation . . . . . . . . . . . . . . . 341--365
Martin Siggel and
Jan Kleinert and
Tobias Stollenwerk and
Reinhold Maierl TiGL: An Open Source Computational
Geometry Library for Parametric Aircraft
Design . . . . . . . . . . . . . . . . . 367--389
R. Juarez-del-Toro and
J. G. Castrejón-Lozano and
C. A. Gomez-Rosales and
S. López-Chavarr\'ìa Application of an Intelligent Control on
Economics Dynamic System: The Attractive
Invariant Ellipsoid Approach . . . . . . 391--401
José Alfredo Sánchez de León Calculation of Binomial and Multinomial
Coefficients by Sequences of Summations 403--415
Eugenio Roanes-Lozano and
Jose Luis Galán-Garc\'ìa and
Carmen Solano-Mac\'ìas Some Reflections About the Success and
Impact of the Computer Algebra System
DERIVE with a $ 10$-Year Time
Perspective . . . . . . . . . . . . . . 417--431
S. Melike Aydogan and
F. Müge Sakar On Convex Functions with Complex Order
Through Bounded Boundary Rotation . . . 433--439
F. Müge Sakar and
S. Melike Aydogan Bounds on Initial Coefficients for a
Certain New Subclass of Bi-univalent
Functions by Means of Faber Polynomial
Expansions . . . . . . . . . . . . . . . 441--447
Eugenio Roanes-Lozano and
Rubén González-Mart\'ìn and
Javier Montero An Algebraic Approach to DC Railway
Electrification Verification . . . . . . 449--457
James H. Davenport and
Laura Kovacs and
Daniela Zaharie Foreword . . . . . . . . . . . . . . . . 459--460
Zongyan Huang and
Matthew England and
David J. Wilson and
James Bridge and
James H. Davenport and
Lawrence C. Paulson Using Machine Learning to Improve
Cylindrical Algebraic Decomposition . . 461--488
Stefan Andrei and
Albert M. K. Cheng and
Vlad Radulescu Processor Bounding for an Efficient
Non-preemptive Task Scheduling Algorithm 489--515
Daniel Lichtblau Approximate Polynomial GCD by
Approximate Syzygies . . . . . . . . . . 517--532
Marijn J. H. Heule Optimal Symmetry Breaking for Graph
Problems . . . . . . . . . . . . . . . . 533--548
A. Panayotopoulos On Meandric Colliers . . . . . . . . . . 1--8
Eduardo Sant'Ana da Silva and
Helio Pedrini Vertex Coloring of a Graph for Memory
Constrained Scenarios . . . . . . . . . 9--17
Wolfram Decker and
Christian Eder and
Viktor Levandovskyy and
Sharwan K. Tiwari Modular Techniques for Noncommutative
Gröbner Bases . . . . . . . . . . . . . . 19--33
Mustafa Sari and
Emre Kolotoglu A Different Construction for Some
Classes of Quantum MDS Codes . . . . . . 35--44
Thierry Dana-Picard and
Aharon Naiman and
Witold Mozgawa and
Waldemar Cie\'slak Exploring the Isoptics of Fermat Curves
in the Affine Plane Using DGS and CAS 45--67
Aubrey Blecher and
Charlotte Brennan and
Arnold Knopfmacher and
Toufik Mansour The Depth of Compositions . . . . . . . 69--76
Yuri I. Manin and
Matilde Marcolli Nori Diagrams and Persistent Homology 77--102
Dan Aksim and
Dmitry Pavlov On the Extension of
Adams--Bashforth--Moulton Methods for
Numerical Integration of Delay
Differential Equations and Application
to the Moon's Orbit . . . . . . . . . . 103--109
Papri Dey and
Daniel Plaumann Testing Hyperbolicity of Real
Polynomials . . . . . . . . . . . . . . 111--121
Amir Hashemi and
Martin Kreuzer and
Samira Pourkhajouei Computing Coupled Border Bases . . . . . 123--140
Aruni Choudhary and
Siargey Kachanovich and
Mathijs Wintraecken Coxeter Triangulations Have Good Quality 141--176
Jan Horácek and
Martin Kreuzer and
Ange-Salomé Messeng Ekossono A Signature Based Border Basis Algorithm 177--189
Anna Maria Bigatti and
Francisco Botana and
Thierry Dana-Picard and
Felipe Gago and
Ilias Kotsireas and
Manuel Ladra and
Wei Li Foreword . . . . . . . . . . . . . . . . 191--192
Alberto Almech and
Eugenio Roanes-Lozano Automatic Generation of Diagrammatic
Subway Maps for Any Date with Maple . . 193--207
Juan Carlos Ku-Cauich and
Guillermo Morales-Luna Conversion of Element Representations in
Galois Rings . . . . . . . . . . . . . . 209--222
R. Kozera and
M. Wilko\lazka A Note on Modified Hermite Interpolation 223--239
Mukhtar Minglibayev and
Alexander Prokopenya and
Saule Shomshekova Computing Perturbations in the
Two-Planetary Three-Body Problem with
Masses Varying Non-isotropically at
Different Rates . . . . . . . . . . . . 241--251
W\lodzimierz Wojas and
Jan Krupa and
Jaros\law Bojarski Familiarizing Students with Definition
of Lebesgue Outer Measure Using
Mathematica: Some Examples of
Calculation Directly from Its Definition 253--270
Rein Prank Analysing the ``Calculator Effect'' of
Different Kinds of Software for School
Arithmetic and Algebra . . . . . . . . . 271--279
Elishan Braun and
Werner M. Seiler and
Matthias Seiß On the Numerical Analysis and
Visualisation of Implicit Ordinary
Differential Equations . . . . . . . . . 281--293
Victor F. Edneral and
Alexander G. Petrov Nonlinear Oscillations of a Spring
Pendulum at the 1:1:2 Resonance by
Normal Form Methods . . . . . . . . . . 295--303
A. S. Perminov and
E. D. Kuznetsov The Implementation of Hori--Deprit
Method to the Construction Averaged
Planetary Motion Theory by Means of
Computer Algebra System Piranha . . . . 305--316
V. V. Bavula Classification of Simple Modules of the
Ore Extension $ K[X][Y; f \frac {d}{dX}]
$ . . . . . . . . . . . . . . . . . . . 317--325
Sebastian Falkensteiner and
J. Rafael Sendra Solving First Order Autonomous Algebraic
Ordinary Differential Equations by
Places . . . . . . . . . . . . . . . . . 327--337
V. V. Bavula Skew Category Algebras . . . . . . . . . 339--346
Alexander Evgrafov and
Alexander Levin Dimension Polynomials and the Einstein's
Strength of Some Systems of Quasi-linear
Algebraic Difference Equations . . . . . 347--360
Alexander Levin Multivariate Difference--Differential
Dimension Polynomials . . . . . . . . . 361--374
Raúl M. Falcón Using a CAS/DGS to Analyze
Computationally the Configuration of
Planar Bar Linkage Mechanisms Based on
Partial Latin Squares . . . . . . . . . 375--389
Roman Hasek Exploration of Dual Curves Using a
Dynamic Geometry and Computer Algebra
System . . . . . . . . . . . . . . . . . 391--398
Setsuo Takato and
José A. Vallejo Using Oshima Splines to Produce Accurate
Numerical Results and High Quality
Graphical Output . . . . . . . . . . . . 399--413
José Joaquín Bernal and
Diana H. Bueno-Carreño and
Juan Jacobo Simón Constructions of Abelian Codes
Multiplying Dimension of Cyclic Codes 415--421
Stefka Bouyuklieva and
Radka Russeva and
Emine Karatash Binary Isodual Codes Having an
Automorphism of Odd Prime Order . . . . 423--429
George Labahn and
James H. Davenport and
Josef Urban Foreword . . . . . . . . . . . . . . . . 531--532
Burak Ekici and
Cezary Kaliszyk Mac Lane's Comparison Theorem for the
Kleisli Construction Formalized in Coq 533--549
Robert H. Lewis Image Analysis: Identification of
Objects via Polynomial Systems . . . . . 551--558
Katja Bercic and
Janos Vidali DiscreteZOO: A Fingerprint Database of
Discrete Objects . . . . . . . . . . . . 559--575
Taylor Brysiewicz Numerical Software to Compute Newton
polytopes and Tropical Membership . . . 577--589
M. Alpuente and
D. Ballis and
J. Sapiña Efficient Safety Enforcement for Maude
Programs via Program Specialization in
the ÁTAME System . . . . . . . . . . . . 591--606
Seyeon Kim and
Marco Pollanen and
Michael G. Reynolds and
Wesley S. Burr Problem Solving as a Path to
Comprehension . . . . . . . . . . . . . 607--621
Lin Jiu and
Christoph Koutschan Calculation and Properties of Zonal
Polynomials . . . . . . . . . . . . . . 623--640
Giovanni Di Crescenzo and
Matluba Khodjaeva and
Delaram Kahrobaei and
Vladimir Shpilrain Efficient and Secure Delegation of
Exponentiation in General Groups to a
Single Malicious Server . . . . . . . . 641--656
Jan Jakubuv and
Cezary Kaliszyk Relaxed Weighted Path Order in Theorem
Proving . . . . . . . . . . . . . . . . 657--670
Xiaoyu Chen and
Hongbo Li and
Jing Yang Foreword to the Special Focus on
Automated Deduction in Geometry . . . . 671--672
Pedro Quaresma Automated Deduction and Knowledge
Management in Geometry . . . . . . . . . 673--692
Philip Todd A Symbolic Dynamic Geometry System Using
the Analytical Geometry Method . . . . . 693--726
Zoltán Kovács Automated Detection of Interesting
Properties in Regular Polygons . . . . . 727--755
Dongming Wang and
Bo Huang and
Xiaoyu Chen On $n$-sectors of the Angles of an
Arbitrary Triangle . . . . . . . . . . . 757--773
Philip Todd A System for Automated Deduction in
Engineering Mechanics . . . . . . . . . 775--790
Amélia Loja and
Paulo Vasconcelos and
Joaquim Infante Barbosa and
José Alberto Rodrigues Foreword to the Special Focus on
Advances in Symbolic and Numeric
Computation III . . . . . . . . . . . . 1--4
Zélia da Rocha Common Points Between Perturbed
Chebyshev Polynomials of Second Kind . . 5--13
Teresa Augusta Mesquita On a $2$-Orthogonal Polynomial Sequence
via Quadratic Decomposition . . . . . . 15--31
J. M. Escobar and
J. Núñez-Valdés and
P. Pérez-Fernández Introducing a New Two-Parameter
Invariant Function for Algebras . . . . 33--44
José M. A. Matos and
Maria João Rodrigues and
João Carrilho de Matos Explicit Formulae for
Integro--Differential Operational
Matrices . . . . . . . . . . . . . . . . 45--61
Ana C. Conceição Symbolic Computation Applied to the
Study of the Kernel of Special Classes
of Paired Singular Integral Operators 63--90
Moulay Rchid Sidi Ammi and
Mostafa Tahiri and
Delfim F. M. Torres Global Stability of a Caputo Fractional
SIRS Model with General Incidence Rate 91--105
Cristiana J. Silva and
Guillaume Cantin Synchronization and Self-organization in
Complex Networks for a Tuberculosis
Model . . . . . . . . . . . . . . . . . 107--120
P. R. Mota and
P. B. Vasconcelos Estimating the Employment Band of
Inaction with Multiple Breaks due to
Labor Market Reforms . . . . . . . . . . 121--133
Dibyendu Adak and
Sundararajan Natarajan On the $ H^1 $ Conforming Virtual
Element Method for Time Dependent Stokes
Equation . . . . . . . . . . . . . . . . 135--154
Paulo A. G. Piloto and
Carlos Balsa and
Fernando Ribeiro and
Ronaldo Rigobello Computational Simulation of the Thermal
Effects on Composite Slabs Under Fire
Conditions . . . . . . . . . . . . . . . 155--171
Matthew England and
Wolfram Koepf and
Thomas Sturm Foreword, with a Dedication to Andreas
Weber . . . . . . . . . . . . . . . . . 173--175
François Boulier and
François Lemaire and
Adrien Poteaux A Short Contribution to the Theory of
Regular Chains . . . . . . . . . . . . . 177--188
José Cano and
Sebastian Falkensteiner and
J. Rafael Sendra Algebraic, Rational and Puiseux Series
Solutions of Systems of Autonomous
Algebraic ODEs of Dimension One . . . . 189--198
Dima Grigoriev and
Alexandru Iosif and
Andreas Weber Efficiently and Effectively Recognizing
Toricity of Steady State Varieties . . . 199--232
Amir Hashemi and
Hossein Parnian and
Werner M. Seiler Degree Upper Bounds for Involutive Bases 233--254
Youren Hu and
Xiao-Shan Gao Tropical Differential Gröbner Bases . . . 255--269
Rémi Imbach and
Marc Pouget and
Chee Yap Clustering Complex Zeros of Triangular
Systems of Polynomials . . . . . . . . . 271--292
Zahra Mohammadi and
Gregory J. Reid and
S.-L. Tracy Huang Symmetry-Based Algorithms for Invertible
Mappings of Polynomially Nonlinear PDE
to Linear PDE . . . . . . . . . . . . . 293--316
Katsusuke Nabeshima and
Shinichi Tajima Testing Zero-Dimensionality of Varieties
at a Point . . . . . . . . . . . . . . . 317--331
Werner M. Seiler and
Matthias Seiß and
Thomas Sturm A Logic Based Approach to Finding Real
Singularities of Implicit Ordinary
Differential Equations . . . . . . . . . 333--352
Shinichi Tajima and
Katsusuke Nabeshima An Algorithm for Computing Torsion
Differential Forms Associated with an
Isolated Hypersurface Singularity . . . 353--367
Matthew England and
François Boulier and
Thomas Sturm Foreword, with a Dedication to Vladimir
Gerdt . . . . . . . . . . . . . . . . . 369--371
Florent Bréhard A Symbolic-Numeric Validation Algorithm
for Linear ODEs with Newton--Picard
Method . . . . . . . . . . . . . . . . . 373--405
Sergey A. Gutnik and
Vasily A. Sarychev Symbolic Computations of the Equilibrium
Orientations of a System of Two
Connected Bodies Moving on a Circular
Orbit Around the Earth . . . . . . . . . 407--417
Amir Hashemi and
Thomas Izgin and
Werner M. Seiler An Involutive GVW Algorithm and the
Computation of Pommaret Bases . . . . . 419--452
Amir Hashemi and
Matthias Orth and
Werner M. Seiler Relative Gröbner and Involutive Bases for
Ideals in Quotient Rings . . . . . . . . 453--482
Christoph Koutschan and
Elaine Wong Creative Telescoping on Multiple Sums 483--498
Niclas Kruff and
Christoph Lüders and
Sebastian Walcher Algorithmic Reduction of Biological
Networks with Multiple Time Scales . . . 499--534
Luís L. Ferrás and
Neville Ford and
Magda Rebelo High-Order Methods for Systems of
Fractional Ordinary Differential
Equations and Their Application to
Time-Fractional Diffusion Equations . . 535--551
M. C. Beltrametti and
C. Campi and
M. Torrente Geometry of the Hough Transforms with
Applications to Synthetic Data . . . . . 553--575
Carsten Schneider The Absent-Minded Passengers Problem: a
Motivating Challenge Solved by Computer
Algebra . . . . . . . . . . . . . . . . 577--588
Johannes Middeke and
David J. Jeffrey and
Christoph Koutschan Common Factors in Fraction-Free Matrix
Decompositions . . . . . . . . . . . . . 589--608
Sarah J. Berkemer and
Christian Höner zu Siederdissen and
Peter F. Stadler Compositional Properties of Alignments 609--630
Francisco Botana and
Zoltán Kovács and
Tomás Recio A Mechanical Geometer . . . . . . . . . 631--641
Andrew Ortegaray and
Robert C. Berwick and
Matilde Marcolli Heat Kernel Analysis of Syntactic
Structures . . . . . . . . . . . . . . . 643--660
Pavel Solin Self-Paced, Instructor-Assisted Approach
to Teaching Linear Algebra . . . . . . . 661--687
Eugenio Roanes-Lozano and
Carmen Solano-Macías Using Fractals and \em Turtle Geometry
to Visually Explain the Spread of a
Virus to Kids: a STEM Multitarget
Activity . . . . . . . . . . . . . . . . 689--699
Toufik Mansour and
José L. Ramírez and
Diana A. Toquica Counting Lattice Points on Bargraphs of
Catalan Words . . . . . . . . . . . . . 701--713
Raghu N. Kacker and
D. Richard Kuhn and
Dimitris E. Simos Factorials Experiments, Covering Arrays,
and Combinatorial Testing . . . . . . . 715--739
Raghu N. Kacker and
D. Richard Kuhn and
Dimitris E. Simos Correction to: Factorials Experiments,
Covering Arrays, and Combinatorial
Testing . . . . . . . . . . . . . . . . 741--741
Nan Jia and
Yaping Mao and
Eddie Cheng Linear $k$-arboricity of Caylay Graphs
on Abelian Groups with Given Degree . . 743--755
Thierry Dana-Picard Envelopes and Offsets of Two Algebraic
Plane Curves: Exploration of Their
Similarities and Differences . . . . . . 757--774
Anurag Aggarwal and
Zoltán Kovács and
Jonathan Wolfe XaoS 4.0 and Beyond: Fractals in
Mathematics Education . . . . . . . . . 775--788
Zoltán Kovács Two almost-circles, and two real ones 789--801
Kevin Shu and
Andrew Ortegaray and
Matilde Marcolli Phylogenetics of Indo-European Language
Families via an Algebro-Geometric
Analysis of Their Syntactic Structures 803--857
Ibrahim Adamou and
Bernard Mourrain Computing the Topology of Vorono\"\i
Diagrams of Parallel Half-Lines . . . . 859--876
Dimitrios Vlachakis and
Panayiotis Vlamos Mathematical Multidimensional Modelling
and Structural Artificial Intelligence
Pipelines Provide Insights for the
Designing of Highly Specific
AntiSARS-CoV2 Agents . . . . . . . . . . 877--888
Toufik Mansour and
Reza Rastegar and
Armend Sh. Shabani On Column-Convex and Convex Carlitz
Polyominoes . . . . . . . . . . . . . . 889--898
Margaret Archibald and
Aubrey Blecher and
Arnold Knopfmacher Protected Cells in Compositions . . . . ??
Alexander Port and
Taelin Karidi and
Matilde Marcolli Topological Analysis of Syntactic
Structures . . . . . . . . . . . . . . . ??
George Spahn Enumerating Solutions to Grid-Based
Puzzles with a Fixed Number of Rows . . ??
Azebaze Guimagang Laurian and
Fouotsa Emmanuel and
El Mrabet Nadia and
Pecha Njiahouo Aminatou Faster Beta Weil Pairing on BLS Pairing
Friendly Curves with Odd Embedding
Degree . . . . . . . . . . . . . . . . . ??
Yuki Ishihara Efficient Localization at a Prime Ideal
Without Producing Unnecessary Primary
Components . . . . . . . . . . . . . . . ??
Sergey A. Gutnik and
Vasily A. Sarychev Computer Algebra Methods for Searching
the Stationary Motions of the Connected
Bodies System Moving in Gravitational
Field . . . . . . . . . . . . . . . . . ??
Matthew England and
François Boulier and
Timur Sadykov and
Thomas Sturm Foreword . . . . . . . . . . . . . . . . ??
Clemens Hofstadler and
Clemens G. Raab and
Georg Regensburger Computing Elements of Certain Form in
Ideals to Prove Properties of Operators ??
Tian Chen and
Michael Monagan Factoring Multivariate Polynomials
Represented by Black Boxes: a Maple + C
Implementation . . . . . . . . . . . . . ??
Peter Karpov Design of Low-Artifact Interpolation
Kernels by Means of Computer Algebra . . ??
Alexander Levin A New Type of Difference Dimension
Polynomials . . . . . . . . . . . . . . ??
Gert-Martin Greuel and
Gerhard Pfister and
Hans Schönemann Using Semicontinuity for Standard Bases
Computations . . . . . . . . . . . . . . ??
Michael J. Wester Memories of Vladimir Gerdt . . . . . . . ??
J.-F. Pommaret How Many Structure Constants do Exist in
Riemannian Geometry? . . . . . . . . . . ??
Ilias S. Kotsireas Personal Recollections of Prof. Vladimir
P. Gerdt . . . . . . . . . . . . . . . . ??
Dongming Wang SMS Nanning and RWTH Aachen: In Memory
of Vladimir Gerdt . . . . . . . . . . . ??
Werner M. Seiler 30 Years with Vladimir Gerdt . . . . . . ??
Bruno Buchberger Vladimir Gerdt: a Computer Algebra
Enthusiast . . . . . . . . . . . . . . . ??
Daniel Robertz and
Werner M. Seiler Foreword . . . . . . . . . . . . . . . . ??
Michela Ceria and
Ferdinando Mora De Nugis Groebnerialium 7: Janet, Gerdt,
Tamari . . . . . . . . . . . . . . . . . ??
Michela Ceria Applications of Bar Code to Involutive
Divisions and a ``Greedy'' Algorithm for
Complete Sets . . . . . . . . . . . . . ??
Christopher W. Brown and
Zoltán Kovács and
Tomás Recio and
Róbert Vajda and
M. Pilar Vélez Is Computer Algebra Ready for
Conjecturing and Proving Geometric
Inequalities in the Classroom? . . . . . ??
Sven Beuchler and
Tim Haubold and
Veronika Pillwein Recurrences for Quadrilateral High-Order
Finite Elements . . . . . . . . . . . . ??
Eugenio Roanes-Lozano Can I Bring My Calculator to the Exam?
Some Reflections on the Abstraction
Level of Computer Algebra Systems . . . ??
Dean Crnkovi\'c and
Vedrana Mikuli\'c Crnkovi\'c and
Andrea Svob Construction of Transitive $q$-Analogs
of Designs . . . . . . . . . . . . . . . ??
Thierry Dana-Picard and
Zoltán Kovács Automated Exploration of Envelopes and
Offsets with Networking of Technologies ??
Bui Van Chien and
Gérard H. E. Duchamp and
Ngo Quoc Hoan and
Hoang Ngoc Minh Vincel and
Nguyen Dinh Vu Towards a Theory of Domains for Harmonic
Functions and its Symbolic Counterpart ??
Stoicho D. Stoichev and
Mustafa Gezek Unitals in Projective Planes of Order 25 ??
Shinichi Tajima and
Katsusuke Nabeshima and
Katsuyoshi Ohara and
Yoko Umeta Computing Holonomic $D$-Modules
Associated to a Family of Non-isolated
Hypersurface Singularities via
Comprehensive Gröbner Systems of PBW
Algebra . . . . . . . . . . . . . . . . ??
S\lawomir Bujnowski and
Beata Marciniak and
Olutayo Oyeyemi Oyerinde and
Zbigniew Lutowski and
Adam Flizikowski and
Sebastián Garc\'ìa Galan Equalising the Transmission Properties
of Graph-Modelled Networks by
Introducing the Control of the Resources
Used to Transmit Information . . . . . . ??
Eugenio Roanes-Lozano and
Carmen Solano-Macías Some Reflections About the Success and
Bibliographic Impact of the Dynamic
Geometry System \em GeoGebra . . . . . . ??
Adam Flizikowski and
Tomasz Marciniak and
Tadeusz A. Wysocki and
Olutayo Oyerinde Selected Aspects of Non orthogonal
Multiple Access for Future Wireless
Communications . . . . . . . . . . . . . ??
Snehil Srivastava and
Panchatcharam Mariappan Hyperbolic Lattice Boltzmann Method and
Discrete Boltzmann Method for
Solid--Liquid Phase Change Problem . . . ??
Michael Laszlo and
Sumitra Mukherjee Counting Star--Battle Configurations . . ??
Manuele Santoprete Some Polynomial Conditions for Cyclic
Quadrilaterals, Tilted Kites and Other
Quadrilaterals . . . . . . . . . . . . . ??
Momonari Kudo and
Tasuku Nakagawa and
Tsuyoshi Takagi Correction to: Efficient Search for
Superspecial Hyperelliptic Curves of
Genus Four with Automorphism Group
Containing $ C_6 $ . . . . . . . . . . . ??
Matthew England and
François Boulier and
Timur Sadykov and
Thomas Sturm Foreword . . . . . . . . . . . . . . . . ??
Momonari Kudo and
Tasuku Nakagawa and
Tsuyoshi Takagi Efficient Search for Superspecial
Hyperelliptic Curves of Genus Four with
Automorphism Group Containing $ C_6 $ ??
Fadime Baldemir and
Mesut Sahin Calculating the Minimum Distance of a
Toric Code via Algebraic Algorithms . . ??
Victor F. Edneral Integrable Cases of the Polynomial
Liénard-type Equation with Resonance in
the Linear Part . . . . . . . . . . . . ??
Alexander A. Gusev and
Galmandakh Chuluunbaatar and
Ochbadrakh Chuluunbaatar and
Sergue I. Vinitsky and
Yuri A. Blinkov and
Algirdas Deveikis and
Peter O. Hess and
Luong Le Hai Hermite Interpolation Polynomials on
Parallelepipeds and FEM Applications . . ??
Sergey A. Gutnik and
Vasily A. Sarychev Investigation of the Dynamics of Two
Connected Bodies in the Plane of a
Circular Orbit Using Computer Algebra
Methods . . . . . . . . . . . . . . . . ??
Vitaly A. Krasikov A Survey on Computational Aspects of
Polynomial Amoebas . . . . . . . . . . . ??
Sitanshu Gakkhar and
Matilde Marcolli Syntactic Structures and the General
Markov Models . . . . . . . . . . . . . ??
Carles Checa and
Ioannis Z. Emiris Mixed Subdivisions Suitable for the
Greedy Canny--Emiris Formula . . . . . . ??
Thierry Dana-Picard Inflexions of Spiric Curves: a Tale of
Two Tori . . . . . . . . . . . . . . . . ??
Jean-Luc Baril and
Javier F. González and
José L. Ramírez Last Symbol Distribution in Pattern
Avoiding Catalan Words . . . . . . . . . ??
Nilson J. Lima and
José A. O. Matos and
Paulo B. Vasconcelos A Low-Rank Matrix Approach to Compute
Polynomial Approximations of Smooth
Two-Dimensional Functions . . . . . . . ??
Nilson J. Lima and
José M. A. Matos and
Paulo B. Vasconcelos Solving Partial Differential Problems
with Tau Toolbox . . . . . . . . . . . . ??
Teresa Augusta Mesquita On a General Family of 2-Orthogonal
Polynomial Eigenfunctions of a Third
Order Differential Equation via Symbolic
Computation . . . . . . . . . . . . . . ??
Peter Mitic A Credibility Framework for Extreme
Value-at-Risk . . . . . . . . . . . . . ??
David Henneaux and
Pierre Schrooyen and
Philippe Chatelain and
Thierry Magin A General Methodology for Symbolically
Generating Manufactured Solutions
Satisfying Prescribed Conditions:
Application to Two-phase Flows Equations ??
Mehmet Pakdemirli and
Ihsan Timucin Dolapci Solution Curves of Equations in the
Differential Space . . . . . . . . . . . ??
Tereso del Río and
Matthew England Lessons on Datasets and Paradigms in
Machine Learning for Symbolic
Computation: a Case Study on CAD . . . . ??
Johannes Middeke and
David J. Jeffrey and
Aishat Olagunju Applications of Rational Orthogonal
Matrices . . . . . . . . . . . . . . . . ??
Alexander Levin New Difference Gröbner Bases and
Bivariate Difference Dimension
Polynomials . . . . . . . . . . . . . . ??
Shinichi Tajima and
Katsusuke Nabeshima A Deterministic Method for Computing
Bertini Type Invariants of Parametric
Ideals . . . . . . . . . . . . . . . . . ??
Alexander Batkhin and
Zafar Khaydarov Resonances and Formal Stability
Investigation in Hamiltonian Systems . . ??
Diogo A. Gomes and
Friedemann Krannich and
Bashayer Majrashi and
Ricardo de Lima Ribeiro Algorithmic Detection of Conserved
Quantities for Finite-Difference Schemes ??
Bernhard Andraschko and
Julian Danner and
Martin Kreuzer SAT Solving Using XOR--OR--AND Normal
Forms . . . . . . . . . . . . . . . . . ??
Anahy Santiago Arguello and
Guillaume E. Scholz and
Peter F. Stadler Core Potentials: The Consensus
Segmentation Conjecture . . . . . . . . ??