h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

A novel adaption of the Simplex algorithm for linear real arithmetic



VerantwortlichkeitsangabeJasper Kurt Ferdinand Nalbach

ImpressumAachen 2020

Umfang1 Online-Ressource : Illustrationen


Masterarbeit, RWTH Aachen University, 2020

Veröffentlicht auf dem Publikationsserver der RWTH Aachen University


Genehmigende Fakultät
Fak01

Hauptberichter/Gutachter
; ;

Tag der mündlichen Prüfung/Habilitation
2020-03-04

Online
DOI: 10.18154/RWTH-2021-04303
URL: https://publications.rwth-aachen.de/record/818122/files/818122.pdf

Einrichtungen

  1. Lehr- und Forschungsgebiet Theorie Hybrider Systeme (123420)
  2. Fachgruppe Informatik (120000)

Thematische Einordnung (Klassifikation)
DDC: 004

OpenAccess:
Download fulltext PDF
(additional files)

Dokumenttyp
Master Thesis

Format
online

Sprache
English

Interne Identnummern
RWTH-2021-04303
Datensatz-ID: 818122

Beteiligte Länder
Germany

 GO

OpenAccess
QR Code for this record

The record appears in these collections:
Document types > Theses > Master Theses
Publication server / Open Access
Faculty of Computer Science (Fac.9)
Public records
Publications database
120000
123420
 Record created 2021-04-29, last modified 2024-04-19
Similar records


OpenAccess:
Download fulltext PDF
(additional files)
Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)