On the Formulae-as-Types Correspondence for Classical Logic (Popularity: )

Doctoral thesis of Charles Stewart, which investigates foundational aspects of the application of the formulae-as-types ...
Category: Science\Math\Logic and Foundations\Computational Logic

Algebra Is Arithmetic Backwards (Popularity: )

A personal view of algebra and its relationship to economics.
Category: Science\Math\Algebra\High School

Magma Computational Algebra System Home Page (Popularity: )

A Computational Algebra system for algebra, number theory and geometry.
Category: Science\Math\Geometry\Algebraic Geometry

Perfect Times (Popularity: )

Teaches and assesses fluency of multiplication and division tables using online cards. Submit data and ...
Category: Science\Math\Recreations\Games and Puzzles

Textbooks in Mathematics (Popularity: )

A collection of links by alex_stef@yahoo.com to free mathematics textbooks, lecture notes and tutorials.
Category: Science\Math\Publications\Online Texts

Efg's Reference Library (Popularity: )

Links and resources about image processing. Categories include databases and test targets, algorithms, medical applications,and ...
Category: Science\Technology\Electrical Engineering\Image Processing

A+ Math (Popularity: )

Interactive math help for K-12 students with flashcards, Math Wordfind, Homework Helper and worksheets.
Category: Science\Math\Recreations\Games and Puzzles

Magma Computational Algebra System Home Page (Popularity: )

A large, well-supported software package for computationally hard problems in algebra, number theory, geometry and ...
Category: Science\Math\Number Theory\Software

Allmath.com (Popularity: )

grades K-6. Flashcards for learning arithmetic, "Ask the Experts" and math biographies.
Category: Science\Math\Algebra\Pre-Algebra

AXIOM (Popularity: )

Symbolic solver complete with a high-level interactive language, user extensible library and visualisation tool for ...
Category: Science\Math\Algebra\Software

Lipnikov, Konstantin (Popularity: )

Los Alamos National Laboratory. Solvers and discretization for PDEs.
Category: Science\Math\Numerical Analysis\People

High Rank Elliptic Curves with Prescribed Torsion (Popularity: )

The highest rank currently known for an elliptic curve over Q with each of the ...
Category: Science\Math\Number Theory\Elliptic Curves and Modular Forms

Quasinewtonian Technologies (Popularity: )

QNT is a Canadian sotfware company with a special interest in mathematically and numerically intensive ...
Category: Science\Math\Software\Companies

Leaning Pine Software (Popularity: )

Math worksheets software generates printed math practice sheets for math help in grades K through ...
Category: Science\Math\Education\Software

Numerical Algorithms Group (NAG) (Popularity: )

Math, statistical and 3D visualization software components for finance, energy, life sciences, research and engineering.
Category: Science\Math\Software\Companies

Phonetic English (Popularity: )

Proposal to unite English spoken word with the written with sample translations of various materials ...
Category: Science\Social Sciences\Linguistics\Languages

Infinite Families of Elliptic Curves with Prescribed Torsion (Popularity: )

Compiled by Andrej Dujella.
Category: Science\Math\Number Theory\Elliptic Curves and Modular Forms

BAC Computer Software (Popularity: )

Calculator that performs the basic arithmetic operations on fractions and then at the press of ...
Category: Science\Math\Software\Calculators

History of Elliptic Curve Rank Records (Popularity: )

A table up to rank 24 compiled by Andrej Dujella.
Category: Science\Math\Number Theory\Elliptic Curves and Modular Forms

AAA Math (Popularity: )

Math topics with interactive practice, explanations and challenge games for each.
Category: Science\Math\Education\Teaching Resources