Need software for subject classification to stick to, for personal library purposes?

This question obviously applies to not only mathematics, so maybe I should post it on academia.SE or somewhere else; but then again, mathematical literature has its own specifics related to existing sources of mathematical data on MR, Zentralblatt, arXiv, etc., so I still decided to post it here. I’ve got, by now, around 4gb of … Read more

Software Reference Request: Three Dimensional Staircase Visualizers for Monomial Ideals

Is anyone familiar with software that already exists to visualize monomial ideals in three variables as their staircase diagrams, in the sense of Combinatorial Commutative Algebra? It looks like their graphics were done using TikZ, but after a reasonable search, I wasn’t able to find any pre-written packages or software that would automatically produce a … Read more

Is a computer program for correspondence theory available?

In the 1990s I some times used a computer program with the Max Planck Institute which helped with calculating complicated correspondences for modal logical formulas. Is some program like that available somewhere now? Answer My question is answered by Jason Rute’s link http://www.cs.man.ac.uk/~schmidt/tools/. Similar links would be welcome. AttributionSource : Link , Question Author : … Read more

What would an ideal mathematical note-taking/organizer/PIM software look like? [closed]

Closed. This question is opinion-based. It is not currently accepting answers. Want to improve this question? Update the question so it can be answered with facts and citations by editing this post. Closed 6 years ago. Improve this question I’m struggling with this problem for a long time, and I’m sure a lot of you … Read more

What kind of computer tools topologists/geometrists use to visualize the objects they deal with?

I have recently started to read a bit about geometry and topology. Hopf fibration, Lense spaces, CW complexes, stuff that are discussed in Hatcher’s Algebraic Topology and other things that require good visualization. What is apparent to me is that the further I go, the less I understand what is going on. I have searched … Read more

What computer program for automorphic forms

This question has its origins in this entertaining discussion on MO. There are many programs (CAS) and libraries that are able to handle algebraic expressions. These are both a verification tool for (sometimes nightmarish) computations and a way to explore objects for which a good intuition is not available. Among them, I have in mind … Read more

Illustrating mathematics with wysiwyg tools

What tools are out there for creating mathematical illustrations in a what-you-see-is-what-you-get mode? Having struggled with tikz for several years, I’ve found creating figures in Omnigraffle (https://www.omnigroup.com/omnigraffle) to be a liberating experience. (And they have good tech support.) The webpage http://wiki.illustrating-mathematics.org/wiki/What_tools_do_we_use%3F mentions Inkscape and Illustrator; how do they compare to Omnigraffle for flexibility and ease … Read more

Advanced software for OEIS?

Is there (if not, why?) a software where I can input a sequence of integers, like into the OEIS, and then it makes some simple transformations on it to check whether the sequence can be obtained from some other sequence(s)? For example, if I enter 2, 4, 6, 8, 10, then currently OEIS returns A005843: … Read more

Good programs for drawing (weighted directed) graphs

Does anyone know of a good program for drawing directed weighted graphs? Answer Try Sage – it’s open source and can draw weighted directed graphs. For example: A = random_matrix(ZZ,6, density=0.5) G = DiGraph(A, format=’weighted_adjacency_matrix’) # graph from matrix H = G.plot(edge_labels=True, graph_border=True) H.show() # display on screen H.save(‘graph.pdf’) # save plot to vector pdf … Read more

Tools for Organizing Papers?

Much like a previous question on keeping research notes organized, my question is how people keep their pile of papers organized. I’ve got a stack of about 100 in my office, most of them classifying as “want to read”, a couple “have read”, and lots in between. Answer I’ve found JabRef, http://jabref.sourceforge.net/ , to be … Read more