Past week

All results

- All results
- Verbatim

8 hours ago · Axioms is an international, peer-reviewed, open access journal of mathematics, mathematical logic and mathematical physics, published monthly online by MDPI.

1 day ago · Axioms publishes Special Issues to create collections of papers on specific topics, with the aim of building a community of authors and readers.

2 days ago · We had something like this in Spad the extension language for the computer algebra system Axiom. They're not terrible to implement; but, utilization was ...

6 days ago · The SKI combinator calculus is a combinatory logic system and a computational system. It can be thought of as a computer programming language.

3 days ago · Mathematics is a logical system based on axioms which we made up but somehow it makes sense and we find strange connections in it. Weird stuff. Upvote 0

7 days ago · Large cardinal axioms are a collection of hypotheses in set theory that assert the existence of certain kinds of infinite sets, called large cardinals, ...

3 days ago · We had something like this in Spad the extension language for the computer algebra system Axiom. They're not terrible to implement; but, utilization was ...

6 days ago · Articles written by interns working with Tom at Tom Rocks Maths HQ in Oxford.

5 days ago · We are dedicated to solving computational problems in algebraic geometry and related areas using numerical techniques. This includes solving polynomial ...