Francisco Botana

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 13

Top Topics

Computer Algebra

Theorem Proving

Automated Reasoning

Free Open Source Software

Top Venues

Math. Comput. Sci.

Math. Comput. Simul.

Ann. Math. Artif. Intell.

Publications