tikz-pgf pgfplots gnuplot asked Sep 5, 2014 at 12:27

pgfplots asked Oct 3, 2014 at 15:41

java jvm x86 64bit asked Jun 23, 2013 at 21:16

c cuda asked Oct 5, 2014 at 9:05

interactive-proofs asked May 29, 2017 at 13:07

tables tabularx asked Oct 6, 2014 at 15:43

first-order-logic automated-theorem-proving asked Nov 23, 2015 at 15:40