@article{P111.151, author={Weyten, Ludo and Rombouts, Pieter and Catteau, Benoit and De Bock, Maarten}, title={Validation of symbolic expressions in circuit analysis e-learning}, journal={IEEE TRANSACTIONS ON EDUCATION}, year={2011}, volume={54}, number={4}, pages={564-568}, }