• SoPlex

  • Referenced in 82 articles [sw04063]
  • part of Roland Wunderling’s Ph.D. thesis Paralleler und Objektorientierter Simplex-Algorithmus (in German...
  • ALF

  • Referenced in 61 articles [sw08603]
  • Monomorphic Type Theory with Explicit Substitution. This thesis describes the implementation of ALF, which...
  • Octagon

  • Referenced in 61 articles [sw13702]
  • done during my DEA and PhD. Thesis The main publication is an article entitled...
  • GHC

  • Referenced in 42 articles [sw23765]
  • Guarded Horn clauses. The thesis introduces the programming language Guarded Horn Clauses which is abbreviated...
  • MULTIMIX

  • Referenced in 29 articles [sw03250]
  • Hunt [Clustering using finite mixture models. Ph.D. thesis, Univ. Waikato (1996)] implemented the finite mixture...
  • QSopt_ex

  • Referenced in 23 articles [sw04722]
  • description (which is part of my Ph.D. thesis) can be found here Much...
  • subplex

  • Referenced in 19 articles [sw04818]
  • developed by Tom Rowan for his Ph.D. Thesis: Functional Stability Analysis of Numerical Algorithms (University...
  • SharpClaw

  • Referenced in 18 articles [sw06638]
  • described in David Ketcheson’s Ph.D. thesis. To solve a particular hyperbolic system, SharpClaw requires...
  • parDG

  • Referenced in 16 articles [sw18743]
  • With CD-ROM. The aim of this thesis is the numerical simulation of two-phase...
  • BiMD

  • Referenced in 15 articles [sw13275]
  • also Cecilia Magherini’s PhD thesis, also available as a compressed file); the code BiMD...
  • SFMT

  • Referenced in 14 articles [sw22111]
  • state is much faster. See Master’s Thesis of Mutsuo Saito for detail...
  • SHRAD

  • Referenced in 6 articles [sw02663]
  • computability on real numbers. Ph. D. Thesis, Università di Pisa-Genova-Udine (1993)] introduced ... author, Sequentiality in real number computation. Ph.D. thesis, School of Computer Science, University of Birmingham...
  • COCA

  • Referenced in 8 articles [sw05004]
  • Tang} [Ph. D. Thesis, Univ. of California at Berkeley (1987)].par Furthermore, the authors present...
  • PermLib

  • Referenced in 7 articles [sw09845]
  • implementation can be found in the Diploma thesis of the author Thomas Rehn...
  • SymPol

  • Referenced in 6 articles [sw09846]
  • found in [BDS09] and in the Diploma thesis of the author Thomas Rehn...
  • MuShROOM

  • Referenced in 6 articles [sw12000]
  • control and model-predictive control problems. His thesis presents a lot of novel results...
  • qpHPSC

  • Referenced in 6 articles [sw12001]
  • control and model-predictive control problems. His thesis presents a lot of novel results...
  • CHUFFED

  • Referenced in 6 articles [sw24724]
  • generation solver chuffed: Improving combinatorial optimization. PhD thesis, Engineering, Computer Science and Software Engineering...
  • LIGKA

  • Referenced in 3 articles [sw02605]
  • stability in tokamaks, Ph.D. Thesis, TU München, 2003; Ph. Lauber, S. Günter, S.D. Pinches, Phys ... methods for electromagnetic perturbations in tokamaks, Ph.D. Thesis, Princeton University, 1998]. A finite Larmor radius ... drift-kinetic HAGIS code [S.D. Pinches, Ph.D. Thesis, The University of Nottingham, 1996; S.D. Pinches...