The world's definitive system for modern technical computing.
wolfram.com
Results for “Mathematica”
13 tools found
Bulletin of the American Mathematical SocietyExpository articles on contemporary mathematical research, written in a way that gives insight to mathematicians who may not be experts in the particular topic.
ams.org
The Magazine features announcements about meetings and conferences, articles outlining current trends in scientific development, reports on member societies, and many other informational items.
euromathsoc.org
source of unique and challenging mathematical problems designed for the secondary and undergraduate levels. It includes an Olympiad Corner which is helpful for math competitions.
cms.math.ca
George M. Bergman
math.berkeley.edu
Native macOS Markdown editor geared toward mathematical writing with inline LaTeX support.
furnacecreek.org
Maple is math software that combines the world's most powerful math engine with an interface that makes it extremely easy to analyze, explore, visualize, and solve mathematical problems.
maplesoft.com
A mathematical software with features covering many aspects of mathematics, including algebra, combinatorics, numerical mathematics, number theory, and calculus.
sagemath.org
The C++ Mathematical Expression Toolkit Library (ExprTk) is a simple to use, easy to integrate and extremely efficient run-time mathematical expression parser and evaluation engine. [MIT]
partow.net
an annual conference on mathematical connections in art, music, architecture, and culture. The 2025 meeting is in Eindhoven, Netherlands.
bridgesmathart.org
Every AI provider asks you to trust that they won't peek at your data — Tinfoil instead runs your AI chats and API calls inside a locked hardware box (a "secure enclave") that's mathematically provable to be sealed off, even from Tinfoil's own engineers,
tinfoil.sh
An open-source gateway that lets an AI agent query your sensitive data while mathematically guaranteeing it can never learn about any single individual in that data.
github.com
A formal verification tool that mathematically proves whether a SQL query edit changes the result — not a heuristic guess, a definitive yes-or-no answer.
github.com