Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings
#

polyhedral-computations

Here are 14 public repositories matching this topic...

cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination

  • UpdatedApr 30, 2025
  • Julia

Verimag Polyhedra Library

  • UpdatedApr 11, 2025
  • OCaml

lrs wrapper module for Julia

  • UpdatedJan 28, 2025
  • Julia

A Julia library for polyhedral computations

  • UpdatedNov 28, 2020
  • Julia

Symbolic (analytical) polyhedron projection by Fourier-Motzkin elimination using SymPy

  • UpdatedOct 17, 2019
  • Python

Operations on Polyhedra (simple layer on PPL)

  • UpdatedSep 18, 2024
  • OCaml

Expansion of the Chaikin Algorithm to polyhedra (3D).

  • UpdatedOct 30, 2024
  • Python

A package for computing fast tropical intersections

  • UpdatedOct 28, 2024
  • Julia

The Julia distribution of the POlyhedron Representation Transformation Algorithm (PORTA).

  • UpdatedApr 24, 2022
  • C

Here we give an algorithm to determine Shintani domains for non-totally complex number fields from the signed fundamental domains given in the works of Diaz y Diaz, Espinoza and Friedman. We also present some explicit examples of Shintani domains.

  • UpdatedMar 19, 2024
  • Gnuplot

Examples of Shintani domains for complex quartic number fields. Moreover, we propose in the folder "Algorithm" an implementation to obtain Shintani domains in complex quartic fields (restriction: unit group without torsion)

  • UpdatedJan 4, 2025
  • Sage

Shintani domain for totally complex quartic number fields considering the action of units group with torsion. Including some examples.

  • UpdatedNov 23, 2025
  • Sage

Improve this page

Add a description, image, and links to thepolyhedral-computations topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with thepolyhedral-computations topic, visit your repo's landing page and select "manage topics."

Learn more


[8]ページ先頭

©2009-2025 Movatter.jp