Search Results - symbolic and algebraic manipulation—algorithms general terms algorithms keywords more operators

Formalization of robot collision detection method based on conformal geometric algebra.

Authors: Wu, Yingjie Wang, Guohui Chen, Shanyan et al.

Source: Formal Methods in System Design; Dec2025, Vol. 67 Issue 3, p255-281, 27p

ABSTRACTS from other ACM Publications.

Source: Communications of the ACM; Sep82, Vol. 25 Issue 9, p666-668, 3p

Subject Terms: INFORMATION technology, DISTRIBUTED databases, RELATIONAL databases, COMPUTER science, ELECTRONIC file management, COMPUTER systems

Higher-Order Logic Formalization of Conformal Geometric Algebra and its Application in Verifying a Robotic Manipulation Algorithm.

Authors: Ma, Sha Shi, Zhiping Shao, Zhenzhou et al.

Source: Advances in Applied Clifford Algebras; Dec2016, Vol. 26 Issue 4, p1305-1330, 26p

From Sylvester-Gallai Configurations to Rank Bounds: Improved Blackbox Identity Test for Depth-3 Circuits.

Authors: SAXENA, NITIN SESHADHRI, C.

Source: Journal of the ACM; Oct2013, Vol. 60 Issue 5, p1-33, 33p

Subject Terms: CONFIGURATION management, PRODUCTION management (Manufacturing), MATHEMATICS theorems, BAYES' theorem, BAYESIAN analysis

Representing the Integer Factorization Problem Using Ordered Binary Decision Diagrams.

Authors: Brown, David E. Skidmore, David

Source: Theory of Computing Systems; Dec2023, Vol. 67 Issue 6, p1307-1332, 26p

Subject Terms: BOOLEAN functions, INTEGERS, FACTORIZATION, EQUATIONS

Automatic Code Generation for High-performance Discontinuous Galerkin Methods on Modern Architectures.

Authors: Kempf, Dominic Heß, René Müthing, Steffen et al.

Source: ACM Transactions on Mathematical Software; Mar2021, Vol. 47 Issue 1, p1-31, 31p

Subject Terms: GALERKIN methods, MODERN architecture, STOKES equations, OPEN source software, SOFTWARE frameworks

Recursive Data Structures in APL.

Authors: Gull, W.E. Jenkins, M.A. Horning, J.J.

Source: Communications of the ACM; Feb1979, Vol. 22 Issue 2, p79-96, 18p, 9 Diagrams

Subject Terms: APL (Computer program language), DATA structures, ALGORITHMS

Multiplierless Multiple Constant Multiplication.

Authors: Voronenko, Yevgen Püschel, Markus

Source: ACM Transactions on Algorithms; 2007, Vol. 3 Issue 2, p1-38, 38p, 8 Diagrams, 8 Charts, 7 Graphs

Subject Terms: MULTIPLIERS (Mathematical analysis), MATHEMATICAL constants, ALGORITHMS, FIXED point theory, NONLINEAR operators, FUNCTIONAL analysis

Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held As Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part I

Authors: Arie Gurfinkel Marijn Heule

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

Formalization of Geometric Algebra in HOL Light.

Authors: Li, Li-Ming Shi, Zhi-Ping Guan, Yong et al.

Source: Journal of Automated Reasoning; Oct2019, Vol. 63 Issue 3, p787-808, 22p

Subject Terms: ALGEBRA, ENGINEERING design, MATHEMATICS theorems, SOFTWARE architecture, ARBITRARY constants

Positivity of cumulative sums for multi-index function components explains the lower bound formula in the Levin-Robbins-Leu family of sequential subset selection procedures.

Authors: Levin, Bruce Leu, Cheng-Shiun

Source: Sequential Analysis; 2020, Vol. 39 Issue 4, p520-542, 23p

Subject Terms: CUSUM technique, SUBSET selection, PROBABILITY theory

A key inequality for lower bound formulas for lattice event probabilities.

Authors: Levin, Bruce Leu, Cheng-Shiun

Source: Sequential Analysis; 2021, Vol. 40 Issue 4, p554-574, 21p

Subject Terms: PROBABILITY theory, SPECIAL events, SUBSET selection

SYMBOLIC PROGRAMMING OF A GRAPH-THEORETIC APPROACH TO FLEXIBLE MULTIBODY DYNAMICS*.

Authors: Shi, Pengfei McPhee, John

Source: Mechanics of Structures & Machines; Feb2002, Vol. 30 Issue 1, p123, 32p

Subject Terms: GRAPH theory, KINEMATICS, VIRTUAL work

An Algorithm for Deciding Zero Equivalence of Nested Polynomially Recurrent Sequences.

Authors: Kauers, Manuel

Source: ACM Transactions on Algorithms; 2007, Vol. 3 Issue 2, p1-14, 14p

Subject Terms: ALGORITHMS, RECURSIVE sequences (Mathematics), ZERO (The number), EQUIVALENCE classes (Set theory), MATHEMATICAL sequences, POLYNOMIALS, ALGEBRA

Algebric Decision Diagrams and Their Applications.

Authors: Bahar, R.I. Frohm, E.A. Gaona, C.M. et al.

Source: Formal Methods in System Design; Apr1997, Vol. 10 Issue 2/3, p171-206, 36p

Multiway Decision Graphs for Automated Hardware Verification.

Authors: Corella, F. Zhou, Z. Song, X. et al.

Source: Formal Methods in System Design; Feb1997, Vol. 10 Issue 1, p7-46, 40p

Binary decision diagrams in theory and practice.

Authors: Drechsler, Rolf Sieling, Detlef

Source: International Journal on Software Tools for Technology Transfer; May2001, Vol. 3 Issue 2, p112-136, 25p

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Dirk Beyer Marieke Huisman Fabrice Kordon et al.

Resource Type: eBook.

Subjects: Computer software--Verification--Congresses, System design--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, BUSINESS & ECONOMICS / Careers / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation

A FUZZY-MEMBRANE-IMMUNE ALGORITHM FOR BREAST CANCER DIAGNOSIS.

Authors: Nabil, Emad Badr, Amr Farag, Ibrahim

Source: Studia Universitatis Babeş-Bolyai, Informatica; Jun2012, Vol. 57 Issue 2, p3-19, 17p, 8 Diagrams, 8 Charts, 2 Graphs

Subject Terms: BREAST cancer diagnosis, FUZZY algorithms, CELL membranes, FUZZY systems

Geographic Terms: WISCONSIN

Algebra-Coalgebra Duality in Brzozowski's Minimization Algorithm.

Authors: BONCHI, FILIPPO BONSANGUE, MARCELLO M. HANSEN, HELLE H. et al.

Source: ACM Transactions on Computational Logic; Feb2014, Vol. 15 Issue 1, p3:1-3:29, 29p

Subject Terms: FINITE state machines, ALGORITHMS, COMPUTER simulation, UNIVERSAL algebra, MODEL theory, DUALITY theory (Mathematics)