h1

h2

h3

h4

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

On Projective Delineability

; ; ; ; ; ; ;

In
2024 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) : [Proceedings], Seiten/Artikel-Nr: 9-16

Konferenz/Event:26. International Symposium on Symbolic and Numeric Algorithms for Scientific Computing , Timisoara , Romania , SYNASC 2024 , 2024-09-16 - 2024-09-19

ImpressumPisctaway, NJ : IEEE

Umfang9-16

ISBN979-8-3315-3283-3, 979-8-3315-3284-0

Date Added to IEEE Xplore: 26 February 2025

Online
DOI: 10.1109/SYNASC65383.2024.00015


Einrichtungen

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

Projekte

  1. GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900) (282652900)
  2. DFG project G:(GEPRIS)531314152 - SMT Techniken für arithmetische Theorien (531314152) (531314152)


Dokumenttyp
Contribution to a book/Contribution to a conference proceedings

Format
online, print

Sprache
English

Anmerkung
Peer reviewed article

Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-105000203478
WOS Core Collection: WOS:001458218400003

Interne Identnummern
RWTH-2025-01894
Datensatz-ID: 1005631

Beteiligte Länder
Belgium, Germany, UK, USA

 GO

Related:

http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png Preprint  ;  ;  ;  ;  ;  ;  ;
On Projective Delineability
8 Seiten () [10.48550/arXiv.2411.13300]  GO OpenAccess  Download fulltext Files  Download fulltextFulltext by arXiv.org BibTeX | EndNote: XML, Text | RIS

QR Code for this record

The record appears in these collections:
Document types > Events > Contributions to a conference proceedings
Document types > Books > Contributions to a book
Faculty of Mathematics, Computer Science and Natural Sciences (Fac.1) > Department of Computer Science
Central and Other Institutions
Public records
Publications database
120000
123420
080060
 Record created 2025-03-04, last modified 2025-06-30
Similar records



Rate this document:

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