mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

#visualization

8 posts8 participants2 posts today

I've been working on a #space #visualization tool for our operators. It basically needs to always know, and be ready to plot, where every single one of 60k+ objects is down to millidegree/meter/second resolution just in case the sensor suddenly slews there

My own constraint is that it has to be 1) a single 2) #python executable because otherwise I'm not interested

Earlier this year, I found a great 30x faster technique for determining which #satellites are above the horizon. (In fact, it's far more general than that, but that's all the help it gives me to this problem.)

I also realized I could spawn a #multiprocessing child to do lookahead on data and then pass a huge #numpy array to my graphing process. (Investigated ~9 different ways, chose the best)

But there I was stuck.

At any given moment, there are ~4500 space objects above the horizon (at our latitude). Putting 4500 points with little persistence trails and labels and then updating all that at 1Hz let alone the 10Hz I'd like was taking too long, even using the amazing #pyqtgraph

So there I was stuck. Until this week.

Survey of Animated Logical Graphs • 8

This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph‑theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications.

Beginnings

Elements

Examples

Blog Series

  • Logical Graphs • Interpretive Duality • (1)(2)(3)(4)
  • Logical Graphs, Iconicity, Interpretation • (1)(2)
  • Genus, Species, Pie Charts, Radio Buttons • (1)

Excursions

Applications

Anamnesis

cc: FB | Logical GraphsLaws of FormMathstodonOntologAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

Inquiry Into Inquiry · Surveys
More from Inquiry Into Inquiry

Survey of Abduction, Deduction, Induction, Analogy, Inquiry • 5

This is a Survey of blog and wiki posts on three elementary forms of inference, as recognized by a logical tradition extending from Aristotle through Charles S. Peirce.  Particular attention is paid to the way the inferential rudiments combine to form the more complex patterns of analogy and inquiry.

Anthem

Blog Dialogs

Blog Series

Blog Surveys

OEIS Wiki

Ontolog Forum

cc: FB | Inquiry Driven SystemsLaws of FormMathstodonAcademia.edu
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

Inquiry Into Inquiry · Surveys
More from Inquiry Into Inquiry
Replied in thread

@davidruffner Thanks again, for a nice science paper reference, David. This stuff is endlessly fascinating to me.

Here's a science article from 2020, showing the multiple spins that mammalian sperm use to move forward:
spectrum.ieee.org/spermatowhoa
It was photographed with special (very) high-speed and 3D techniques. The head and the tail have separate rotations that add up to a forward motion.

IEEE Spectrum · Spermato-WHOA-a! Human Sperm Don’t Swim Like We ThoughtBy Emily Waltz

#LabPlot, the project for #statisticians, #researchers, #scientists, #engineers, #educators and #students, publishes version 2.12 of its #FREE comprehensive #dataAnalysis and #visualization tool. 🚀

This version adds more plots and #plot sub-types, expands the number of functions for spreadsheets, includes new analysis tools, as well as an experimental software development kit.

The project is partly funded through @NGIZero.

labplot.org/2025/04/28/labplot

@labplot@lemmy.kde.social

Cactus Language • Preliminaries 9

We now have the materials in place to formulate a definition of our subject.

The painted cactus language with paints in the set is the formal language defined as follows.

In the idiom of formal language theory, a string is called a sentence of if and only if it belongs to or simply a sentence if the language is understood.  A sentence of is referred to as a painted and rooted cactus expression on the palette or a cactus expression for short.

Resources

cc: Academia.edu • BlueSky • Laws of FormMathstodonResearch Gate
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

oeis.orgCactus Language • Part 1 - OeisWiki

In an interdisciplinary Masters-level class at RWTH Aachen, I taught construction, architecture, mechanical and other students how to clone and run Python/NodeJS repositories from GitHub.

One of the projects was based on using a music visualiser to create music animations. At this link, you can find what the students created: diraneyya.github.io/deep-music

Deep Music Visualizer ShowdownDeep Music Visualizer ShowdownWhat is this all about This website was setup in under 30 minutes using the HUGO project template on GitLab. The website provides a showdown of all the visualizations created by the DSSIPD WiSe 2021/2022 students in the CR-Masters program in the RWTH Aachen university.

Hi everyone, I'm currently having an extremely hard time finding reviewers for a paper at @jovi which relates to visualization, simulation, and orbital dynamics. The review version is public at journalovi.org/2024-rein-rebou and the reviews will be public and (optionally) attributed as well. Please ping me if interested, and RT for reach!

www.journalovi.orgReal time, cross platform visualizations with zero dependencies for the N-body package REBOUND

Cactus Language • Preliminaries 8

Defining the basic operations of concatenation and surcatenation on arbitrary strings gives them operational meaning for the all‑inclusive language   With that in hand it is time to adjoin the notion of a more discriminating grammaticality, in other words, a more properly restrictive concept of a sentence.

If is an arbitrary formal language over an alphabet of the type we have been discussing, that is, an alphabet of the form then there are a number of basic structural relations which can be defined on the strings of

Concatenation

is the concatenation of and in
if and only if
is a sentence of is a sentence of
and

is the concatenation of the strings in
if and only if
is a sentence of for all
and

Discatenation

is the discatenation of by
if and only if
is a sentence of is an element of
and

in which case we more commonly write

Subclause

is a subclause of
if and only if
is a sentence of
and
ends with a

Subcatenation

is the subcatenation of by
if and only if
is a subclause of is a sentence of
and

Surcatenation

is the surcatenation of the strings in
if and only if
is a sentence of for all
and

The converses of the above decomposition relations amount to the corresponding composition operations.  As complementary forms of analysis and synthesis they make it possible to articulate the structures of strings and sentences in two directions.

Resources

cc: Academia.edu • BlueSky • Laws of FormMathstodonResearch Gate
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

oeis.orgCactus Language • Part 1 - OeisWiki

Cactus Language • Preliminaries 7

The array of syntactic operators may be put in more organized form by making a few additional conventions and auxiliary definitions.

Concatenation

The conception of concatenation permits extension to its natural prequel, the corresponding operator on zero operands.

From that beginning the operation of concatenation may be broken into stages by means of the following conceptions.

The precatenation of two strings is defined as follows.

The concatenation of strings may now be given a new definition as the iterated precatenation of strings beginning with and continuing through the remaining strings.

Surcatenation

The conception of surcatenation permits extension to its natural prequel, the corresponding operator on zero operands.

From that beginning the operation of surcatenation may be broken into stages by means of the following conceptions.

A subclause in is a string ending with

The subcatenation of a subclause by a string is defined as follows.

The surcatenation of strings may now be given a new definition as the iterated subcatenation of strings beginning with and continuing through the remaining strings.

Notice that the expressions and are defined in such a way that the respective operators and simply ignore, in the manner of constants, whatever sequences of strings may be listed as their ostensible arguments.

Resources

cc: Academia.edu • BlueSky • Laws of FormMathstodonResearch Gate
cc: Conceptual GraphsCyberneticsStructural ModelingSystems Science

oeis.orgCactus Language • Part 1 - OeisWiki