English
Related papers

Related papers: RationalMaps, a package for Macaulay2

200 papers

Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the…

Algebraic Geometry · Mathematics 2013-11-01 Binglin Li

We provide an overview of the Macaulay2 package VersalDeformations, which algorithmically computes versal deformations of isolated singularities, as well as local (multi)graded Hilbert schemes.

Algebraic Geometry · Mathematics 2019-11-26 Nathan Owen Ilten

The possibility of interaction between Maple and numeric compiled languages in performing extensive numeric calculations is exemplified by the Ndynamics package, a tool for studying the (chaotic) behavior of dynamical systems. Programming…

Numerical Analysis · Mathematics 2025-10-20 E. V. Correa Silva , L. G. S. Duarte , L. A. C. P. da Mota , J. E. F. Skea

We introduce the package \texttt{EliminationTemplates} for the Macaulay2 computer algebra system, which provides tools for constructing automatic solvers for families of zero-dimensional radical ideals depending on algebraically independent…

Commutative Algebra · Mathematics 2026-05-06 Manav Batavia , Cheng Chen , Anna Natalie Chlopecki , Timothy Duff , William Huang , Aolong Li , Wanchun Shen

A rational map between certain specific threefolds is given in an explicit manner.

Algebraic Geometry · Mathematics 2007-05-23 Kenichiro Kimura

In this paper, we consider rational maps whose source is a product of two subvarieties, each one being embedded in a projective space. Our main objective is to investigate birationality criteria for such maps. First, a general criterion is…

Commutative Algebra · Mathematics 2016-02-25 Nicolás Botbol , Laurent Busé , Marc Chardin , Seyed Hamid Hassanzadeh , Aron Simis , Quang Hoa Tran

The package \texttt{NumericalCertification} implements methods for certifying numerical approximations of solutions for a given system of polynomial equations. For certifying regular solutions, the package implements Smale's $\alpha$-theory…

Numerical Analysis · Mathematics 2022-08-04 Kisun Lee

We survey some general-purpose symbolic software packages that implement algorithms from enumerative and analytic combinatorics. Software for the following areas is covered: basic combinatorial objects, symbolic combinatorics, P\'olya…

Mathematical Software · Computer Science 2016-01-13 Andrew MacFie

This note introduces the Macaulay2 package SchurVeronese, which gathers together data about Veronese syzygies and makes it readily accessible in Macaulay2. In addition to standard Betti tables, the package includes information about the…

Commutative Algebra · Mathematics 2022-03-09 Juliette Bruce , Daniel Erman , Steve Goldstein , Jay Yang

FCMpy is an open source package in Python for building and analyzing Fuzzy Cognitive Maps. More specifically, the package allows 1) deriving fuzzy causal weights from qualitative data, 2) simulating the system behavior, 3) applying machine…

Mathematical Software · Computer Science 2022-11-03 Samvel Mkhitaryan , Philippe J. Giabbanelli , Maciej K. Wozniak , Gonzalo Napoles , Nanne K. de Vries , Rik Crutzen

We describe a Macaulay2 package for computing Schur complexes. This package expands on the ChainComplexOperations package by David Eisenbud.

We introduce the package combinatorics for the software CoCoA. This package provides a data structure and the necessary methods for computing several known enumerative combinatorial invariants.

Combinatorics · Mathematics 2026-02-16 Akin Scott , Michele Torielli

RA is a software package that couples machine learning with formal reasoning in an attempt to find the laws that generate the empirical data that it has been given access to. A brief outline of RA in its initial stage of development is…

Logic in Computer Science · Computer Science 2024-05-22 G. Pantelis

A preliminary test of the software package RA is presented. The main focus of this test is to assess RA`s reasoning capabilities that are based on the formal system PECR. Particular attention is given to the finite computational resources…

Logic in Computer Science · Computer Science 2024-05-28 G. Pantelis

In this paper we present algorithms for computing the topology of planar and space rational curves defined by a parametrization. The algorithms given here work directly with the parametrization of the curve, and do not require to compute or…

Symbolic Computation · Computer Science 2015-02-17 Juan Gerardo Alcazar , Gema Maria Diaz-Toca

Rational maps on the Riemann sphere occupy a distinguished niche in the general theory of smooth dynamical systems. First, rational maps are complex-analytic, so a broad spectrum of techniques can contribute to their study (quasiconformal…

Dynamical Systems · Mathematics 2016-09-06 Curtis T. McMullen

We develop a link between degree estimates for rational sphere maps and compressed sensing. We provide several new ideas and many examples, both old and new, that amplify connections with linear programming. We close with a list of ten open…

Complex Variables · Mathematics 2020-06-16 John P. D'Angelo , Dusty Grundmeier , Jiri Lebl

In this paper we present an algorithm for computing a matrix representation for a surface in P^3 parametrized over a 2-dimensional toric variety T. This algorithm follows the ideas of [Botbol-Dickenstein-Dohm-09] and it was implemented in…

Algebraic Geometry · Mathematics 2010-01-08 Nicolas Botbol Marc Dohm

Solving a system of polynomial equations is a ubiquitous problem in the applications of mathematics. Until recently, it has been hopeless to find explicit solutions to such systems, and mathematics has instead developed deep and powerful…

Algebraic Geometry · Mathematics 2007-05-23 Frank Sottile

We present the Matlab toolbox MacaulayLab, which implements numerical linear algebra algorithms for solving multivariate polynomial systems and rectangular multiparameter eigenvalue problems. Its structure and functionality are the result…

Mathematical Software · Computer Science 2026-05-21 Christof Vermeersch , Bart De Moor