Suchergebnisse - Algorithms—Algebraic algorithms*

Aplicaciones de los Sistemas Matemáticos en la Resolución de Problemas de Optimización en Ingeniería y Finanzas von López Martínez, Juana Raquel, Ramos López, Bryan Steeven, Ramos López, Keyla Roxana, Lozada López, Darwin Joel

“… La optimización juega un papel clave en la ingeniería y las finanzas, permitiendo resolver problemas complejos bajo restricciones específicas. En América …”
Volltext

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

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

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

Robust Algebraic Multilevel Methods and Algorithms von Kraus, Johannes, Margenov, Svetozar

“… This book deals with algorithms for the solution of linear systems of algebraic equations with large-scale sparse matrices, with a focus on problems that are obtained after discretization of partial …”
Volltext

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

“… Algebraic Geometry is the study of systems of polynomial equations in one or more variables, asking such questions …”
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

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

Finite fields: theory, applications, and algorithms : Fourth International Conference on Finite Fields-- Theory, Applications, and Algorithms, August 12-15, 1997, University of Waterloo, Ontario, Canada von Mullin, Ronald C

“… The Fourth International Conference on 'Finite Fields: Theory, Applications, and Algorithms' was held at the University of Waterloo in August 1997 …”
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