Search results
From MaRDI portal
- Till Mossakowski (section List of research outcomes)semantics of the ambient calculus 2007-01-09 Paper Algebra and Coalgebra in Computer Science 2006-10-20 Paper Algebra and Coalgebra in Computer Science 2006-10-20...10 bytes (13 words) - 11:42, 7 October 2023
- Bart Jacobs (section List of research outcomes)2021-02-22 Paper The Logical Essentials of Bayesian Reasoning 2021-02-16 Paper A Formal Semantics of Influence in Bayesian Reasoning 2020-05-26 Paper https://portal...10 bytes (15 words) - 14:28, 9 December 2023
- I. Bloch (section List of research outcomes)mathematical morphology and general form of fuzzy erosions and dilations 2009-11-17 Paper Bipolar Fuzzy Mathematical Morphology for Spatial Reasoning 2009-10-20 Paper...10 bytes (15 words) - 23:27, 24 September 2023
- Michael Kohlhase (section List of research outcomes)science and engineering 2018-10-18 Paper Theories as types 2018-10-18 Paper Reasoning without believing: on the mechanisation of presuppositions and partiality...10 bytes (15 words) - 12:56, 24 September 2023
- Vladik Kreinovich (section List of research outcomes)Session ``Interval and computer-algebraic methods in science and engineering at the 6th International Association for Mathematics and Computers in Simulation...10 bytes (16 words) - 17:33, 8 December 2023
- Volker Sorge (section List of research outcomes)in classification of finite algebras 2007-01-24 Paper Mechanizing Mathematical Reasoning 2006-01-10 Paper Theory and Applications of Satisfiability Testing...10 bytes (13 words) - 08:15, 7 October 2023
- David Delahaye (section List of research outcomes)2014-01-17 Paper Quantifier elimination over algebraically closed fields in a proof assistant using a computer algebra system 2013-10-07 Paper A proof dedicated...10 bytes (13 words) - 02:58, 25 September 2023
- S. H. Smith (section List of research outcomes)tensors of arbitrary rank 1999-11-30 Paper Computer algebra determination of symmetries in general relativity 1999-11-30 Paper Stable manifolds and predictability...10 bytes (13 words) - 09:02, 24 September 2023
- K. Appert (section List of research outcomes)Analytical modeling of the startup characteristics of asymmetrical flat-plate and disk-shaped heat pipes 2001-06-20 Paper Interfacial behaviour of growing bubbles...10 bytes (12 words) - 10:19, 24 September 2023
- D. Massart (section List of research outcomes)2004-05-27 Paper Formalized theory of general fuzzy reasoning. 2004-05-27 Paper In-plane free vibration and stability of loaded and shear-deformable circular arches...10 bytes (12 words) - 11:30, 24 September 2023
- S. Singh (section List of research outcomes)Fueter model and monogeneity of rings of integers 1993-05-16 Paper Polynomial maps and a conjecture of Samuelson 1993-05-16 Paper Algebraic structures on...10 bytes (12 words) - 09:20, 24 September 2023
- R. Smith (section List of research outcomes)2013-4 and the hydropathic evolution of glycoproteins of A/H3N2 viruses 2018-11-13 Paper Weak dissipative effects on trajectories from the edge of basins...10 bytes (12 words) - 15:16, 24 September 2023
- Alessandro Cimatti (section List of research outcomes)checking and heuristic search 2006-02-07 Paper Computer Aided Verification 2006-01-10 Paper Tools and Algorithms for the Construction and Analysis of Systems...10 bytes (15 words) - 09:34, 11 December 2023
- V. Pereyra (section List of research outcomes)Paper On the bisection width and expansion of butterfly networks 2002-09-29 Paper Folding of some types of fuzzy manifolds and their retractions 2002-09-25...10 bytes (12 words) - 12:11, 24 September 2023
- Peng Zhang (section List of research outcomes)eight-vertex model and integrability of anisotropic extensions of massive fermionic models 2019-01-15 Paper Dynamics of inflation and dark energy from \(F(R...10 bytes (12 words) - 13:22, 28 January 2024
- htm Title of this publication is not available (Why is that?) zbMATH Keywords Integration of Logical Reasoning and Computer AlgebraLogic and Symbolic Computing...15 bytes (116 words) - 01:05, 8 February 2024
- construction A logical framework combining model and proof theory Twenty years of rewriting logic Essential concepts of algebraic specification and program development...15 bytes (818 words) - 19:35, 6 February 2024
- propositional formulae. Problems and reductions Polynomial algorithms in computer algebra Partition-based logical reasoning for first-order and propositional theories...15 bytes (585 words) - 17:22, 1 February 2024
- Robbins algebras are Boolean: A revision of McCune's computer-generated solution of Robbins problem Equational reasoning in Isabelle On the rules of suppositions...15 bytes (577 words) - 02:03, 30 January 2024
- Mappings: A Case of Logical Dynamics in Database Theory A practical measure of the information in a logical theory Semiotic conceptual analysis of part-whole...15 bytes (667 words) - 15:08, 6 February 2024
