ListarPonencias (Ciencias de la Computación e Inteligencia Artificial) por materia "Matrices"
Mostrando ítems 1-1 de 1
-
Ponencia
Using Abstract Stobjs in ACL2 to Compute Matrix Normal Forms
(Springer, 2017)We present here an application of abstract single threaded objects (abstract stobjs) in the ACL2 theorem prover, to define ...