• KELLEY

• Referenced in 643 articles [sw04829]
• discussed. Other quasi-Newton methods are sketched. The last chapter of the first part, chapter...

• PHCpack

• Referenced in 236 articles [sw00705]
• outline of one black-box solver is sketched and a report is given...

• Geometer's Sketchpad

• Referenced in 228 articles [sw04858]
• Classroom-tested activities are accompanied by presentation sketches and detailed teacher notes, which provide suggestions...

• Miranda

• Referenced in 153 articles [sw04986]
• programming environment being only briefly sketched...

• BABEL

• Referenced in 71 articles [sw03018]
• semantics w.r.t. the declarative one. We also sketch a completeness result for the reduction semantics...

• leanTAP

• Referenced in 41 articles [sw09985]
• calculus to the modal logic K and sketches a proof of the completeness of this ... elegant as leanTAP. Following that, he sketches how similar results can be obtained...

• EasyCrypt

• Referenced in 33 articles [sw09738]
• security proofs of cryptographic systems from proof sketches-compact, formal representations of the essence ... sequence of games and hints. Proof sketches are checked automatically using off-the-shelf...

• QBIC

• Referenced in 36 articles [sw14899]
• main algorithms for color texture, shape and sketch query that we use, show example query...

• Isolde

• Referenced in 29 articles [sw00458]
• formal reduction algorithm and sketch the link with the computation of a formal fundamental matrix...

• KnotPlot

• Referenced in 29 articles [sw00491]
• almost 1000 knots and links or sketched by hand in three dimensions. Also, knots...

• OpenSMT

• Referenced in 28 articles [sw08426]
• development of customized algorithms. We sketch the solver’s architecture and interface. We discuss...

• OFMC

• Referenced in 28 articles [sw09466]
• part of the input. We also sketch the ongoing integration of fixed-point-based techniques...

• TRIPLE

• Referenced in 21 articles [sw02460]
• hybrid rule language. This paper sketches syntax and semantics of TRIPLE...

• BLAD

• Referenced in 20 articles [sw08612]
• Those numerical treatments are, at least partly, sketched in this paper in order...

• LPL software

• Referenced in 19 articles [sw04860]
• predicate logic, as well as an accessible sketch of Godel’s first incompleteness theorem...

• KamiWaAi

• Referenced in 13 articles [sw01954]
• KamiWaAi -- interactive 3D sketching with Java based on $Cl(4,1)$ conformal model of Euclidean ... This paper introduces the new interactive Java sketching software KamiWaAi, recently developed at the University...

• Sketch2Photo

• Referenced in 13 articles [sw14453]
• realistic picture from a simple freehand sketch annotated with text labels. The composed picture ... stitching several photographs in agreement with the sketch and text labels; these are found...

• StackGAN

• Referenced in 11 articles [sw42521]
• into more manageable sub-problems through a sketch-refinement process. The Stage-I GAN sketches...

• SolidWorks

• Referenced in 15 articles [sw04197]
• products to market faster. ... using the 2D sketch feature of SolidWorks...

• O'Mega

• Referenced in 15 articles [sw07195]
• Mega: An Optimizing Matrix Element Generator We sketch the architecture of O’Mega...