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

Subject Terms: COLLISION detection (Computer animation), FORMAL methods (Computer science), CONFORMAL geometry, IMPACT (Mechanics), GEOMETRIC shapes, INDUSTRIAL robots

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

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

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

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

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

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

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)

Planning with Markov Decision Processes.

Authors: Mausam Kolobov, Andrey

Source: Synthesis Lectures on Artificial Intelligence & Machine Learning; 2012, Vol. 6 Issue 1, preceding p1-194, 212p

A Short Introduction to Preferences.

Authors: Rossi, Francesca Venable, Kristen Brent Walsh, Toby

Source: Synthesis Lectures on Artificial Intelligence & Machine Learning; 2011, Vol. 5 Issue 4, preceding p1-90, 104p

Cognitive representation and the process-architecture distinction.

Authors: Pylyshyn, Zenon W.

Source: Behavioral & Brain Sciences; Jan1980, Vol. 3 Issue 1, p154-169, 16p

Functional architecture and free will.

Authors: Kyburg, Henry E.

Source: Behavioral & Brain Sciences; Jan1980, Vol. 3 Issue 1, p143-146, 4p

Computation and cognition: issues in the foundations of cognitive science.

Authors: Pylyshyn, Zenon W.

Source: Behavioral & Brain Sciences; Jan1980, Vol. 3 Issue 1, p111-132, 22p