Concepts
Maple (software)
—monthly views
0copies owned
—player watchlists
Concepts
Maple (software)
Mathematical computing environment
legendary · Q139380
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