منابع مشابه
Spatial Analysis in curved spaces with Non-Euclidean Geometry
The ultimate goal of spatial information, both as part of technology and as science, is to answer questions and issues related to space, place, and location. Therefore, geometry is widely used for description, storage, and analysis. Undoubtedly, one of the most essential features of spatial information is geometric features, and one of the most obvious types of analysis is the geometric type an...
متن کاملComputing Locus Equations for Standard Dynamic Geometry Environments
GLI (Geometric Locus Identifier), an open web-based tool to determine equations of geometric loci specified using Cabri Geometry and The Geometer’s Sketchpad, is described. A geometric construction of a locus is uploaded to a Java Servlet server, where two computer algebra systems, CoCoA and Mathematica, following the Groebner basis method, compute the locus equation and its graph. Moreover, an...
متن کاملProof planning Non-standard Analysis
We describe how non-standard analysis can be used to prove real analysis theorems, and how these proofs can be automated using proof-planning. In particular we borrow from the constructive analysis notions of inductive partitioning, and show how transferring to the non-standard model for the reals allows us a simple proof of the correctness of partitioning algorithms for certain real analysis t...
متن کاملAutomating Proof in Non-standard Analysis
Non-standard analysis provides a framework to carry out formally calculus proofs in a much more intuitive manner than in the 2 − δ formulation of Weierstraß. This paper introduces the notions of proof-planning and rippling, and gives an example showing how they can be applied to non-standard analysis to produce readable proofs. We present the related work in the area and give an outline of the ...
متن کاملSeismic Behavior Effect of Knee Braced Frames Considering Different Type of Geometry under Non-Linear Analysis
The design and behavior of a ductile structural system called a knee-braced moment frame are presented in this paper. The design of this structural system is based on a capacity-design concept that results in ductile behavior. The knee part is a fuse-like component that dissipates energy by the formation of plastic flexural and/or shear hinges at its ends and mid-span, when the building is subj...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 2020
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2018.12.006