Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Axiom · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Português Türkçe Русский 日本語

EntityQ509474· pop 10· linked from 70 articles

Axiom

computer algebra system

Wikidata facts

Official website: www.axiom-developer.org
Image: AxiomGraphics.png

Sources (2)

wikidata.org
axiom-developer.org

via Wikidata · CC0

Available in 9 languages

Español
Français
Deutsch
日本語
Русский
Português
Italiano
Türkçe

via Wikidata sitelinks · CC0

Connections

Categories

Common Lisp (programming language) software Computer algebra system software for Linux Free computer algebra systems Free software programmed in Lisp

Sources

wikipedia.externallinksexternallink

operating system

Entity

International Standard Book Number

digital object identifier

International Standard Serial Number

open-source software

General Electric

software license

proprietary software

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Hilbert's program

Entitydist 0.39

Hilbert's axioms

Entitydist 0.41

Curry–Howard correspondence

Entitydist 0.41

Entitydist 0.43

Entitydist 0.47

axiom of pairing

Entitydist 0.47

programming language semantics

Entitydist 0.48

Zermelo set theory

Entitydist 0.50

axiom of power set

Entitydist 0.50

Entitydist 0.51

automated theorem proving

Entitydist 0.52

theory of computation

Entitydist 0.52

What links here70 pages

GNU Common Lisp

computer algebra system

mathematical software

literate programming

Engineering Equation Solver

list comprehension

Risch algorithm