Login

Recent searches

No recent searches

Search options

Not available on mastodon.xyz.
mastodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance, open to everyone, but mainly English and French speaking.

Administered by:

Server stats:

816
active users

mastodon.xyz: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.4

#cas

1 post1 participant0 posts today
Public
Несерьёзный Выдумщик

Грядёт замена #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.

Из забавного позволяет видеть графики в динамичном виде:

И в целом всё то, что потом перешло в питоновский Jupyter как notebooks:

#математика #машиннаяалгербра #mathematic #CAS #ComputerAlgebra @russian_mastodon @ru @Russia

idealists.suAkkoma
Public
José A. Alonso

Verified certificates via SAT and computer algebra systems for the Ramsey R(3,8) and R(3,9) problems. ~ Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh. arxiv.org/abs/2502.06055 #SAT #CAS

arXiv.orgVerified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) ProblemsThe Ramsey problem R(3, k) seeks to determine the smallest value of n such that any red/blue edge coloring of the complete graph on n vertices must either contain a blue triangle (3-clique) or a red clique of size k. Despite its significance, many previous computational results for the Ramsey R(3, k) problem such as R(3, 8) and R(3, 9) lack formal verification. To address this issue, we use the software MATHCHECK to generate certificates for Ramsey problems R(3, 8) and R(3, 9) (and symmetrically R(8, 3) and R(9, 3)) by integrating a Boolean satisfiability (SAT) solver with a computer algebra system (CAS). Our SAT+CAS approach significantly outperforms traditional SAT-only methods, demonstrating a significant improvement in runtime. For instance, our SAT+CAS approach solves R(8, 3) sequentially in 18.5 hours, while a SAT-only approach using the state-of-the-art CaDiCaL solver times out after 7 days. Additionally, in order to be able to scale to harder Ramsey problem like R(9, 3) we further optimized our SAT+CAS tool using a parallelized cube-and-conquer approach. Our results provide the first independently verifiable certificates for these Ramsey numbers, ensuring both correctness and completeness of the exhaustive search process of our SAT+CAS tool.
Public
cobratbq - cranky-by-design

Hey #internet #cloud #web #infrastructure #persistence is there any #p2p or publicly supported content-addressable storage (#cas) solution? (Other than #IPFS, which I am aware of.)
The problem is that I eventually would want a (few) small binaries to be available "in perpetuity", i.e. not some specific content hosting service. The idea being that if that binary-exact file performs an important function, I'd like it to be hard to become unavailable or disappear.

Public
Will Berard 🫳🎤🫶

Remember when there were programming languages specifically for education?

Instead, of, IDK, Python, whose strength for actual software development are its very failings as a teaching language, invading Ed on the ground of it's superficially easy syntax?

Well, if you're an @edutooters in #CS in the UK, you should really catch this (at least the recording, all on their youtubes!)

computingatschool.org.uk/event
#Programming #ProgrammingEducation #ProgrammingLanguages #CSEd #Elan #BCS #Computing #CaS

www.computingatschool.org.ukElan – First Language for British Schools Since 1981
Public
screwlisp

@rwxrwxrwx
This works really nicely. #maxima #-interface #lisp #commonLisp #CAS #mathematics
I ended up using quicklisp.org to drag in maxima (but cloning your sr.ht/~jmbr/maxima-interface/).
CL-USER> (asdf:load-system :maxima-interface)
T
CL-USER> (in-package :maxima-interface-user)
#<PACKAGE "MAXIMA-INTERFACE-USER">
MAXIMA-INTERFACE-USER> (diff '(sin x) 'x)
(COS X)
MAXIMA-INTERFACE-USER> (integrate * 'x)
(SIN X)
MAXIMA-INTERFACE-USER> (integrate ** 'x 0 (/ pi 2))
<rat notes snipped>
1

CL-USER> (asdf:load-system :maxima-interface) T CL-USER> (in-package :maxima-interface-user) #<PACKAGE "MAXIMA-INTERFACE-USER"> MAXIMA-INTERFACE-USER> (diff '(sin x) 'x) (COS X) MAXIMA-INTERFACE-USER> (integrate * 'x) (SIN X) MAXIMA-INTERFACE-USER> (integrate ** 'x 0 (/ pi 2)) <rat notes snipped> 1
ExploreLive feeds
About