Concepts
Lean (proof assistant)
—monthly views
0copies owned
—player watchlists
Wiki Binder · Collection
science software
121 cards · 24 shown here
Works
Microsoft Power BI
—monthly views
0copies owned
—player watchlists
Works
Rocq
—monthly views
0copies owned
—player watchlists
Works
Tableau Software
—monthly views
0copies owned
—player watchlists
Works
SAS (software)
—monthly views
0copies owned
—player watchlists
Organizations
Desmos
—monthly views
0copies owned
—player watchlists
Works
Havok (software)
—monthly views
0copies owned
—player watchlists
Works
GeoGebra
—monthly views
0copies owned
—player watchlists
Works
Wolfram Mathematica
—monthly views
0copies owned
—player watchlists
Works
PhysX
—monthly views
0copies owned
—player watchlists
Organizations
PhET Interactive Simulations
—monthly views
0copies owned
—player watchlists
Works
COMSOL Multiphysics
—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
Works
NVivo
—monthly views
0copies owned
—player watchlists
Concepts
Maple (software)
—monthly views
0copies owned
—player watchlists
Works
PlantUML
—monthly views
0copies owned
—player watchlists
Works
Celestia
—monthly views
0copies owned
—player watchlists
Works
Bullet (software)
—monthly views
0copies owned
—player watchlists
Works
Abaqus
—monthly views
0copies owned
—player watchlists
Works
BLAST (biotechnology)
—monthly views
0copies owned
—player watchlists
Concepts
Idris (programming language)
—monthly views
0copies owned
—player watchlists
Works
Nastran
—monthly views
0copies owned
—player watchlists
Works
Stellarium (software)
—monthly views
0copies owned
—player watchlists
Collect every card of this collection.
Start collecting