Results for Pure Mathematics

Results for Pure Mathematics Showing 1 - 50 results of 94 Laminas_Feed_Writer 2 (https://getlaminas.org) https://search.frelip.org/Search/Results?sort=last_indexed+desc&limit=50&lookfor=Pure+Mathematics&type=AllFields&lng=en 94 0 50 DEVELOPMENT OF A REAL-TIME PETROLEUM PRODUCTS ADULTERATION DETECTOR FOR LIQUID AND PARTICULATE CONTAMINANTS Sat, 01 Jan 2022 20:26:32 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F10802 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F10802 Article 2022 0 Trend analysis in academic journals in computer science using text mining Thu, 01 Jan 2015 20:26:32 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F11358 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F11358 Article 2015 0 Prediction of central location of the state with irregular boundary Sat, 01 Jan 2011 20:26:32 -0500 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F1980 https://search.frelip.org/Record/oai:repository.ui.edu.ng:123456789%2F1980 Article 2011 0 Periodic Solutions for -Species Lotka-Volterra Competitive Systems with Pure Delays Thu, 01 Jan 2015 20:26:32 -0500 https://search.frelip.org/Record/rss_article:16872 https://search.frelip.org/Record/rss_article:16872 Online Article RSS Article 2015 0 On purely-maximal ideals with applications Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:17086 https://search.frelip.org/Record/rss_article:17086 Online Article RSS Article 2026 0 RIGHT PURE UNI-SOFT IDEALS OF ORDERED SEMIGROUPS Mon, 01 Jan 2018 20:26:32 -0500 https://search.frelip.org/Record/rss_article:17352 https://search.frelip.org/Record/rss_article:17352 Online Article RSS Article 2018 0 A Note on Matrices Over ℤ with Entries Stemming from Binomial Coefficients and from Catalan Numbers Once Pure and Once Taken Modulo 2 Wed, 01 Jan 2025 20:26:32 -0500 https://search.frelip.org/Record/rss_article:21936 https://search.frelip.org/Record/rss_article:21936 Online Article RSS Article 2025 0 Non-negative Rational Semantic Numeration Systems Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48459 https://search.frelip.org/Record/rss_article:48459 Online Article RSS Article 2026 0 Splitting Argumentation Frameworks with Collective Attacks and Supports Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48460 https://search.frelip.org/Record/rss_article:48460 Online Article RSS Article 2026 0 Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48461 https://search.frelip.org/Record/rss_article:48461 Online Article RSS Article 2026 0 On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48462 https://search.frelip.org/Record/rss_article:48462 Online Article RSS Article 2026 0 Attractor FCM Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48463 https://search.frelip.org/Record/rss_article:48463 Online Article RSS Article 2026 0 Computing Witnesses Using the SCAN Algorithm Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48464 https://search.frelip.org/Record/rss_article:48464 Online Article RSS Article 2026 0 A Logic of Inability Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48465 https://search.frelip.org/Record/rss_article:48465 Online Article RSS Article 2026 0 Order-invariant cluster first-order logic on graph classes of bounded degree Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48466 https://search.frelip.org/Record/rss_article:48466 Online Article RSS Article 2026 0 BAss: Symbolic Reasoning in Abstract Dialectical Frameworks Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48467 https://search.frelip.org/Record/rss_article:48467 Online Article RSS Article 2026 0 A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48468 https://search.frelip.org/Record/rss_article:48468 Online Article RSS Article 2026 0 Full Definability in a Profunctorial Model Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48469 https://search.frelip.org/Record/rss_article:48469 Online Article RSS Article 2026 0 Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes) Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48470 https://search.frelip.org/Record/rss_article:48470 Online Article RSS Article 2026 0 On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48471 https://search.frelip.org/Record/rss_article:48471 Online Article RSS Article 2026 0 An Effective Orchestral Approach to Satisfiability Modulo Prime Fields Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48472 https://search.frelip.org/Record/rss_article:48472 Online Article RSS Article 2026 0 On-the-fly LTLf Synthesis under Partial Observability Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48473 https://search.frelip.org/Record/rss_article:48473 Online Article RSS Article 2026 0 Finite-Horizon First-Order Rank Profiles of Regular Languages Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48474 https://search.frelip.org/Record/rss_article:48474 Online Article RSS Article 2026 0 Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48475 https://search.frelip.org/Record/rss_article:48475 Online Article RSS Article 2026 0 Templates in Rewriting Induction Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48476 https://search.frelip.org/Record/rss_article:48476 Online Article RSS Article 2026 0 Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48477 https://search.frelip.org/Record/rss_article:48477 Online Article RSS Article 2026 0 Pseudo-Complex Quantifier Elimination Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48478 https://search.frelip.org/Record/rss_article:48478 Online Article RSS Article 2026 0 Automaton-based Characterisations of First Order Logic over Infinite Trees Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48479 https://search.frelip.org/Record/rss_article:48479 Online Article RSS Article 2026 0 Quantum Bayesian Networks: Compositionality and Typing via Linear Logic Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48480 https://search.frelip.org/Record/rss_article:48480 Online Article RSS Article 2026 0 Verification of Neural Networks (Lecture Notes) Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:48481 https://search.frelip.org/Record/rss_article:48481 Online Article RSS Article 2026 0 Univalence without function extensionality Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49108 https://search.frelip.org/Record/rss_article:49108 Online Article RSS Article 2026 0 The Synthetic Sierpiński Cone Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49109 https://search.frelip.org/Record/rss_article:49109 Online Article RSS Article 2026 0 HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49110 https://search.frelip.org/Record/rss_article:49110 Online Article RSS Article 2026 0 Efficient Incremental #SAT via Cross-Instance Knowledge Reuse Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49111 https://search.frelip.org/Record/rss_article:49111 Online Article RSS Article 2026 0 Type Theory With Erasure Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49112 https://search.frelip.org/Record/rss_article:49112 Online Article RSS Article 2026 0 Intuitionistic Common Knowledge Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49113 https://search.frelip.org/Record/rss_article:49113 Online Article RSS Article 2026 0 Zero-Knowledge Model Checking Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49114 https://search.frelip.org/Record/rss_article:49114 Online Article RSS Article 2026 0 Multiset semantics in SPARQL, Relational Algebra and Datalog Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49115 https://search.frelip.org/Record/rss_article:49115 Online Article RSS Article 2026 0 Polymorphism Meets DHOL Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49116 https://search.frelip.org/Record/rss_article:49116 Online Article RSS Article 2026 0 Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49117 https://search.frelip.org/Record/rss_article:49117 Online Article RSS Article 2026 0 From Tensor Networks to Tractable Circuits, and back Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49118 https://search.frelip.org/Record/rss_article:49118 Online Article RSS Article 2026 0 Static Analysis of Recursive SHACL Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49410 https://search.frelip.org/Record/rss_article:49410 Online Article RSS Article 2026 0 Efficient Temporal Datalog Materialisation for Composite Event Recognition Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49411 https://search.frelip.org/Record/rss_article:49411 Online Article RSS Article 2026 0 Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49412 https://search.frelip.org/Record/rss_article:49412 Online Article RSS Article 2026 0 Glivenko's theorems from an ecumenical perspective Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49413 https://search.frelip.org/Record/rss_article:49413 Online Article RSS Article 2026 0 Differentially Private Runtime Monitoring Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49414 https://search.frelip.org/Record/rss_article:49414 Online Article RSS Article 2026 0 A uniform characterisation of the (a)synchronous must-preorder Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49415 https://search.frelip.org/Record/rss_article:49415 Online Article RSS Article 2026 0 Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49416 https://search.frelip.org/Record/rss_article:49416 Online Article RSS Article 2026 0 Knowledge Compilation for Quantification in Alternating Automata Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49417 https://search.frelip.org/Record/rss_article:49417 Online Article RSS Article 2026 0 Efficient Decision Procedures for RNmatrix Semantics Thu, 01 Jan 2026 20:26:32 -0500 https://search.frelip.org/Record/rss_article:49418 https://search.frelip.org/Record/rss_article:49418 Online Article RSS Article 2026 0