Software Alternatives, Accelerators & Startups
Register | Login

Software for math research

This page summarizes and extends the software alternatives mentioned in the source post on Reddit.
2021-10-10

Coq Magma
Programming Language Technical Computing OOP
  1. Coq Landing Page
    Coq Landing Page
    1

    Coq

    Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
    Pricing:
    • Open Source

    #Programming Language #OOP #Generic Programming Language 46 social mentions

  2. Magma Landing Page
    Magma Landing Page
    2

    Magma

    A software package designed to solve computationally hard problems in algebra, number theory, geometry and combinatorics.

    #Technical Computing #Numerical Computation #Mathematics 8 social mentions

Discuss: Software for math research

Log in or Post with

Related Posts

25 Best Statistical Analysis Software

scijournal.org // 10 months ago

10 Best Free and Open Source Statistical Analysis Software

goodfirms.co // 8 months ago

Free statistics software for Macintosh computers (Macs)

macstats.org // 5 months ago

7 Best MATLAB alternatives for Linux

cyanogenmods.org // about 2 years ago

Top 8 Python Libraries for Data Visualization

geeksforgeeks.org // almost 4 years ago

Top 5 Most Liked and Hated Programming Languages of 2022

analyticsinsight.net // about 2 years ago

Loading...