language = "Inglés"

Encontrado 301,572 documentos, página mostrada 29664 de 30158

Computing hypercircles by moving hyperplanes

Description: Let K be a field of characteristic zero and let α be an algebraic element of degree n over K. Given a proper parametrization ψ of a rational curve C with coefficients in K(α), we present a new algorithm to compute the hypercircle associated to the parametrization ψ. As a consequence, we can decide i...
Language(s): Inglés

Singular Tropical Hypersurfaces

Description: We study the notion of singular tropical hypersurfaces of any dimension. We characterize the singular points in terms of tropical Euler derivatives and we give an algorithm to compute all singular points. We also describe non-transversal intersection points of planar tropical curves.
Language(s): Inglés

Direct symbolic transformation from 3D cartesian into hyperboloidal coordinates

Description: A direct transformation from cartesian coordinates into hyperboloidal coordinates (considered for biaxial hyperboloids) is presented in this paper. The transformation problem is reduced to the problem of finding the smallest positive root of a fourth degree polynomial. The analysis of the polynomial...
Language(s): Inglés

Using implicit equations of parametric curves and surfaces without computing them: Polynomial algebra by values

Description: The availability of the implicit equation of a plane curve or of a 3D surface can be very useful in order to solve many geometric problems involving the considered curve or surface: for example, when dealing with the point position problem or answering intersection questions. On the other hand, it i...
Language(s): Inglés

Automatic Deduction in (Dynamic) Geometry: Loci Computation

Description: A symbolic tool based on open source software that provides robust algebraic methods to handle automatic deduction tasks for a dynamic geometry construction is presented. The prototype has been developed as two different worksheets for the open source computer algebra system Sage, corresponding to t...
Language(s): Inglés

Computing bisectors in a dynamic geometry environment

Description: In this note, an approach combining dynamic geometry and automated deduction techniques is used to study the bisectors between points and curves. Usual teacher constructions for bisectors are discussed, showing that inherent limitations in dynamic geometry software impede their thorough study. We sh...
Language(s): Inglés

Some issues on the automatic computation of plane envelopes in interactive environments

Description: This paper addresses some concerns, and describes some proposals, on the elusive concept of envelope of an algebraic family of varieties, and on its automatic computation. We describe how to use the recently developed Gröbner Cover algorithm to study envelopes of families of algebraic curves, and w...
Language(s): Inglés

Bridging MoCs in SystemC specifications of heterogeneous systems

Description: In order to get an efficient specification and simulation of a heterogeneous system, the choice of an appropriate model of computation (MoC) for each system part is essential. The choice depends on the design domain (e.g., analogue or digital), and the suitable abstraction level used to specify and ...
Language(s): Inglés

Factoring analytic multivariate polynomials and non-standard Cauchy–Riemann conditions

Description: Motivated by previous work on the simplification of parametrizations of curves, in this paper we generalize the well-known notion of analytic polynomial (a bivariate polynomial P (x , y ), with complex coefficients, which arises by substituting z → x + iy on a univariate polynomial View the...
Language(s): Inglés

Generalizing the Steiner–Lehmus theorem using the Gröbner cover

Description: In this note we present an application of a new tool (the Gröbner cover method, to discuss parametric polynomial systems of equations) in the realm of automatic discovery of theorems in elementary geometry. Namely, we describe, through a relevant example, how the Gröbner cover algorithm is particula...
Language(s): Inglés

Encontrado 301,572 documentos, página mostrada 29664 de 30158

Uso de cookies: Este sitio web utiliza cookies propias y de terceros para dar un mejor servicio. Si continúa navegando se considera que acepta su uso. OKMás información