TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Software for Math Research

64 pointsby mathematicallyover 3 years ago

11 comments

amathres_infoover 3 years ago
I think you are all missing the context here. The &quot;Association for Mathematical Research&quot; is a new organization created by various people who got in trouble on woke math twitter. Nobody had heard of it until yesterday. (Their crimes are mostly opposing diversity statements in job applications, or favoring gifted programs.) It looks like a schism with the AMS (which more-or-less publicly takes the opposite view on these things), though they deny it. The impetus for the new group is clearly political. They got a few big names on there, but everybody on the board is already known for holding retrograde political views and I think they all signed one of the dueling petitions about this in the AMS Notices a year or two ago.<p>This is just a filler page to make it look like they have some content. It&#x27;s not a serious list of mathematical software. There are good ones of those done elsewhere.
评论 #28827715 未加载
评论 #28840971 未加载
ai_iaover 3 years ago
The list is missing Manim for visualization. I tried it out because I was curious how 3b1b creates his videos and was blown away by the simplicity of the tool. For simple visualization and teaching aid, Manim is a great tool.
评论 #28828650 未加载
xvilkaover 3 years ago
I would add also nlgebra[1] and Simba[2].<p>[1] <a href="https:&#x2F;&#x2F;github.com&#x2F;dimforge&#x2F;nalgebra" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;dimforge&#x2F;nalgebra</a><p>[2] <a href="https:&#x2F;&#x2F;github.com&#x2F;dimforge&#x2F;simba" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;dimforge&#x2F;simba</a>
outlaceover 3 years ago
No proof assistants like Lean and Coq?
评论 #28828262 未加载
linspaceover 3 years ago
There are a several comments saying &quot;no mention of X&quot;, and actually they are right. This list is defeated by the simplest of google queries.
gooby_snacksover 3 years ago
Not sure what the criteria is to be included in this list, but I&#x27;ve used this software for dynamical systems and there doesn&#x27;t appear to be anything listed for that category.<p><a href="https:&#x2F;&#x2F;juliadynamics.github.io&#x2F;JuliaDynamics&#x2F;" rel="nofollow">https:&#x2F;&#x2F;juliadynamics.github.io&#x2F;JuliaDynamics&#x2F;</a>
MayeulCover 3 years ago
xcas is very good (though the UI shows its age), based on giac: <a href="https:&#x2F;&#x2F;www-fourier.univ-grenoble-alpes.fr&#x2F;~parisse&#x2F;giac.html" rel="nofollow">https:&#x2F;&#x2F;www-fourier.univ-grenoble-alpes.fr&#x2F;~parisse&#x2F;giac.htm...</a><p>In addition to software in the comments, not even WolframAlpha is listed.
评论 #28828661 未加载
dr_kiszonkaover 3 years ago
Nice list! Scilab looks pretty interesting, especially the Simulink-like part.<p>I only wish there was something Python-based for Dynamical&#x2F;Hybrid Systems.
评论 #28825462 未加载
agambrahmaover 3 years ago
Recently (re-)discovered Mathematica, and found spanning a much larger set of domains than I expected (also, very approachable).
评论 #28825550 未加载
calebmover 3 years ago
Python is conspicuously missing from this list.
评论 #28824138 未加载
评论 #28823711 未加载
xiaodaiover 3 years ago
No mention of Magma. My favourite