Skip to main content
16 events
when toggle format what by license comment
Sep 1, 2021 at 6:27 comment added Roland Bacher Computer algebra and symbolic computation has a fairly large intersection with cryptography which is very much in demand.
Sep 1, 2021 at 6:12 answer added Tomcat timeline score: 7
Aug 31, 2021 at 15:36 comment added Igor Khavkine I would say Yes and Yes.
Aug 28, 2021 at 0:52 comment added Sam Hopkins This is an interesting current project involving symbolic computation: acsvproject.com
Aug 28, 2021 at 0:10 answer added Zach Teitler timeline score: 7
Aug 27, 2021 at 23:45 history became hot network question
Aug 27, 2021 at 21:20 answer added Joshua Grochow timeline score: 13
Aug 27, 2021 at 19:52 comment added xuq01 Just to add five cents to the discussion, many techniques from symbolic computation and computer algebra are useful in verification and/or computer-assisted theorem proving, so you might want to look at those areas too.
Aug 27, 2021 at 16:43 comment added Peter Taylor I don't know how mainstream it is, but certainly RISC Linz seems to still be active, and there are a good few journals publishing in the area.
Aug 27, 2021 at 16:41 history made wiki Post Made Community Wiki by Stefan Kohl
Aug 27, 2021 at 16:19 history edited YCor CC BY-SA 4.0
removed capitals from title; edited tags
Aug 27, 2021 at 16:14 comment added Alex M. @Johndoe: If you don't get useful answers here, try asking on Computer Science, under the tags "computer-algebra" and "mathematical-software". But do wait for a few days before asking the same question on another site ("due dilligence") - it's one of the unwritten rules of the Stack Exchange sites.
Aug 27, 2021 at 15:54 comment added Johndoe @MattF. I find the process of doing a PhD rewarding.
Aug 27, 2021 at 15:52 comment added user44143 If you want to transition to industry, why do the PhD?
S Aug 27, 2021 at 15:40 review First questions
Aug 27, 2021 at 16:14
S Aug 27, 2021 at 15:40 history asked Johndoe CC BY-SA 4.0