User Tools

Site Tools


Welcome to Symbolistics!

We have many projects in Symbolistics:

  • MathOak: In this project, we develop libraries and tools for practical mathematics and solve mathematical problems with &PP pen and paper, &MMAMathematica, &GGBGeoGebra, &RKTRacket, &HSHaskell, and many other tools.
  • MathExi: This is a project in which we research advanced and theoretical mathematics, and study disciplines like Group Theory, Graph Theory, Topology, Lambda Calculus, Calculus of Constructions, Category Theory, Type Theory, etc. The tools we mainly rely on here are &HSHaskell and &AGDA. BTW: MathExi is short for Mathematical Existence.
  • Lingistus: We do Natural languages practice this project.

Besides &PPPen and Paper, we mention many tools above, in case you don't know them, here are the links (and icons :-)):

8-) 8-) 8-) In Symbolistics, have regular meetings and irregular activities for members to solve problems, study topics, and exchange opinions. Parts of the outcome of the meetings and activities will be published on this site and open to non-members.

If you are interested in being a member, welcome to join us.



start.txt · Last modified: 2024/06/14 00:07 by killianz

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki