| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A Bayesian Model for Root Computation
|
Pikkarainen, Hanna K.
|
|
2009
|
|
4 |
p. 567-586
|
article
|
| 2 |
A Calculus for Generic, QoS-Aware Component Composition
|
Barbosa, L. S.
|
|
2012
|
|
4 |
p. 475-497
|
article
|
| 3 |
Accelerating Indefinite Summation: Simple Classes of Summands
|
Zima, Eugene V.
|
|
2013
|
|
4 |
p. 455-472
|
article
|
| 4 |
A General Approach to Isolating Roots of a Bitstream Polynomial
|
Sagraloff, Michael
|
|
2011
|
|
4 |
p. 481-506
|
article
|
| 5 |
A General Tractable Density Concept for Graphs
|
Faragó, András
|
|
2008
|
|
4 |
p. 689-699
|
article
|
| 6 |
A Mechanical Geometer
|
Botana, Francisco
|
|
|
|
4 |
p. 631-641
|
article
|
| 7 |
A Mixed Heuristic for Generating Cocyclic Hadamard Matrices
|
Alvarez, V.
|
|
2018
|
|
4 |
p. 407-417
|
article
|
| 8 |
An Algorithm for Computing a Gröbner Basis of a Polynomial Ideal over a Ring with Zero Divisors
|
Kapur, Deepak
|
|
2009
|
|
4 |
p. 601-634
|
article
|
| 9 |
Analysis of Local Search Landscapes for k-SAT Instances
|
Albrecht, A. A.
|
|
2010
|
|
4 |
p. 465-488
|
article
|
| 10 |
Analytical Studies of Energy–Time Efficiency of Blocking Expanding Ring Search
|
Pu, Ida M.
|
|
2010
|
|
4 |
p. 443-456
|
article
|
| 11 |
An Efficient Algorithm to Identify DNA Motifs
|
Abbass, Mostafa M.
|
|
2013
|
|
4 |
p. 387-399
|
article
|
| 12 |
An Evolution-Based Approach for Approximate Parameterization of Implicitly Defined Curves by Polynomial Parametric Spline Curves
|
Yang, Huaiping
|
|
2011
|
|
4 |
p. 463-479
|
article
|
| 13 |
A New Approach to Pattern Matching in Degenerate DNA/RNA Sequences and Distributed Pattern Matching
|
Iliopoulos, Costas S.
|
|
2008
|
|
4 |
p. 557-569
|
article
|
| 14 |
A New Type of Difference Dimension Polynomials
|
Levin, Alexander
|
|
|
|
4 |
|
article
|
| 15 |
A Note on Siamese Twin Designs Intersecting in a BIBD and a PBD
|
Crnković, Dean
|
|
2018
|
|
4 |
p. 389-395
|
article
|
| 16 |
Applications of Bar Code to Involutive Divisions and a “Greedy” Algorithm for Complete Sets
|
Ceria, Michela
|
|
|
|
4 |
|
article
|
| 17 |
Approximate Polynomial GCD by Approximate Syzygies
|
Lichtblau, Daniel
|
|
|
|
4 |
p. 517-532
|
article
|
| 18 |
A Randomized Algorithm for 3-SAT
|
Ghosh, Subhas Kumar
|
|
2010
|
|
4 |
p. 421-431
|
article
|
| 19 |
A Survey on Retrieval of Mathematical Knowledge
|
Guidi, Ferruccio
|
|
2016
|
|
4 |
p. 409-427
|
article
|
| 20 |
A Symbolic Dynamic Geometry System Using the Analytical Geometry Method
|
Todd, Philip
|
|
|
|
4 |
p. 693-726
|
article
|
| 21 |
A System for Automated Deduction in Engineering Mechanics
|
Todd, Philip
|
|
|
|
4 |
p. 775-790
|
article
|
| 22 |
A Tutorial on Computational Cluster Analysis with Applications to Pattern Discovery in Microarray Data
|
Giancarlo, Raffaele
|
|
2008
|
|
4 |
p. 655-672
|
article
|
| 23 |
Automated Deduction and Knowledge Management in Geometry
|
Quaresma, Pedro
|
|
|
|
4 |
p. 673-692
|
article
|
| 24 |
Automated Detection of Interesting Properties in Regular Polygons
|
Kovács, Zoltán
|
|
|
|
4 |
p. 727-755
|
article
|
| 25 |
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems
|
Liu, Jiang
|
|
2012
|
|
4 |
p. 395-408
|
article
|
| 26 |
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)
|
Raggi, Daniel
|
|
2016
|
|
4 |
p. 429-457
|
article
|
| 27 |
A Validated Real Function Calculus
|
Collins, Pieter
|
|
2011
|
|
4 |
p. 437-467
|
article
|
| 28 |
BLIM: A New Bit-Parallel Pattern Matching Algorithm Overcoming Computer Word Size Limitation
|
Külekci, M. Oğuzhan
|
|
2010
|
|
4 |
p. 407-420
|
article
|
| 29 |
Cache Oblivious Algorithms for the RMQ and the RMSQ Problems
|
Hasan, Masud
|
|
2010
|
|
4 |
p. 433-442
|
article
|
| 30 |
Combining Interval Analysis with Flatness Theory for State Estimation of Sailboat Robots
|
Jaulin, Luc
|
|
2012
|
|
4 |
p. 347-359
|
article
|
| 31 |
Common Factors in Fraction-Free Matrix Decompositions
|
Middeke, Johannes
|
|
|
|
4 |
p. 589-608
|
article
|
| 32 |
Compositional Properties of Alignments
|
Berkemer, Sarah J.
|
|
|
|
4 |
p. 609-630
|
article
|
| 33 |
Computing the Topology of Voronoï Diagrams of Parallel Half-Lines
|
Adamou, Ibrahim
|
|
|
|
4 |
p. 859-876
|
article
|
| 34 |
Connectivity Spaces
|
Stadler, Bärbel M. R.
|
|
2015
|
|
4 |
p. 409-436
|
article
|
| 35 |
Construction of the Outer Automorphism of $${\mathcal {S}}_{6}$$S6 via a Complex Hadamard Matrix
|
Gillespie, Neil I.
|
|
2018
|
|
4 |
p. 453-458
|
article
|
| 36 |
Correction to: Factorials Experiments, Covering Arrays, and Combinatorial Testing
|
Kacker, Raghu N.
|
|
|
|
4 |
p. 741
|
article
|
| 37 |
Counting Lattice Points on Bargraphs of Catalan Words
|
Mansour, Toufik
|
|
|
|
4 |
p. 701-713
|
article
|
| 38 |
De Nugis Groebnerialium 7: Janet, Gerdt, Tamari
|
Ceria, Michela
|
|
|
|
4 |
|
article
|
| 39 |
Dynamic Multi-level Overlay Graphs for Shortest Paths
|
Bruera, Francesco
|
|
2008
|
|
4 |
p. 709-736
|
article
|
| 40 |
Efficient Algorithms for Variants of Weighted Matching and Assignment Problems
|
Banerjee, Satyajit
|
|
2008
|
|
4 |
p. 673-688
|
article
|
| 41 |
Envelopes and Offsets of Two Algebraic Plane Curves: Exploration of Their Similarities and Differences
|
Dana-Picard, Thierry
|
|
|
|
4 |
p. 757-774
|
article
|
| 42 |
Estimating the Volumes of the Cones in a Gröbner Fan
|
Dimitrova, Elena S.
|
|
2010
|
|
4 |
p. 457-463
|
article
|
| 43 |
Extension of the Set of Complex Hadamard Matrices of Size 8
|
Bruzda, Wojciech T.
|
|
2018
|
|
4 |
p. 459-464
|
article
|
| 44 |
Factorials Experiments, Covering Arrays, and Combinatorial Testing
|
Kacker, Raghu N.
|
|
|
|
4 |
p. 715-739
|
article
|
| 45 |
Fast, Practical Algorithms for Computing All the Repeats in a String
|
Puglisi, Simon J.
|
|
2010
|
|
4 |
p. 373-389
|
article
|
| 46 |
FEVS: A Functional Equivalence Verification Suite for High-Performance Scientific Computing
|
Siegel, Stephen F.
|
|
2011
|
|
4 |
p. 427-435
|
article
|
| 47 |
Foreword
|
Christodoulakis, Manolis
|
|
2010
|
|
4 |
p. 371
|
article
|
| 48 |
Foreword
|
Vegter, Gert
|
|
2011
|
|
4 |
p. 385-387
|
article
|
| 49 |
Foreword
|
Fainekos, Georgios
|
|
2011
|
|
4 |
p. 357-358
|
article
|
| 50 |
Foreword
|
Ratschan, Stefan
|
|
2012
|
|
4 |
p. 345
|
article
|
| 51 |
Foreword
|
Goyeneche, Dardo
|
|
2018
|
|
4 |
p. 371-372
|
article
|
| 52 |
Foreword
|
Davenport, James H.
|
|
|
|
4 |
p. 459-460
|
article
|
| 53 |
Foreword
|
Chan, Joseph Wun-Tat
|
|
2008
|
|
4 |
p. 541-542
|
article
|
| 54 |
Foreword
|
Robertz, Daniel
|
|
|
|
4 |
|
article
|
| 55 |
Foreword to the Special Focus on Automated Deduction in Geometry
|
Chen, Xiaoyu
|
|
|
|
4 |
p. 671-672
|
article
|
| 56 |
Foreword to the Special Focus on Mathematics, Data and Knowledge
|
Chen, Xiaoyu
|
|
2013
|
|
4 |
p. 379-386
|
article
|
| 57 |
Formalization and Specification of Geometric Knowledge Objects
|
Chen, Xiaoyu
|
|
2013
|
|
4 |
p. 439-454
|
article
|
| 58 |
Formal Verification of Numerical Programs: From C Annotated Programs to Mechanical Proofs
|
Boldo, Sylvie
|
|
2011
|
|
4 |
p. 377-393
|
article
|
| 59 |
Fundamentals of Computational Conformal Geometry
|
Gu, David Xianfeng
|
|
2011
|
|
4 |
p. 389-429
|
article
|
| 60 |
Geometry of the Hough Transforms with Applications to Synthetic Data
|
Beltrametti, M. C.
|
|
|
|
4 |
p. 553-575
|
article
|
| 61 |
Globally Convergent, Iterative Path-Following for Algebraic Equations
|
Batra, Prashant
|
|
2011
|
|
4 |
p. 507-537
|
article
|
| 62 |
Goethals–Seidel Difference Families with Symmetric or Skew Base Blocks
|
Ɖoković, Dragomir Ž.
|
|
2018
|
|
4 |
p. 373-388
|
article
|
| 63 |
Good Local Behavior of Offsets to Implicit Algebraic Curves
|
Alcázar, Juan Gerardo
|
|
2009
|
|
4 |
p. 635-652
|
article
|
| 64 |
Graph Grammars, Insertion Lie Algebras, and Quantum Field Theory
|
Marcolli, Matilde
|
|
2015
|
|
4 |
p. 391-408
|
article
|
| 65 |
Heat Kernel Analysis of Syntactic Structures
|
Ortegaray, Andrew
|
|
|
|
4 |
p. 643-660
|
article
|
| 66 |
High-Order Methods for Systems of Fractional Ordinary Differential Equations and Their Application to Time-Fractional Diffusion Equations
|
Ferrás, Luís L.
|
|
|
|
4 |
p. 535-551
|
article
|
| 67 |
How Many Structure Constants do Exist in Riemannian Geometry?
|
Pommaret, J.-F.
|
|
|
|
4 |
|
article
|
| 68 |
Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom?
|
Brown, Christopher W.
|
|
|
|
4 |
|
article
|
| 69 |
Isotypeness of Models and Knowledge Bases Equivalence
|
Aladova, Elena
|
|
2013
|
|
4 |
p. 421-438
|
article
|
| 70 |
Lempel–Ziv Factorization Using Less Time & Space
|
Chen, Gang
|
|
2008
|
|
4 |
p. 605-623
|
article
|
| 71 |
Linear k-arboricity of Caylay Graphs on Abelian Groups with Given Degree
|
Jia, Nan
|
|
|
|
4 |
p. 743-755
|
article
|
| 72 |
Local Algorithms for the Prime Factorization of Strong Product Graphs
|
Hellmuth, Marc
|
|
2009
|
|
4 |
p. 653-682
|
article
|
| 73 |
Lyapunov-Based Control for a Swarm of Planar Nonholonomic Vehicles
|
Kumar, Sandeep Ameet
|
|
2015
|
|
4 |
p. 461-475
|
article
|
| 74 |
Matching-Star Ramsey Minimal Graphs
|
Muhshi, Hadi
|
|
2015
|
|
4 |
p. 443-452
|
article
|
| 75 |
Mathematical Multidimensional Modelling and Structural Artificial Intelligence Pipelines Provide Insights for the Designing of Highly Specific AntiSARS-CoV2 Agents
|
Vlachakis, Dimitrios
|
|
|
|
4 |
p. 877-888
|
article
|
| 76 |
Memories of Vladimir Gerdt
|
Wester, Michael J.
|
|
|
|
4 |
|
article
|
| 77 |
Non-existence of Some Nearly Perfect Sequences, Near Butson–Hadamard Matrices, and Near Conference Matrices
|
Winterhof, Arne
|
|
2018
|
|
4 |
p. 465-471
|
article
|
| 78 |
Non-overlapping Common Substrings Allowing Mutations
|
Chan, H. L.
|
|
2008
|
|
4 |
p. 543-555
|
article
|
| 79 |
On a Combinatorial Framework for Fault Characterization
|
Colbourn, Charles J.
|
|
2018
|
|
4 |
p. 429-451
|
article
|
| 80 |
On Column-Convex and Convex Carlitz Polyominoes
|
Mansour, Toufik
|
|
|
|
4 |
p. 889-898
|
article
|
| 81 |
On Computing the Measurable Amounts of the Two Jugs Problem
|
Man, Yiu-Kwong
|
|
2015
|
|
4 |
p. 453-459
|
article
|
| 82 |
On Design and Implementation of a Generic Number Type for Real Algebraic Number Computations Based on Expression Dags
|
Mörig, Marc
|
|
2011
|
|
4 |
p. 539-556
|
article
|
| 83 |
On n-sectors of the Angles of an Arbitrary Triangle
|
Wang, Dongming
|
|
|
|
4 |
p. 757-773
|
article
|
| 84 |
On Solving Parametric Polynomial Systems
|
Moreno Maza, Marc
|
|
2012
|
|
4 |
p. 457-473
|
article
|
| 85 |
On the Connection Between Ritt Characteristic Sets and Buchberger–Gröbner Bases
|
Wang, Dongming
|
|
2016
|
|
4 |
p. 479-492
|
article
|
| 86 |
Optimal Symmetry Breaking for Graph Problems
|
Heule, Marijn J. H.
|
|
|
|
4 |
p. 533-548
|
article
|
| 87 |
Parameterized Algorithms in Smooth 4-Regular Hamiltonian Graphs
|
Mujuni, Egbert
|
|
2008
|
|
4 |
p. 701-708
|
article
|
| 88 |
Personal Recollections of Prof. Vladimir P. Gerdt
|
Kotsireas, Ilias S.
|
|
|
|
4 |
|
article
|
| 89 |
Phylogenetics of Indo-European Language Families via an Algebro-Geometric Analysis of Their Syntactic Structures
|
Shu, Kevin
|
|
|
|
4 |
p. 803-857
|
article
|
| 90 |
Processor Bounding for an Efficient Non-preemptive Task Scheduling Algorithm
|
Andrei, Ştefan
|
|
|
|
4 |
p. 489-515
|
article
|
| 91 |
PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata
|
Damm, Werner
|
|
2011
|
|
4 |
p. 469-497
|
article
|
| 92 |
Quasi-Hadamard Full Propelinear Codes
|
Armario, José Andrés
|
|
2018
|
|
4 |
p. 419-428
|
article
|
| 93 |
Rational General Solutions of Trivariate Rational Differential Systems
|
Huang, Yanli
|
|
2012
|
|
4 |
p. 361-374
|
article
|
| 94 |
Recurrences for Quadrilateral High-Order Finite Elements
|
Beuchler, Sven
|
|
|
|
4 |
|
article
|
| 95 |
Reduced Gröbner Bases in Polynomial Rings over a Polynomial Ring
|
Nabeshima, Katsusuke
|
|
2008
|
|
4 |
p. 587-599
|
article
|
| 96 |
Relative Difference Sets and Hadamard Matrices from Perfect Quaternionic Arrays
|
Barrera Acevedo, Santiago
|
|
2018
|
|
4 |
p. 397-406
|
article
|
| 97 |
Robust Hadamard Matrices, Unistochastic Rays in Birkhoff Polytope and Equi-Entangled Bases in Composite Spaces
|
Rajchel, Grzegorz
|
|
2018
|
|
4 |
p. 473-490
|
article
|
| 98 |
Scalability and Communication in Parallel Low-Complexity Lossless Compression
|
Cinque, Luigi
|
|
2010
|
|
4 |
p. 391-406
|
article
|
| 99 |
Scale Free Properties of Random k-Trees
|
Cooper, Colin
|
|
2010
|
|
4 |
p. 489-496
|
article
|
| 100 |
Scoring Unusual Words with Varying Mismatch Errors
|
Apostolico, Alberto
|
|
2008
|
|
4 |
p. 639-653
|
article
|
| 101 |
Self-Paced, Instructor-Assisted Approach to Teaching Linear Algebra
|
Solin, Pavel
|
|
|
|
4 |
p. 661-687
|
article
|
| 102 |
Semantic Spaces
|
Manin, Yuri I.
|
|
2016
|
|
4 |
p. 459-477
|
article
|
| 103 |
Semi-local String Comparison: Algorithmic Techniques and Applications
|
Tiskin, Alexander
|
|
2008
|
|
4 |
p. 571-603
|
article
|
| 104 |
SMS Nanning and RWTH Aachen: In Memory of Vladimir Gerdt
|
Wang, Dongming
|
|
|
|
4 |
|
article
|
| 105 |
Spiders can be Recognized by Counting Their Legs
|
Berkemer, Sarah J.
|
|
2015
|
|
4 |
p. 437-441
|
article
|
| 106 |
Stochastic Arithmetic in Multiprecision
|
Graillat, Stef
|
|
2011
|
|
4 |
p. 359-375
|
article
|
| 107 |
Superposition as a Decision Procedure for Timed Automata
|
Fietzke, Arnaud
|
|
2013
|
|
4 |
p. 409-425
|
article
|
| 108 |
Superposition Decides the First-Order Logic Fragment Over Ground Theories
|
Kruglov, Evgeny
|
|
2012
|
|
4 |
p. 427-456
|
article
|
| 109 |
TASS: The Toolkit for Accurate Scientific Software
|
Siegel, Stephen F.
|
|
2011
|
|
4 |
p. 395-426
|
article
|
| 110 |
The Absent-Minded Passengers Problem: A Motivating Challenge Solved by Computer Algebra
|
Schneider, Carsten
|
|
|
|
4 |
p. 577-588
|
article
|
| 111 |
The Computational Complexity of Extrapolation Methods
|
Ilie, Silvana
|
|
2008
|
|
4 |
p. 557-566
|
article
|
| 112 |
The Geometry of Railway Geometric Overthrow Revisited Using Computer Algebra Methods
|
Roanes-Lozano, Eugenio
|
|
2013
|
|
4 |
p. 473-485
|
article
|
| 113 |
The Non-Archimedean Theory of Discrete Systems
|
Anashin, Vladimir
|
|
2012
|
|
4 |
p. 375-393
|
article
|
| 114 |
The Sensitivity of the Number of Clusters in a Gaussian Mixture Model to Prior Distributions
|
Cruz, Cristian
|
|
2013
|
|
4 |
p. 401-420
|
article
|
| 115 |
Total Edge Irregularity Strength of Toroidal Fullerene
|
Bača, Martin
|
|
2014
|
|
4 |
p. 487-492
|
article
|
| 116 |
Triangulating Smooth Submanifolds with Light Scaffolding
|
Boissonnat, Jean-Daniel
|
|
2011
|
|
4 |
p. 431-461
|
article
|
| 117 |
Two almost-circles, and two real ones
|
Kovács, Zoltán
|
|
|
|
4 |
p. 789-801
|
article
|
| 118 |
Unambiguous Automata
|
Béal, Marie-Pierre
|
|
2008
|
|
4 |
p. 625-638
|
article
|
| 119 |
Using Fractals and Turtle Geometry to Visually Explain the Spread of a Virus to Kids: A STEM Multitarget Activity
|
Roanes-Lozano, Eugenio
|
|
|
|
4 |
p. 689-699
|
article
|
| 120 |
Using Machine Learning to Improve Cylindrical Algebraic Decomposition
|
Huang, Zongyan
|
|
|
|
4 |
p. 461-488
|
article
|
| 121 |
Using Semicontinuity for Standard Bases Computations
|
Greuel, Gert-Martin
|
|
|
|
4 |
|
article
|
| 122 |
Vladimir Gerdt: A Computer Algebra Enthusiast
|
Buchberger, Bruno
|
|
|
|
4 |
|
article
|
| 123 |
XaoS 4.0 and Beyond: Fractals in Mathematics Education
|
Aggarwal, Anurag
|
|
|
|
4 |
p. 775-788
|
article
|
| 124 |
30 Years with Vladimir Gerdt
|
Seiler, Werner M.
|
|
|
|
4 |
|
article
|
Journal description