Keyword:sequences

Publications
On SMT Theory Design: The Case of Sequences Hichem Rami Ait El Hara, François Bobot and Guillaume Bury In:LPAR 2024 Complementary Volume
Experimental Artefacts in Aphasia Research: How Experimental Variables Raise Semantic over Phonological Errors in Conduction Aphasia Ismael Gutiérrez-Cordero and Javier García-Orza EasyChair Preprint 6327
A Formula that Generates the Sum of First n Factorial Prateek P Kulkarni EasyChair Preprint 4136
Big Sequence Management Karima Echihabi, Kostas Zoumpatianos and Themis Palpanas EasyChair Preprint 3836
Three Problems on Inequalities in the International Mathematical Olympiad Juan López Linares, Alexys Bruno-Alfonso and Grazielle Feliciani Barbosa EasyChair Preprint 2981
Recurrences at the International Mathematical Olympiad Juan López Linares, Alexys Bruno-Alfonso and Grazielle Feliciani Barbosa EasyChair Preprint 2758
Three Problems on Harmonic Series in the International Mathematical Olympiad Juan López Linares, Alexys Bruno-Alfonso and Grazielle Feliciani Barbosa EasyChair Preprint 1519
Numerical Bases at the International Mathematics Juan López Linares, Alexys Bruno-Alfonso and Grazielle Feliciani Barbosa EasyChair Preprint 1246
Solved Problems on Sequences in the Training of High School Students for International Mathematical Olympiads Juan López Linares EasyChair Preprint 1125
The Harmonic Series at the International Mathematical Olympiad Juan López Linares, Alexys Bruno-Alfonso and Grazielle Feliciani Barbosa EasyChair Preprint 1124