Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2501.18601 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Energy-Efficient Resource Management in Microservices-based Fog and Edge Computing: State-of-the-Art and Future Directions
by: Vali, Ali Akbar, et al.
Published: (2025)
by: Vali, Ali Akbar, et al.
Published: (2025)
A Survey of AI Methods for Geometry Preparation and Mesh Generation in Engineering Simulation
by: Owen, Steven, et al.
Published: (2025)
by: Owen, Steven, et al.
Published: (2025)
Classifying exact factorizations of minimal length of sporadic simple groups
by: Rahimipour, Ali Reza
Published: (2020)
by: Rahimipour, Ali Reza
Published: (2020)
On the calculation of inner products of Schur functions
by: J.A. Castilho Alcarás
Published: (2010)
by: J.A. Castilho Alcarás
Published: (2010)
Definite Descriptions and Hybrid Tense Logic
by: Indrzejczak, Andrzej, et al.
Published: (2024)
by: Indrzejczak, Andrzej, et al.
Published: (2024)
The UNC-method: a problem-based software development method
by: Carlos Mario Zapata Jaramillo
Published: (2009)
by: Carlos Mario Zapata Jaramillo
Published: (2009)
On homomorphic images of ultraproducts
by: Corson, Samuel M.
Published: (2025)
by: Corson, Samuel M.
Published: (2025)
Artinian groups of large cardinality
by: Corson, Samuel M., et al.
Published: (2024)
by: Corson, Samuel M., et al.
Published: (2024)
Stalnaker's Epistemic Logic in Isabelle/HOL
by: Guzman, Laura P. Gamboa, et al.
Published: (2024)
by: Guzman, Laura P. Gamboa, et al.
Published: (2024)
Anthem 2.0: Automated Reasoning for Answer Set Programming
by: Fandinno, Jorge, et al.
Published: (2025)
by: Fandinno, Jorge, et al.
Published: (2025)
Differential Algebraic Closure Framework for Group Representation Theory: Explicit Solutions and Combinatorial Structures
by: liu, shifa
Published: (2025)
by: liu, shifa
Published: (2025)
Universal Algebra in UniMath
by: Amato, Gianluca, et al.
Published: (2021)
by: Amato, Gianluca, et al.
Published: (2021)
Cubic threefolds moduli and the Monster group
by: Looijenga, Eduard
Published: (2023)
by: Looijenga, Eduard
Published: (2023)
Mechanised uniform interpolation for modal logics K, GL, and iSL
by: Férée, Hugo, et al.
Published: (2024)
by: Férée, Hugo, et al.
Published: (2024)
Description of the classification of publications and the models used in solving of the vehicle routing problem with pickup and delivery
by: Pedro Pablo Ballesteros Silva
Published: (2016)
by: Pedro Pablo Ballesteros Silva
Published: (2016)
Universality and Robustness of the Coherent Sector in Modal Triplet Theory
by: Nero, Peter
Published: (2026)
by: Nero, Peter
Published: (2026)
On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman
by: Grochow, Joshua A., et al.
Published: (2021)
by: Grochow, Joshua A., et al.
Published: (2021)
Count-Free Weisfeiler--Leman and Group Isomorphism
by: Collins, Nathaniel A., et al.
Published: (2022)
by: Collins, Nathaniel A., et al.
Published: (2022)
Groups elementary equivalent to finitely generated free metabelian
by: Kharlampovich, Olga, et al.
Published: (2023)
by: Kharlampovich, Olga, et al.
Published: (2023)
Discernment is all you need
by: Fuenmayor, David
Published: (2026)
by: Fuenmayor, David
Published: (2026)
Beyond Prediction -- Structuring Epistemic Integrity in Artificial Reasoning Systems
by: Wright, Craig Steven
Published: (2025)
by: Wright, Craig Steven
Published: (2025)
Journal of Applied and Numerical Analysis
Published: (2025)
Published: (2025)
Minimal operations over permutation groups
by: Marimon, Paolo, et al.
Published: (2024)
by: Marimon, Paolo, et al.
Published: (2024)
Twitch: Learning Abstractions for Equational Theorem Proving
by: Axelrod, Guy, et al.
Published: (2026)
by: Axelrod, Guy, et al.
Published: (2026)
Optimistic Higher-Order Superposition
by: Bentkamp, Alexander, et al.
Published: (2025)
by: Bentkamp, Alexander, et al.
Published: (2025)
A heuristic decomposition method for large-scale traffic assignment: Aburra Valley case study
by: Laura Lotero
Published: (2013)
by: Laura Lotero
Published: (2013)
Bidirectional Interpolation for the Lambda-Calculus -- Revisiting and Formalising Craig-Čubrić Interpolation
by: Bertrand, Meven Lennon, et al.
Published: (2026)
by: Bertrand, Meven Lennon, et al.
Published: (2026)
A Proof System with Causal Labels (Part II): checking Counterfactual Fairness
by: Ceragioli, Leonardo, et al.
Published: (2025)
by: Ceragioli, Leonardo, et al.
Published: (2025)
Trustworthiness Preservation by Copies of Machine Learning Systems
by: Ceragioli, Leonardo, et al.
Published: (2025)
by: Ceragioli, Leonardo, et al.
Published: (2025)
A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality
by: Ceragioli, Leonardo, et al.
Published: (2025)
by: Ceragioli, Leonardo, et al.
Published: (2025)
Tree-like graphings, wallings, and median graphings of equivalence relations
by: Chen, Ruiyuan, et al.
Published: (2023)
by: Chen, Ruiyuan, et al.
Published: (2023)
A Coq-based Axiomatization of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)
by: Barlatier, Patrick, et al.
Published: (2025)
The Sierpiński Problem
by: Keen, Joseph
Published: (2026)
by: Keen, Joseph
Published: (2026)
Uniqueness Properties of The Solution of The Inverse Problem for The Sturm-Liouville Equation With Discontinuous Leading Coefficient
by: ANAR ADILOGLU
Published: (2017)
by: ANAR ADILOGLU
Published: (2017)
Non-Ground Congruence Closure
by: Leidinger, Hendrik, et al.
Published: (2024)
by: Leidinger, Hendrik, et al.
Published: (2024)
Mechanized HOL Reasoning in Set Theory
by: Guilloud, Simon, et al.
Published: (2024)
by: Guilloud, Simon, et al.
Published: (2024)
Revisiting Conjunctive Query Entailment for $\mathcal S$
by: Ibáñez-García, Yazmín, et al.
Published: (2025)
by: Ibáñez-García, Yazmín, et al.
Published: (2025)
Executable First-Order Queries in the Logic of Information Flows
by: Aamer, Heba, et al.
Published: (2022)
by: Aamer, Heba, et al.
Published: (2022)
Verifying Procedural Programs via Constrained Rewriting Induction
by: Fuhs, Carsten, et al.
Published: (2014)
by: Fuhs, Carsten, et al.
Published: (2014)
Incomplete Descriptions and Qualified Definiteness
by: Więckowski, Bartosz
Published: (2024)
by: Więckowski, Bartosz
Published: (2024)