Gerd Neu­ge­bauer
Ak­ti­vi­tä­ten
In­te­res­sens­ge­bie­te
Im­pres­sum
Pri­va­tes
Adres­se
Le­bens­lauf
Be­ruf­li­ches
Ver­öf­fent­lich­ungen
Soft­ware
(La)TeX
BibTool
cwpuzzle: Kreuz­wort­rät­sel setzen
eqname: Namen für Glei­chun­gen
εχTeX
Aus dem Fun­dus
Mapping in LaTeX
Setzen lo­gi­scher For­meln
Setzen von Pro­log-Do­ku­men­ta­tion
Emacs
iso-html
iso-tex
multi-mode
pro­log-indent
TWiki
LaTeX-Syn­tax für TWiki
ESPRIT Project 973 ALPES – Advanced Logical Pro­gram­ming Environments
Logic Oriented Program Synthesis
XPRTS – An Im­ple­men­ta­tion Tool for Program Synthesis
Mini­mal? – Vom Testen eines Text­satz­sys­tems
Integrating Theories into ProCom
Specification of Inference Rules and Their Automatic Translation
GLUE: Opening the World to Theorem Provers
A Pool-Based Connection Calculus
BIBTOOL – Ma­ni­pu­la­ti­on von Bib­TeX-Da­teien
Conventional Scoping of Registers – An Ex­pe­ri­ment in εχTeX
Die Ent­ste­hung der Mit­glieds­zeit­schrift
From Horn Clauses to First Order Logic: A Graceful Ascent
Ge­nea­lo­gi­sches
GLUE: Using Heterogeneous Sources of In­for­ma­ti­on in a Logical Pro­gram­ming Sys­tem
Ha­mil­ton­sche Gra­phen
The IO-Graph Method: Algorithm De­sign and Im­ple­men­ta­tion
Eine Klas­se für die "TeXnische Ko­mö­die"
Von "kra­ke­lig" bis "wie ge­malt"
Ku­ri­o­ses aus dem Fun­dus
"LaTeX-Tips" von J. Kenneth Shultis
Lemma Usage in Connection Method Theorem Proving
The LOPS Approach: A Transformational Point of View
Quick­tipp: Il­lu­stra­ti­o­nen für LaTeX er­stel­len
Reachability Analysis for the Extension Procedure – A Topological Result
In Reih und Glied
Setzen rus­si­scher Text­tei­le mit LaTeX
Spie­le­reien mit TeX-Logos in HTML
Synthesis of Sorting Algorithms with the LOPS-Approach
Ta­fel-Fett
"TeX-Tools" von Klaus Brau­ne
Über­flüs­si­ges? – Klam­mern um Makro­ar­gu­men­te
Um­bruch in schma­len Spal­ten
Das un­ent­deckte Land
User’s Ma­nu­al for XPRTS
Vor Gebrauch schütteln
Wie ver­fasst man wissen­schaft­li­che Ar­bei­ten?
Distributed Failure Production: Sequential Theorem Proving on a Parallel Maschine
Dr.
Gerd
Neu­ge­bauer
Gerd Neugebauer
→ Specification of Inference Rules and Their Automatic Translation

Start ♦ Über­sicht ♦ Im­pres­sum

Pri­va­tes
Hier gibt es In­for­ma­ti­o­nen zu mei­nem Wohn­ort und mei­nem Le­bens­lauf. Der Rest ist... pri­vat.
Soft­ware
Hier gibt es ei­ni­ge Soft­ware, die so im Lau­fe der Zeit bei mir ent­stan­den ist und die ich als Open-Source ver­öf­fent­li­che.

♦ (La)TeX ♦ Emacs ♦ TWiki ♦

Ak­ti­vi­tä­ten
Was ich sonst noch so tue oder ge­tan habe.
Pub­li­ka­ti­o­nen
Ich habe so das eine oder an­de­re ver­öf­fent­licht. Hier ist die Lis­te zu fin­den.
Be­ruf­li­ches
Ich ar­bei­te ge­gen­wär­tig für Cap­gemini sd&m in der Nie­der­las­sung Frank­furt. Ich bin Ar­chi­tekt und IT-Be­ra­ter.
© 2010 Gerd Neu­ge­bauer