Consortium of Swiss Academic Libraries

Filtered Hopf algebras and counting geodesic chords

Frauenfelder, Urs ; Schlenk, Felix

In: Mathematische Annalen, 2014, vol. 360, no. 3-4, p. 995-1020

Consortium of Swiss Academic Libraries

Robust safety of timed automata

De Wulf, Martin ; Doyen, Laurent ; Markey, Nicolas ; Raskin, Jean-François

In: Formal Methods in System Design, 2008, vol. 33, no. 1-3, p. 45-84

Consortium of Swiss Academic Libraries

Quasi-hopf algebras associated with sl 2 and complex curves

Enriquez, Benjamin ; Rubtsov, Vladimir

In: Israel Journal of Mathematics, 1999, vol. 112, no. 1, p. 61-108

Consortium of Swiss Academic Libraries

Algebraic Structures of B-series

Chartier, Philippe ; Hairer, Ernst ; Vilmart, Gilles

In: Foundations of Computational Mathematics, 2010, vol. 10, no. 4, p. 407-427

Consortium of Swiss Academic Libraries

Exponentially decaying boundary layers as limiting cases of families of algebraically decaying ones

Liao, Shijun ; Magyari, Eugen

In: Zeitschrift für angewandte Mathematik und Physik ZAMP, 2006, vol. 57, no. 5, p. 777-792

Consortium of Swiss Academic Libraries

Generating numerical algorithms using a computer algebra system

Gander, Walter

In: BIT Numerical Mathematics, 2006, vol. 46, no. 3, p. 491-504

Consortium of Swiss Academic Libraries

In praise of algebra

Hoare, Tony ; van Staden, Stephan

In: Formal Aspects of Computing, 2012, vol. 24, no. 4-6, p. 423-431