pattern-matching asked Jul 22 '19 at 8:42

kernel symbols initialization asked Jul 27 '19 at 16:14

plotting bugs crash asked Jan 14 '15 at 12:45

front-end kernel asked Mar 19 '19 at 11:22

equation-solving groebner-bases asked Nov 10 '15 at 12:57

graphics bugs export pdf-format splines asked Feb 1 '17 at 9:44