Concepts
Lean (proof assistant)
—monthly views
0copies owned
—player watchlists
Wiki Binder · Collection
mathematical software
149 cards · 24 shown here
Concepts
R (programming language)
—monthly views
0copies owned
—player watchlists
Works
MATLAB
—monthly views
0copies owned
—player watchlists
Works
Rocq
—monthly views
0copies owned
—player watchlists
Works
SPSS
—monthly views
0copies owned
—player watchlists
Works
SAS (software)
—monthly views
0copies owned
—player watchlists
Works
Pandas (software)
—monthly views
0copies owned
—player watchlists
Organizations
Desmos
—monthly views
0copies owned
—player watchlists
Works
Xenobot
—monthly views
0copies owned
—player watchlists
Works
Wolfram Mathematica
—monthly views
0copies owned
—player watchlists
Works
NumPy
—monthly views
0copies owned
—player watchlists
Works
Self-replicating machine
—monthly views
0copies owned
—player watchlists
Works
SAT solver
—monthly views
0copies owned
—player watchlists
Concepts
GNU Octave
—monthly views
0copies owned
—player watchlists
Works
Von Neumann universal constructor
—monthly views
0copies owned
—player watchlists
Concepts
Stata
—monthly views
0copies owned
—player watchlists
Concepts
Agda (programming language)
—monthly views
0copies owned
—player watchlists
Works
Isabelle (proof assistant)
—monthly views
0copies owned
—player watchlists
Concepts
Maple (software)
—monthly views
0copies owned
—player watchlists
Works
SageMath
—monthly views
0copies owned
—player watchlists
Works
Photomath
—monthly views
0copies owned
—player watchlists
Works
Mathcad
—monthly views
0copies owned
—player watchlists
Works
Minitab
—monthly views
0copies owned
—player watchlists
Concepts
Idris (programming language)
—monthly views
0copies owned
—player watchlists
Collect every card of this collection.
Start collecting