algebra-ai999x
Algebra, solved step by step.
About this model
algebra-ai999x solves linear, quadratic, cubic and quartic equations, systems, inequalities, logarithms, sequences and matrices, and writes proofs — with step-by-step working and LaTeX. It runs offline on any CPU as a Python package, with ONNX formula graphs and a compact ONNX model that reads free-form questions. Version 2 adds search across every AI999X model — ask in your own words and it points you to the right formula, even in another model — and figures of any answer, drawn in your notebook.
Install
pip install algebra-ai999x hf download AI999X/algebra-ai999x --local-dir algebra-ai999x
Use
import algebra_ai999x as algebra
algebra.ask("Find the roots of x^3 - 6x^2 + 11x - 6 = 0.").values
# -> {'x1': 1.0, 'x2': 2.0, 'x3': 3.0} Formulas
37 capabilities. Open any of them on the capability orb to solve it in your browser.
Add rational expressions with same denominator
\text{sum num} = \text{num}_{1} + \text{num}_{2},\quad \text{sum den} = \text{den}
Asymptotes of a linear rational function
c v_{a} + d = 0,\quad c h_{a} = a
Average rate of change between two points
m \left(x_{2} - x_{1}\right) = y_{2} - y_{1}
Average rate of change of a function between two inputs
\text{arc} \left(x_{\text{end}} - x_{\text{start}}\right) = f_{x,end} - f_{x,start}
Centre and radius of a circle from its general equation
\left(t - h\right)^{2} + \left(w - k\right)^{2} - \text{rad}^{2} = t^{2} + w^{2} + d_{d} t + e_{e} w + f_{f}
Combinations and permutations
\binom{n}{k} = \frac{n!}{k!\,(n-k)!},\quad P(n,k) = \frac{n!}{(n-k)!}
Show all 37 formulas
Composition of two linear functions
m t + k = a \left(c t + d\right) + b
Compound interest
\ln\left(\text{amount}\right) = \ln\left(\text{principal}\right) + n t \ln\left(1 + \frac{r}{n}\right)
Determinant and inverse of a 2 by 2 matrix
\text{det} = a d - b c,\quad a i_{11} + b i_{21} = 1,\quad a i_{12} + b i_{22} = 0,\quad c i_{11} + d i_{21} = 0,\quad c i_{12} + d i_{22} = 1
Determinant of 2x2 matrix
\text{det} = a d - b c
Discriminant of a quadratic
\Delta = b^2 - 4ac
Distance between two points
\text{dist}^{2} = \left(x_{2} - x_{1}\right)^{2} + \left(y_{2} - y_{1}\right)^{2}
Doubling time of exponential growth
k t_{d} = \ln\left(2\right)
Factoring a monic quadratic
\left(t + p\right) \left(t + q\right) = t^{2} + b t + c
Line through two points
m x_{1} + k = y_{1},\quad m x_{2} + k = y_{2}
Matrix scalar multiple definition
b_{11} = s a_{11},\quad b_{12} = s a_{12},\quad b_{21} = s a_{21},\quad b_{22} = s a_{22}
Midpoint of a line segment
2 m_{x} = x_{1} + x_{2},\quad 2 m_{y} = y_{1} + y_{2}
Multiply rational expressions
\text{prod num} = \text{num}_{1} \text{num}_{2},\quad \text{prod den} = \text{den}_{1} \text{den}_{2}
Perimeter of a rectangle
p - 2 h = 2 w
Product and modulus of complex numbers
\operatorname{Re} = a c - b d,\quad \operatorname{Im} = a d + b c,\quad \text{modulus}^{2} = \left(a^{2} + b^{2}\right) \left(c^{2} + d^{2}\right)
Product of two binomials
p_{2} t^{2} + p_{1} t + p_{0} = \left(a t + b\right) \left(c t + d\right)
Root of a linear equation
a x + b = c
Roots of a cubic equation
a x^3 + b x^2 + c x + d = 0
Roots of a quadratic equation
x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}
Roots of a quartic equation
a x^4 + b x^3 + c x^2 + d x + e = 0
Slope of a perpendicular line
m m_{\text{perp}} = -1
Solution interval of |x - c| < d
\text{upper} - \text{lower} = 2 d,\quad \text{upper} + \text{lower} = 2 c
Solution of a basic logarithmic equation
\ln\left(x\right) = c \ln\left(b\right)
Solution of a linear inequality
a x_{0} + b = c,\quad s \sqrt{a^{2}} = a
Solution of an exponential equation
x \ln\left(b\right) = \ln\left(y\right)
Solution of two linear equations in two unknowns
a x + b y = c,\quad d x + e y = f
Solution set of |x - c| > d
\text{right limit} - \text{left limit} = 2 d,\quad \text{right limit} + \text{left limit} = 2 c
Solutions of an absolute value equation
a x_{1} + b = c,\quad a x_{2} + b = -c
Term and partial sum of a geometric sequence
g_{n} = g_{1} q^{n - 1},\quad s_{n} \left(1 - q\right) = g_{1} \left(1 - q^{n}\right)
Term and partial sum of an arithmetic sequence
a_{n} = a_{1} + \left(n - 1\right) d,\quad 2 s_{n} = n \left(a_{1} + a_{n}\right)
Vertex form of a quadratic function
a \left(t - h\right)^{2} + k = a t^{2} + b t + c
y-intercept of a line from its slope and a point
y_{1} = m x_{1} + b
Topics
- Algebra
- Algebra Solver
- Step By Step Solutions
- Homework Help
- Education
- Offline
- Feature Extraction
- Semantic Search
- Math Solver
- Math
Versions
Files
58 files, 203.4 MB in total. The largest:
| File | Size |
|---|---|
| onnx/decision.safetensors | 133.7 MB |
| onnx/decision.int8.onnx | 37.1 MB |
| model.safetensors | 18.9 MB |
| onnx/search/encoder.int8.onnx | 4.9 MB |
| dist/algebra_ai999x-2.0.0-py3-none-any.whl | 4.8 MB |
| docs/algebra_ai999x_capabilities.pdf | 1.7 MB |
| onnx/tokenizer.json | 711.7 KB |
| docs/algebra_ai999x_onnx_formulas.pdf | 615.1 KB |
| onnx/search/index.json | 403.3 KB |
| onnx/search/tokenizer.json | 176.4 KB |
| docs/algebra_ai999x_capabilities.html | 144.9 KB |
| docs/algebra_ai999x_capabilities.md | 108.9 KB |
More natural language processing models
More from AI999X