Tag Archives: Computer Science

PtCut v3.3.0 available

I just released PtCut v3.3.0.

The news are:

  • “–bbox” switches on calculation of bounding boxes for polyhedra in common planes. This allows for a much faster calculation of BIOMD0000000146_numer.
  • “–filter X” allows to only use the first X polyhedra per iteration. This allows to at least calculate a subset of the solution.
  • “–remove X,…” will remove polyhedra from bags. With this, one can rewmove superfluous polyhedra. That fact and their name can be found in common planes computation.
  • I started a first attempt at some documentation! <gasp> So far, only some switches are in it.

Download here. Full PtCut page is here.

PtCut 3.0.1 and PPLpy for Python 2.7 wheels released

Jonas Weinz has produced pre-compiled wheels of PPLpy┬á for Python 2.7 (for Linux 64-bit). Have look at Jonas’ page here.

I have mirrored the files here as well:

I have released a slightly updated version 3.0.1 of PtCut that works under plain Python 2.7 as well (and Python 3.x and SageMath).

 

Skript v4.7 verf├╝gbar

Eine neue Version des Skripts zum Vorkurs ÔÇťformale Methoden der InformatikÔÇŁist hier┬á(Link dead) verf├╝gbar.

In Version 4.7 hat sich ge├Ąndert:

  • Kapitel 8.1: Erkl├Ąrungen zu Beweisen und Beispiele f├╝r Anwendungen von Gruppen hinzugef├╝gt.
  • Kapitel 9.2: Auf- und Abrundungsfunktion neu definiert.
  • Kapitel 9.3 (Restklassenring) neu hinzugef├╝gt.
  • Kapitel 9.1: Beispiel f├╝r Nullteiler hinzugef├╝gt.
  • Kapitel 9.6: Beispiel f├╝r endlichen K├Ârper hinzugef├╝gt.
  • Kapitel 10.3: Erkl├Ąrung zur Verallgemeinerung der Exponenten hinzugef├╝gt.

Skript v4.6 verf├╝gbar

Eine neue Version des Skripts zum Vorkurs “formale Methoden der Informatik”ist hier (Link dead) verf├╝gbar.

In Version 4.6 hat sich ge├Ąndert:

  • Kapitel 7.1: weitere Beispiele f├╝r Relationen hinzugef├╝gt und zwei Fehler gefixt.
  • Kapitel 7.2: Beweisverfahren f├╝r Surjektivit├Ąt und Injektivit├Ąt und mehrere Beispiele dazu hinzugef├╝gt.

Neues Skript zum Vorkurs, v4.5

Eine neue Version des Skripts zum Vorkurs “formale Methoden der Informatik” ist hier (Link dead)┬áverf├╝gbar.

In Version 4.5 hat sich ge├Ąndert:

  • Weitere Beispiele zur vollst├Ąndigen Induktion hinzugef├╝gt.
  • Kapitel 7.1: wesentlich mehr Beispiele f├╝r Relationen hinzugef├╝gt.

In Version 4.4 hat sich ge├Ąndert:

  • Hinweis auf Einschreibtermine hinzugef├╝gt.
  • Kapitel 3.6: Motivation zum ÔÇťUmdrehenÔÇŁ der Quantoren hinzugef├╝gt.
  • Kapitel 6.2: Beweise zur Partialsumme der geometrischen Reihe und zu x ┬Ě x = x + x hinzugef├╝gt.