
GeoGebra
 Referenced in 383 articles
[sw04203]
 levels of education that joins geometry, algebra, tables, graphing, statistics and calculus in one easy ... Quick Facts: Graphics, algebra and tables are connected and fully dynamic. Easytouse interface...

Code Tables
 Referenced in 250 articles
[sw28701]
 Code Tables: Bounds on the parameters of various types of codes. Bounds on the minimum...

CHEVIE
 Referenced in 239 articles
[sw04235]
 project for symbolic calculations with generic character tables of groups of Lie type, Coxeter groups...

LMFDB
 Referenced in 167 articles
[sw07249]
 intended to be a modern handbook including tables, formulas, links, references, etc. to very concrete...

SnapPea
 Referenced in 163 articles
[sw06873]
 paper, the others are in tables included on a microfiche supplement. In analogy with...

Why3
 Referenced in 136 articles
[sw04438]
 basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs...

Oz
 Referenced in 117 articles
[sw06799]
 include optimization problems like scheduling, time tabling, placement and configuration, reasoning and knowledge representation, processing...

GAP Character Table Library
 Referenced in 53 articles
[sw07721]
 Character Table Library. The usefulness of GAP for character theoretic tasks depends on the availability ... many known character tables, and there are a lot of character tables ... table library. Of course, this library is ”open” in the sense that it shall ... would be grateful for any further tables of interest sent to us for inclusion into...

Edgebreaker
 Referenced in 53 articles
[sw04117]
 data structure, which we call the Corner Table. It represents the connectivity of any manifold ... mesh as two tables, V and O, such that for a corner c, which ... sphere, Edgebreaker encodes these two tables with less than 2 bits per triangle. It compresses ... manifold meshes. A CornerTable implementation of these will be described elsewhere...

R2WinBUGS
 Referenced in 88 articles
[sw04494]
 model, summarize inferences and convergence in a table and graph, and save the simulations...

Keccak
 Referenced in 83 articles
[sw09834]
 rotations. There is no need for tablelookups, arithmetic operations, or datadependent rotations. Keccak...

EFD
 Referenced in 54 articles
[sw04152]
 wellknown cryptographic applications, tables and figures are given ... results are summarized in three tables, and the fastest ones in three figures, giving...

CTblLib
 Referenced in 54 articles
[sw08642]
 package CTblLib: The GAP Character Table Library. The package contains the GAP Character Table Library...

ROCK
 Referenced in 73 articles
[sw37720]
 relevant in situations where a domain expert/similarity table is the only source of knowledge...

MeatAxe
 Referenced in 67 articles
[sw04906]
 purpose is the calculation of modular character tables, although it can be used for other...

Ziggurat
 Referenced in 47 articles
[sw10535]
 400MHz PC. It uses two tables, integers ki, and reals wi. Some ... short procedure for settting up the necessary tables...

Astropy
 Referenced in 47 articles
[sw15603]
 transport system (FITS) files, Virtual Observatory (VO) tables, and common ASCII table formats, unit...

AntNet
 Referenced in 65 articles
[sw11975]
 approach to the adaptive learning of routing tables in communications networks. AntNet is a distributed...

StateFlow
 Referenced in 46 articles
[sw04350]
 state transition diagrams, flow charts, state transition tables, and truth tables, to model how your...