Suchergebnisse - Algorithms-algebraic algorithms*

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra von Cox, David, Little, John, OSHEA, Donal

“… Algebraic Geometry is the study of systems of polynomial equations in one or more variables, asking such questions …”
Volltext

Algebraic algorithms for a class of Schrödinger equations in split quaternionic mechanics von Jiang, Tongsong, Wang, Gang, Guo, Zhenwei, Zhang, Dong

“… In this paper, we study the least squares approximation of a class of Schrödinger equations in split quaternionic mechanics and propose two algebraic algorithms to the generalized right eigen‐problem for an i …”
Volltext

Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling von Soos, Mate, Meel, Kuldeep S.

“… Given a Boolean formula φ over the set of variables X and a projection set \mathcal{P} \subseteq X, then if \mathcal{I} \subseteq \mathcal{P} is independent …”
Volltext

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra von Cox, David

Volltext

Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP von Barto, Libor, Brady, Zarathustra, Bulatov, Andrei, Kozik, Marcin, Zhuk, Dmitriy

“… This paper focuses on the algebraic theory underlying the study of the complexity and the algorithms for the Constraint Satisfaction Problem (CSP …”
Volltext

Computational algebraic algorithms for the reliability of generalized k-out-of- n and related systems von Sáenz-de-Cabezón, Eduardo, Wynn, Henry P.

“… Identities and bounds for the reliability of coherent systems are analysed and computed using the techniques of commutative algebra. The techniques are applied …”
Volltext

First-Order Reasoning and Efficient Semi-Algebraic Proofs von Part, Fedor, Thapen, Neil, Tzameret, Iddo

“… Semi-algebraic proof systems such as sum-of-squares (SoS) have attracted a lot of attention recently due to their relation to approximation algorithms [3 …”
Volltext

A Logic for Locally Complete Abstract Interpretations von Bruni, Roberto, Giacobazzi, Roberto, Gori, Roberta, Ranzato, Francesco

“… We introduce the notion of local completeness in abstract interpretation and define a logic for proving both the correctness and incorrectness of some program …”
Volltext

A Comprehensive Review of Solving Selective Harmonic Elimination Problem With Algebraic Algorithms von Wang, Chenxu, Zhang, Qi, Yu, Wensheng, Yang, Kehu

“… ) equations, which are composed of some nonlinear transcendental equations. Over the past few decades, algebraic algorithms have shown a considerable ability to solve SHE equations, specifically for obtaining all exact solutions …”
Volltext

Constraint Satisfaction Problems over Finite Structures von Barto, Libor, DeMeo, William, Mottet, Antoine

“… We initiate a systematic study of the computational complexity of the Constraint Satisfaction Problem (CSP) over finite structures that may contain both …”
Volltext

Reliability-Based Forward Recursive Algorithms for Algebraic Soft-Decision Decoding of Reed--Solomon Codes von Haitao Xia, Cruz, J.R.

“… We propose efficient forward recursive algorithms for algebraic soft-decision list decoding of Reed-Solomon codes, which utilize channel reliability information, and outperform the Koetter-Vardy (KV …”
Volltext

Leveraging Critical Proof Obligations for Efficient IC3 Verification von Zhu, Lingfeng, Zhang, Xindi, Li, Yongjian, Cai, Shaowei

“… IC3 and its variants are SAT-based model-checking methods that play a critical role in hardware verification. Efficient management of proof obligations, which …”
Volltext

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning von Sanchez-Stern, Alex, Varghese, Abhishek, Kaufman, Zhanna, Zhang, Dylan, Ringer, Talia, Brun, Yuriy

“… Formal verification is a promising method for producing reliable software, but the difficulty of manually writing verification proofs severely limits its …”
Volltext

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments von Jung, Jean Christoph, Wolter, Frank

“… In logics with the Craig interpolation property (CIP) the existence of an interpolant for an implication follows from the validity of the implication. In …”
Volltext

CoqPilot, a plugin for LLM-based generation of proofs von Kozyrev, Andrei, Solovev, Gleb, Khramov, Nikita, Podkopaev, Anton

“… We present CoqPilot, a VS Code extension designed to help automate writing of Coq proofs. The plugin collects the parts of proofs marked with the admit tactic …”
Volltext

Algebraic algorithms for eigen-problems of a reduced biquaternion matrix and applications von Guo, Zhenwei, Jiang, Tongsong, Wang, Gang, Vasil'ev, V.I.

“… This paper studies eigen-problems of reduced biquaternion matrices by means of a complex representation of a reduced biquaternion matrix and derives new algebraic algorithms to find the eigenvalues …”
Volltext

Learning-Aided Safe Controller Synthesis with Formal Guarantees via Vector Barrier Certificates von Zeng, Xia, Ren, Mengxin, Liu, Zhiming, Yang, Zhengfeng

“… The design of controllers for safety-critical systems is an important research issue. Especially, the generation of controllers with formal safety guarantees …”
Volltext

Pipirima: Predicting Patterns in Sparsity to Accelerate Matrix Algebra von Bakhtiar, Ubaid, Joo, Donghyeon, Asgari, Bahar

“… While sparsity, a feature of data in many applications, provides optimization opportunities such as reducing unnecessary computations, data transfers, and …”
Volltext

ReSMiPS: A ReRAM-based Sparse Mixed-precision Solver with Fast Matrix Reordering Algorithm von Fu, Yuyang, Li, Jiancong, Chen, Jia, Zhou, Zhiwei, Zhou, Houji, Peng, Wenlong, Li, Yi, Miao, Xiangshui

“… The solution of sparse matrix equations is essential in scientific computing. However, traditional solvers on digital computing platforms are limited by memory …”
Volltext

AI-Assisted Autoformalization of Combinatorics Problems in Proof Assistants von Doan, Long, Nguyen, ThanhVu

“… Proof assistants such as Coq and LEAN have been increasingly used by renowned mathematicians to formalize and prove mathematical theorems. Despite their …”
Volltext