Maciej Ciesielski discusses theoretical aspects of arithmetic circuit verification based on algebraic rewriting. Its goal is to advance the understanding of algebraic techniques for arithmetic circuit verification in the context of symbolic computer algebra. Image courtesy of Maciej Ciesielski. Research sponsored by the National Science Foundation (NSF).
Image courtesy of interviewee. April 22, 2021
Browse 8000+ figures on the platform by subject or sub-category using our top menu or search bar.
Video Pages
Use Workspace to generate Interactive transcripts, Related Studies, AI Chat, Multi-language translations, Key points and quotes, and more.
Download the app
Stream the entire platform on our iOS and Android app.
For all queries, please contact our switchboard at:
UK/EUR: 0330 043 0655
USA: 18335826650
The switchboard is open from Monday to Friday during working hours (9am to 6pm). We recommend calling us for a more immediate response.
Faculti is an online video streaming platform covering research, analysis and policy. More here on our guiding principles, editorial policy and testimonials.
All questions sent in advance by 4-5 days. Interview undertaken on Zoom, Webex or phone. Journalist checks for framing, lighting, sound. Journalist interviews you, asks follow-ups, retakes. Raw footage enters editing cycle.
As above but shorter turnaround time and questions sent closer to interview date for temporal relevance.
