Mathematics in Computer Science

Trajectory Planning in Robotics

Alessandro Gasparetto, Paolo Boscariol, Albano Lanzutti et al. · 2012 · 139 citations

Engineering, Computer Science, Robotics Engineering +12

Cryptanalysis of Two McEliece Cryptosystems Based on Quasi-Cyclic Codes

Ayoub Otmani, Jean–Pierre Tillich, Léonard Dallot · 2010 · 109 citations · Full text

Computing, Computer Engineering, Computer Science +10

A Fast Approach to Creative Telescoping

Christoph Koutschan · 2010 · 102 citations · Full text

Management, Creative Writing, Creativity +2

Coquelicot: A User-Friendly Library of Real Analysis for Coq

Sylvie Boldo, Catherine Lelay, Guillaume Melquiond · 2014 · 91 citations · Full text

Natural Sciences, Computer Science, Statistics +2

Computing Numerically with Functions Instead of Numbers

Lloyd N. Trefethen · 2007 · 83 citations

Computing, Computer Science, Mathematics +9