| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A General Framework for Automatic Termination Analysis of Logic Programs
|
Dershowitz, Nachum
|
|
2001
|
|
1-2 |
p. 117-156
|
artikel
|
| 2 |
$$A_\infty $$A∞-persistence
|
Belchí, Francisco
|
|
2014
|
|
1-2 |
p. 121-139
|
artikel
|
| 3 |
An algorithm for implicit interpolation
|
Giménez, Nardo
|
|
2014
|
|
1-2 |
p. 119-157
|
artikel
|
| 4 |
A note on cyclic codes from APN functions
|
Tang, Chunming
|
|
2014
|
|
1-2 |
p. 21-37
|
artikel
|
| 5 |
Approximate implicitization of planar curves by piecewise rational approximation of the distance function
|
Shalaby, Mohamed
|
|
2006
|
|
1-2 |
p. 71-89
|
artikel
|
| 6 |
Approximating persistent homology in Euclidean space through collapses
|
Botnan, Magnus Bakke
|
|
2015
|
|
1-2 |
p. 73-101
|
artikel
|
| 7 |
A predictor–corrector-type technique for the approximate parameterization of intersection curves
|
Jüttler, Bert
|
|
2006
|
|
1-2 |
p. 151-168
|
artikel
|
| 8 |
Cohomological learning of periodic motion
|
Vejdemo-Johansson, Mikael
|
|
2015
|
|
1-2 |
p. 5-26
|
artikel
|
| 9 |
Computing fundamental groups from point clouds
|
Brendel, Piotr
|
|
2015
|
|
1-2 |
p. 27-48
|
artikel
|
| 10 |
Computing path categories of finite directed cubical complexes
|
Misamore, Michael D.
|
|
2015
|
|
1-2 |
p. 151-164
|
artikel
|
| 11 |
Distributed computation of coverage in sensor networks by homological methods
|
Dłotko, P.
|
|
2012
|
|
1-2 |
p. 29-58
|
artikel
|
| 12 |
Editorial
|
Ellis, Graham
|
|
2015
|
|
1-2 |
p. 1-3
|
artikel
|
| 13 |
Effective homotopy of fibrations
|
Romero, Ana
|
|
2012
|
|
1-2 |
p. 85-100
|
artikel
|
| 14 |
Equations, inequations and inequalities characterizing the configurations of two real projective conics
|
Briand, Emmanuel
|
|
2006
|
|
1-2 |
p. 21-52
|
artikel
|
| 15 |
Evaluation codes at singular points of algebraic differential equations
|
Campillo, A.
|
|
2006
|
|
1-2 |
p. 191-203
|
artikel
|
| 16 |
Execution spaces for simple higher dimensional automata
|
Raussen, Martin
|
|
2012
|
|
1-2 |
p. 59-84
|
artikel
|
| 17 |
Finite piecewise polynomial parametrization of plane rational algebraic curves
|
Pérez-Díaz, S.
|
|
2006
|
|
1-2 |
p. 91-105
|
artikel
|
| 18 |
Homological models for semidirect products of finitely generated Abelian groups
|
Álvarez, Víctor
|
|
2012
|
|
1-2 |
p. 101-127
|
artikel
|
| 19 |
Hyperelliptic curves with reduced automorphism group A5
|
Sevilla, David
|
|
2006
|
|
1-2 |
p. 3-20
|
artikel
|
| 20 |
Linear complexity and correlation of a class of binary cyclotomic sequences
|
Wang, Lin
|
|
2014
|
|
1-2 |
p. 67-97
|
artikel
|
| 21 |
Membrane parallelism for discrete Morse theory applied to digital images
|
Reina-Molina, Raúl
|
|
2015
|
|
1-2 |
p. 49-71
|
artikel
|
| 22 |
On higher dimensional cocyclic Hadamard matrices
|
Álvarez, V.
|
|
2014
|
|
1-2 |
p. 191-206
|
artikel
|
| 23 |
Parametrization of algebraic curves defined by sparse equations
|
Beck, Tobias
|
|
2006
|
|
1-2 |
p. 127-150
|
artikel
|
| 24 |
Pencils of cubics as tools to solve an interpolation problem
|
Touzé, Séverine Fiedler-Le
|
|
2006
|
|
1-2 |
p. 53-70
|
artikel
|
| 25 |
Plotting missing points and branches of real parametric curves
|
Andradas, Carlos
|
|
2006
|
|
1-2 |
p. 107-126
|
artikel
|
| 26 |
Rational homotopy theory for computing colorability of simplicial complexes
|
Costoya, Cristina
|
|
2014
|
|
1-2 |
p. 207-212
|
artikel
|
| 27 |
Reducing the size and number of linear programs in a dynamic Gröbner basis algorithm
|
Caboara, Massimo
|
|
2014
|
|
1-2 |
p. 99-117
|
artikel
|
| 28 |
Reparametrizing swung surfaces over the reals
|
Andradas, Carlos
|
|
2014
|
|
1-2 |
p. 39-65
|
artikel
|
| 29 |
Root neighborhoods, generalized lemniscates, and robust stability of dynamic systems
|
Farouki, Rida T.
|
|
2007
|
|
1-2 |
p. 169-189
|
artikel
|
| 30 |
Scalable attribute-based group key establishment: from passive to active and deniable
|
Steinwandt, Rainer
|
|
2014
|
|
1-2 |
p. 1-20
|
artikel
|
| 31 |
Searching combinatorial optimality using graph-based homology information
|
Real, Pedro
|
|
2015
|
|
1-2 |
p. 103-120
|
artikel
|
| 32 |
Searching high order invariants in computer imagery
|
Berciano, A.
|
|
2012
|
|
1-2 |
p. 17-28
|
artikel
|
| 33 |
Special issue on algebraic curves
|
Schicho, Josef
|
|
2006
|
|
1-2 |
p. 1-2
|
artikel
|
| 34 |
Special issue on computer algebra in algebraic topology and its applications
|
Ellis, Graham
|
|
2012
|
|
1-2 |
p. 1-2
|
artikel
|
| 35 |
Special Issue “Termination”
|
Giesl, Jürgen
|
|
2001
|
|
1-2 |
p. 1-2
|
artikel
|
| 36 |
Termination of Logic Programs: Transformational Methods Revisited
|
Ohlebusch, Enno
|
|
2001
|
|
1-2 |
p. 73-116
|
artikel
|
| 37 |
Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism
|
Verbaeten, Sofie
|
|
2001
|
|
1-2 |
p. 157-196
|
artikel
|
| 38 |
Termination Proofs for Ground Rewrite Systems – Interpretations and Derivational Complexity
|
Hofbauer, Dieter
|
|
2001
|
|
1-2 |
p. 21-38
|
artikel
|
| 39 |
The Termination Hierarchy for Term Rewriting
|
Zantema, H.
|
|
2001
|
|
1-2 |
p. 3-19
|
artikel
|
| 40 |
The third homotopy group as a $$\pi _1$$π1-module
|
Baues, Hans-Joachim
|
|
2015
|
|
1-2 |
p. 165-189
|
artikel
|
| 41 |
The trace space of the $$k$$k-skeleton of the $$n$$n-cube
|
Ottosen, Iver
|
|
2015
|
|
1-2 |
p. 141-149
|
artikel
|
| 42 |
Topological analysis of gene expression arrays identifies high risk molecular subtypes in breast cancer
|
Arsuaga, Javier
|
|
2012
|
|
1-2 |
p. 3-15
|
artikel
|
| 43 |
Topology of acyclic complexes of tournaments and coloring
|
Deniz, Zakir
|
|
2014
|
|
1-2 |
p. 213-226
|
artikel
|
| 44 |
Verification of Erlang Processes by Dependency Pairs
|
Giesl, Jürgen
|
|
2001
|
|
1-2 |
p. 39-72
|
artikel
|
Tijdschrift beschrijving