Elektrine
Log in Register

#mathematik

4 posts · Last used 6d

Back to Timeline
gnulinux
GNU/Linux.ch @gnulinux@social.anoxinon.de · 6d ago
Algebraische Flächen visualisieren mit SURFER In diesem Artikel geht es um das Programm SURFER, welches es ermöglicht algebraische Flächen zu visualisieren. #Math #Mathematik #Bildgenerator #Algebra #SURFER #Unterrichtsmaterialien #Schule #Hochschule #Universität #Linux https://gnulinux.ch/surfer
2
0
1
heiseonline
heise online @heiseonline@social.heise.de · Jul 06, 2026
Leanstral 1.5: Mistrals KI-Modell für formale Beweise ist Open Source Mistral AI veröffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell löst laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code. https://www.heise.de/news/Leanstral-1-5-Mistrals-KI-Modell-fuer-formale-Beweise-ist-Open-Source-11355236.html?wt_mc=sm.red.ho.mastodon.mastodon.md_beitraege.md_beitraege&utm_source=mastodon #Automatisierung #IT #KünstlicheIntelligenz #MachineLearning #Mathematik #OpenSource #Rust #news
0
0
0
gnulinux
GNU/Linux.ch @gnulinux@social.anoxinon.de · Jul 03, 2026
Kontextfreie Kunst In diesem Artikel geht es um das Programm Context Free Art, welches es ermöglicht, mit wenigen einfachen Befehlen Bilder zu ‚programmieren‘. #Contextfree_Art #Bildbearbeitung #Kunst #Mathematik #Linux https://gnulinux.ch/kontextfreie-kunst
0
0
2
tomkalei
Thomas Kahle @tomkalei@machteburch.social · Jun 26, 2026
RE: https://mathe.social/@tomkalei/116812600219433585 Wie ihr vielleicht gesehen habt, ging gestern die neue #Mastodon Instanz => mathe.social <= :blobcatmaths: an den Start. Wenn ihr Leute aus der (deutschsprachigen) #Mathematik kennt, die jetzt starten wollen... Bei der Registration bitte angeben, warum man auf mathe.social sein möchte und wer man ist. Ich arbeite auch daran, dass mathematische Forschungsprojekte, Softwareprojekte, etc. ihre #wisskomm dort betreiben können und das wird dann ganz großartig. Mehr #Mathe im #fediverse!
160
10
259

You've seen all posts