Full Text Available
Access Full Text at Repository
Search Results - "mathematics"
-
A Deductive Refinement Calculus for Differential-Algebraic Programs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
Online Article RSS Article -
Just Previsions
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Formal Verification of Imperative First-Class Functions in Move
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Combining Mechanical and Agentic Specification Inference for Move
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Weighted Rules under the Stable Model Semantics
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Categorical Message Passing Language (CaMPL) for programmers
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Barrier Certificates for Uncertain Temporal Specifications
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Dsat: A Native SAT Solver for Discrete Logic
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Well-Scoped Locally Nameless Representation of Syntax
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Lattice Deduction Transformers
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Influence of in-class and after-class mathematics practice on students' achievement in selected secondary schools in ibadan north local government of Oyo State, Nigeria
Published 2014-09Subjects: “…Mathematics Achievement Test (MAT)…”
ArticleFull Text AvailableAccess Repository -
Effect of testwiseness training on objective test performance in mathematics among secondary school students in Ekiti state
Published 2012-06Subjects: “…mathematics…”
ArticleFull Text AvailableAccess Repository -
The relationship between gender, age, mental ability, anxiety, mathematics self-efficacy and achievement in mathematics
Published 2009Subjects: “…Mathematics self-efficacy…”
ArticleFull Text AvailableAccess Repository