Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes Lasserre's Relaxation method to handle theoretically any optimization problem with bounded feasibility set. The method is based on solutions of generalized truncated moment problems over commutative real algebra…
☆15Jan 4, 2026Updated 2 months ago
Alternatives and similar repositories for Irene
Users that are interested in Irene are comparing it to the libraries listed below
Sorting:
- Extension of Convex.jl for disciplined multiconvex optimization☆10Feb 22, 2017Updated 9 years ago
- Numerically computing correlation functions in 2d CFT, using Jupyter Notebooks.☆22Sep 5, 2019Updated 6 years ago
- Polynomial optimization problem solver. Uses relaxation to convert the problem into Semidefinite programming. Can be also used just as Se…☆22Jan 3, 2018Updated 8 years ago
- C program for Drawwing Complex graphics with L-edit☆10Jan 7, 2020Updated 6 years ago
- Julia package for hierarchical matrices☆28Oct 24, 2024Updated last year
- Python wrapper for Google Maps JavaScript API V3 and Google Earth API.☆17Sep 13, 2014Updated 11 years ago
- This is the shared package to simulate pulse propagation in bulk material (solid and gas) with 3D-UPPE☆13Feb 3, 2026Updated last month
- ☆17Oct 30, 2025Updated 4 months ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆37Feb 19, 2026Updated 2 weeks ago
- Program to estimate aquatic habitats using hydraulic data and biological models☆10Feb 23, 2026Updated last week
- Finding the best parameters for any algorithm☆42Nov 1, 2017Updated 8 years ago
- Gentle introduction and demo of the adjoint variable method for electromagnetic inverse design☆36Jun 21, 2022Updated 3 years ago
- Some useful lenses☆35Feb 26, 2026Updated last week
- A handbook for everyone who loves coding☆10Jun 10, 2019Updated 6 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Toolkit for Bayesian scaling analysis☆14Sep 8, 2022Updated 3 years ago
- Remez algorithm for computing minimax polynomial approximations☆45Aug 10, 2020Updated 5 years ago
- A platform for storing large semantic networks on MongoDB☆22Jun 20, 2011Updated 14 years ago
- ☆10Jan 16, 2025Updated last year
- Sparse symmetric indefinite solver implemented with a runtime system☆13May 11, 2020Updated 5 years ago
- FDTD 3D simulator that generates s-parameters from OFF geometry files using one or more GPUs☆15Jan 16, 2023Updated 3 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Speeding up blind deconvolution of a blurred image by using GPUs☆11Oct 17, 2018Updated 7 years ago
- iRIC Pre-processor and post-processor GUI☆10Feb 16, 2026Updated 2 weeks ago
- Web application that provides hydrology services based on the Common Hydrology Features (CHyF) data model☆11Dec 16, 2022Updated 3 years ago
- Simple multi-language .Net Core CMS☆10Apr 22, 2019Updated 6 years ago
- Metadata browser/editor. QGIS plugin.☆11Dec 25, 2024Updated last year
- development has moved to mozilla/chief☆17Mar 8, 2013Updated 12 years ago
- PETSc Interface for Octave and MATLAB (Deprecated)☆10Nov 10, 2022Updated 3 years ago
- Static-sized long-precision arithmetic library for use inside GPU parallelization with CUDA☆11Apr 5, 2025Updated 11 months ago
- Various test fonts (OpenType, OpenType with TrueType GX variation extensions, Multiple Master) for testing implementations of font format…☆11Jun 25, 2025Updated 8 months ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Material for a course on applied machine-learning for scientists. Taught at EPFL in spring 2018.☆11May 3, 2018Updated 7 years ago
- A collection of useful cheat sheets for computer related stuff☆13Jul 24, 2025Updated 7 months ago
- A Petri net modeling framework for the Julia programming language☆43Nov 22, 2023Updated 2 years ago
- Differential Algebra Computational Toolbox☆46Apr 21, 2025Updated 10 months ago
- Fast Fourier transform on hexagonal grids using Birdsong and Rummelt's algorithm☆12Feb 10, 2020Updated 6 years ago
- Libraries for declaring and using type-level values.☆11Mar 28, 2019Updated 6 years ago
- Code for working with differential forms in context of control theory on basis of sympy☆14Feb 25, 2019Updated 7 years ago