Cover Image

MathPartner: An Artificial Intelligence Cloud Service

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Malaschonok, Gennadi, Seliverstov, Alexandr
Format:	Preprint
Published:	2024
Subjects:	Symbolic Computation 68T01 F.4.1; F.2.2
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

MathPartner is a breakthrough technology for natural sciences education, scientic and engineering applications
by: Malaschonok, Gennadi, et al.
Published: (2025)

Probabilistic Shoenfield Machines
by: Bujok, Maksymilian, et al.
Published: (2024)

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
by: Wang, Shuai
Published: (2024)

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
by: de Rezende, Susanna F., et al.
Published: (2019)

A Complexity Dichotomy for Temporal Valued Constraint Satisfaction Problems
by: Bodirsky, Manuel, et al.
Published: (2024)

Dynamic Boolean Synthesis with Zero-suppressed Decision Diagrams
by: Lin, Yi, et al.
Published: (2025)

Incremental Selection of Most-Filtering Conjectures and Proofs of the Selected Conjectures
by: Ngouonou, Jovial Cheukam, et al.
Published: (2025)

Constant time testability of first-order logic with modulo counting on finitary graphs
by: Adler, Isolde, et al.
Published: (2026)

Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients
by: de Rezende, Susanna F., et al.
Published: (2024)

Supercritical Tradeoffs for Monotone Circuits
by: Göös, Mika, et al.
Published: (2024)

Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
by: Conneryd, Jonas, et al.
Published: (2025)

On bounded depth proofs for Tseitin formulas on the grid; revisited
by: Håstad, Johan, et al.
Published: (2022)

Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size
by: de Rezende, Susanna F., et al.
Published: (2026)

Computable Gap Assessment of Artificial Intelligence Governance in Children's Centres: Evidence-Mechanism-Governance-Indicator Modelling of UNICEF's Guidance on AI and Children 3.0 Based on the Graph-GAP Framework
by: Meng, Wei
Published: (2025)

LTL Verification of Memoryful Neural Agents
by: Hosseini, Mehran, et al.
Published: (2025)

On the Satisfaction Probabilities of $k$-CNF Formulas
by: Tantau, Till
Published: (2022)

Introducing The Maximum Common Bigraph Problem
by: Burns, Kyle, et al.
Published: (2026)

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
by: Dorochko, Leonid, et al.
Published: (2026)

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
by: Praveen, M., et al.
Published: (2024)

The Complexity of Resilience Problems via Valued Constraint Satisfaction
by: Bodirsky, Manuel, et al.
Published: (2023)

The Fluted Fragment with Transitive Relations
by: Pratt-Hartmann, Ian, et al.
Published: (2020)

Learning to Repair Lean Proofs from Compiler Feedback
by: Wang, Evan, et al.
Published: (2026)

A Formal Analysis of Algorithms for Matroids and Greedoids
by: Abdulaziz, Mohammad, et al.
Published: (2025)

A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
by: Kazakov, Yevgeny, et al.
Published: (2009)

Folding One Polyhedral Metric Graph into Another
by: Chung, Lily, et al.
Published: (2024)

Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
by: Chen, Shaoshi, et al.
Published: (2026)

Complete Reduction for Derivatives in a Primitive Tower
by: Du, Hao, et al.
Published: (2025)

Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
by: Golovach, Petr A., et al.
Published: (2022)

Factorial Basis Method for q-Series Applications
by: Jiménez-Pastor, Antonio, et al.
Published: (2024)

Locality, Consistency, and the Tractability Frontier
by: Simas, Tristan
Published: (2026)

When do homomorphism counts help in query algorithms?
by: Cate, Balder ten, et al.
Published: (2023)

Complexity Classification Transfer for CSPs via Algebraic Products
by: Bodirsky, Manuel, et al.
Published: (2022)

Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes
by: Sau, Ignasi, et al.
Published: (2026)

Mechanizing Operads with Event-B
by: Attiogbé, Christian
Published: (2025)

i-QLS: Quantum-supported Algorithm for Least Squares Optimization in Non-Linear Regression
by: Venkatesh, Supreeth Mysore, et al.
Published: (2025)

Toward Quantum Utility in Finance: A Robust Data-Driven Algorithm for Asset Clustering
by: Sharma, Shivam, et al.
Published: (2025)

Directional Non-Commutative Monoidal Structures with Interchange Law via Commutative Generators
by: Godavarti, Mahesh
Published: (2025)

Data-Driven Animation Controller: A Prioritized Visual System for Decoupled Animation Logic in Godot Game Engine
by: TorabNezhad, Abtin, et al.
Published: (2026)

Deducibility in the full Lambek calculus with weakening is HAck-complete
by: Greati, Vitor, et al.
Published: (2024)

Hypersequent Calculi Have Ackermannian Complexity
by: Balasubramanian, A. R., et al.
Published: (2026)