Prove-It: A Proof Assistant for Organizing and Verifying General Mathematical Knowledge.
Abstract not provided.
Witzel, Wayne↗
Engineering topics
Madrid Larranaga, Joaquin Emilio
Publications and source records attributed to Madrid Larranaga, Joaquin Emilio.