Just released: Version 10.6.36 of passagemath, the pip-installable modularized #SageMath fork, an #OpenSource general-purpose #Mathematics system in #Python. This release updates #Macaulay2 to version 1.25.11. github.com/passagemath/...

Release passagemath-10.6.36 · ...
Release passagemath-10.6.36 · passagemath/passagemath

passagemath-graphs updates Graphs and hypergraphs now have a method is_unimodular(), using Seymour's decomposition from passagemath-cmr. sage: W6 = graphs.WheelGraph(7); W6 Wheel graph: Graph on 7 ...

GitHub
Added in post: Binary wheels for passagemath-macaulay2 are now also available for Linux on ARM. #SageMath #Macaulay2 #Python #FOSS #Mathematics

RE: https://bsky.app/profile/did:plc:htd5nd5zj62hey7e7lm3a6ky/post/3m2mrawxhkc22
Readings shared September 17, 2025

The readings shared in Bluesky on 17 September 2025 are: Formalizing dimensional analysis using the Lean theorem prover. ~ Maxwell P. Bobbin, Colin Jones, John Velkey, Tyler R. Josephson. #ITP #LeanP

Vestigium
Bridging proof and computation (For a verified Lean–Macaulay2 interface). ~ Matthew Ballard, Anton Leykin, Damiano Testa, Michael Stillman. https://www.renaissancephilanthropy.org/bridging-proof-and-computation-a-verified-leanmacaulay2-interface #AI #Math #ITP #LeanProver #CAS #Macaulay2
Bridging Proof and Computation: A Verified Lean–Macaulay2 Interface — Renaissance Philanthropy – A brighter future for all through science, technology, and innovation

Renaissance Philanthropy – A brighter future for all through science, technology, and innovation

MadPy's next meetup is just 2 days away! Thursday we'll learn about the latest in #FOSS tooling in Computer #Algebra Systems. Learn about #mathematics research with tools like #SageMath, #Macaulay2, and others

Newcomers welcome and no experience with these tools is required. Our event is free and open to the public, hosted at #Madison's Central Library. We'll have free pizza & beverages too! 🍕 🥤

Looking forward to seeing everybody!

https://www.meetup.com/madison-python/events/297098767/

#MadisonWI #UWMadison #Math #Python

Calculating Invariants of Elliptic Curves, Thu, Dec 14, 2023, 6:30 PM | Meetup

This talk will explore how to utilize open source Computer Algebra Systems such as SageMath and Macaulay2, which provide a convenient environment for doing complex computat

Meetup

It's just 10 days till our next meetup! 🎉

Join us as we learn about #python tooling for #math research. There will be discussion of #SageMath and #Macaulay2, among others. Should be really interesting.

Also there will be free pizza 🍕 +  

The event is free and open to the public, hosted at #Madison's Central Library. All are welcome, including experts and newcomers alike.

See you there!

https://www.meetup.com/madison-python/events/297098767/

#MadisonWI #UWMadison #Mathematics

Calculating Invariants of Elliptic Curves, Thu, Dec 14, 2023, 6:30 PM | Meetup

This talk will explore how to utilize open source Computer Algebra Systems such as SageMath and Macaulay2, which provide a convenient environment for doing complex computat

Meetup

Just announced, our December meetup is going to be a little #math-y 🤓

Shashank Bangalore is going to give a talk on using #python tools, like #SageMath and #Macaulay2 for calculating invariants of elliptic curves. Please join us!

https://www.meetup.com/madison-python/events/297098767/

#Madison #MadisonWI #UWMadison #Wisconsin

Calculating Invariants of Elliptic Curves, Thu, Dec 14, 2023, 6:30 PM | Meetup

This talk will explore how to utilize open source Computer Algebra Systems such as SageMath and Macaulay2, which provide a convenient environment for doing complex computat

Meetup

#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

Macaulay2 home page

Anyone has a good way to parse #Macaulay2 output?
The exponents on a separate line are a real pain:
2 2
16z4 z23