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