Products
Software, data and other things I have made besides papers.
Matrix algebras identities database
Browse the polynomial identities, central polynomials, weak identities and A-identities of the matrix algebras \(M_r(F)\) in low degree: Specht-module multiplicities with certified lower and upper bounds, codimension sequences, and searchable tables.
artMathematical animations
Short looping animations of mathematical objects, posted as @infinitymathart.
softwarexsvfduino
Turns an Arduino (the Blue Pill, STM32F103) into an XSVF player that programs CPLDs and FPGAs over JTAG. Tested on Xilinx XC2C64A and XC9572XL and Altera MAX II EPM240T. GPL-3.0.
photoUFSCar: campo in natura
Photo album of the São Carlos campus of UFSCar and its natural surroundings.
LaTeX tools: LatexRender-ng and a UFSCar LaTeX style file
LatexRender-ng renders LaTeX formulas for web pages; the style file was written with M. J. Soares for the UAB-UFSCar course collection.
NutMail
An e-mail classification and routing system.
Linear algebra video lessons
Short videos on Gauss-Jordan elimination, linear combinations, linear dependence, general solution of linear systems, inverse matrices, and determinants by row reduction and by cofactors.