Daniel LakelandLook guys, in 1999 Bill Schelter released the DOE version of Macsyma he'd been solo maintaining for 20 years called Maxima, and in the 26 years since a small band of maintainers many of whom were contributors to the original thing at MIT have been maintaining and enhancing it. And Y'ALL just SLEEPING on this shit like it doesn't exist. How many of y'all even have it up in your computer? Install that shit and start doing math.
zerologyDoes anybody know the computer algebra system Oscar?
As far as I see it encapsulates several open tools into a Julia library.
Sounds interesting!
Hacker NewsAdventures in Symbolic Algebra with Model Context Protocol
https://www.stephendiehl.com/posts/computer_algebra_mcp/
#HackerNews #Adventures #in #Symbolic #Algebra #with #Model #Context #Protocol #computeralgebra #symbolicmath #programming #innovation
grumbГрядёт замена #wxMaxima ?
Оказывается в #KDE предлагается универсальный GUI для систем математики: #Cantor — https://apps.kde.org/cantor/
Заявленный перечень environments включает: #KAlgebra, #Maxima, #Sage, #Scilab, #Qalculate Т.е. полноценные, давно и хорошо известные системы computer algebra system (CAS) or symbolic algebra system (SAS).
Хотя это скорее дополнительный вариант, тем кто на #linux привык использовать #wxMaxima — https://wxmaxima-developers.github.io/wxmaxima Решает в алгебраическом виде уравнения и системы, численные вычисления, построение графиков. По возможностям близка к Maple и Mathematica.
Из забавного позволяет видеть графики в динамичном виде:
двумерные https://wxmaxima-developers.github.io/wxmaxima/images/wxmaxima-animations.mp4
трехмерные https://wxmaxima-developers.github.io/wxmaxima/images/wxmaxima-animation2.mp4
И в целом всё то, что потом перешло в питоновский Jupyter как notebooks:
#математика #машиннаяалгербра #mathematic #CAS #ComputerAlgebra @russian_mastodon @ru @Russia
аккаунт более неактивенГрядёт замена #wxMaxima ?
Оказывается в #KDE предлагается универсальный GUI для систем математики: #Cantor — https://apps.kde.org/cantor/
Заявленный перечень environments включает: #KAlgebra, #Maxima, #Sage, #Scilab, #Qalculate Т.е. полноценные, давно и хорошо известные системы computer algebra system (CAS) or symbolic algebra system (SAS).
Хотя это скорее дополнительный вариант, тем кто на #linux привык использовать #wxMaxima — https://wxmaxima-developers.github.io/wxmaxima Решает в алгебраическом виде уравнения и системы, численные вычисления, построение графиков. По возможностям близка к Maple и Mathematica.
Из забавного позволяет видеть графики в динамичном виде:
двумерные https://wxmaxima-developers.github.io/wxmaxima/images/wxmaxima-animations.mp4
трехмерные https://wxmaxima-developers.github.io/wxmaxima/images/wxmaxima-animation2.mp4
И в целом всё то, что потом перешло в питоновский Jupyter как notebooks:
#математика #машиннаяалгербра #mathematic #CAS #ComputerAlgebra @[email protected] @[email protected] @[email protected]
Оказывается в #KDE предлагается универсальный GUI для систем математики: #Cantor — https://apps.kde.org/cantor/
Заявленный перечень environments включает: #KAlgebra, #Maxima, #Sage, #Scilab, #Qalculate Т.е. полноценные, давно и хорошо известные системы computer algebra system (CAS) or symbolic algebra system (SAS).
Хотя это скорее дополнительный вариант, тем кто на #linux привык использовать #wxMaxima — https://wxmaxima-developers.github.io/wxmaxima Решает в алгебраическом виде уравнения и системы, численные вычисления, построение графиков. По возможностям близка к Maple и Mathematica.
Из забавного позволяет видеть графики в динамичном виде:
двумерные https://wxmaxima-developers.github.io/wxmaxima/images/wxmaxima-animations.mp4
трехмерные https://wxmaxima-developers.github.io/wxmaxima/images/wxmaxima-animation2.mp4
И в целом всё то, что потом перешло в питоновский Jupyter как notebooks:
#математика #машиннаяалгербра #mathematic #CAS #ComputerAlgebra @[email protected] @[email protected] @[email protected]
David BremnerOof. You know that argument between REPL-heads and source code people, about how you can have something running in the REPL and then the very next day restarting from source code doesn't work? That totally never happens to me.
blake shaw 🇵🇸#Macaulay2 is a #ComputerAlgebra System devoted to supporting research in #AlgebraicGeometry and commutative algebra, whose creation has been funded by the National Science Foundation since 1992.
Macaulay2 includes core algorithms for computing Gröbner bases and graded or multi-graded free resolutions of modules over quotient rings of graded or multi-graded polynomial rings with a monomial ordering. The core algorithms are accessible through a versatile high level interpreted user language with a powerful debugger supporting the creation of new classes of mathematical objects and the installation of methods for computing specifically with them. Macaulay2 can compute Betti numbers, Ext, cohomology of coherent sheaves on projective varieties, primary decomposition of ideals, integral closure of rings, and more.
José A. AlonsoExplainable AI insights for symbolic computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition. ~ Lynn Pickering, Tereso Del Rio Almajano, Matthew England, Kelly Cohen. https://arxiv.org/abs/2304.12154 #AI #ML #XAI #ComputerAlgebra #Math
Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
In recent years there has been increased use of machine learning (ML) techniques within mathematics, including symbolic computation where it may be applied safely to optimise or select algorithms. This paper explores whether using explainable AI (XAI) techniques on such ML models can offer new insight for symbolic computation, inspiring new implementations within computer algebra systems that do not directly call upon AI tools. We present a case study on the use of ML to select the variable ordering for cylindrical algebraic decomposition. It has already been demonstrated that ML can make the choice well, but here we show how the SHAP tool for explainability can be used to inform new heuristics of a size and complexity similar to those human-designed heuristics currently commonly used in symbolic computation.
