
KELLEY
 Referenced in 643 articles
[sw04829]
 discussed. Other quasiNewton methods are sketched. The last chapter of the first part, chapter...

PHCpack
 Referenced in 236 articles
[sw00705]
 outline of one blackbox solver is sketched and a report is given...

Geometer's Sketchpad
 Referenced in 228 articles
[sw04858]
 Classroomtested 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 sketchescompact, formal representations of the essence ... sequence of games and hints. Proof sketches are checked automatically using offtheshelf...

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 fixedpointbased 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 subproblems through a sketchrefinement process. The StageI 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...