What software do you most commonly use in your mathematical research? : r/math

This subreddit is for discussion of mathematics. All posts and comments should be directly related to mathematics, including topics related to the practice, profession and community of mathematics. I've often wondered what software is most commonly used for cutting edge research in math. For example, Computer Algebra systems are great as pedagogical tools, but are they useful in research? Are theorem provers used by mathematicians, or is that more a CS tool? How much of your research involves programming of some kind? Etc.. I'd love to hear your answers. SageMath is used a lot in algebraic combinatorics (and other fields). The most typical use is generating and checking conjectures using the built in objects like symmetric functions, posets, … Maple is frequently used to automatically prove identities in enumerative combinatorics. It has things like WZ method built in. Macaulay2 is the go to for commutative algebra and all things polynomial rings (and their quotients). There is algorit

saved by

• Dharmik Parmar