#computeralgebra — Public Fediverse posts

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

#maxima #computeralgebra #appliedmathematics

Does anybody know the computer algebra system Oscar?
As far as I see it encapsulates several open tools into a Julia library.
Sounds interesting!

https://docs.oscar-system.org/stable/

#algebra #ComputerAlgebra #math #julia #julialang

Adventures 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

Adventures 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

Adventures 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

Adventures 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

@mitch it might do better with voice recognition to symbols?

#computeralgebra

Yeh.

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

https://macaulay2.com/

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

https://macaulay2.com/

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

https://macaulay2.com/

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

https://macaulay2.com/

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

https://macaulay2.com/

Explainable 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

Owen Lynch: The #ComputerAlgebra system
of the future https://www.youtube.com/watch?v=k1VvJFjIo7k

I have a Ph.D in #ComputerAlgebra and am in charge of the care and feeding of a number of /heavy/ subsystems in Maple. So, sometimes I do important work, like going through the #pokemon type advantage graph and look for five type subsets that are isomorphic to the graph of Rock-Paper-Scissors-Lizard-Spock. There is exactly one.

microMathematics Plus - Extended Visual Calculator

https://friendica.a-zwenkau.de/display/fdacc1ed-1663-0243-2228-872904663990

Gelöst? (wx)draw versus (wx)plot in Maxima

Auf meine gestrige Frage, wie ich draw2d und draw3d in #Maxima bewegen kann, ein separates Plot-Fenster zu öffnen, habe ich eine Antwort gefunden. Man muß die Bibliothek explizit laden und ihr dann ein Terminal zuweisen: http://blog.schockwellenreiter.de/2020/03/2020033101.html #CAS #Computeralgebra #Mathematik

Neu in meiner Bibliothek: Computeralgebra mit Maxima

Heute habe ich in der Packstation meines Vertrauens das Buch »#Computeralgebra mit Maxima, Grundlagen der Anwendung und Programmierung« von Wilhelm Haager abgeholt. Ich konnte es aber bisher nur kurz durchblättern. Doch es scheint genau das zu sein, was ich mir gewünscht habe. Auf über 300 kleingedruckten Seiten werden die wichtigsten Möglichkeiten des Computeralgebrasystems #Maxima abgehandelt. http://blog.schockwellenreiter.de/2020/03/2020032502.html #CAS #Mathematik

Mathics: How to Do Hard Math When You’re Not an MIT Janitor - Algebra is the bane of many a student, but it is surprisingly useful when it comes to electronics. S... more: https://hackaday.com/2019/05/11/mathics-how-to-do-hard-math-when-youre-not-an-mit-janitor/ #computeralgebra #softwarehacks #mathematica #mathics

Computer Algebra for Electronic Design - Don’t get me wrong. Like most people, there’s nothing I enjoy more than solving a long, involved mat... more: https://hackaday.com/2019/02/28/computer-algebra-for-electronic-design/ #symboliccomputation #computeralgebra #computerhacks #circuitdesign #wxmaxima #how-to #maxima