I am curious to figure out the difference between linear algebra and linear arithmetic. By linear arithmetic I mean the one is usually used in SMT(satisfiability modulo theory) context as LRA (linear real arithmetic).
Asked
Active
Viewed 116 times
0
-
See the post Linear Arithmetic - why calling it linear? – Mauro ALLEGRANZA Sep 25 '19 at 13:17
-
Linear algebra "is the branch of mathematics concerned with the study of vectors, vector spaces (also called linear spaces), linear transformations (also called linear maps), and systems of linear equations." – Mauro ALLEGRANZA Sep 25 '19 at 13:18
-
Thus, no "deep connection" here : only the prominent role of "linear" functions, formulas in both. – Mauro ALLEGRANZA Sep 25 '19 at 13:19