Search results

{{Short description|Computer algebra system}} '''SymbolicC++''' is a general purpose [[computer algebra system]] written in the programming language [[C++]]. It is [[free software ...

In [[computer algebra]], a '''regular semi-algebraic system''' is a particular kind of triangular ...a regular chain focusing on solutions of the real analogue: semi-algebraic systems. ...

In [[mathematics]], a '''median algebra''' is a set with a [[ternary operation]] <math>\langle x,y,z \rangle</math> There are other possible axiom systems: for example the two ...

{{Short description|Computer algebra system}} |genre = [[Computer algebra system]], [[Mathematical software]] ...

...AT) is an equational system that combines [[Kleene algebra]] and [[Boolean algebra]]. It was developed by [[Dexter Kozen]] in the 1990s. In 2022, Kozen receiv ...such that <math>(\mathcal{B}, +, \cdot, {}^-, 0, 1)</math> is a [[Boolean algebra]]. This means that for <math>\mathcal{B}</math>:{{sfn|Kozen|1996a|p=17}} ...

...'s theorem on decomposition of polynomials", ''Journal of Pure and Applied Algebra'' '''68''':3:293–296 (6 December 1990) {{doi|10.1016/0022-4049(90)90086-W}} ...reducible polynomial]]s. This technique is used in many [[computer algebra systems]].<ref>The examples below were calculated using [[Maxima (software)|Maxima] ...

...01933 | date=2 December 2012 |publisher=North-Holland|chapter=5.4 The Wang-algebra formulation|pages=332–352}} [https://books.google.com/books?id=kAcBm96mUvsC ...105-10-238|title=Generating rate equations for complex enzyme systems by a computer-assisted systematic method |year=2009 |last1=Qi |first1=Feng |last2=Dash |f ...

...">{{cite book |last1=Elmasri |first1=Ramez |title=Fundamentals of database systems |date=2016 |publisher=Pearson |isbn=978-0133970777 |edition=Seventh |locati ...that is <math>r</math> is the natural join of its [[Projection (relational algebra)|projections]] onto the smaller schemas. ...

...ept of Graph Algebras|"Graph Algebra" as used in the social sciences|Graph algebra (social sciences)}} ...e/page/206 pp. 206–231]}} and has seen many uses in the field of universal algebra since then. ...

In formal reasoning, in particular in [[mathematical logic]], [[computer algebra]], and [[automated theorem proving]], a '''fresh variable''' is a variable | series = Lecture Notes in Computer Science ...

{{Short description|Algorithm on systems of polynomials}} ...is a solution of {{mvar|S}} if and only if it is a solution of one of the systems {{math|''S''₁, ..., ''S_e''}}. ...

== Computer algebra systems== ...anipulation of [[Symbolic computing|symbolic equations]]. Computer algebra systems often include facilities for [[Infographic|graphing]] equations and provide ...

In [[algebra]], '''[[linear equation]]s''' and '''[[systems of linear equations]]''' over a [[Field (mathematics)|field]] are widely st ...'computable ring''', or '''effective ring'''. One may also say that linear algebra on the ring is '''effective'''. ...

| journal = Journal of Algebra }}</ref> He developed early computer software to complete the classification, and to verify that the classificat ...

...(''k'' + 1)}}th polynomial. In other words, regular chains allow solving [[systems of polynomial equations]] by solving successive univariate equations withou Note that: (1) the [[content (algebra)|content]] of the second polynomial is ''x''₂, which does not co ...

...of interactively searching for and retrieving requested information via a computer from [[database]]s that are [[online]].<ref name="whatis?">{{cite journal|l ...an algebra]], these types of searches utilize [[Boolean operation (Boolean algebra)|logical operations]] using [[Binary operation|binary or dyadic processes]] ...

...st Workshop on Conditional Term Rewriting Systems |series=Lecture Notes in Computer Science |pages=258–263 |publisher=[[Springer Science+Business Media|Springe ...r2=Dov M. Gabbay |editor3=Thomas S. E. Maibaum |title=Handbook of Logic in Computer Science|year=1995|volume=Vol. 3: Semantic structures|publisher=Clarendon Pr ...

{{short description|Scientific area at the interface between computer science and mathematics}} ...− 96''x'' − 71}}}}}} using the computer algebra system ''[[Axiom (computer algebra system)|Axiom]]'']] ...

...|url=http://dx.doi.org/10.1016/s0304-3975(96)00232-0 |journal=Theoretical Computer Science |volume=177 |issue=1 |pages=3–25 |doi=10.1016/s0304-3975(96)00232-0 ...ms for Effectful Categories |journal=Electronic Proceedings in Theoretical Computer Science |volume=380 |pages=344–361 |doi=10.4204/EPTCS.380.20 |arxiv=2205.07 ...

...m%3A978-3-540-38933-0%2F1.pdf|chapter=Front matter|series=Lecture Notes in Computer Science |isbn=3-540-13378-X |s2cid=7488558 }}</ref> ...16/6546/pdf/LIPIcs-CSL-2016-6.pdf |journal=25th EACSL Annual Conference on Computer Science Logic (CSL 2016) |series=Leibniz International Proceedings in Infor ...