Skip to main content

Questions tagged [software]

For questions about software useful for mathematical research; for questions on specialist mathematical software, cf. also [tag:mathematical-software].

Filter by
Sorted by
Tagged with
2 votes
0 answers
157 views

Search publications for LaTeX code

Is there a way to search the literature for specific instances of formulas (and variants), perhaps using $\rm\LaTeX$ code?
Pace Nielsen's user avatar
  • 18.3k
39 votes
3 answers
4k views

How to write mathematics without typing?

What solutions exist for mathematicians who need to write papers, but can't type? (I'm an early-career research mathematician and I can't type for the next few months.)
Anonymous's user avatar
  • 401
0 votes
0 answers
108 views

Software for Intersection of Ideals in Noncommutative Polynomial algebra

I am looking for software which can compute an intersection of ideals (in particular right ideals) in a noncommutative polynomial algebra and then find its Gröbner Basis. Most software somehow does ...
Mukilraj K's user avatar
14 votes
4 answers
2k views

AI tools for editing and re-generating old math documents

What AI-powered or multi-modal LLM (Large Language Model) apps/interfaces are available to edit/revise pdf or Word documents by automatically producing LaTex for the math expressions within the ...
1 vote
1 answer
128 views

Deduce kernel of isogeny from action on torsion points

I'm stuck with the following problem: In Petit's work "Faster Algorithms for Isogeny Problems using Torsion Point Images", p. 8, he says that we can deduce $\ker \psi_{N_2}$ knowing the ...
Manuel Bravi's user avatar
4 votes
1 answer
284 views

What is meant by a meet-in-the-middle approach?

I'm studing C. Petit's work "Faster algorithms for isogeny problems using torsion point images" (link) and he talks about meet-in-the-middle approach/strategy for solve some isogenies ...
Manuel Bravi's user avatar
2 votes
3 answers
531 views

Useful software for variable elimination

I have three non-homogeneous trivariate polynomials in $\mathbb Z[x,y,z]$ and I want to eliminate the variables $y$ and $z$ to get a polynomial in $x$. The monomials of the polynomials are $\{1,x^4,x^...
Turbo's user avatar
  • 13.7k
3 votes
0 answers
126 views

Geometric construction exercises

Many of you know dynamic geometry exercises in Euclidea; if not, here is one example. It lets you do a geometric construction and sends a message once you achieve the result. I am looking for a way to ...
Anton Petrunin's user avatar
-4 votes
1 answer
185 views

Graphics software [closed]

Do you have any suggestions about free mathematical graphics software? I need to do some drawings of polyhedrons and a drawing of intersection between polyhedron and a circle.
McDuck's user avatar
  • 31
0 votes
0 answers
190 views

Which tool is "standard" when it comes to the presenting slides?

Maybe this question belongs to some other place such as Academia SE, but I am interested in the specific case of the field of mathematics, so please forgive me. I am writing my first research ...
Jingeon An-Lacroix's user avatar
15 votes
4 answers
2k views

PDF readers for presenting Math online

In the current situation it seems especially important to be able to present your mathematical results online in a way that your audience does not fall asleep in front of their screens. But I am ...
3 votes
1 answer
966 views

Coppersmith bivariate polynomial roots implementation

Given $f(x,y)\in\mathbb Z[x,y]$ Coppersmith in https://link.springer.com/chapter/10.1007%2F3-540-68339-9_16 provides a provable method to find integer roots in polynomial time and this method was also ...
Turbo's user avatar
  • 13.7k
8 votes
1 answer
495 views

Online study groups for individual mathematical texts

This has been one of my earlier academic dreams. I have pitched the idea to Prof Ravi Vakil, among others. Recently, because of participation in the mathematical competition hosted by Alibaba, I have ...
26 votes
3 answers
2k views

Software and ideas for workshops and conferences with long-distance participants

Conferences and workshops are often great - getting together and being together is an ideal setting for doing research and learning things. However, there are various reasons to encourage the ...
5 votes
1 answer
185 views

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 ...
15 votes
2 answers
1k views

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 ...
stressed out's user avatar
19 votes
1 answer
891 views

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 (...
Desiderius Severus's user avatar
29 votes
4 answers
2k views

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 ...
domotorp's user avatar
  • 18.5k
25 votes
5 answers
1k views

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 (...
1 vote
0 answers
143 views

Calculating Betti tables of smooth curves

I am looking for a software that could help me calculate the Betti table of smooth curves. I was trying to use Macaulay2, but calculating Betti tables of smooth curves on that seems really hard and ...
Ryan Hendricks's user avatar
1 vote
0 answers
128 views

How to check with a CAS if a surface is of general type?

The main question is: How to check with a CAS if a surface is of general type? Magma's function KodairaEnriquesType is close to this, but doesn't always work. ...
joro's user avatar
  • 24.3k
145 votes
21 answers
28k views

Mathematical software wish list

Like many other mathematicians I use mathematical software like SAGE, GAP, Polymake, and of course $\LaTeX$ extensively. When I chat with colleagues about such software tools, very often someone has ...
6 votes
1 answer
304 views

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 ...
Frode Alfson Bjørdal's user avatar
4 votes
1 answer
970 views

What are the uses of Limits and Colimits of Category Theory in every day problems? [closed]

I am interested in knowing how we can use the concepts of Limits and Colimits in modeling problems in every day life? Could anyone provide (Software) engineering examples, perhaps? Or describe ...
James's user avatar
  • 159
1 vote
1 answer
2k views

Software to numerically solve partial differential equation

When we use software to numerically solve differential equation, for example, using finite difference, finite element or finite volume methods, etc., is it possible that people input differential ...
HYYY's user avatar
  • 1,499
7 votes
1 answer
281 views

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 ...
Gwyn Whieldon's user avatar
9 votes
2 answers
3k views

On $p$-adic arithmetic softwares

I would like to automate a huge amount of computation that involves basic arithmetic operations with $p$-adic numbers. I have found a Mathematica package for it, but it is old and acts quite ...
Keivan Karai's user avatar
  • 6,142
47 votes
23 answers
76k views

Good programs for drawing (weighted directed) graphs

Does anyone know of a good program for drawing directed weighted graphs?
7 votes
1 answer
2k views

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

I'm struggling with this problem for a long time, and I'm sure a lot of you out there are having similar problems too: when studying from a e-textbook I read and annotate in one app and make ...
nikmil's user avatar
  • 415
28 votes
12 answers
3k views

Creating high quality figures of surfaces

I am not sure if this question is suitable for mo, it is more about visualization than math. Anyway, here it is: What is the best way to visualize a 2-surface in Euclidean space with high quality? ...
70 votes
30 answers
93k views

What programming languages do mathematicians use? [closed]

I understand this might be a slightly subjective question, but I am honestly curious what programming languages are used by the mathematics community. I would imagine that there is a group of ...
47 votes
10 answers
9k views

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 ...