Keyword:sequences

Papers
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 no. 6327
A Formula that Generates the Sum of First n Factorial Prateek P Kulkarni EasyChair Preprint no. 4136
Big Sequence Management Karima Echihabi, Kostas Zoumpatianos and Themis Palpanas EasyChair Preprint no. 3836
Three Problems on Inequalities in the International Mathematical Olympiad Juan López Linares, Alexys Bruno-Alfonso and Grazielle Feliciani Barbosa EasyChair Preprint no. 2981
Recurrences at the International Mathematical Olympiad Juan López Linares, Alexys Bruno-Alfonso and Grazielle Feliciani Barbosa EasyChair Preprint no. 2758
Three Problems on Harmonic Series in the International Mathematical Olympiad Juan López Linares, Alexys Bruno-Alfonso and Grazielle Feliciani Barbosa EasyChair Preprint no. 1519
Solved Problems on Sequences in the Training of High School Students for International Mathematical Olympiads Juan López Linares EasyChair Preprint no. 1125
Numerical Bases at the International Mathematics Juan López Linares, Alexys Bruno-Alfonso and Grazielle Feliciani Barbosa EasyChair Preprint no. 1246
The Harmonic Series at the International Mathematical Olympiad Juan López Linares, Alexys Bruno-Alfonso and Grazielle Feliciani Barbosa EasyChair Preprint no. 1124