Works
Wolfram Mathematica
—monthly views
0copies owned
—player watchlists
Works
Wolfram Mathematica
Computational software program
epic · Q81294
Related cards · science software
See all 121
Concepts
Lean (proof assistant)
—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
COMSOL Multiphysics
—monthly views
0copies owned
—player watchlists
Concepts
Agda (programming language)
—monthly views
0copies owned
—player watchlists
Related cards · mathematical software
See all 149 Concepts
Lean (proof assistant)
—monthly views
0copies owned
—player watchlists
Organizations
Desmos
—monthly views
0copies owned
—player watchlists
Concepts
GNU Octave
—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
Idris (programming language)
—monthly views
0copies owned
—player watchlists
Related cards · science
See all 815
Works
AnyLogic
—monthly views
0copies owned
—player watchlists
Organizations
Apptainer
—monthly views
0copies owned
—player watchlists
Works
ATLAS.ti
—monthly views
0copies owned
—player watchlists
Works
Avogadro (software)
—monthly views
0copies owned
—player watchlists
Works
3D Slicer
—monthly views
0copies owned
—player watchlists
Works
Advanced Simulation Library
—monthly views
0copies owned
—player watchlists