Trajectory planning in robotics A Gasparetto, P Boscariol, A Lanzutti, R Vidoni Mathematics in Computer Science 6, 269-279, 2012 | 183 | 2012 |
Cryptanalysis of two McEliece cryptosystems based on quasi-cyclic codes A Otmani, JP Tillich, L Dallot Mathematics in Computer Science 3, 129-140, 2010 | 178 | 2010 |
Coquelicot: A user-friendly library of real analysis for Coq S Boldo, C Lelay, G Melquiond Mathematics in Computer Science 9, 41-62, 2015 | 142 | 2015 |
Using as a semantic markup format M Kohlhase Mathematics in Computer Science 2, 279-304, 2008 | 118 | 2008 |
HOL(y)Hammer: Online ATP Service for HOL Light C Kaliszyk, J Urban Mathematics in Computer Science 9, 5-22, 2015 | 111 | 2015 |
A fast approach to creative telescoping C Koutschan Mathematics in Computer Science 4 (2), 259-266, 2010 | 105 | 2010 |
Computing numerically with functions instead of numbers LN Trefethen Mathematics in Computer Science 1 (1), 9-19, 2007 | 96* | 2007 |
Semi-local string comparison: Algorithmic techniques and applications A Tiskin Mathematics in Computer Science 1, 571-603, 2008 | 89 | 2008 |
Near sets: An introduction JF Peters Mathematics in Computer Science 7 (1), 3-9, 2013 | 88 | 2013 |
Dynamics and optimal control of Ebola transmission A Rachah, DFM Torres Mathematics in Computer Science 10 (3), 331-342, 2016 | 82 | 2016 |
Transforming large collections of scientific publications to XML H Stamerjohanns, M Kohlhase, D Ginev, C David, B Miller Mathematics in Computer Science 3, 299-307, 2010 | 79 | 2010 |
Lempel–Ziv factorization using less time & space G Chen, SJ Puglisi, WF Smyth Mathematics in Computer Science 1, 605-623, 2008 | 77 | 2008 |
Algebraic approaches to stability analysis of biological systems W Niu, D Wang Mathematics in Computer Science 1, 507-539, 2008 | 68 | 2008 |
Symbolic computation of local symmetries of nonlinear and linear partial and ordinary differential equations AF Cheviakov Mathematics in Computer Science 4 (2), 203-222, 2010 | 62 | 2010 |
On the topology of real algebraic plane curves J Cheng, S Lazard, L Peñaranda, M Pouget, F Rouillier, E Tsigaridas Mathematics in Computer Science 4, 113-137, 2010 | 60 | 2010 |
Testing sign conditions on a multivariate polynomial and applications M Safey El Din Mathematics in Computer Science 1 (1), 177-207, 2007 | 58 | 2007 |
TASS: The toolkit for accurate scientific software SF Siegel, TK Zirkel Mathematics in Computer Science 5 (4), 395-426, 2011 | 57 | 2011 |
Specifying rewrite strategies for interactive exercises B Heeren, J Jeuring, A Gerdes Mathematics in computer science 3, 349-370, 2010 | 57 | 2010 |
Stability analysis for discrete biological models using algebraic methods X Li, C Mou, W Niu, D Wang Mathematics in Computer Science 5, 247-262, 2011 | 53 | 2011 |
Some Types of Filters in BE-algebras A Borumand Saeid, A Rezaei, RA Borzooei Mathematics in Computer Science 7, 341-352, 2013 | 45 | 2013 |