GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → DominicKramer → mathlingua

DominicKramer / mathlingua

Licence: Apache-2.0 license
MathLingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.

Programming Languages

kotlin
9241 projects

Labels

mathematicsinformation-systems

Projects that are alternatives of or similar to mathlingua

cddlib
An efficient implementation of the Double Description Method
Stars: ✭ 71 (+4.41%)
Mutual labels:  mathematics
meshgen-comparison
🕸️ A comparison of mesh generators.
Stars: ✭ 25 (-63.24%)
Mutual labels:  mathematics
cafe
🧊 Презентації та Воркшопи
Stars: ✭ 20 (-70.59%)
Mutual labels:  mathematics
discrete-math-python-scripts
Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera
Stars: ✭ 98 (+44.12%)
Mutual labels:  mathematics
pacopy
📐 Numerical parameter continuation in Python.
Stars: ✭ 33 (-51.47%)
Mutual labels:  mathematics
alchemy
Generate any a-by-( b + c ) finite rectangle SVG containing potentially Infinitely many a-by-( 2 * b ) finite rectangles animated along a number line of ( ( c - b ) / a )^n scale symmetry.
Stars: ✭ 29 (-57.35%)
Mutual labels:  mathematics
machine-learning-notebooks
🤖 An authorial collection of fundamental python recipes on Machine Learning and Artificial Intelligence.
Stars: ✭ 63 (-7.35%)
Mutual labels:  mathematics
Project-Euler
Send PRs to contribute and see the Codemasters solving some really mind boggling questions.
Stars: ✭ 21 (-69.12%)
Mutual labels:  mathematics
maelstrom
Numerical simulation of magnetohydrodynamics.
Stars: ✭ 28 (-58.82%)
Mutual labels:  mathematics
math eval
✖️➕➖➗ `math_eval` safely evaluates mathematical expressions
Stars: ✭ 33 (-51.47%)
Mutual labels:  mathematics
mish
A no-std libm implementation in Rust
Stars: ✭ 14 (-79.41%)
Mutual labels:  mathematics
chaotic-maps
Simple implementations of chaotic maps in Processing
Stars: ✭ 18 (-73.53%)
Mutual labels:  mathematics
maths-for-deep-learning-ai
A open source book covering the foundational maths of deep learning and machine learning using TensorFlow
Stars: ✭ 35 (-48.53%)
Mutual labels:  mathematics
muparserx
A C++ Library for Parsing Expressions with Strings, Complex Numbers, Vectors, Matrices and more.
Stars: ✭ 102 (+50%)
Mutual labels:  mathematics
curve-shortening-demo
Visualize curve shortening flow in your browser.
Stars: ✭ 19 (-72.06%)
Mutual labels:  mathematics
My NoteBook
サイエンス、テクノロジー、エンジニアリング関連の情報を記載したノート（忘備録）です。
Stars: ✭ 104 (+52.94%)
Mutual labels:  mathematics
csmath-2021
This mathematics course is taught for the first year Ph.D. students of computer science and related areas @zju
Stars: ✭ 30 (-55.88%)
Mutual labels:  mathematics
pwsh-prelude
PowerShell “standard” library for supercharging your productivity. Provides a powerful cross-platform scripting environment enabling efficient analysis and sustainable science in myriad contexts.
Stars: ✭ 26 (-61.76%)
Mutual labels:  mathematics
euclid.js
2D Euclidean geometry classes, utilities, and drawing tools
Stars: ✭ 69 (+1.47%)
Mutual labels:  mathematics
smoothfit
Smooth data fitting in N dimensions.
Stars: ✭ 40 (-41.18%)
Mutual labels:  mathematics
View All Similar Projects ➔

MathLingua

MathLingua is a language for easily creating a collection of mathematical knowledge, including definitions, theorems, axioms, and conjectures, in a format designed to be easy and fun to read and write. For more information see mathlingua.org.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].