Class [9]
Computer & Software Products & Electrical & Scientific Products
Search software (recorded programs) in relation to mathematical proofs; Software in relation to mathematical proofs; Downloadable software providing access to a collaboratively created and maintained multilingual encyclopedia; Downloadable mobile applications for viewing, editing and contributing to an encyclopedia; Downloadable software for website development and the creating and editing of web pages by users; Mathematical instruments; Databases; cross-platform software; Apparatus for processing, transmission and storage of information in databases; Computer database servers; Database engines; File servers, Network servers, Cloud servers, Cloud computing servers, Internet servers; all of the aforesaid goods in class 9 being in relation with a platform or portal of mathematical proofs.
Class [35]
Advertising, Business & Retail Services
Collating mathematical or statistical data; Management and compilation of computerised databases; Compilation and systemization of information into computer databases, Collection and systematisation of information into computer databases; Compilation of information into computer databases; Collection of data, Data mining, Systematic ordering of data, Data verification, Data classification, Data compilation and Data transcription; data processing and analytics; Data search in computer files for others; all of the aforesaid services in class 35 being in relation with a platform or portal of mathematical proofs.
Class [38]
Communications Services
Electronic exchange of data stored in databases accessible via telecommunications networks; Providing access to databases, Providing access to platforms and portals on the Internet, Providing access to mobile internet platforms, Providing user access to platforms on the internet, Providing of user access to internet platforms; Providing telecommunications connections to databases; Telecommunications provided via Internet portals and platforms; Electronic exchange of data stored in databases accessible via telecommunication networks; Electronic transmission of computer files and data; Computer transmission of information accessed via a code or a terminal; Data broadcasting services; all of the aforesaid services 38 in class being in relation with a platform or portal of mathematical proofs.
Class [41]
Education and Entertainment Services
Publishing of multimedia programs (formatting of texts, still or moving images, musical sounds); Publishing of multimedia (interactive disks).
Class [42]
Computer & Software Services & Scientific Services
Engineering evaluations, estimates and research in the field of science and technology; Mathematical research services; Design of mathematical models; Maintenance, installation, updating and design of computer software; Conducting technical project studies; Engineering services; Computer programming in relation to mathematical proofs ; Duplication of computer programs; Consultancy, assistance and technical support in the fields of software, computer hardware and computers; Conversion of data or documents from physical to electronic media; Hosting of websites featuring open-source technologies enabling users to read, discuss, write, publish and contribute to an online encyclopedia; Computer services, namely Maintenance of websites for others featuring a multilingual interactive encyclopedia; Software design and development in relation to mathematical proofs; Hosting of websites featuring open-source technologies enabling users to read, discuss, write, publish and contribute to online databases of encyclopedic knowledge, dictionaries, citations, books, source texts, catalogues, news, multimedia files and other educational content; Providing of temporary use of non-downloadable software for website development and the creation and editing of web pages by users; Providing of temporary use of non-downloadable software for sending, receiving, posting, encoding and organising data relating to a global computer network; Computer services, namely hosting of interactive websites enabling users to participate in and edit online databases of encyclopedic knowledge, dictionaries, citations, books, source texts, catalogues, travel guides, news, multimedia files and other educational content, and to publish texts and multimedia files; Cloud computing; Computer project management relating to electronic data processing; Research relating to data processing; Computer database design in relation to mathematical proofs; Design of computer database software in relation to mathematical proofs; Database design and development in relation to mathematical proofs; Development of data bases in relation to mathematical proofs ; Development of computer platforms in relation to mathematical proofs; Installation of database software in relation to mathematical proofs; Maintenance of data bases in relation to mathematical proofs ; Providing scientific research information and results from an online searchable database in relation to mathematical proofs; Platform as a service [PaaS]; Programming of computer software for web platforms in relation to mathematical proofs; Programming of software for database management in relation to mathematical proofs; Scientific research conducted using databases; Recovery of computer data; Data security services; all of the aforesaid services 42 in class being in relation with a platform or portal of mathematical proofs.
