Výsledky vyhledávání - algorithms—algebraic algorithms*

Aplicaciones de los Sistemas Matemáticos en la Resolución de Problemas de Optimización en Ingeniería y Finanzas Autor 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…”
Získat plný text

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

“…Algebraic Geometry is the study of systems of polynomial equations in one or more variables, asking such questions…”
Získat plný text

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

Získat plný text

Algebraic algorithms for a class of Schrödinger equations in split quaternionic mechanics Autor 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…”
Získat plný text

Robust Algebraic Multilevel Methods and Algorithms Autor 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…”
Získat plný text

Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra Autor 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…”
Získat plný text

Arjun: An Efficient Independent Support Computation Technique and its Applications to Counting and Sampling Autor 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…”
Získat plný text

Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP Autor 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…”
Získat plný text

Computational algebraic algorithms for the reliability of generalized k-out-of- n and related systems Autor 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…”
Získat plný text

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 Autor Mullin, Ronald C

“…The Fourth International Conference on 'Finite Fields: Theory, Applications, and Algorithms' was held at the University of Waterloo in August 1997…”
Získat plný text

First-Order Reasoning and Efficient Semi-Algebraic Proofs Autor 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…”
Získat plný text

A Logic for Locally Complete Abstract Interpretations Autor 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…”
Získat plný text

A Comprehensive Review of Solving Selective Harmonic Elimination Problem With Algebraic Algorithms Autor 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…”
Získat plný text

Constraint Satisfaction Problems over Finite Structures Autor 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…”
Získat plný text

Reliability-Based Forward Recursive Algorithms for Algebraic Soft-Decision Decoding of Reed--Solomon Codes Autor 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…”
Získat plný text

Leveraging Critical Proof Obligations for Efficient IC3 Verification Autor 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…”
Získat plný text

QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning Autor 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…”
Získat plný text

Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable Fragments Autor 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…”
Získat plný text

CoqPilot, a plugin for LLM-based generation of proofs Autor 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…”
Získat plný text

Algebraic algorithms for eigen-problems of a reduced biquaternion matrix and applications Autor 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…”
Získat plný text