共 50 条
- [21] ACCO: Algebraic Computation with Comparison PROCEEDINGS OF THE 2021 CLOUD COMPUTING SECURITY WORKSHOP, CCSW 2021, 2021, : 21 - 38
- [22] Algebraic specification of agent computation Applicable Algebra in Engineering, Communication and Computing, 2005, 16 : 77 - 111
- [23] ALGEBRAIC COMPUTATION IN GRAPHICAL CALCULATIONS ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1984, 188 (AUG): : 33 - COMP
- [25] Formal Verification of Arithmetic Datapaths using Algebraic Geometry and Symbolic Computation PROCEEDINGS OF THE 15TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2015), 2015, : 2 - 2
- [29] Symbolic computation of the roots of nonlinear algebraic equations using perturbation theory ICECCO'12: 9TH INTERNATIONAL CONFERENCE ON ELECTRONICS, COMPUTER AND COMPUTATION, 2012, : 171 - 173
- [30] Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation New Generation Computing, 2022, 40 : 225 - 254