Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

Axiom · Vinony

EntityQ509474· pop 10· linked from 70 articles

Axiom

Sign in to save

computer algebra system

Connections

operating system

International Standard Book Number

digital object identifier

International Standard Serial Number

open-source software

General Electric

software license

proprietary software

Categories

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

Sources

wikipedia.externallinksexternallink

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