1:12:44 Noga Alon Paul Erdős and Probabilistic Reasoning 54:44 Péter Komjáth Finite substructures of uncountable graphs and hypergraphs 57:22 Peter Ozsvath Advanced Heegaard Floer theory vol1 1:02:29 Ronald Fintushel Manifolds and the knot surgery construction vol2 1:01:09 Ronald Fintushel...
Orr and R.B. Fisher. Geometric reasoning for computer vision. Image and ... M Orr,RB Fisher - 《Image & Vision Computing》 被引量: 21发表: 1987年 Reasoning about three dimensional space that combines algebraic methods for geometric reasoning with a hierarchical organization of knowledge (both...
Formulas are like magical spells in the world of mathematics. Just as spells help wizards and witches perform wonders, formulas help us find answers to various mathematical problems. But unlike spells, formulas are not mysterious or secretive but based on logic and reasoning. This article focuses ...
Many problems arising in real geometry can be formulated as first-order formulas. Thus quantifier elimination can be used to solve these problems. In this note, we discuss the applicability of implemented quantifier elimination algorithms for solving geometrical problems. In particular, we demonstrate h...
Ma S, Shi Z, Shao Z, et al. Higher-Order Logic Formalization of Conformal Geometric Algebra and its Application in Verifying a Robotic Manipulation Algorithm[J]. Advances in Applied Clifford Algebras, 2016, 26(4):1-26.Ma S, Shi Z, Shao Z, et al. (2016) Higher-Order Logic ...
VN Gerasimov - 《Algebra & Logic》 被引量: 28发表: 1976年 On the Universal Theory of Varieties of Distributive Lattices with Operators: Some Decidability and Complexity Results In this paper we establish a link between satisfiability of universal sentences with respect to varieties of distributive ...
We seek to find a language (a logic or algebra) in which causal relationships can be described and to embody this in a formalism for reasoning about reactive systems. Causality is conventionally represented by a partially ordered set (poset). The poset whose Hasse. diagram is shown in Figure...
In Handbook of Spatial Logics; Springer: Berlin, Germany, 2007; pp. 161–215. 19. Kreutzmann, A.; Wolter, D. Qualitative spatial and temporal reasoning with AND/OR linear programming. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), Bethlehem, Czech, 18...
we categorized students’ replies on the grounds of reasoning styles, representations used, and levels of generality. The problems were proposed in a lesson on a quotient set based on the similarity among triangles created with Geogebra and the responses were gathered through a Google form. By me...