Search results

principles for set-valued functions with set perturbations 2020-05-18 Paper Pata-type fixed-point theorems in Kaleva-Seikkala's type fuzzy metric space 2020-04-06...

Publication Type Automated mathematical discovery and verification: minimizing pentagons in the plane 2024-12-04 Paper Certified knowledge compilation with application...

Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker 2025-01-13 Paper On enumerating short projected models...

Publication Date of Publication Type Complexity results for modal logic with recursion via translations and tableaux 2024-09-04 Paper On the axiomatisation...

differential equations by conversion to a least-squares problem 2019-02-27 Paper Jackson-type inequalities with generalized modulus of continuity and exact values...

Bit-Vector Arithmetic with Abstraction 2007-09-03 Paper Foundations of Software Science and Computation Structures 2007-05-02 Paper Tools and Algorithms for the...

Procedures: A Case Study of Ground and Linear Arithmetic 2007-11-28 Paper Automated Reasoning 2007-09-25 Paper Automated Reasoning 2007-09-25 Paper Attacking group...

Semantically-guided goal-sensitive reasoning: inference system and completeness 2018-04-03 Paper Satisfiability modulo theories and assignments 2017-09-22 Paper Abstract...

sensor and actuator locations in a distributed parameter system 1983-01-01 Paper Existence and comparison theorems for partial differential equations of Riccati...

Paper Towards optimal and scalable solution for routing and spectrum allocation 2018-04-11 Paper Pushing the boundaries of reasoning about qualified cardinality...

using symmetry and surgery 2016-10-24 Paper Dependent Types and Fibred Computational Effects 2016-06-10 Paper Layout randomization and nondeterminism 2016-04-12...

theory of communicating processes with value passing 1994-03-24 Paper Communicating processes with value-passing and assignments 1993-12-06 Paper Observing localities...

evidential reasoning for multiple criteria sorting problem with uncertainty 2016-10-06 Paper Explosive solutions of stochastic viscoelastic wave equations with...

LF 2022-08-16 Paper Cartesian cubical computational type theory: Constructive reasoning with paths and equalities 2022-05-28 Paper https://portal.mardi4nfdi...

Stabilization and estimation for perturbed discrete time-delay large-scale systems 1997-10-28 Paper Eigenvalues assignment by a particular Lyapunov-type equation...

Publication Type Term rewriting induction 2023-04-28 Paper Conditional rewriting in focus 2023-03-09 Paper Reduction techniques for first-order reasoning 2023-03-09...

Hybrid Systems: Computation and Control 2007-09-25 Paper Hybrid Systems: Computation and Control 2007-09-25 Paper Automated Reasoning 2007-09-25 Paper Computing...

approximation and support theorem for SPDEs with locally monotone coefficients 2018-10-18 Paper Variable selection in joint location, scale and skewness models...

ENVIRONMENT 2019-02-28 Paper The construction of type-2 fuzzy reasoning relations for type-2 fuzzy logic systems 2019-02-01 Paper Universal projective synchronization...

criteria sorting with diverse additive value models and valued assignment examples 2020-06-17 Paper Equivalence of Lagrange's equations for non-material...