Search results for "CMA"
showing 10 items of 188 documents
A uniform quantificational logic for algebraic notions ofcontext
2002
A quantificational framework of formal reasoning is proposed, which emphasises the pattern of entering and exiting context. Contexts are modelled by an algebraic structure which reflects the order and manner in which context is entered into and exited from. The equations of the algebra partitions context terms into equivalence classes. A formal semantics is defined, containing models that map equivalence classes of certain context terms to sets of first order structures. The corresponding Hilbert system incorporates the algebraic equations as axioms asserted in context. In this way a uniform logic for arbitrary algebras of context is obtained. Soundness and completeness are proved. In semig…
Adumbratio liberorum muratorum, seú francs-massons : vi cuius eorum societas origo, ritus, mores &c. detequntur / authore P. Fr. Johanne a Matre Dei…
1751
Sig. [calderó]8, A-H8, I4 Vinyeta i caplletra grav. xil. Reclams. - Notes a peu de p.
Rapid construction of algebraic axioms from samples
1991
Abstract An axiom is called reliable if it is confirmed in several places in a given sample of algebra. A very effective algorithm for enumerating such axioms is described.
Real quadrics in C n , complex manifolds and convex polytopes
2006
In this paper, we investigate the topology of a class of non-Kähler compact complex manifolds generalizing that of Hopf and Calabi-Eckmann manifolds. These manifolds are diffeomorphic to special systems of real quadrics Cn which are invariant with respect to the natural action of the real torus (S1)n onto Cn. The quotient space is a simple convex polytope. The problem reduces thus to the study of the topology of certain real algebraic sets and can be handled using combinatorial results on convex polytopes. We prove that the homology groups of these compact complex manifolds can have arbitrary amount of torsion so that their topology is extremely rich. We also resolve an associated wall-cros…
A disjunctive site of Sympecma paedisca (Brau.) (Odonata: Lestidae) in Opole Silesia (south-western Poland)
2013
The occurrence of Sympecma paedisca in a small water body in the Limestone Quarry “Gorazdze” was recorded in 2010. This site is interesting because of the anthropogenic nature of ecosystem and its location 50 km west of the known range of the species.
Teaching and Learning of Algebra
2015
Topic Study Group 9 aimed to bring together researchers, developers and teachers who investigate and develop theoretical accounts of the teaching and learning of algebra. The group sought both empirically grounded contributions focussing on the learning and teaching of algebra in diverse classrooms settings, the evolution of algebraic reasoning from elementary through university schooling as well as theoretical contributions throwing light on the complexities involved in teaching and learning of algebra. Prospective contributors were requested to address one or more of the following themes: early algebra, use of ICT in algebra classrooms, proof and proving in algebra, problem solving, semio…
Products of Bessel functions and associated polynomials
2013
The symbolic method is used to get explicit formulae for the products or powers of Bessel functions and for the relevant integrals.
Speeding up a few orders of magnitude the Jacobi method: high order Chebyshev-Jacobi over GPUs
2017
In this technical note we show how to reach a remarkable speed up when solving elliptic partial differential equations with finite differences thanks to the joint use of the Chebyshev-Jacobi method with high order discretizations and its parallel implementation over GPUs.
Simplifying differential equations for multi-scale Feynman integrals beyond multiple polylogarithms
2017
In this paper we exploit factorisation properties of Picard-Fuchs operators to decouple differential equations for multi-scale Feynman integrals. The algorithm reduces the differential equations to blocks of the size of the order of the irreducible factors of the Picard-Fuchs operator. As a side product, our method can be used to easily convert the differential equations for Feynman integrals which evaluate to multiple polylogarithms to $\varepsilon$-form.
Simple differential equations for Feynman integrals associated to elliptic curves
2019
The $\varepsilon$-form of a system of differential equations for Feynman integrals has led to tremendeous progress in our abilities to compute Feynman integrals, as long as they fall into the class of multiple polylogarithms. It is therefore of current interest, if these methods extend beyond the case of multiple polylogarithms. In this talk I discuss Feynman integrals, which are associated to elliptic curves and their differential equations. I show for non-trivial examples how the system of differential equations can be brought into an $\varepsilon$-form. Single-scale and multi-scale cases are discussed.