English
Related papers

Related papers: Polymake.jl: A new interface to polymake

200 papers

This paper proposes integrating Aspect-oriented Programming (AOP) into Julia, a language widely used in scientific and High-Performance Computing (HPC). AOP enhances software modularity by encapsulating cross-cutting concerns, such as…

Programming Languages · Computer Science 2024-12-30 Osamu Ishimura , Yoshihide Yoshimoto

Metric spaces defined within convex polygons, such as the Thompson, Funk, reverse Funk, and Hilbert metrics, are subjects of recent exploration and study in computational geometry. This paper contributes an educational piece of software for…

We introduce DiffOpt.jl, a Julia library to differentiate through the solution of optimization problems with respect to arbitrary parameters present in the objective and/or constraints. The library builds upon MathOptInterface, thus…

Machine Learning · Computer Science 2023-08-01 Mathieu Besançon , Joaquim Dias Garcia , Benoît Legat , Akshay Sharma

We present an efficient approach for writing architecture-agnostic parallel high-performance stencil computations in Julia, which is instantiated in the package ParallelStencil.jl. Powerful metaprogramming, costless abstractions and…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-12-01 Samuel Omlin , Ludovic Räss

We present the $\textit{NumericalImplicitization}$ package for $\textit{Macaulay2}$, which allows for user-friendly computation of the invariants of the image of a polynomial map, such as dimension, degree, and Hilbert function values. This…

Algebraic Geometry · Mathematics 2019-10-16 Justin Chen , Joe Kileel

We seek to determine a real algebraic variety from a fixed finite subset of points. Existing methods are studied and new methods are developed. Our focus lies on aspects of topology and algebraic geometry, such as dimension and defining…

Algebraic Geometry · Mathematics 2018-08-17 Paul Breiding , Sara Kalisnik Verovsek , Bernd Sturmfels , Madeleine Weinstein

This paper presents an alternative approach to simplify the proofs of some important results related to polynomial mappings in Computational Algebraic Geometry such as Polynomial Implicitization, Image Closure and some properties of the…

Algebraic Geometry · Mathematics 2011-11-30 Yongbi Li

We present a full implementation of the parareal algorithm---an integration technique to solve differential equations in parallel---in the Julia programming language for a fully general, first-order, initial-value problem. We provide a…

Mathematical Software · Computer Science 2018-12-17 Tyler M. Masthay , Saverio Perugini

Convex polyhedral abstractions of logic programs have been found very useful in deriving numeric relationships between program arguments in order to prove program properties and in other areas such as termination and complexity analysis. We…

Programming Languages · Computer Science 2007-12-18 Kim Henriksen , Gourinath Banda , John Gallagher

We present mechanoChemML, a machine learning software library for computational materials physics. mechanoChemML is designed to function as an interface between platforms that are widely used for machine learning on one hand, and others for…

Computational Engineering, Finance, and Science · Computer Science 2022-05-03 X. Zhang , G. H. Teichert , Z. Wang , M. Duschenes , S. Srivastava , E. Livingston , J. Holber , M. Faghih Shojaei , A. Sundararajan , K. Garikipati

OptControl.jl(OptControl) implements that modeling optimal control problems with symbolic algebra system based on Julia language, and generates the corresponding numerical optimization codes to solve them with packages from Julia.…

Optimization and Control · Mathematics 2022-08-02 Jingyi Yang , Yuebao Yang , Mingtao Li

We argue that the Julia programming language is a compelling alternative to implementations in Python and C++ for common data analysis workflows in high energy physics. We compare the speed of implementations of different workflows in Julia…

Computational Physics · Physics 2021-04-13 Marcel Stanitzki , Jan Strube

LazySets.jl is a Julia library that provides ways to symbolically represent sets of points as geometric shapes, with a special focus on convex sets and polyhedral approximations. LazySets provides methods to apply common set operations,…

Mathematical Software · Computer Science 2022-05-04 Marcelo Forets , Christian Schilling

We present NEP-PACK a novel open-source library for the solution of nonlinear eigenvalue problems (NEPs). The package provides a framework to represent NEPs, as well as efficient implementations of many state-of-the-art algorithms. The…

Numerical Analysis · Mathematics 2018-11-26 Elias Jarlebring , Max Bennedich , Giampaolo Mele , Emil Ringh , Parikshit Upadhyaya

We present the development of pyLLE, a freely accessible and cross-platform Lugiato-Lefever equation solver programmed in Python and Julia and optimized for the simulation of microresonator frequency combs. Examples illustrating its…

Mathematical Software · Computer Science 2019-05-31 Gregory Moille , Qing Li , Xiyuan Lu , Kartik Srinivasan

In this paper, we provide an affirmative answer to the long-standing question: Are GPUs useful in solving linear programming? We present cuPDLP.jl, a GPU implementation of restarted primal-dual hybrid gradient (PDHG) for solving linear…

Optimization and Control · Mathematics 2024-06-10 Haihao Lu , Jinwen Yang

The evergrowing computational complexity of High Performance Computing applications is often met with an horizontal scalling of computing systems. Colaterally, each added node risks being a single point of failure to parallel programs,…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-04 Marcos Irigoyen , Carla Santana , Ramon C. F Araújo , Samuel Xavier-de-Souza

In this paper we present modern texture mapping techniques and several applications of polynomial texture mapping in cultural heritage programs. We also consider some well-known and some new methods for mathematical procedure that is…

Graphics · Computer Science 2013-12-30 Branko Malesevic , Ratko Obradovic , Bojan Banjac , Ivana Jovovic , Milica Makragic

Small multiples are miniature representations of visual information used generically across many domains. Handling large numbers of small multiples imposes challenges on many analytic tasks like inspection, comparison, navigation, or…

Human-Computer Interaction · Computer Science 2020-08-18 Fritz Lekschas , Xinyi Zhou , Wei Chen , Nils Gehlenborg , Benjamin Bach , Hanspeter Pfister

Estimating parameters of Partial Differential Equations (PDEs) from noisy and indirect measurements often requires solving ill-posed inverse problems. These so called parameter estimation or inverse medium problems arise in a variety of…

Mathematical Software · Computer Science 2016-12-15 Lars Ruthotto , Eran Treister , Eldad Haber