Apps with 'Math' feature Page 6 of 14

All apps in Apps with 'Math' feature category. Use the filters below to narrow down your search. 
Copy a direct link to this comment to your clipboard
  1. The OpenMatrix Language provides all scientists, technologists, engineers, & mathematicians (i.e., people in STEM fields) with open access to a powerful matrix-based computational engine.

    Cost / License

    • Free
    • Open Source

    Platforms

    • Windows
    • Linux
    9 alternatives
  2. Math Scanner icon
     1 like

    The Math Scanner app is a user-friendly application enabling users to extract mathematical expressions from screenshots via OCR (Optical Character Recognition). It then converts the expressions into LaTeX equations using an external API.

    Cost / License

    • Free
    • Open Source

    Platforms

    • Windows
    Math Scanner screenshot 1
    Math Scanner screenshot 1
    11 alternatives
  3. Ultra Alarm icon
     1 like

    An alarm application that gives multiple missions to wake you up like math, shake, and typing motivational quotes mission.

    Cost / License

    • Freemium
    • Proprietary

    Application type

    Platforms

    • Android
    Ultra Alarm screenshot 1
    Ultra Alarm screenshot 1
    Ultra Alarm screenshot 2
    +5
    Ultra Alarm screenshot 3
    82 alternatives
  4. Rocq Prover icon
     4 likes

    A trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics, computer science and more.

    Cost / License

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    Rocq's highly expressive type system and proof language enable fully mechanised verification of programs with respect to strong specifications in a wide variety of languages.
    The Rocq Prover provides many mechanisms to tailor the environment to one's requirements and structure developments.
    The Rocq Prover offers a finely-tuned proof engine and kernel implementation allowing large-scale formalization, with efficient bytecode and native conversion checkers relying on the OCaml runtime.
    4 alternatives
  5. TuringBot icon
     1 like

    Find formulas that predict your variables. TuringBot is a desktop software that uses Symbolic Regression to find mathematical formulas from data values.

    Cost / License

    • Freemium
    • Proprietary

    Platforms

    • Windows
    • Linux
    TuringBot screenshot 1
    TuringBot screenshot 1
    TuringBot screenshot 2
    +1
    TuringBot screenshot 3
    2 alternatives
  6. TTCalc icon
     7 likes

    TTCalc is an open source bignum mathematical calculator. It features arithmetical functions, trigonometric functions, inverse trigonometric functions, hyperbolic functions, inverse hyperbolic functions, logical operators, logarithms, functions for converting between degrees and...

    Cost / License

    • Free
    • Open Source

    Application type

    Platforms

    • Windows
    Standard tab
    Precision tab
    Display tab
    72 alternatives
  7. Reinteract icon
     4 likes

    Reinteract is a system for interactive experimentation with Python. Reinteract worksheets contain Python code combined with the results of that code, formatted as text or graphical plots. Youu can go back and edit previously entered statements, and the results will update.

    Cost / License

    • Free
    • Open Source

    Alerts

    • Discontinued

    Platforms

    • Mac
    • Windows
    • Linux
    Reinteract screenshot 1
  8. Graph.tk icon
     3 likes

    Online graph sketching app that can graph functions and numerically solve differential equations.

    Cost / License

    • Free
    • Open Source

    Platforms

    • Online
    Graph.tk screenshot 1
    17 alternatives
  9. Isabelle icon
     3 likes

    Isabelle is a proof assistant for writing and checking mathematical proofs by computer.

    Cost / License

    • Free
    • Open Source

    Platforms

    • Mac
    • Windows
    • Linux
    Isabelle screenshot 1
    4 alternatives
  10. Agda icon
     2 likes

    Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs...

    Cost / License

    • Free
    • Open Source

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    4 alternatives
  11. AYBO icon
     1 like

    With AYBO you can perform any kind of calculations, unit conversions, currency conversions, check the weather, set timers, plot graphs, solve simple equations.

    Cost / License

    • Paid
    • Proprietary

    Application type

    Platforms

    • Mac
    AYBO screenshot 1
    AYBO screenshot 1
    AYBO screenshot 2
    +1
    AYBO screenshot 3
    18 alternatives
  12. Algogo icon
     2 likes

    Algogo is an algorithm editor and interpreter. Lightweight and easy to use, it is free and open-source. There are three versions of Algogo :

    Cost / License

    Platforms

    • Mac
    • Windows
    • Linux
    The tree of an algorithm.
    Free-edition mode.
    The console.
    3 alternatives
  13. Cinderella icon
     2 likes

    Cinderella is the interactive geometry software and a universal tool for visualization and simulation of data and algorithms written in Java programming language. Cinderella is Math in motion.

    Cost / License

    • Paid
    • Proprietary

    Platforms

    • Mac
    • Windows
    • Linux
    Cinderella screenshot 1
    1 alternatives
  14. About A Basic Scientific Calculator Beautifully designed basic scientific calculator with support for percent operation, engineering exponent key, memory functions, and more.

    In addition to the widget calculator, a scientific mode is included that links to eCalc’s advanced onlin.

    Cost / License

    • Paid
    • Proprietary

    Application type

    Platforms

    • Mac
    Scientific Mode
    73 alternatives
  15. WIRIS cas icon
     2 likes

    WIRIS cas is an online platform for mathematical calculations designed for education. You can access a powerful calculation toolbar through an HTML page that includes integrals and limits calculation, function graphing in 2D or 3D and symbolic matrices manipulation, among others.

    Cost / License

    • Free
    • Proprietary

    Platforms

    • Online
    WIRIS cas screenshot 1
    WIRIS cas screenshot 1
    WIRIS cas screenshot 2
    13 alternatives
  16. CODAP icon
     1 like

    CODAP is free educational software for data analysis. This web-based data science tool is designed as a platform for developers and as an application for students in grades 6-14.

    Cost / License

    • Free
    • Open Source (MIT)

    Application type

    Platforms

    • Online
    CODAP screenshot 1
    CODAP screenshot 1
    15 alternatives
  17. Math Tricks icon
     2 likes

    This program is designed for those who want to learn interesting mathematical tricks to speed up the calculating. These tricks will help solve part of the mathematical problems and tasks much faster than classical.

    Cost / License

    • Free
    • Proprietary

    Platforms

    • Android
    • Android Tablet
    Math Tricks screenshot 1
    Math Tricks screenshot 1
    Math Tricks screenshot 2
    +9
    Math Tricks screenshot 3
    4 alternatives
  18.  3 likes

    A+ Click features a collection of illustrated challenging math problems for students in grades one through twelve. The website helps students become problem solvers. No fees, no ads, no registration, no calculators and no frustration.

    Cost / License

    • Free
    • Proprietary

    Platforms

    • Online
    Applied Math
    Olympiad Math
    Aplusclick Math Game and Tests
    +1
    First Grade Math
    8 alternatives
  19. nerdamer icon
     3 likes

    Nerdamer is a small and light-weight symbolic math expression evaluator written in JavaScript. The parsing is done purely in JavaScript and uses no server-side program whatsoever. It can export to a pure JavaScript function, ideal for filtering user input.

    Cost / License

    • Free
    • Open Source

    Platforms

    • Online
    • Node.JS
    • npm
  20. Math Doubts icon
     3 likes

    Math Doubts is a scientific mathematics learning places, targets students, teachers and mathematicians. It was originally founded in 2010. It educates the math concepts from basic fundamentals to advanced scientific level for those who want to learn mathematics and applied...

    Cost / License

    • Free Personal
    • Proprietary

    Platforms

    • Online
    10 alternatives
  21. Eureqa icon
     1 like

    Nutonian is the first robotic data scientist - providing answers to big data questions you never knew to ask, automatically. It is genetic software programming, it uses evolutionary algorithms to find out equations from just data.

    Cost / License

    • Paid
    • Proprietary

    Platforms

    • Mac
    • Windows
    • Linux
    • Wine
    2 alternatives
  22. SimpleCalc icon
     1 like

    A calculator written in C#.NET 3.5 that aims to be simple and usable. Future plans include functionality above and beyond that of the standard windows calculator. (Requires the .NET 3.5 framework)

    Cost / License

    • Free
    • Proprietary

    Application type

    Platforms

    • Windows
    SimpleCalc screenshot 1
    SimpleCalc screenshot 1
    SimpleCalc screenshot 2
    53 alternatives