try
{
    string varname = "a";

    // System.Collections.Generic пока не подключена, поэтому используем полное имя класса.
    // Переменная store не содержит публичного метода или свойства для доступа к коллекции определений,
    // поэтому создадим список "вручную". Со списком работать удобнее, чем с массивом.
    System.Collections.Generic.List<Definition> list = new System.Collections.Generic.List<Definition>();

    for ( int n = 0; n < store.Count; n++ ) list.Add( store[ n ] );

    // Функция условия для поиска определения.
    Predicate< Definition > cond = delegate( Definition x )
    {
        // Если имя определения (переменной) равно varname.
        return x.Name.Equals( varname );
    };

    // Метод Find ищет первый элемент, который удовлетворяет условию.
    Definition def = list.Find( cond );

    // Если элемент найден, то что-нибудь делаем.
    store.TraceData( varname + ( def != null ? " " : " not " ) + "found" );

    if ( def != null )
    {
        TMatrix m = new TMatrix( new TNumber[ 2, 3 ] );

        m.unit.SetValue( ( TNumber ) new TDouble( "\"name\"" ), new long[] { 0, 0 } );
        m.unit.SetValue( ( TNumber ) new TDouble( "\"descr\"" ), new long[] { 0, 1 } );
        m.unit.SetValue( ( TNumber ) new TDouble( "\"value\"" ), new long[] { 0, 2 } );

        m.unit.SetValue( ( TNumber ) new TDouble( "\"" + def.Name + "\"" ), new long[] { 1, 0 } );
        m.unit.SetValue( ( TNumber ) new TDouble( "\"" + def.Description + "\"" ), new long[] { 1, 1 } );

        TNumber value = SMath.Math.Numeric.Expression.Calculate( def.Result, store );

        m.unit.SetValue( value, new long[] { 1, 2 } );

        Definition res = new Definition( "out", m.ToTerms(), new Term[ 0 ] );

        store.AddDefinition( res );
    }
}
catch ( Exception ex )
{
    store.TraceData( ex.Message );
}