Search Results

An Introduction to Walnut

• Authors : Rampersad, Narad; Stipulanti, Manon

Subjects: walnut; computer software; Presburger arithmetic

• Source: "Research School in Discrete Mathematics and Computer Science" at the CIRM Thematic Month "Discrete Mathematics & Computer Science:

Record details

Devices to Counter the Lack of Practice in Mathematics in a First Year Architecture Programme

• Authors : Jancart, Sylvie; Silvestre, Aude; Seijkens, Nicolas

Subjects: Feedback; Mathematics; Devices

• Source: Proceedings of the Conference of the European Association for Practitioner Research on Improving Learning (EAPRIL) 2017, Issue 4 (2018); Conference of the European Association for Practitioner

Record details

How extensions impact the factor complexity of morphic images

• Authors : Gheeraert, France

Subjects: Combinatorics on Words; Factor complexity; Special factors

• Source: Combinatorics on Words, Marseille, France [FR], 26 février - 1 mars

Record details

Parametric upper and lower bounds of linear variations of a linear problem’s LHS

• Authors : Miftari, Bardhyl; Derval, Guillaume; Louveaux, Quentin

Subjects: LHS; Linear Optimization; Bounds

• Source: ORBEL 38, Anvers, Belgium [BE], 8-9 Février 2024

Record details

Which level in Mathematics ? And for what kind of pupils ? How does research in mathematics enlighten these questions ?

• Authors : Schneider-Gilot, Marguerite

Subjects: Physical; chemical; mathematical & earth Sciences

• Source: NCM Meeting Teaching of Mathematics, Belgium [BE], 22 avril 2009

Record details

The Mathematics of Peter L. Hammer (1936-2006): Graphs, Optimization, and Boolean Models

• Authors : Boros, Endre; Crama, Yves; de Werra, Dominique

Subjects: optimization; discrete mathematics; graph theory

• Source: Annals of Operations Research, 188 (2011)

Record details

Philosophy of Mathematical Practice: A Primer for Mathematics Educators

• Authors : Hamami, Yacin; Morris, Rebecca Lea

Subjects: Mathematics (all); Education; General Mathematics

• Source: ZDM: the International Journal on Mathematics Education, 52 (6), 1113 - 1126 (2020-11)

Record details

The Mathematics of Peter L. Hammer (1936-2006): Graphs, Optimization, and Boolean Models

• Authors : Boros, Endre; Crama, Yves; De Werra, Dominique ...

Subjects: Engineering; computing & technology; Computer science

• Source: The Mathematics of Peter L. Hammer (1936-2006): Graphs, Optimization, and Boolean Models, 1-18 (2011)

Record details

Boolean Models and Methods in Mathematics, Computer Science, and Engineering

• Authors : Crama, Yves; Hammer, Peter L.; QuantOM

Subjects: Boolean functions; logic; learning theory

Record details

Solving unconstrained binary polynomial programs with limited reach: Application to low autocorrelation binary sequences

• Authors : Clausen, Jens Vinther; Crama, Yves; Lusby, Richard ...

Subjects: unconstrained binary polynomial program; dynamic programming; low autocorrelation binary sequences

• Source: Computers and Operations Research, 165, 106586 (2024-05)

Record details